Lines Matching full:infinite

812 			 * infinite loop check triggering, see  in stacksafe()
1134  * states to match, which otherwise would look like an infinite loop. So while
1136  * prevent erroneous and too eager declaration of "infinite loop", when
1162  * done, at 1: verifier will use bounded loop logic and declare infinite
1167  * a different iteration. So when we suspect an infinite loop, we additionally
1172  * loop, because that would actually mean infinite loop, as DRAINED state is
1176  * This approach allows to keep infinite loop heuristic even in the face of
1186  *       while (x--) {} // <<-- infinite loop here
1285 				 * Seeing the same state is not an indication of infinite  in bpf_is_state_visited()
1286 				 * loop or infinite recursion.  in bpf_is_state_visited()
1291 				 * Since the verifier still needs to catch infinite loops  in bpf_is_state_visited()
1370 			/* attempt to detect infinite loop to avoid unnecessary doomed work */  in bpf_is_state_visited()
1377 				verbose(env, "infinite loop detected at insn %d\n", insn_idx);  in bpf_is_state_visited()