| commit | 14df619c221eb8c9d75c43ee7361b4bfe4d83e13 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 11 Dec 2009 13:18:14 +0000 (11 15:18 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 11 Dec 2009 13:18:14 +0000 (11 15:18 +0200) | ||
| tree | bbbce5376c7af6471d2e2dad6042560611776393 | treesnapshot (tar.gz zip) |
| parent | 608a36e0738109fbd51d9d706473626a487e0d98 | commitdiff |
fix select handling
This fixes the irqsave false positives with the new locking test.
The issue was that scripts were calling set_state() but what we want
here was set_true_false_state(). The fix is to use a fake cur_slist()
and move the states over from inside smatch_conditions.c.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This fixes the irqsave false positives with the new locking test.
The issue was that scripts were calling set_state() but what we want
here was set_true_false_state(). The fix is to use a fake cur_slist()
and move the states over from inside smatch_conditions.c.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| Makefile | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_conditions.c | diffblobblamehistory | |
| validation/sm_locking6.c | [new file with mode: 0644] | blob |