implied_value: don't get confused by casts
[smatch.git] / validation / bug_inline_switch.c
blob957882405a9036c04ef6154d4668b0b01eb1640a
2 #define __u16 unsigned short
3 int foo(__u16 n);
4 static inline __u16 f(__u16 val)
6 return val;
9 static inline unsigned int bar(__u16 n)
11 switch (n) {
12 case (1 ? 1 : f(1)):
13 return 4;
17 int foo(__u16 n)
19 bar(n);
20 bar(n);
21 return 0;
24 * check-name: inlining switch statement