Please reset the value of iterator after erase item from a set.

[xdzhang-xdu]

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.