| commit | 6e4da65b5433642be99a0ba85a940330fa052bc1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 3 Aug 2017 11:10:27 +0000 (3 14:10 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 3 Aug 2017 11:10:27 +0000 (3 14:10 +0300) | ||
| tree | bb6a935ff7d0e36ff6580eb191631b345c449b20 | treesnapshot (tar.gz zip) |
| parent | cdd6ae2658a775a093b4269596d76b19b581de79 | commitdiff |
extra: don't call create new states for unknown values with param_set
If you start out with no state, then it doesn't really make sense to
set the state to unknown. Unknown and no state are the same thing.
To be honest, I'm not sure why this is only applied to __in_fake_assign
and in_param_set(). Anyway, I've been running with this code for a while
and want to commit it so my private diffstat shrinks.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If you start out with no state, then it doesn't really make sense to
set the state to unknown. Unknown and no state are the same thing.
To be honest, I'm not sure why this is only applied to __in_fake_assign
and in_param_set(). Anyway, I've been running with this code for a while
and want to commit it so my private diffstat shrinks.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |