| commit | 8b6c329fac235a1ec48912a6db1fcbeebdcf226f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Apr 2012 21:42:18 +0000 (15 00:42 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 14 Apr 2012 21:42:18 +0000 (15 00:42 +0300) | ||
| tree | e97c704e01e75c34a9c1009669db5d7259199815 | treesnapshot (tar.gz zip) |
| parent | 7f3011ac60198d9baee553eae54e2b6123c91648 | commitdiff |
math: simplify known_condition_true/false()
Now that get_value() handles logical negate and expression statements, we
can remove a lot of code from known_condition_true/false().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Now that get_value() handles logical negate and expression statements, we
can remove a lot of code from known_condition_true/false().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |