| commit | 3d966c4534ba5db3ef3f9590dc37f08fa91c14ed | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 15 Mar 2023 12:24:58 +0000 (15 15:24 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 15 Mar 2023 12:26:42 +0000 (15 15:26 +0300) | ||
| tree | 441d89c9b25342105c3119ed838daaec5aa0b811 | treesnapshot (tar.gz zip) |
| parent | cfe12a9b53fc66e89d42335ddb9b63db18392874 | commitdiff |
debug: make __smatch_about() handle SSA states better
SSA states have a name like "variable:<id>" so consider it a match if the
name ends in a ":<id>".
Signed-off-by: Dan Carpenter <error27@gmail.com>
SSA states have a name like "variable:<id>" so consider it a match if the
name ends in a ":<id>".
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_debug.c | diffblobblamehistory |