| commit | 12d17821c13ab20703fd7d412d7b8f2c53492c22 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 14 Feb 2010 20:08:13 +0000 (14 23:08 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 14 Feb 2010 20:08:13 +0000 (14 23:08 +0300) | ||
| tree | 07d34aaed247c2e0357f400f36493339e47eb1da | treesnapshot (tar.gz zip) |
| parent | c8776b5abef7e8f12909066358060e305f30e588 | commitdiff |
smatch_flow: change how the big expression stack works a bit.
Before nothing was removed from the stack. This was because of laziness.
It is fixed now.
Also handling loops is another way of splitting an expression. The
pre loop and post loop conditions didn't get added to the big expression
stack. I added them now in the smatch_conditions.c file. It seemed easier
that way, but I may change this in the future.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Before nothing was removed from the stack. This was because of laziness.
It is fixed now.
Also handling loops is another way of splitting an expression. The
pre loop and post loop conditions didn't get added to the big expression
stack. I added them now in the smatch_conditions.c file. It seemed easier
that way, but I may change this in the future.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_conditions.c | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory |