Add tests for #12475 (also fixed by this)

danmar · Mar 13, 2024 · e8fd8e6 · e8fd8e6
1 parent 7f44765
commit e8fd8e6
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/test/testsimplifytypedef.cpp b/test/testsimplifytypedef.cpp
@@ -214,6 +214,7 @@ class TestSimplifyTypedef : public TestFixture {
         TEST_CASE(simplifyTypedef147);
         TEST_CASE(simplifyTypedef148);
         TEST_CASE(simplifyTypedef149);
+        TEST_CASE(simplifyTypedef150);
 
         TEST_CASE(simplifyTypedefFunction1);
         TEST_CASE(simplifyTypedefFunction2); // ticket #1685
@@ -3511,6 +3512,26 @@ class TestSimplifyTypedef : public TestFixture {
                "}\n";
         ASSERT_EQUALS("namespace N { enum E { } ; } void g ( int ) ; void f ( ) { g ( sizeof ( enum N :: E ) ) ; }", tok(code));
     }
+
+    void simplifyTypedef150() { // #12475
+        const char* code{}, *exp{};
+        code = "struct S {\n"
+               "    std::vector<int> const& h(int);\n"
+               "};\n"
+               "void g(auto, int);\n"
+               "void f() {\n"
+               "    typedef std::vector<int> const& (S::* func_t)(int);\n"
+               "    g(func_t(&S::h), 5);\n"
+               "}\n";
+        exp = "struct S { "
+              "const std :: vector < int > & h ( int ) ; "
+              "} ; "
+              "void g ( auto , int ) ; "
+              "void f ( ) { "
+              "g ( const std :: vector < int > & ( S :: * ( & S :: h ) ) ( int ) , 5 ) ; "
+              "}";
+        ASSERT_EQUALS(exp, tok(code)); // TODO: don't create invalid code
+    }
 
     void simplifyTypedefFunction1() {
         {

diff --git a/test/testtokenize.cpp b/test/testtokenize.cpp
@@ -6587,6 +6587,7 @@ class TestTokenizer : public TestFixture {
         ASSERT_EQUALS("x{( forbc;;(", testAst("x({ for(a;b;c){} });"));
         ASSERT_EQUALS("PT.(", testAst("P->~T();"));  // <- The "T" token::function() will be a destructor
         ASSERT_EQUALS("double&(4[", testAst("void f(double(&)[4]) {}"));
+        ASSERT_EQUALS("voidu*", testAst("int* g ( void* (f) (void*), void* u);")); // #12475
     }
 
     void asttemplate() { // uninstantiated templates will have <,>,etc..