diff options
| author | Patrick Palka <ppalka@redhat.com> | 2024-10-15 13:43:29 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2024-10-15 13:43:29 -0400 |
| commit | b110e092d260906432931796c1d96cba305c60e4 (patch) | |
| tree | 05f37bf3ea19d9eb6ebd70aa72497b726d20d434 | |
| parent | 4366f0c7e296ea0d7279343c9b0a1d597588a1da (diff) | |
| download | gcc-b110e092d260906432931796c1d96cba305c60e4.zip gcc-b110e092d260906432931796c1d96cba305c60e4.tar.gz gcc-b110e092d260906432931796c1d96cba305c60e4.tar.bz2 | |
c++: add fixed testcase [PR80637]
Fixed by r15-4340-gcacbb4daac3e9a.
PR c++/80637
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-fn9.C: New test.
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/concepts-fn9.C | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-fn9.C b/gcc/testsuite/g++.dg/cpp2a/concepts-fn9.C new file mode 100644 index 0000000..eb2963a --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-fn9.C @@ -0,0 +1,15 @@ +// PR c++/80637 +// { dg-do compile { target c++20 } } + +template<class T, class U> +concept same_as = __is_same(T, U); + +template<class T> +struct A { + void f(int) requires same_as<T, int>; + void f(...) requires (!same_as<T, int>); +}; + +auto fptr = &A<int>::f; +using type = decltype(fptr); +using type = void (A<int>::*)(int); |