From e549c4240e9f3aaee8ecfce74c30826a2cf43b32 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 1 Jul 2015 13:34:01 +0300 Subject: [PATCH] check_deref: remove call to getting_address() This isn't needed any more because the DEREF_HOOK does this check better in smatch_flow.c now. Signed-off-by: Dan Carpenter --- check_check_deref.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/check_check_deref.c b/check_check_deref.c index 5ae8a328..385dfe37 100644 --- a/check_check_deref.c +++ b/check_check_deref.c @@ -51,8 +51,7 @@ static void check_dereference(struct expression *expr) struct sm_state *tmp; expr = strip_expr(expr); - if (getting_address()) - return; + sm = get_sm_state_expr(my_id, expr); if (!sm) return; -- 2.11.4.GIT