| commit | 7d57fa81b0faa171382f5a991217e52d41b13188 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 12 Sep 2017 21:43:29 +0000 (13 00:43 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 12 Sep 2017 21:43:29 +0000 (13 00:43 +0300) | ||
| tree | b193a8418f1508d0f33387d074875e6b7151ca93 | treesnapshot (tar.gz zip) |
| parent | fc84364cd92c33395c3fd4665dd607d586083b8c | commitdiff |
user_data2, db: fix changing the returned states to $->foo->bar correctly
The get_param_name() works for parameters, because parameters are all
symbol expressions, but returned expressions can be dereferences like
foo->bar. The original code was taking foo->baz and change it to "$->baz"
but it should have ignored it. And it takes things like "foo->bar->xxx"
and changes it to "$->bar->xxx" instead of "$->xxx".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The get_param_name() works for parameters, because parameters are all
symbol expressions, but returned expressions can be dereferences like
foo->bar. The original code was taking foo->baz and change it to "$->baz"
but it should have ignored it. And it takes things like "foo->bar->xxx"
and changes it to "$->bar->xxx" instead of "$->xxx".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_user_data2.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_db.c | diffblobblamehistory |