From b639ee2b4ae22b7b2f56a54f048436b5f8438450 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 30 Jul 2015 13:46:36 +0300 Subject: [PATCH] extra: don't try to record the state for literals We don't actually store the state for literals, but this way we detect them and bail out slightly earlier. Signed-off-by: Dan Carpenter --- smatch_extra.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/smatch_extra.c b/smatch_extra.c index 795c29a5..87c75544 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -283,6 +283,10 @@ static void set_extra_expr_true_false(struct expression *expr, { char *name; struct symbol *sym; + sval_t sval; + + if (get_value(expr, &sval)) + return; expr = strip_expr(expr); name = expr_to_var_sym(expr, &sym); -- 2.11.4.GIT