| commit | 12a11e53dda8ed8883dfedb2958ea9e7d02c04e9 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 16:50:22 +0000 (27 19:50 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 27 Feb 2009 16:50:22 +0000 (27 19:50 +0300) | ||
| tree | 58ddb898563ac7b77aecb0092127bc404fcba1be | treesnapshot (tar.gz zip) |
| parent | 4ac30c65059b3918998a8e947ef0aafe6bbdd09b | commitdiff |
Preserve the ->pools and ->possible for implied states.
With this new code, we can say that it's implied that a is either state1
or state2 but only the false path it's state3.
Signed-off-by: Dan Carpenter <error27@gmail.com>
With this new code, we can say that it's implied that a is either state1
or state2 but only the false path it's state3.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_implied.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory |