diff options
| author | Christopher Li <sparse@chrisli.org> | 2011-08-11 03:44:34 -0700 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2011-08-14 14:09:47 -0700 |
| commit | 5b57cb8105f9fe00119a12462f09f3106b1e6117 (patch) | |
| tree | e5c1089ce42ae183905c487426da193a6e8e6e41 /Makefile | |
| parent | 064f61f7325f898474779b82759ae48aea118c69 (diff) | |
| download | sparse-dev-5b57cb8105f9fe00119a12462f09f3106b1e6117.tar.gz | |
validation: inline switch statement
This bug is reported by Randy. Al provides the simplify
version of the test case.
It generate error message on the current sparse:
warning: unreplaced symbol 'val'
This is some bug in the switch inline code.
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions