Add test case for empty asm clobbers

This test case is provided by Dave Jones.
Sparse currently chokes on it.

Signed-off-by: Christopher Li <sparse@chrisli.org>

1 files changed, 28 insertions, 0 deletions

diff --git a/validation/asm-empty-clobber.c b/validation/asm-empty-clobber.c
new file mode 100644
index 00000000..eb1e1058
--- /dev/null
+++ b/validation/asm-empty-clobber.c
@@ -0,0 +1,28 @@
+
+# define __ASM_FORM(x)  " " #x " "
+# define JUMP_LABEL_INITIAL_NOP ".byte 0xe9 \n\t .long 0\n\t"
+# define __ASM_SEL(a,b) __ASM_FORM(b)
+#define _ASM_PTR        __ASM_SEL(.long, .quad)
+
+# define JUMP_LABEL(key, label)                                 \
+       do {                                                    \
+               asm goto("1:"                                   \
+                       JUMP_LABEL_INITIAL_NOP                  \
+                       ".pushsection __jump_table,  \"a\" \n\t"\
+                       _ASM_PTR "1b, %l[" #label "], %c0 \n\t" \
+                       ".popsection \n\t"                      \
+                       : :  "i" (key) :  : label);             \
+       } while (0)
+
+int main(int argc, char *argv[])
+{
+       JUMP_LABEL("1", do_trace );
+       return 1;
+do_trace:
+       return 0;
+}
+
+/*
+ *  check-name: Asm with goto labels.
+ */
+