1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c90-const-expr-8.c b/gcc/testsuite/gcc.dg/c90-const-expr-8.c
new file mode 100644
index 000000000..4923bc680
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c90-const-expr-8.c
@@ -0,0 +1,27 @@
+/* Test for constant expressions: overflow and constant expressions
+   with -fwrapv: overflows still count as such for the purposes of
+   constant expressions even when they have defined values at
+   runtime.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1990 -pedantic-errors -fwrapv" } */
+
+#include <limits.h>
+
+enum e {
+  E0 = 0 * (INT_MAX + 1), /* { dg-warning "21:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 12 } */
+  E1 = 0 * (INT_MIN / -1), /* { dg-warning "21:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 14 } */
+  E2 = 0 * (INT_MAX * INT_MAX), /* { dg-warning "21:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 16 } */
+  E3 = 0 * (INT_MIN - 1), /* { dg-warning "21:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 18 } */
+  E4 = 0 * (unsigned)(INT_MIN - 1), /* { dg-warning "31:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 20 } */
+  E5 = 0 * -INT_MIN, /* { dg-warning "12:integer overflow in expression" } */
+  /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } 22 } */
+  E6 = 0 * !-INT_MIN, /* { dg-warning "13:integer overflow in expression" } */
+  /* { dg-error "8:not an integer constant" "constant" { target *-*-* } 24 } */
+  E7 = INT_MIN % -1 /* Not an overflow.  */
+};