diff options
| -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" } |