annotate gcc/testsuite/gcc.dg/c90-const-expr-8.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Test for constant expressions: overflow and constant expressions
kono
parents:
diff changeset
2 with -fwrapv: overflows still count as such for the purposes of
kono
parents:
diff changeset
3 constant expressions even when they have defined values at
kono
parents:
diff changeset
4 runtime. */
kono
parents:
diff changeset
5 /* Origin: Joseph Myers <joseph@codesourcery.com> */
kono
parents:
diff changeset
6 /* { dg-do compile } */
kono
parents:
diff changeset
7 /* { dg-options "-std=iso9899:1990 -pedantic-errors -fwrapv" } */
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 #include <limits.h>
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 enum e {
kono
parents:
diff changeset
12 E0 = 0 * (INT_MAX + 1), /* { dg-warning "21:integer overflow in expression" } */
kono
parents:
diff changeset
13 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
14 E1 = 0 * (INT_MIN / -1), /* { dg-warning "21:integer overflow in expression" } */
kono
parents:
diff changeset
15 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
16 E2 = 0 * (INT_MAX * INT_MAX), /* { dg-warning "21:integer overflow in expression" } */
kono
parents:
diff changeset
17 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
18 E3 = 0 * (INT_MIN - 1), /* { dg-warning "21:integer overflow in expression" } */
kono
parents:
diff changeset
19 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
20 E4 = 0 * (unsigned)(INT_MIN - 1), /* { dg-warning "31:integer overflow in expression" } */
kono
parents:
diff changeset
21 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
22 E5 = 0 * -INT_MIN, /* { dg-warning "12:integer overflow in expression" } */
kono
parents:
diff changeset
23 /* { dg-error "3:overflow in constant expression" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
24 E6 = 0 * !-INT_MIN, /* { dg-warning "13:integer overflow in expression" } */
kono
parents:
diff changeset
25 /* { dg-error "8:not an integer constant" "constant" { target *-*-* } .-1 } */
kono
parents:
diff changeset
26 E7 = INT_MIN % -1 /* { dg-warning "16:integer overflow in expression" } */
kono
parents:
diff changeset
27 /* { dg-error "1:overflow in constant expression" "constant" { target *-*-* } .+1 } */
kono
parents:
diff changeset
28 };