From: Andrew Pinski <apinski@cavium.com>
Date: Fri, 7 Nov 2014 23:08:43 +0000 (+0000)
Subject: 20141107-1.c: New testcase.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a8f1fe40fb5905e74ac1063d5f09bb7d9fd718d;p=gcc.git

20141107-1.c: New testcase.

2014-11-07  Andrew Pinski  <apinski@cavium.com>

	* gcc.c-torture/execute/20141107-1.c: New testcase.

From-SVN: r217242
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ba9df2cfb28..1a3d6f6f33e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2014-11-07  Andrew Pinski  <apinski@cavium.com>
+
+	* gcc.c-torture/execute/20141107-1.c: New testcase.
+
 2014-11-07  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/63605
diff --git a/gcc/testsuite/gcc.c-torture/execute/20141107-1.c b/gcc/testsuite/gcc.c-torture/execute/20141107-1.c
new file mode 100644
index 00000000000..e4590b39e49
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20141107-1.c
@@ -0,0 +1,27 @@
+#define bool _Bool
+
+bool f(int a, bool c) __attribute__((noinline));
+bool f(int a, bool c)
+{
+  if (!a)
+    c = !c;
+  return c;
+}
+
+void checkf(int a, bool b)
+{
+  bool c = f(a, b);
+  char d;
+  __builtin_memcpy (&d, &c, 1);
+  if ( d != (a==0)^b)
+    __builtin_abort();
+}
+
+int main(void)
+{
+  checkf(0, 0);
+  checkf(0, 1);
+  checkf(1, 1);
+  checkf(1, 0);
+  return 0;
+}