| commit | dc9c135df58988ea251cd753f208fe2175b507a1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 19 Jun 2013 08:13:32 +0000 (19 11:13 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 19 Jun 2013 08:13:32 +0000 (19 11:13 +0300) | ||
| tree | 0e2cb129dfeec0de0da88ed73935de0b1309de1e | treesnapshot (tar.gz zip) |
| parent | 3737aa4c192f4f5f5f1a2e03dd6f888335f05f8e | commitdiff |
db: handle conditional returns better
These are returns like:
return sig < MAX ? 1 : 0;
Before it returned the merged states but now it breaks them apart and
preserves the implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
These are returns like:
return sig < MAX ? 1 : 0;
Before it returned the merged states but now it breaks them apart and
preserves the implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory | |
| validation/sm_select5.c | [new file with mode: 0644] | blob |