| commit | 276a14f027cd200fc4dd511a1fe89d95d97ec106 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 8 May 2017 08:32:25 +0000 (8 11:32 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 8 May 2017 08:32:25 +0000 (8 11:32 +0300) | ||
| tree | 45c2b8be8743f6ffa7e8908a9d44ce4e1a02b1ae | treesnapshot (tar.gz zip) |
| parent | f4d95446b7bf91b71c9d3bb330ce6e1c2ff710be | commitdiff |
return_to_param (mappings): map regular assignments as well
It turns out that we weren't doing the long to short mappings for normal
assignments like:
void frob(struct foo *foo)
{
struct foo *p = foo->bar->baz;
We would map in the caller that foo->bar->p->xxx had changed but if the
caller was referring to it as p->xxx then that wasn't getting updated.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
It turns out that we weren't doing the long to short mappings for normal
assignments like:
void frob(struct foo *foo)
{
struct foo *p = foo->bar->baz;
We would map in the caller that foo->bar->p->xxx had changed but if the
caller was referring to it as p->xxx then that wasn't getting updated.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_return_to_param.c | diffblobblamehistory |