validation/bug_inline_switch.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#define __u16 unsigned short
int foo(__u16 n);
static inline __u16 f(__u16 val)
{
       return val;
}

static inline unsigned int bar(__u16 n)
{
      switch (n) {
      case (1 ? 1 : f(1)):
              return 4;
      }
}

int foo(__u16 n)
{
       bar(n);
       bar(n);
       return 0;
}
/*
 * check-name: inlining switch statement
 */