| commit | 4ce4971debe19a256b1ff4e3dbaf61e98b022350 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Dec 2017 13:40:13 +0000 (4 16:40 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Dec 2017 13:42:27 +0000 (4 16:42 +0300) | ||
| tree | fa0a2cd322f103ab7b7e35fa83c6743fadb3dc4d | treesnapshot (tar.gz zip) |
| parent | 9c0abd05512a9e9e2ce6876bfabc0cf65319d561 | commitdiff |
struct_assignment: handle non struct, pointer assignments better
Say you have code like:
int *a, *b;
if (*a != 65)
return;
b = a;
__smatch_implied(b);
At the end we should be able to say that *b == 65.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say you have code like:
int *a, *b;
if (*a != 65)
return;
b = a;
__smatch_implied(b);
At the end we should be able to say that *b == 65.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_struct_assignment.c | diffblobblamehistory | |
| validation/sm_pointer_assign.c | [new file with mode: 0644] | blob |