[Bug testsuite/109129] New: [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[Bug testsuite/109129] New: [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109129

            Bug ID: 109129
           Summary: [13 regression] g++.dg/cpp2a/concepts-lambda3.C in
                    unresolved after r13-6594-ga915c29a7d63cc
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:a915c29a7d63ccb88cfded75ba1c8c4919845e98, r13-6594-ga915c29a7d63cc
make  -k check-gcc RUNTESTFLAGS="dg.exp=g++.dg/cpp2a/concepts-lambda3.C"
# of expected passes            2
# of unresolved testcases       3


From the commit log this looks to be expected maybe?

commit a915c29a7d63ccb88cfded75ba1c8c4919845e98 (HEAD)
Author: Jason Merrill <jason@redhat.com>
Date:   Thu Mar 9 17:01:48 2023 -0500

    c++: constrained lambda error-recovery [PR108972]
...
            * g++.dg/cpp2a/concepts-lambda3.C: Run at lower std levels,
            but expect errors.


spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C
-fdiagnostics-plain-output -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-std=c++17 -pedantic-errors -Wno-long-long
-L/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libstdc++-v3/src/.libs
-B/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libstdc++-v3/src/.libs
-L/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libstdc++-v3/src/.libs
-L/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libstdc++-v3/src/experimental/.libs
-B/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libitm/
-L/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/./libitm/.libs
-lm -o ./concepts-lambda3.exe
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:5:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:5:1:
note: 'concept' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:10:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:10:1:
note: 'concept' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:13:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:13:1:
note: 'concept' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:15:10:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:19:12:
error: 'IsNotTiny' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
function 'int main(int, char**)':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:14:
error: lambda templates are only available with '-std=c++20' or '-std=gnu++20'
[-Wc++20-extensions]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:15:
error: 'C1' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:21:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:30:
error: 'IsNotTiny' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:40:
error: 'T' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:43:
error: 'T' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:44:
error: expected ')' before 't'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
lambda function:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:31:51:
error: expected '{' before ';' token
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
function 'int main(int, char**)':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:32:4:
error: no match for call to '(main(int, char**)::<lambda()>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:12:
note: candidate: 'template<<declaration error> > main(int, char**)::<lambda()>'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:12:
note:   template argument deduction/substitution failed:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:32:4:
note:   candidate expects 0 arguments, 1 provided
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:33:20:
error: no matching function for call to 'main(int,
char**)::<lambda()>::operator()<int>(double)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:12:
note: candidate: 'template<<declaration error> > main(int, char**)::<lambda()>'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:12:
note:   candidate expects 0 arguments, 1 provided
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:35:14:
error: lambda templates are only available with '-std=c++20' or '-std=gnu++20'
[-Wc++20-extensions]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:35:43:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:38:14:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:6:
error: 'C1' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:6:
error: two or more data types in declaration of 't'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
lambda function:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:26:
error: 't' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
function 'int main(int, char**)':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:30:
error: no match for call to '(main(int, char**)::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:3:
note: candidate: 'template<class auto:3> main(int, char**)::<lambda(...)>'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:3:
note:   template argument deduction/substitution failed:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:30:
note:   couldn't deduce template parameter 'auto:3'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:16:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:16:
error: two or more data types in declaration of 'a'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:42:15:
error: no match for call to '(main(int, char**)::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:13:
note: candidate: 'template<class auto:4> main(int, char**)::<lambda(...)>'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:13:
note:   template argument deduction/substitution failed:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:42:15:
note:   couldn't deduce template parameter 'auto:4'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
lambda function:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:36:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:36:
error: two or more data types in declaration of 'b'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
lambda function:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:63:
error: 'b' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C: In
function 'int main(int, char**)':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:47:15:
error: no match for call to '(main(int,
char**)::<lambda(auto:6)>::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:33:
note: candidate: 'template<class auto:7> main(int,
char**)::<lambda(auto:6)>::<lambda(...)>'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:33:
note:   template argument deduction/substitution failed:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:47:15:
note:   couldn't deduce template parameter 'auto:7'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:50:8:
error: request for member 'a' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:51:8:
error: request for member 'a' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:52:8:
error: request for member 'b' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:52:10:
error: expected primary-expression before 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:53:8:
error: request for member 'b' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:53:10:
error: expected primary-expression before 'long'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:56:8:
error: request for member 'a' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:57:8:
error: request for member 'a' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:58:8:
error: request for member 'b' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:58:10:
error: expected primary-expression before 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:59:8:
error: request for member 'b' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:59:10:
error: expected primary-expression before 'long'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:61:31:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
compiler exited with status 1
XFAIL: g++.dg/cpp2a/concepts-lambda3.C  -std=c++17 (test for excess errors)
Excess errors:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:5:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:10:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:13:1:
error: 'concept' does not name a type; did you mean 'const'?
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:15:10:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:19:12:
error: 'IsNotTiny' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:14:
error: lambda templates are only available with '-std=c++20' or '-std=gnu++20'
[-Wc++20-extensions]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:15:
error: 'C1' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:21:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:30:
error: 'IsNotTiny' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:40:
error: 'T' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:43:
error: 'T' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:30:44:
error: expected ')' before 't'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:31:51:
error: expected '{' before ';' token
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:32:4:
error: no match for call to '(main(int, char**)::<lambda()>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:33:20:
error: no matching function for call to 'main(int,
char**)::<lambda()>::operator()<int>(double)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:35:14:
error: lambda templates are only available with '-std=c++20' or '-std=gnu++20'
[-Wc++20-extensions]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:35:43:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:38:14:
error: 'requires' only available with '-std=c++20' or '-fconcepts'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:6:
error: 'C1' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:6:
error: two or more data types in declaration of 't'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:26:
error: 't' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:39:30:
error: no match for call to '(main(int, char**)::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:16:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:41:16:
error: two or more data types in declaration of 'a'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:42:15:
error: no match for call to '(main(int, char**)::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:36:
error: 'IsNotLarge' has not been declared
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:36:
error: two or more data types in declaration of 'b'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:45:63:
error: 'b' was not declared in this scope
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:47:15:
error: no match for call to '(main(int,
char**)::<lambda(auto:6)>::<lambda(...)>) (int)'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:50:8:
error: request for member 'a' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:51:8:
error: request for member 'a' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:52:8:
error: request for member 'b' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:52:10:
error: expected primary-expression before 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:53:8:
error: request for member 'b' in 'foo1', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:53:10:
error: expected primary-expression before 'long'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:56:8:
error: request for member 'a' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:57:8:
error: request for member 'a' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:58:8:
error: request for member 'b' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:58:10:
error: expected primary-expression before 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:59:8:
error: request for member 'b' in 'foo2', which is of non-class type 'int'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:59:10:
error: expected primary-expression before 'long'
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/cpp2a/concepts-lambda3.C:61:31:
error: 'requires' only available with '-std=c++20' or '-fconcepts'

