Mark the exit of an infinite loop as unreachable