Searched refs:opt_single_pass_emptiness_check (Results 1 – 4 of 4) sorted by relevance
106 bool opt_single_pass_emptiness_check = false; variable147 opt_single_pass_emptiness_check = true; in parse_opt()202 opt_single_pass_emptiness_check, in process_formula()
302 bool opt_single_pass_emptiness_check = false; in checked_main() local699 opt_single_pass_emptiness_check = true; in checked_main()1201 opt_single_pass_emptiness_check, in checked_main()