| commit | 79810fd42a5de0d1c91d7d17869c4dae503b9199 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 13 Jan 2021 10:25:30 +0000 (13 13:25 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 13 Jan 2021 10:25:30 +0000 (13 13:25 +0300) | ||
| tree | 6251035d1aa1749567727794130141a34649cc3e | treesnapshot (tar.gz zip) |
| parent | e0db53702262e93bb264c1b96453fa068e20389b | commitdiff |
debug: re-work how debugging implications works
Hopefully this will make the __smatch_debug_implied_on/off() functions
more useful.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Hopefully this will make the __smatch_debug_implied_on/off() functions
more useful.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_debug.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory |