Home
last modified time | relevance | path

Searched refs:final_pass (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_flow.c31 int final_pass; variable
1075 final_pass = 1; in __split_stmt()
1586 final_pass = 0; in split_function()
1594 final_pass = 1; in split_function()
1607 final_pass++; in split_function()
1609 final_pass--; in split_function()
1657 final_pass = PTR_INT(pop_backup()) >> 2; in restore_flow_state()
1874 final_before_fake = final_pass; in init_fake_env()
1877 final_pass = 0; in init_fake_env()
1885 final_pass = final_before_fake; in end_fake_env()
[all …]
H A Dsmatch_db.c1482 int final_pass_orig = final_pass; in call_return_state_hooks_conditional()
1495 final_pass = 0; in call_return_state_hooks_conditional()
1497 final_pass = final_pass_orig; in call_return_state_hooks_conditional()
1517 int final_pass_orig = final_pass; in call_return_state_hooks_compare()
1526 final_pass = 0; in call_return_state_hooks_compare()
1528 final_pass = final_pass_orig; in call_return_state_hooks_compare()
1766 int final_pass_orig = final_pass; in call_return_state_hooks_split_null_non_null_zero()
1796 final_pass = 0; in call_return_state_hooks_split_null_non_null_zero()
1798 final_pass = final_pass_orig; in call_return_state_hooks_split_null_non_null_zero()
1891 final_pass = 0; in call_return_state_hooks_split_success_fail()
[all …]
H A Dcheck_unused_ret.c104 if (final_pass) in match_assign_call()
H A Dsmatch.c336 final_pass = 1; in main()
H A Dsmatch.h216 extern int final_pass;
256 if (final_pass || option_debug || local_debug || debug_db) \
272 if (!final_pass && !option_debug && !local_debug && !debug_db) \
312 if (option_debug || (option_info && final_pass)) { \
H A Dsmatch_implied.c1206 int orig_final_pass = final_pass; in assume()
1209 final_pass = 0; in assume()
1212 final_pass = orig_final_pass; in assume()
H A Dsmatch_slist.c313 final_pass++; in out_of_memory()
315 final_pass--; in out_of_memory()
H A Dsmatch_math.c863 int final_pass_orig = final_pass; in handle_conditional_rl()
889 final_pass = 0; in handle_conditional_rl()
899 final_pass = final_pass_orig; in handle_conditional_rl()