This clears the f_loop_exit_edge on any edge exiting \b this loop. \param graph is the containing control-flow structure
source not stored for this graph (policy: none)
no test coverage detected