| commit | a309af17f966c74b1c82725c17e8e21a8ebdd143 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 26 Mar 2010 22:03:59 +0000 (27 01:03 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 26 Mar 2010 22:03:59 +0000 (27 01:03 +0300) | ||
| tree | 030e39274a9ae944febe1cde161e9ae2c975cef3 | treesnapshot (tar.gz zip) |
| parent | dac0dd5c5533973ee1c23638af20d29c12b53adf | commitdiff |
states: verify that the stacks are empty at the end of a function
If they are not it means that there is an imbalance between pushing and
popping the stacks. We will be producing wrong output.
Signed-off-by: Dan Carpenter <error27@gmail.com>
If they are not it means that there is an imbalance between pushing and
popping the stacks. We will be producing wrong output.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_states.c | diffblobblamehistory |