| commit | e6e9a3c219780a1ed27cff3c93fe5f6bb1f3799c | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 2 Jun 2016 14:14:30 +0000 (2 17:14 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 2 Jun 2016 14:14:30 +0000 (2 17:14 +0300) | ||
| tree | fe2bb80459d5838a671f1370d92e63e1450adce9 | treesnapshot (tar.gz zip) |
| parent | 057365ffb1a9e15c06fbc887b892ac2e13adea91 | commitdiff |
extra: deferences in fake assignments don't count
Sometimes we do a dereference when we're faking an assignment, but it
doesn't mean the pointer is non-NULL. If we merge a pointer p where p
is NULL on one side and p->foo is set on the other side then we want to
preserve the value of p->foo. So we have a fake dereference but it doesn't
mean anything.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Sometimes we do a dereference when we're faking an assignment, but it
doesn't mean the pointer is non-NULL. If we merge a pointer p where p
is NULL on one side and p->foo is set on the other side then we want to
preserve the value of p->foo. So we have a fake dereference but it doesn't
mean anything.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |