| commit | 2174a7b029f369495115ae19b2e7e685d8a42b91 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Sep 2014 07:41:41 +0000 (16 10:41 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Sep 2014 07:41:41 +0000 (16 10:41 +0300) | ||
| tree | fd32e5ebd1ef89dee12b41694a368c936d2fc91f | treesnapshot (tar.gz zip) |
| parent | fd843d9034889d8bde6fec993be61672e97cf66a | commitdiff |
extra: addresses of arrays are non-NULL
This is sort of a temporary hack I suppose.
The idea is here is that I had some code which did:
foo = &bar[0];
I wanted to record that "foo" was non-NULL. This solves that problem but
in a fairly limited way for now.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is sort of a temporary hack I suppose.
The idea is here is that I had some code which did:
foo = &bar[0];
I wanted to record that "foo" was non-NULL. This solves that problem but
in a fairly limited way for now.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory |