| commit | 4ac30c65059b3918998a8e947ef0aafe6bbdd09b | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 07:25:42 +0000 (27 10:25 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 07:25:42 +0000 (27 10:25 +0300) | ||
| tree | 43deffeb4c2498dd831c80a6ea6d3d8fb2836080 | treesnapshot (tar.gz zip) |
| parent | 2ea25506c37e3eb038ff43bbf99ca3096bf88eda | commitdiff |
Fix handling mutually exclusive states.
Mutually exclusive states can be valid. For example:
if (!a && a = returns_nonnull())
The correct thing here is to say a is nonnull in the true path.
The old code said a was both isnull and nonnull which is wrong. Also
the implementation was buggy so it just said that a was &merged without
saying which states were merged together to become &merged.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Mutually exclusive states can be valid. For example:
if (!a && a = returns_nonnull())
The correct thing here is to say a is nonnull in the true path.
The old code said a was both isnull and nonnull which is wrong. Also
the implementation was buggy so it just said that a was &merged without
saying which states were merged together to become &merged.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_slist.c | diffblobblamehistory |