* gcc.c-torture/execute/enum-2.c: New test.

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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e1c0fda..8f62cd8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2000-07-26  Alexandre Oliva  <aoliva@redhat.com>
+
+       * gcc.c-torture/execute/enum-2.c: New test.
+
 2000-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
        * gcc.dg/cpp/tr-warn3.c: New test.

diff --git a/gcc/testsuite/gcc.c-torture/execute/enum-2.c b/gcc/testsuite/gcc.c-torture/execute/enum-2.c
new file mode 100644 (file)
index 0000000..dd6f640
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/enum-2.c
@@ -0,0 +1,22 @@
+/* Copyright (C) 2000 Free Software Foundation */
+/* by Alexandre Oliva  <aoliva@redhat.com> */
+
+enum foo { FOO, BAR };
+
+/* Even though the underlying type of an enum is unspecified, the type
+   of enumeration constants is explicitly defined as int (6.4.4.3/2 in
+   the C99 Standard).  Therefore, `i' must not be promoted to
+   `unsigned' in the comparison below; we must exit the loop when it
+   becomes negative. */
+
+int
+main ()
+{
+  int i;
+  for (i = BAR; i >= FOO; --i)
+    if (i == -1)
+      abort ();
+
+  exit (0);
+}
+