What happens before is that parameters would get assigned in one path but
commite5c2c3073c6fd12da86b499569d16b236126a270
authorDan Carpenter <error27@gmail.com>
Sat, 20 Sep 2008 07:08:45 +0000 (20 10:08 +0300)
committerDan Carpenter <error27@gmail.com>
Sat, 20 Sep 2008 07:08:45 +0000 (20 10:08 +0300)
tree13261f1c34b50800c9b106775a3043929ac6a955
parentba750441b74c4cb69484565da703c2b87a172dd1
What happens before is that parameters would get assigned in one path but
not in others.  nonnull + notfound => undefined.  That led to false
positives.  Now nonnull + notfound => nonnull.

But I set all the undefined local variables to undefined to begin with so
this doesn't affect them.  Also setting it to undefined will catch more
bugs so it seems like an obvious thing to do.

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