| commit | 5c0f6d9c1ad1d31f23e007cf9e702382c02a7baf | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 23 Jan 2014 17:23:03 +0000 (23 20:23 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 23 Jan 2014 17:23:03 +0000 (23 20:23 +0300) | ||
| tree | d4e7c9cfd9971039b4fb64c4af9992c9660364b5 | treesnapshot (tar.gz zip) |
| parent | 14b3d17fd05d09f12973f71166664184fe3e13bd | commitdiff |
modification_hooks: rely on the database more when it's available
The code in question looks like:
foo->bar = something;
frob(foo);
In the original code we would mark foo->bar even if the database didn't
say it was. I don't think this is the right thing.
Smatch_extra doesn't rely on the modification hooks so this doesn't
affect to smatch_extra.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The code in question looks like:
foo->bar = something;
frob(foo);
In the original code we would mark foo->bar even if the database didn't
say it was. I don't think this is the right thing.
Smatch_extra doesn't rely on the modification hooks so this doesn't
affect to smatch_extra.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_modification_hooks.c | diffblobblamehistory |