Bug 87694 - [9 regression] problem in g++.dg/concepts/memfun-err.C starting with r263343
Summary: [9 regression] problem in g++.dg/concepts/memfun-err.C starting with r263343
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: testsuite (show other bugs)
Version: 9.0
: P3 normal
Target Milestone: 9.0
Assignee: Marek Polacek
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-10-22 19:27 UTC by seurer
Modified: 2018-10-23 07:01 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2018-10-22 00:00:00


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description seurer 2018-10-22 19:27:50 UTC
Shouldn't this test case be a dg-compile and not a dg-run given it is looking for compilation errors?

// { dg-do run { target c++17 } }
// { dg-options "-fconcepts" }


UNSUPPORTED: g++.dg/concepts/memfun-err.C  -std=gnu++98
UNSUPPORTED: g++.dg/concepts/memfun-err.C  -std=gnu++14
Executing on host: /home/seurer/gcc/build/gcc-trunk/gcc/testsuite/g++1/../../xg++ -B/home/seurer/gcc/build/gcc-trunk/gcc/testsuite/g++1/../../ /home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C    -fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers -fdiagnostics-color=never  -nostdinc++ -I/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu -I/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/libstdc++-v3/include -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/libsupc++ -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/include/backward -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/testsuite/util -fmessage-length=0  -std=gnu++17 -fconcepts    -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs  -B/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs  -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs -B/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libitm/ -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libitm/.libs -lm  -o ./memfun-err.exe    (timeout = 300)
spawn -ignore SIGHUP /home/seurer/gcc/build/gcc-trunk/gcc/testsuite/g++1/../../xg++ -B/home/seurer/gcc/build/gcc-trunk/gcc/testsuite/g++1/../../ /home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C -fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers -fdiagnostics-color=never -nostdinc++ -I/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/libstdc++-v3/include/powerpc64-unknown-linux-gnu -I/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/libstdc++-v3/include -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/libsupc++ -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/include/backward -I/home/seurer/gcc/gcc-trunk/libstdc++-v3/testsuite/util -fmessage-length=0 -std=gnu++17 -fconcepts -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs -B/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libstdc++-v3/src/.libs -B/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libitm/ -L/home/seurer/gcc/build/gcc-trunk/powerpc64-unknown-linux-gnu/./libitm/.libs -lm -o ./memfun-err.exe
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:27:8: error: no declaration matches 'void S1<T>::g2() requires (D<T>)()'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:23:10: note: candidate is: 'void S1<T>::g2() requires (C<T>)()'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:18:10: note: 'struct S1<T>' defined here
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C: In function 'int main()':
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:34:9: error: no matching function for call to 'S1<int>::f1()'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:19:10: note: candidate: 'void S1<T>::f1() requires (C<T>)() [with T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:19:10: note:   constraints not satisfied
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note: within 'template<class T> concept bool C() [with T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note:   'int' is not a class
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:35:9: error: no matching function for call to 'S1<int>::g1()'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:20:10: note: candidate: 'void S1<T>::g1() requires (C<T>)() and true [with T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:20:10: note:   constraints not satisfied
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note: within 'template<class T> concept bool C() [with T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note:   'int' is not a class
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:36:10: error: no matching function for call to 'S1<int>::h1(int)'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:21:24: note: candidate: 'void S1<T>::h1(U) [with U = int; T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:21:24: note:   constraints not satisfied
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note: within 'template<class T> concept bool C() [with T = int]'
/home/seurer/gcc/gcc-trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C:6:16: note:   'int' is not a class
compiler exited with status 1
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for warnings, line 18)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for warnings, line 23)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for errors, line 27)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for errors, line 34)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for errors, line 35)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17  (test for errors, line 36)
PASS: g++.dg/concepts/memfun-err.C  -std=gnu++17 (test for excess errors)
UNRESOLVED: g++.dg/concepts/memfun-err.C  -std=gnu++17 compilation failed to produce executable
Comment 1 Marek Polacek 2018-10-22 19:32:07 UTC
Yes.  It's a pre-existing thing, my recent patch didn't change that, but I'll fix it.
Comment 2 Marek Polacek 2018-10-22 20:02:28 UTC
Author: mpolacek
Date: Mon Oct 22 20:01:56 2018
New Revision: 265397

URL: https://gcc.gnu.org/viewcvs?rev=265397&root=gcc&view=rev
Log:
	PR testsuite/87694
	* g++.dg/concepts/memfun-err.C: Make it a compile test.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/concepts/memfun-err.C
Comment 3 Marek Polacek 2018-10-22 20:03:10 UTC
Done.