| commit | e1729dd11e7d8b9862575698b63881a8e63aa7f4 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 23 Apr 2009 14:14:23 +0000 (23 17:14 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 23 Apr 2009 14:14:23 +0000 (23 17:14 +0300) | ||
| tree | 8bcf291d5b8c1ecb82b492cfd5bb71a46554e463 | treesnapshot (tar.gz zip) |
| parent | a0d030523dd6b2595863bcbb9fce51e909651883 | commitdiff |
Handle switch statements
switch (x) { case 5:
Obviously that means we can set the implications for x == 5 and set x = 5
in SMATCH_EXTRA etc.
This patch will cause more "info: ignoring unreached code" messages when
there are declarations at the beginning of a switch statement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
switch (x) { case 5:
Obviously that means we can set the implications for x == 5 and set x = 5
in SMATCH_EXTRA etc.
This patch will cause more "info: ignoring unreached code" messages when
there are declarations at the beginning of a switch statement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory | |
| validation/sm_switch.c | [new file with mode: 0644] | blob |