Integrate test cases from goblint#161

Author: jprotopopov-ut

test/small1/asm6.c test/small1/asm_goto0.ctest/small1/asm6.c renamed to test/small1/asm_goto0.c

@@ -0,0 +1,6 @@
+#include "testharness.h"
+
+int main() {
+  asm goto ("nop");
+  E(1);
+}

test/small1/asm_goto1.c

@@ -0,0 +1,6 @@
+#include "testharness.h"
+
+void code() {
+  asm goto ("nop" : );
+  E(1);
+}

test/small1/asm_goto2.c

@@ -0,0 +1,8 @@
+#include "testharness.h"
+
+int main(void) {
+start:
+  asm goto ("nop" : : : : start, exit);
+exit:
+  SUCCESS;
+}

test/small1/asm_goto3.c

@@ -0,0 +1,8 @@
+#include "testharness.h"
+
+void code() {
+start:
+  asm("nop" : : : : start, exit);
+exit:
+  E(1);
+}

test/small1/asm_goto4.c

@@ -0,0 +1,6 @@
+#include "testharness.h"
+
+void code() {
+  asm goto ("nop" : : : : start, exit);
+  E(1);
+}

test/small1/asm_goto5.c

@@ -0,0 +1,6 @@
+#include "testharness.h"
+
+void code() {
+  asm goto ("nop" : : : );
+  E(1);
+}

test/small1/asm_goto6.c

@@ -182,7 +182,13 @@ sub addToGroup {
 addTest("test/asm4 _GNUCC=1");
 addTest("test/asm_emptyclobberallowed _GNUCC=1");
 addTest("testobj/asm5 _GNUCC=1");
-addTest("test/asm6");
+addTest("test/asm_goto0");
+addTestFail("test/asm_goto1", "expected non-empty labels list in asm goto");
+addTestFail("test/asm_goto2", "expected non-empty labels list in asm goto");
+addTest("test/asm_goto3");
+addTestFail("test/asm_goto4", "labels provided in inline asm without goto attribute");
+addTestFail("test/asm_goto5", "Error: Label start not found");
+addTestFail("test/asm_goto6", "expected non-empty labels list in asm goto");
 
 addTest("testrun/offsetof");
 addTest("testrun/offsetof1");