OSDN Git Service

PR target/19005
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Dec 2005 21:49:17 +0000 (21:49 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 8 Dec 2005 21:49:17 +0000 (21:49 +0000)
* gcc.c-torture/execute/pr19005.c: New test.

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

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/pr19005.c [new file with mode: 0644]

index 4eeec97..9587082 100644 (file)
@@ -1,5 +1,8 @@
 2005-12-08  Jakub Jelinek  <jakub@redhat.com>
 
+       PR target/19005
+       * gcc.c-torture/execute/pr19005.c: New test.
+
        PR target/17828
        * g++.old-deja/g++.other/comdat5.C: New test.
        * g++.old-deja/g++.other/comdat5-aux.cc: New file.
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr19005.c b/gcc/testsuite/gcc.c-torture/execute/pr19005.c
new file mode 100644 (file)
index 0000000..c36b388
--- /dev/null
@@ -0,0 +1,38 @@
+/* PR target/19005 */
+extern void abort (void);
+
+int v, s;
+
+void
+bar (int a, int b)
+{
+  unsigned char x = v;
+
+  if (!s)
+    {
+      if (a != x || b != (unsigned char) (x + 1))
+        abort ();
+    }
+  else if (a != (unsigned char) (x + 1) || b != x)
+    abort ();
+  s ^= 1;
+}
+
+int
+foo (int x)
+{
+  unsigned char a = x, b = x + 1;
+
+  bar (a, b);
+  a ^= b; b ^= a; a ^= b;
+  bar (a, b);
+  return 0;
+}
+
+int
+main (void)
+{
+  for (v = -10; v < 266; v++)
+    foo (v);
+  return 0;
+}