Please reset the value of iterator after erase item from a set. #2
Description
You need to:
Insert line "C = node->true_begin(), CE = node->true_end();" after Line 249 in file ControlDependenceGraph.cpp.
Insert line "C = node->false_begin(), CE = node->false_end();" after Line 265 in file ControlDependenceGraph.cpp.
Or, your code will raise segment faults under gcc 7.0+.
Because the erase operation for the set disables the old iterator value.