Dereferencing a variable doesn't make it undefined.
commitd713cb4439b2e794b71cb06a0dc7e2b6329c90d0
authorDan Carpenter <error27@gmail.com>
Tue, 21 Apr 2009 14:09:25 +0000 (21 17:09 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 21 Apr 2009 14:09:25 +0000 (21 17:09 +0300)
tree8aca3ceef88e144db0b7c77f637b660423c729cb
parent74ef5b358574c0c13b5962fe9b5694e949470640
Dereferencing a variable doesn't make it undefined.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c