Predicate bitwise_expression_node
Holds if bit
is a binary expression node with a bitwise operator.
Helper for this_binary_expr_points_to
.
Import path
import python
predicate bitwise_expression_node(BinaryExprNode bit, ControlFlowNode left, ControlFlowNode right)