src/pointer-analysis/value_set.cpp
// we get the points-to for all operands, even integers
we get the points-to for all operands, even integers
we get the points - to for all operands even integers
forall_operands(it, expr)
      {
        get_value_set_rec(
          *it, pointer_expr_set, "", it->type(), ns);
      }
forall_operands ( it , expr ) { get_value_set_rec ( * it , pointer_expr_set , " " , it -> type ( ) , ns ) ; }
we get the points-to for all operands, even integers
we get the points - to for all operands even integers