summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/c90-const-expr-8.c
blob: b00bb9718f85cc0386dada5f7e9b2608894d40f3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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 "3:not an integer constant" "constant" { target *-*-* } 24 } */
  E7 = INT_MIN % -1 /* Not an overflow.  */
};