1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr27003.c b/gcc/testsuite/gcc.dg/pr27003.c
new file mode 100644
index 000000000..5e416f4c0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr27003.c
@@ -0,0 +1,31 @@
+/* { dg-do compile } */
+/* { dg-do run } */
+/* { dg-options "-Os" } */
+
+unsigned int
+foo (unsigned int x)
+{
+  unsigned int r = x;
+  while (--x)
+    r *= x;
+  return r;
+}
+
+unsigned long long
+bar (unsigned long long x)
+{
+  unsigned long long r = x;
+  while (--x)
+    r *= x;
+  return r;
+}
+
+extern void abort (void);
+
+int
+main (void)
+{
+  if (foo (5) != 120 || bar (5) != 120)
+    abort ();
+  return 0;
+}