From: paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 26 Sep 2018 09:59:56 +0000 (+0000)
Subject: 2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=508a36925e4a5f97bfede74af42e7cdaa2ad3aca;p=thirdparty%2Fgcc.git

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.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264639 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 903b8c7d0cdf..2533259cf9c6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,13 @@
+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
diff --git a/gcc/testsuite/g++.dg/concepts/pr71127.C b/gcc/testsuite/g++.dg/concepts/pr71127.C
new file mode 100644
index 000000000000..3ec6514b4671
--- /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 000000000000..02f1999672d9
--- /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" }