diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2018-09-26 09:59:56 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2018-09-26 09:59:56 +0000 |
| commit | 6fe0c58b9fe04b112586fe0ffecc18a24b313c50 (patch) | |
| tree | bab4e3dc9d31ce9fc0fa7b06591c3cd75f1736d9 /gcc | |
| parent | 3c010a2410189572541118dfa6d2c8ecb38d743e (diff) | |
| download | gcc-6fe0c58b9fe04b112586fe0ffecc18a24b313c50.zip gcc-6fe0c58b9fe04b112586fe0ffecc18a24b313c50.tar.gz gcc-6fe0c58b9fe04b112586fe0ffecc18a24b313c50.tar.bz2 | |
re PR c++/71131 ([concepts] Ill-formed code declaring a variable with a template concept not rejected)
2018-09-26 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/71131
* g++.dg/concepts/pr71131.C: New.
2018-09-26 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/71127
* g++.dg/concepts/pr71127.C: New.
From-SVN: r264639
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/concepts/pr71127.C | 6 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/concepts/pr71131.C | 6 |
3 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 903b8c7..2533259 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,15 @@ 2018-09-26 Paolo Carlini <paolo.carlini@oracle.com> + PR c++/71131 + * g++.dg/concepts/pr71131.C: New. + +2018-09-26 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/71127 + * g++.dg/concepts/pr71127.C: New. + +2018-09-26 Paolo Carlini <paolo.carlini@oracle.com> + PR c++/67655 * g++.dg/concepts/pr67655.C: New. diff --git a/gcc/testsuite/g++.dg/concepts/pr71127.C b/gcc/testsuite/g++.dg/concepts/pr71127.C new file mode 100644 index 0000000..3ec6514 --- /dev/null +++ b/gcc/testsuite/g++.dg/concepts/pr71127.C @@ -0,0 +1,6 @@ +// { dg-do compile { target c++14 } } +// { dg-additional-options "-fconcepts" } + +template<template<typename> class T> +concept bool C = T<int>::value; +C c = 1; // { dg-error "invalid reference to concept" } diff --git a/gcc/testsuite/g++.dg/concepts/pr71131.C b/gcc/testsuite/g++.dg/concepts/pr71131.C new file mode 100644 index 0000000..02f1999 --- /dev/null +++ b/gcc/testsuite/g++.dg/concepts/pr71131.C @@ -0,0 +1,6 @@ +// { dg-do compile { target c++14 } } +// { dg-additional-options "-fconcepts" } + +template<template<typename> class T> +concept bool C = true; +C c = 1; // { dg-error "invalid reference to concept" } |