| commit | dbdb27615facf105a5ec8eeb9463b62c1cd1e1d7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 19 Jan 2021 10:15:58 +0000 (19 13:15 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 19 Jan 2021 10:15:58 +0000 (19 13:15 +0300) | ||
| tree | 11b80bf0ef2c47139563b9dafaa92f9221d9a7f6 | treesnapshot (tar.gz zip) |
| parent | fea455a211a29c95e230a8880f669efc41838e23 | commitdiff |
states: fix get_state_expr() uses of fake_parent
This has a couple problems I think... Let's imagine a call:
frob(foo);
The check might not track assignments... Ideally it should but not
everything does. Also it occurs to me that the parameter might be a
different type so it's not really accurate.
The original point of this was to track binops and function calls and I
still think that is a good idea... We'll see.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This has a couple problems I think... Let's imagine a call:
frob(foo);
The check might not track assignments... Ideally it should but not
everything does. Also it occurs to me that the parameter might be a
different type so it's not really accurate.
The original point of this was to track binops and function calls and I
still think that is a good idea... We'll see.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_states.c | diffblobblamehistory |