| commit | 27d660c3ccffda62076a66ce8289a3d3addc0dc0 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 24 Sep 2014 14:53:14 +0000 (24 17:53 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 24 Sep 2014 14:53:14 +0000 (24 17:53 +0300) | ||
| tree | 2de68dd9bbf36259dfab23ec6f7a7da9e7347aee | treesnapshot (tar.gz zip) |
| parent | 53bb67f7881193650317c182c0a0625281beb29e | commitdiff |
assigned_expr: undefine on modification
If the variable is modified then clear the assignment state. This could
happen for code like "foo++" but it could also happen that we do a struct
assignment or something with smatch_param_set.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If the variable is modified then clear the assignment state. This could
happen for code like "foo++" but it could also happen that we do a struct
assignment or something with smatch_param_set.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_assigned_expr.c | diffblobblamehistory |