Moved some more tests to testgarbage.cpp

PKEuS · PKEuS · commit 3274a00b827a · 2015-01-21T10:04:46.000+01:00
diff --git a/test/testbufferoverrun.cpp b/test/testbufferoverrun.cpp
@@ -296,7 +296,6 @@ class TestBufferOverrun : public TestFixture {
         TEST_CASE(executionPaths1);
         TEST_CASE(executionPaths2);
         TEST_CASE(executionPaths3);   // no FP for function parameter
-        TEST_CASE(executionPaths4);   // Ticket #2386 - Segmentation fault in the ExecutionPath handling
         TEST_CASE(executionPaths5);   // Ticket #2920 - False positive when size is unknown
         TEST_CASE(executionPaths6);   // unknown types
 
@@ -3899,15 +3898,6 @@ class TestBufferOverrun : public TestFixture {
         ASSERT_EQUALS("", errout.str());
     }
 
-    void executionPaths4() {
-        // Ticket #2386 - Segmentation fault upon strange syntax
-        ASSERT_THROW(epcheck("void f() {\n"
-                             "    switch ( x ) {\n"
-                             "        case struct Tree : break;\n"
-                             "    }\n"
-                             "}"), InternalError);
-    }
-
     void executionPaths5() {
         // No false positive
         epcheck("class A {\n"
diff --git a/test/testconstructors.cpp b/test/testconstructors.cpp
@@ -178,7 +178,6 @@ class TestConstructors : public TestFixture {
         TEST_CASE(uninitVarPointer);       // ticket #3801
         TEST_CASE(uninitConstVar);
         TEST_CASE(constructors_crash1);    // ticket #5641
-        TEST_CASE(invalidInitializerList); // ticket #5702
     }
 
 
@@ -3139,14 +3138,6 @@ class TestConstructors : public TestFixture {
               "};\n");
         ASSERT_EQUALS("", errout.str());
     }
-
-    void invalidInitializerList() {
-        // 5702
-        ASSERT_THROW(check("struct R1 {\n"
-                           "  int a;\n"
-                           "  R1 () : a { }\n"
-                           "};\n"), InternalError);
-    }
 };
 
 REGISTER_TEST(TestConstructors)
diff --git a/test/testgarbage.cpp b/test/testgarbage.cpp
@@ -65,6 +65,10 @@ class TestGarbage : public TestFixture {
         TEST_CASE(garbageCode22);
         TEST_CASE(garbageCode23);
         TEST_CASE(garbageCode24);  // Ticket #6361 - crash
+        TEST_CASE(garbageCode25);
+        TEST_CASE(garbageCode26);
+        TEST_CASE(garbageCode27);
+        TEST_CASE(garbageCode28);
 
         TEST_CASE(garbageValueFlow);
         TEST_CASE(garbageSymbolDatabase);
@@ -341,6 +345,40 @@ class TestGarbage : public TestFixture {
                   "}\n");
     }
 
+    void garbageCode25() {
+        // Ticket #2386 - Segmentation fault upon strange syntax
+        ASSERT_THROW(checkCode("void f() {\n"
+                               "    switch ( x ) {\n"
+                               "        case struct Tree : break;\n"
+                               "    }\n"
+                               "}"), InternalError);
+    }
+
+    void garbageCode26() {
+        // See tickets #2518 #2555 #4171
+        ASSERT_THROW(checkCode("void f() {\n"
+                               "    switch MAKEWORD(1)\n"
+                               "    {\n"
+                               "    case 0:\n"
+                               "        return;\n"
+                               "    }\n"
+                               "}"), InternalError);
+    }
+
+    void garbageCode27() {
+        ASSERT_THROW(checkCode("int f() {\n"
+                               "    return if\n"
+                               "}"), InternalError);
+    }
+
+    void garbageCode28() {
+        // 5702
+        ASSERT_THROW(checkCode("struct R1 {\n"
+                               "  int a;\n"
+                               "  R1 () : a { }\n"
+                               "};\n"), InternalError);
+    }
+
     void garbageValueFlow() {
         // #6089
         const char* code = "{} int foo(struct, x1, struct x2, x3, int, x5, x6, x7)\n"
diff --git a/test/testmemleak.cpp b/test/testmemleak.cpp
@@ -198,7 +198,6 @@ class TestMemleakInFunction : public TestFixture {
 
         TEST_CASE(switch2);
         TEST_CASE(switch3);
-        TEST_CASE(switch4);     // #2555 - segfault
 
         TEST_CASE(ret5);        // Bug 2458436 - return use
         TEST_CASE(ret6);
@@ -1417,17 +1416,6 @@ class TestMemleakInFunction : public TestFixture {
         ASSERT_EQUALS("[test.cpp:9]: (error) Memory leak: str\n", errout.str());
     }
 
-    void switch4() {
-        // See tickets #2518 #2555 #4171
-        ASSERT_THROW(check("void f() {\n"
-                           "    switch MAKEWORD(1)\n"
-                           "    {\n"
-                           "    case 0:\n"
-                           "        return;\n"
-                           "    }\n"
-                           "}"), InternalError);
-    }
-
     void ret5() {
         check("static char * f()\n"
               "{\n"
diff --git a/test/testnullpointer.cpp b/test/testnullpointer.cpp
@@ -80,7 +80,6 @@ class TestNullPointer : public TestFixture {
         TEST_CASE(nullpointerStdStream);
         TEST_CASE(functioncall);
         TEST_CASE(functioncalllibrary); // use Library to parse function call
-        TEST_CASE(crash1);
         TEST_CASE(functioncallDefaultArguments);
         TEST_CASE(nullpointer_internal_error); // #5080
         TEST_CASE(nullpointerFputc);     //  #5645 FP: Null pointer dereference in fputc argument
@@ -2504,13 +2503,6 @@ class TestNullPointer : public TestFixture {
         TODO_ASSERT_EQUALS("[test.cpp:2]: (warning) Possible null pointer dereference if the default parameter value is used: p\n", "", errout.str());
     }
 
-
-    void crash1() {
-        ASSERT_THROW(check("int f() {\n"
-                           "    return if\n"
-                           "}"), InternalError);
-    }
-
     void nullpointer_internal_error() { // ticket #5080
         check("struct A { unsigned int size; };\n"
               "struct B { struct A *a; };\n"
