Home
last modified time | relevance | path

Searched refs:inside_loop (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c54 if (inside_loop()) in handle_compare()
74 if (inside_loop()) in set_path_impossible()
H A Dcheck_double_checking.c173 if (inside_loop()) in match_condition()
H A Dsmatch_extra.c1213 if (inside_loop()) { in match_assign()
1240 if (inside_loop()) in increment_state()
1258 if (inside_loop()) in decrement_state()
H A Dsmatch_flow.c64 int inside_loop(void) { return !!loop_count; } in inside_loop() function
H A Dsmatch.h546 int inside_loop(void);