| commit | 1deaeebd55ba439107f7566187720ff4706e8fc6 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Jun 2015 14:16:35 +0000 (26 17:16 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Jun 2015 14:16:35 +0000 (26 17:16 +0300) | ||
| tree | b6d4ed753123e7c35ddcaac91d4af3878abd33ba | treesnapshot (tar.gz zip) |
| parent | 35406b4a9ac479ca44d38185eec292b3083afddb | commitdiff |
db: fix a bug in split returns
The situation here is that we have code like:
return ret;
We are trying to figure out how the implications are if ret = -ENOMEM or
ret = 0. The problem is that it would first find the implications of
-ENOMEM then it would take assume all those were true and find the
implications of = 0. We should reset the implications back to the start
before we try find the next set of implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The situation here is that we have code like:
return ret;
We are trying to figure out how the implications are if ret = -ENOMEM or
ret = 0. The problem is that it would first find the implications of
-ENOMEM then it would take assume all those were true and find the
implications of = 0. We should reset the implications back to the start
before we try find the next set of implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |