| commit | 4d51e55de3b8a5b4365e2d413bc18575b3d89e46 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 15 Aug 2015 09:45:48 +0000 (15 12:45 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 15 Aug 2015 09:45:48 +0000 (15 12:45 +0300) | ||
| tree | a0522d08db90bb082319b8dd0a579c767981e55d | treesnapshot (tar.gz zip) |
| parent | b126d5902ff4099731d720ac72a0a60dfa020b6e | commitdiff |
stored_conditons: store the chunk as well as the var_sym_list
The problem here is if you have:
if (!foo[bar]) {
foo[bar] = kmalloc();
if (!foo[bar]) {
It wasn't clearing the stored condition when we do the assign because
neither foo nor bar changed.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem here is if you have:
if (!foo[bar]) {
foo[bar] = kmalloc();
if (!foo[bar]) {
It wasn't clearing the stored condition when we do the assign because
neither foo nor bar changed.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_modification_hooks.c | diffblobblamehistory | |
| smatch_stored_conditions.c | diffblobblamehistory |