Add tests for danmar#6504, #11177 (danmar#4494)

chrchr-github · web-flow · commit bb2ba53bf5df · 2022-09-22T19:41:29.000+02:00
* Add test for #11177 * Add test for danmar#6504
diff --git a/test/testconstructors.cpp b/test/testconstructors.cpp
@@ -4332,6 +4332,14 @@ class TestConstructors : public TestFixture {
               "template<class T1, class T2>\n"
               "A<B<T1, T2>>::A() : m_value(false) {}");
         ASSERT_EQUALS("", errout.str());
+
+        check("template <typename T> struct S;\n" // #11177
+              "template <> struct S<void> final {\n"
+              "    explicit S(int& i);\n"
+              "    int& m;\n"
+              "};\n"
+              "S<void>::S(int& i) : m(i) {}\n");
+        ASSERT_EQUALS("", errout.str());
     }
 
     void unknownTemplateType() {
diff --git a/test/testincompletestatement.cpp b/test/testincompletestatement.cpp
@@ -696,6 +696,12 @@ class TestIncompleteStatement : public TestFixture {
         ASSERT_EQUALS("[test.cpp:2]: (warning) Redundant code: Found a statement that begins with NULL constant.\n"
                       "[test.cpp:3]: (warning) Redundant code: Found a statement that begins with NULL constant.\n",
                       errout.str());
+
+        check("struct S { int i; };\n" // #6504
+              "void f(S* s) {\n"
+              "    (*s).i;\n"
+              "}\n");
+        ASSERT_EQUALS("[test.cpp:3]: (warning) Redundant code: Found unused member access.\n", errout.str());
     }
 
     void vardecl() {
