re PR c++/71131 ([concepts] Ill-formed code declaring a variable with a template...

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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 903b8c7..2533259 100644 (file)
--- 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 (file)
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 (file)
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" }