UNRESOLVED: g++.dg/cpp2a/concepts-lambda3.C  -std=c++17 compilation failed to
produce executable

[Bug testsuite/109129] [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109129

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I've already posted patch for it:
https://gcc.gnu.org/pipermail/gcc-patches/2023-March/613928.html

[Bug testsuite/109129] [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109129

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |testsuite-fail
   Target Milestone|---                         |13.0

[Bug testsuite/109129] [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109129

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:7f22d1c83e74c41116300bebac2e4c492c90b03d

commit r13-6664-g7f22d1c83e74c41116300bebac2e4c492c90b03d
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Mar 14 16:18:47 2023 +0100

    testsuite: Fix up g++.dg/cpp2a/concepts-lambda3.C [PR108972]

    On Fri, Mar 10, 2023 at 01:49:38PM -0500, Jason Merrill via Gcc-patches
wrote:
    > gcc/testsuite/ChangeLog:
    >
    >       * g++.dg/cpp2a/concepts-lambda3.C: Run at lower std levels,
    >       but expect errors.

    I'm seeing
    +UNRESOLVED: g++.dg/cpp2a/concepts-lambda3.C  -std=c++11 compilation failed
to produce executable
    +UNRESOLVED: g++.dg/cpp2a/concepts-lambda3.C  -std=c++14 compilation failed
to produce executable
    +UNRESOLVED: g++.dg/cpp2a/concepts-lambda3.C  -std=c++17 compilation failed
to produce executable
    +UNRESOLVED: g++.dg/cpp2a/concepts-lambda3.C  -std=c++98 compilation failed
to produce executable
    with this change, and if I test with
    GXX_TESTSUITE_STDS=98,11,14,17,20,2b make check-g++ -k
RUNTESTFLAGS="--target_board=unix\{-m32,-m64,-m64/-fconcepts\}
dg.exp=concepts-lambda3.C"
    I see even FAILs for the -fconcepts case, so apparently even -std=c++17
    -fconcepts isn't enough to make it compile without errors.

    The following patch will expect errors for all of c++17_down and will
    make the test dg-do compile for that case too, such that the UNRESOLVED
    stuff is gone.

    2023-03-14  Jakub Jelinek  <jakub@redhat.com>

            PR c++/108972
            PR testsuite/109129
            * g++.dg/cpp2a/concepts-lambda3.C: Use dg-do run only for c++20,
            for c++17_down dg-do compile.  Expect dg-excess-errors for
c++17_down
            rather than ! concepts.

[Bug testsuite/109129] [13 regression] g++.dg/cpp2a/concepts-lambda3.C in unresolved after r13-6594-ga915c29a7d63cc

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109129

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Should be fixed now.