From f086c4c357f3dab27aa055dedf7f9da5fb76b9cd Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Sun, 21 Dec 2008 21:14:47 +0300 Subject: [PATCH] This is left over from October as part of the implied pools work. I guess the thinking is that the implied states should apply at the end of the condition and not before the condition itself has been evaluated. --- smatch_conditions.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_conditions.c b/smatch_conditions.c index 1c2c792f..9bcb7c8e 100644 --- a/smatch_conditions.c +++ b/smatch_conditions.c @@ -184,12 +184,12 @@ void __split_whole_condition(struct expression *expr) { SM_DEBUG("%d in __split_whole_condition\n", get_lineno()); inside_condition++; - __pass_to_client(expr, WHOLE_CONDITION_HOOK); __save_pre_cond_states(); __push_cond_stacks(); if (expr) split_conditions(expr); __use_cond_states(); + __pass_to_client(expr, WHOLE_CONDITION_HOOK); inside_condition--; } -- 2.11.4.GIT