check_deref: ignore pointers if we assign their address to another
commitb17ae05327248fb897999d627f51036d806c96dc
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 13 Sep 2017 08:05:52 +0000 (13 11:05 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 13 Sep 2017 08:05:52 +0000 (13 11:05 +0300)
tree1fc4cd3857b6407e5cf29a272c5b7237a8320f7a
parent5b7779c8d0b5299620aa714956324103dcc02a9f
check_deref: ignore pointers if we assign their address to another

It's too hard to track pointers where you assign their address like this:

char *p = NULL;
char **str_p = &p;

I guess there were false positives where we warned that "p" was NULL after
*str_p had been updated.  This could happen in a different thread for
example and Smatch wouldn't know.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
check_deref.c