Module Checkers.Loop_control

val get_loop_control_maps : IR.Procdesc.Node.t list IR.Procdesc.NodeMap.t -> Control.loop_control_maps

Get a pair of maps (exit_map, loop_head_to_guard_map) where exit_map : exit_node -> loop_head set (i.e. target of the back edges) loop_head_to_guard_map : loop_head -> guard_nodes and guard_nodes contains the nodes that may affect the looping behavior, i.e. occur in the guard of the loop conditional.