| commit | c494817584c6def997b23bea2c78cf8b773110df | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Nov 2013 11:37:52 +0000 (21 14:37 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 21 Nov 2013 11:37:52 +0000 (21 14:37 +0300) | ||
| tree | 5f821b7fcb5b822ab8c36a6ec8e5ca8fd83456a0 | treesnapshot (tar.gz zip) |
| parent | 125717a891df8ba211bc24246415e3e97ca5ef2d | commitdiff |
db: order the return_states
The problem here is that say we have a function where it says:
if (*param0 == 1)
return 1;
if (somthing else)
*param0 = 1;
We have to do the filter and clear operations before we do the set param0
to 1 operation. Otherwise we add one and then mark it as impossible.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem here is that say we have a function where it says:
if (*param0 == 1)
return 1;
if (somthing else)
*param0 = 1;
We have to do the filter and clear operations before we do the set param0
to 1 operation. Otherwise we add one and then mark it as impossible.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_data/db/fixup_kernel.sh | diffblobblamehistory | |
| smatch_data/db/smdb.py | diffblobblamehistory | |
| smatch_db.c | diffblobblamehistory |