| commit | 79a877b53564730d057849ef3c40f6fee9d95fac | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 6 Mar 2018 14:21:38 +0000 (6 17:21 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 6 Mar 2018 14:21:38 +0000 (6 17:21 +0300) | ||
| tree | ba97934a071761b6ec5748e48adcf2025d690306 | treesnapshot (tar.gz zip) |
| parent | f589fa80289ba9a952b248d0243573221dad71ef | commitdiff |
var_sym: tweak expr_to_vsl()
I'm not sure what's going on here exactly....
I changed the first hunk by removing the EXPR_DEREF from the condition.
Why did I do that? Possibly because DEREF has an expr->deref instead of
a ->unop? I don't know. It's possible that it has to do with the
EXPR_SYMBOL thing?
But anyway, it meant that smatch_extra.c couldn't save the values for
array expressions like "if (foo[x] != 3) { ...". So I added EXPR_DEREF
handling back later in the bottom of the function.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I'm not sure what's going on here exactly....
I changed the first hunk by removing the EXPR_DEREF from the condition.
Why did I do that? Possibly because DEREF has an expr->deref instead of
a ->unop? I don't know. It's possible that it has to do with the
EXPR_SYMBOL thing?
But anyway, it meant that smatch_extra.c couldn't save the values for
array expressions like "if (foo[x] != 3) { ...". So I added EXPR_DEREF
handling back later in the bottom of the function.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_var_sym.c | diffblobblamehistory |