| commit | e040f11c32482570ee8ce26cd5130891aab880b1 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 28 Feb 2023 05:23:07 +0000 (28 08:23 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 28 Feb 2023 05:23:07 +0000 (28 08:23 +0300) | ||
| tree | 1c8870bcfd57c921795f3537145d05149ffa0b56 | treesnapshot (tar.gz zip) |
| parent | f8d0a2b3f69faf9c6fb2c2f0b35965d846550b1e | commitdiff |
parse_call_math: store ==$0 even for known values
The situation here is like this:
void set_ptr(struct my_struct *my, void *p)
{
my->data = p;
}
You pass a known mtag "p" and so it's like "Oh, we know that value so
let's not record it as a parameter assignment." But actually the assign
information is very useful so still record it in the database.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The situation here is like this:
void set_ptr(struct my_struct *my, void *p)
{
my->data = p;
}
You pass a known mtag "p" and so it's like "Oh, we know that value so
let's not record it as a parameter assignment." But actually the assign
information is very useful so still record it in the database.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_parse_call_math.c | diffblobblamehistory |