| commit | bc80c86e05bba07482b62933a73e44292de0a560 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 28 Jun 2013 09:38:06 +0000 (28 12:38 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 28 Jun 2013 09:38:06 +0000 (28 12:38 +0300) | ||
| tree | c8e1a6bbca0a03d1dc2f45690a4cd11d80798077 | treesnapshot (tar.gz zip) |
| parent | 766712fa941f978af2d257110738ace406173e7d | commitdiff |
comparison: fix bug handling min_t()
The problem is that when we parsed a condition we were using the states
we had just written to determine the other states. We have to save the
states first and use the original states.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem is that when we parsed a condition we were using the states
we had just written to determine the other states. We have to save the
states first and use the original states.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory | |
| validation/sm_compare12.c | [new file with mode: 0644] | blob |