Searched refs:isfalse (Results 1 – 1 of 1) sorted by relevance
103 static void print_debug_tf(struct sm_state *sm, int istrue, int isfalse) in print_debug_tf() argument108 if (istrue && isfalse) { in print_debug_tf()114 } else if (isfalse) { in print_debug_tf()294 int isfalse; in do_compare() local303 isfalse = !possibly_true_helper(var_rl, comparison, rl); in do_compare()305 print_debug_tf(sm, istrue, isfalse); in do_compare()314 if (mixed && !*mixed && !is_merged(sm) && !istrue && !isfalse) { in do_compare()321 else if (isfalse) in do_compare()