diff --git a/check_inconsistent_locking.c b/check_inconsistent_locking.c index f3cce559d7a6..e95d9110a1e1 100644 --- a/check_inconsistent_locking.c +++ b/check_inconsistent_locking.c @@ -67,8 +67,8 @@ static void check_lock_bool(const char *name, struct symbol *sym) FOR_EACH_PTR(get_all_return_strees(), stree) { orig = __swap_cur_stree(stree); - if (is_impossible_path()) - goto swap_stree; +// if (is_impossible_path()) +// goto swap_stree; return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); if (!return_sm) @@ -145,8 +145,8 @@ static void check_lock(const char *name, struct symbol *sym) FOR_EACH_PTR(get_all_return_strees(), stree) { orig = __swap_cur_stree(stree); - if (is_impossible_path()) - goto swap_stree; +// if (is_impossible_path()) +// goto swap_stree; return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); if (!return_sm)