| commit | a80464441f594cccd046d60d557d872e3e01e6ce | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 4 Mar 2010 14:58:17 +0000 (4 17:58 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 4 Mar 2010 14:58:17 +0000 (4 17:58 +0300) | ||
| tree | 365de9dd8928d90c4da5a503d349b39ffef7cdae | treesnapshot (tar.gz zip) |
| parent | ea3a426bdcd5227b6732e85173d2a726a50de94f | commitdiff |
improve implied_condition_true() for pre and post ops
The original code was a big hack and not what I wanted. The new code
should handle post ops correctly.
The handling of pre ops is probably still not ideal but it's also an
improvement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The original code was a big hack and not what I wanted. The new code
should handle post ops correctly.
The handling of pre ops is probably still not ideal but it's also an
improvement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory |