| commit | 899cc6189e53219d79ac33a58a29d1f66d69f9fb | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 5 May 2014 20:35:03 +0000 (5 23:35 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 5 May 2014 20:35:03 +0000 (5 23:35 +0300) | ||
| tree | 3a426474fd59f9d9fddf1b4b577eb7750434a6f4 | treesnapshot (tar.gz zip) |
| parent | b17d60110d7138567b919b18b7925d2a7d4648f2 | commitdiff |
db: split all boolean functions into one and zero strees
If we know the function returns either one or zero then it means we should
figure which states are true when we return one and which are true when
we return zero. That's common sense.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If we know the function returns either one or zero then it means we should
figure which states are true when we return one and which are true when
we return zero. That's common sense.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |