implied_value: don't get confused by casts
[smatch.git] / validation / badtype2.c
blob90a5fa1e4ad2003403a4b539185c17340ba4f3b4
1 //typedef int undef;
2 extern undef bar(void);
3 static undef foo(char *c)
5 char p = *c;
6 switch (p) {
7 default:
8 return bar();
13 * check-name: missing type
14 * check-error-start
15 badtype2.c:2:14: error: Expected ; at end of declaration
16 badtype2.c:2:14: error: got bar
17 badtype2.c:3:14: error: Expected ; at end of declaration
18 badtype2.c:3:14: error: got foo
19 badtype2.c:6:3: error: Trying to use reserved word 'switch' as identifier
20 badtype2.c:7:3: error: not in switch scope
21 badtype2.c:10:1: error: Expected ; at the end of type declaration
22 badtype2.c:10:1: error: got }
23 * check-error-end