Member predicate MakeWithSplitting::ControlFlowTree::propagatesAbnormal
Holds if abnormal execution of child should propagate upwards.
predicate propagatesAbnormal(AstNode child)Holds if abnormal execution of child should propagate upwards.
predicate propagatesAbnormal(AstNode child)