diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-05-12 12:20:55 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-05-12 12:35:36 -0400 |
| commit | fa31a3cdbf1571286671d8d3a83e31676862583e (patch) | |
| tree | d5325f15758b95d544cc32b1bb1509024832e8d7 /gcc | |
| parent | c08278701f7433978ca56e3413855bd4b001aa1d (diff) | |
| download | gcc-fa31a3cdbf1571286671d8d3a83e31676862583e.zip gcc-fa31a3cdbf1571286671d8d3a83e31676862583e.tar.gz gcc-fa31a3cdbf1571286671d8d3a83e31676862583e.tar.bz2 | |
c++: Add abbreviated fn template test for [PR78752]
This adds an abbreviated function template version of the testcase in
PR78752, which seems to already be fixed.
gcc/testsuite/ChangeLog:
PR c++/78752
* g++.dg/cpp2a/concepts-pr78752-2.C: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/concepts-pr78752-2.C | 21 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7957274..ac5bead 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-05-12 Patrick Palka <ppalka@redhat.com> + + PR c++/78752 + * g++.dg/cpp2a/concepts-pr78752-2.C: New test. + 2020-05-12 Uroš Bizjak <ubizjak@gmail.com> PR target/95046 diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-pr78752-2.C b/gcc/testsuite/g++.dg/cpp2a/concepts-pr78752-2.C new file mode 100644 index 0000000..6777054 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr78752-2.C @@ -0,0 +1,21 @@ +// { dg-do compile { target c++2a } } +// { dg-additional-options "-fconcepts-ts" } + +template <class T, class U> +concept bool Same = __is_same(T, U); + +struct test { + void func(Same<int>... ints) {} +}; + +void func(Same<int>... ints) {} + +int main() +{ + test t; + t.func(1, 2, 3); + func(1, 2, 3); + + t.func(1, 2, ""); // { dg-error "no match" } + func(1, 2, ""); // { dg-error "unsatisfied constraints" } +} |