From d713cb4439b2e794b71cb06a0dc7e2b6329c90d0 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 21 Apr 2009 17:09:25 +0300 Subject: [PATCH] Dereferencing a variable doesn't make it undefined. Signed-off-by: Dan Carpenter --- smatch_extra.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/smatch_extra.c b/smatch_extra.c index a41d3ec2..602ee505 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -364,6 +364,9 @@ static void undef_expr(struct expression *expr) { struct symbol *sym; char *name; + + if (expr->op == '*') + return; name = get_variable_from_expr(expr->unop, &sym); if (!name) -- 2.11.4.GIT