aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexandre Oliva <aoliva@redhat.com>2000-07-26 03:51:55 +0000
committerAlexandre Oliva <aoliva@gcc.gnu.org>2000-07-26 03:51:55 +0000
commitad88bb8b2ced823f0dd8aafce8ef0cc40079f67a (patch)
treec3aad7f0a517ae87167b2c98d3b65f6c007b6c9d
parent736f85c700aaa9ed3d9fd2f1d3ace131aaef12b3 (diff)
downloadgcc-ad88bb8b2ced823f0dd8aafce8ef0cc40079f67a.zip
gcc-ad88bb8b2ced823f0dd8aafce8ef0cc40079f67a.tar.gz
gcc-ad88bb8b2ced823f0dd8aafce8ef0cc40079f67a.tar.bz2
* gcc.c-torture/execute/enum-2.c: New test.
From-SVN: r35260
-rw-r--r--gcc/testsuite/ChangeLog4
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/enum-2.c22
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e1c0fda..8f62cd8 100644
--- 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
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);
+}
+