| commit | a160e149387f374f4a4fcee1329d8317c8b92dd1 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Tue, 27 Jun 2023 09:05:26 +0000 (27 12:05 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Tue, 27 Jun 2023 09:05:26 +0000 (27 12:05 +0300) | ||
| tree | 310ad0a36887047f57aa5c980525f019ee5a1d02 | treesnapshot (tar.gz zip) |
| parent | 4ca061a0e9e641fd33977ad8573f0caf80c27b91 | commitdiff |
flow: introduce shallow assignments
I quite like the idea of creating fake assignments but one of the recurring
issues that I have is when assignments have side effects. So I have the
idea that maybe we can create shallow assignments that have no side
effects.
This is what this patch does.
I'm not sure, I have fully understood all the issues... But also I have
been running this code for some time and at this time I don't want to have
this diff with the published code.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
I quite like the idea of creating fake assignments but one of the recurring
issues that I have is when assignments have side effects. So I have the
idea that maybe we can create shallow assignments that have no side
effects.
This is what this patch does.
I'm not sure, I have fully understood all the issues... But also I have
been running this code for some time and at this time I don't want to have
this diff with the published code.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory |