| commit | 409b8a68af55b7ac9fd1affd4cb83fc76f80baf9 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 28 Jan 2019 10:41:53 +0000 (28 13:41 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 28 Jan 2019 10:41:53 +0000 (28 13:41 +0300) | ||
| tree | 7b0bc9c36fa7e89b67eb4595431abc84b46d55aa | treesnapshot (tar.gz zip) |
| parent | 72e65eff34c0aaaddfc3a620073f4be3883f5c95 | commitdiff |
param_set: handle mtag assignments
The problem here is that we want to say that "$0->bar = 0-u64max[$1]",
meaning that we assign parameter 1 to foo->bar. The problem is that if
it's an mtag, we would only record the mtag and not the [$1]. This causes
a problem for smatch_assigned_expr.c which needs the parameter.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem here is that we want to say that "$0->bar = 0-u64max[$1]",
meaning that we assign parameter 1 to foo->bar. The problem is that if
it's an mtag, we would only record the mtag and not the [$1]. This causes
a problem for smatch_assigned_expr.c which needs the parameter.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_param_set.c | diffblobblamehistory | |
| smatch_parse_call_math.c | diffblobblamehistory |