From 4b3bb3f347116edf9a2badd3ad3f461686583b33 Mon Sep 17 00:00:00 2001
From: Jason Merrill <jason@redhat.com>
Date: Thu, 28 Feb 2013 15:36:47 -0500
Subject: [PATCH] re PR c++/56481 (endless loop compiling a C++ file)

	PR c++/56481
	* g++.dg/cpp0x/constexpr-and.C: New.

From-SVN: r196359
---
 gcc/testsuite/ChangeLog                    |  5 +++++
 gcc/testsuite/g++.dg/cpp0x/constexpr-and.C | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/constexpr-and.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 08399b9651c..7c6afc2239b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-02-28  Jason Merrill  <jason@redhat.com>
+
+	PR c++/56481
+	* g++.dg/cpp0x/constexpr-and.C: New.
+
 2013-02-28  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/56294
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-and.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-and.C
new file mode 100644
index 00000000000..15ad2524694
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-and.C
@@ -0,0 +1,20 @@
+// PR c++/56481
+// Non-linearity in potential_constant_expression_1
+// { dg-options -std=c++11 }
+
+struct S
+{
+  constexpr bool foo ();
+#define A(n) , f##n##0, f##n##1, f##n##2, f##n##3
+#define B(n) A(n##0) A(n##1) A(n##2) A(n##3)
+#define C B(0) B(1) B(2) B(3)
+  bool f C;
+};
+
+constexpr bool
+S::foo ()
+{
+#undef A
+#define A(n) && f##n##0 && f##n##1 && f##n##2 && f##n##3
+  return f C;
+}