if node isa AExpr then
var flow = self.current_flow_context
node.after_flow_context = flow
+ # Force the creation of a specific merge after the analysis of the node.
if flow.when_true != flow or flow.when_false != flow then
- #self.make_sub_flow
+ self.make_sub_flow
+ self.current_flow_context.name = "AUTOSUB"
end
end
v.make_sub_true_false_flow
end
end
+
+redef class AProxyExpr
+ redef fun accept_flow_visitor(v)
+ do
+ var after_expr = v.visit_expr(self.n_expr)
+ v.current_flow_context = after_expr
+ end
+end