| commit | d7575cc931fb407651ba1d934b93f097a48bc238 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 4 Dec 2009 10:23:16 +0000 (4 12:23 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 4 Dec 2009 10:23:16 +0000 (4 12:23 +0200) | ||
| tree | cde3a38dd42eed8fb5aa0abf134049c854a235af | treesnapshot (tar.gz zip) |
| parent | 92a9d1df53bddca7fd9731b748d454a2e4621de8 | commitdiff |
Pop the pre_condition_stack at the correct point
In the old way we were using the wrong precondition slist to figure out
the anded and ored slists.
The precondition stack is there for unbalanced true false states (places
where the false state is set but not the true state or vice versa).
Signed-off-by: Dan Carpenter <error27@gmail.com>
In the old way we were using the wrong precondition slist to figure out
the anded and ored slists.
The precondition stack is there for unbalanced true false states (places
where the false state is set but not the true state or vice versa).
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_conditions.c | diffblobblamehistory | |
| validation/sm_implied7.c | [new file with mode: 0644] | blob |