| commit | e38aa6b0efb074bc765abbf982373342b3fa8d1a | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 3 Feb 2009 19:38:52 +0000 (3 22:38 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 3 Feb 2009 19:38:52 +0000 (3 22:38 +0300) | ||
| tree | 142f6dd31c72074f542b83f33f50e1e32d6ac002 | treesnapshot (tar.gz zip) |
| parent | 0276a0abdcc6d568addd844407932f24081433c1 | commitdiff |
Almost print a message when you come to unreachable code.
The old smatch had a check that printed unreachable code. It seemed like
a good idea but it was unworkable in practice for kernel code. There are
macros that call BUG(); panic(); and it seemed like a lot of work to
deal with all that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The old smatch had a check that printed unreachable code. It seemed like
a good idea but it was unworkable in practice for kernel code. There are
macros that call BUG(); panic(); and it seemed like a lot of work to
deal with all that.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |