| commit | 46e0074be353a0430baac35e8ba6321919080592 | |
| author | Dan Carpenter <dcarpenter@usbsys.site> | |
| Sat, 13 Sep 2008 09:15:29 +0000 (13 12:15 +0300) | ||
| committer | Dan Carpenter <dcarpenter@usbsys.site> | |
| Sat, 13 Sep 2008 09:15:29 +0000 (13 12:15 +0300) | ||
| tree | 611e99fbb69fd3d887246a4d67131e4103f2ff02 | treesnapshot (tar.gz zip) |
| parent | 7d5020fb27f1b869262aa04c7d83bbbc18699e40 | commitdiff |
Add nullify the path when you have for(;;);
Also track that continue states are used an only merge them when something
is actually pushed onto the stack.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
Also track that continue states are used an only merge them when something
is actually pushed onto the stack.
Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |