| commit | 93147a671b3aa52ad0ddf65b1ce86b504d072947 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 14 Apr 2016 09:47:39 +0000 (14 12:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 14 Apr 2016 09:47:39 +0000 (14 12:47 +0300) | ||
| tree | 2685297c0b49b8533b573ab2c3d2acf7702d840b | treesnapshot (tar.gz zip) |
| parent | 2cbec5ff4b0cedc67a321c14a784180afed51139 | commitdiff |
extra: p++ should clear the states for *p or p->foo
Smatch_extra.c doesn't use smatch_modification_hooks.c almost all
modifications were caught though except apparently SPECIAL_INCREMENT.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Smatch_extra.c doesn't use smatch_modification_hooks.c almost all
modifications were caught though except apparently SPECIAL_INCREMENT.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_struct_assignment.c | diffblobblamehistory |