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>

1 files changed, 25 insertions, 0 deletions

diff --git a/validation/bug_inline_switch.c b/validation/bug_inline_switch.c
new file mode 100644
index 00000000..95788240
--- /dev/null
+++ b/validation/bug_inline_switch.c
@@ -0,0 +1,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
+ */