| commit | 16606110ccc537b2198515fa3c947eda0d3dbf42 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 31 Oct 2018 14:57:25 +0000 (31 17:57 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 31 Oct 2018 14:57:25 +0000 (31 17:57 +0300) | ||
| tree | d5c9a008119ebb830c3c544fa12df5039d5cd8f1 | treesnapshot (tar.gz zip) |
| parent | a001914ae827b86c7767b284810e91966f18619a | commitdiff |
smatch: make the --enable/disable options take strings
It used to be that the --enable option took numbers, but that was just a
quick hack. I've changed it to take the check names insteadlike this:
smatch --enable=check_check_deref,locking file.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
It used to be that the --enable option took numbers, but that was just a
quick hack. I've changed it to take the check names insteadlike this:
smatch --enable=check_check_deref,locking file.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.c | diffblobblamehistory |