From 8444a5de7e665e8f9a65780e389d53a7211b12d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20L=C3=B3pez-Ib=C3=A1=C3=B1ez?= Date: Mon, 8 Jan 2007 21:04:26 +0000 Subject: [PATCH] overflow-warn-1.C: Fix testcase. 2007-01-08 Manuel Lopez-Ibanez testsuite/ * g++.dg/warn/overflow-warn-1.C: Fix testcase. * g++.dg/warn/overflow-warn-3.C: Likewise. * g++.dg/warn/overflow-warn-4.C: Likewise. * g++.dg/warn/overflow-warn-5.C: Likewise. * g++.dg/warn/overflow-warn-6.C: Likewise. * g++.dg/warn/Woverflow-1.C: Likewise. * g++.dg/warn/Woverflow-2.C: Likewise. * g++.dg/warn/Woverflow-3.C: Likewise. * g++.dg/warn/multiple-overflow-warn-2.C: Likewise. From-SVN: r120588 --- gcc/testsuite/ChangeLog | 12 + gcc/testsuite/g++.dg/warn/Woverflow-1.C | 14 - gcc/testsuite/g++.dg/warn/Woverflow-2.C | 14 - gcc/testsuite/g++.dg/warn/Woverflow-3.C | 14 - .../g++.dg/warn/multiple-overflow-warn-2.C | 24 -- gcc/testsuite/g++.dg/warn/overflow-warn-1.C | 245 ----------------- gcc/testsuite/g++.dg/warn/overflow-warn-3.C | 258 ------------------ gcc/testsuite/g++.dg/warn/overflow-warn-4.C | 258 ------------------ gcc/testsuite/g++.dg/warn/overflow-warn-5.C | 14 - gcc/testsuite/g++.dg/warn/overflow-warn-6.C | 36 --- 10 files changed, 12 insertions(+), 877 deletions(-) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8da20bc382a..af17631dbb3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,15 @@ +2007-01-08 Manuel Lopez-Ibanez + + * g++.dg/warn/overflow-warn-1.C: Fix testcase. + * g++.dg/warn/overflow-warn-3.C: Likewise. + * g++.dg/warn/overflow-warn-4.C: Likewise. + * g++.dg/warn/overflow-warn-5.C: Likewise. + * g++.dg/warn/overflow-warn-6.C: Likewise. + * g++.dg/warn/Woverflow-1.C: Likewise. + * g++.dg/warn/Woverflow-2.C: Likewise. + * g++.dg/warn/Woverflow-3.C: Likewise. + * g++.dg/warn/multiple-overflow-warn-2.C: Likewise. + 2007-01-08 Roger Sayle * gfortran.dg/array_constructor_14.f90: New test case. diff --git a/gcc/testsuite/g++.dg/warn/Woverflow-1.C b/gcc/testsuite/g++.dg/warn/Woverflow-1.C index 66750472e74..064af4561ea 100644 --- a/gcc/testsuite/g++.dg/warn/Woverflow-1.C +++ b/gcc/testsuite/g++.dg/warn/Woverflow-1.C @@ -5,17 +5,3 @@ int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ -/* { dg-do compile } */ -/* { dg-options "-O2" } */ - -#include - -int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ - -/* { dg-do compile } */ -/* { dg-options "-O2" } */ - -#include - -int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ - diff --git a/gcc/testsuite/g++.dg/warn/Woverflow-2.C b/gcc/testsuite/g++.dg/warn/Woverflow-2.C index 392a5ee3e5a..44368b66f9f 100644 --- a/gcc/testsuite/g++.dg/warn/Woverflow-2.C +++ b/gcc/testsuite/g++.dg/warn/Woverflow-2.C @@ -5,17 +5,3 @@ int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ -/* { dg-do compile } */ -/* { dg-options "-O2 -Woverflow" } */ - -#include - -int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ - -/* { dg-do compile } */ -/* { dg-options "-O2 -Woverflow" } */ - -#include - -int foo = INT_MAX + 1; /* { dg-warning "integer overflow" } */ - diff --git a/gcc/testsuite/g++.dg/warn/Woverflow-3.C b/gcc/testsuite/g++.dg/warn/Woverflow-3.C index d3b8afad416..73a021b5946 100644 --- a/gcc/testsuite/g++.dg/warn/Woverflow-3.C +++ b/gcc/testsuite/g++.dg/warn/Woverflow-3.C @@ -5,17 +5,3 @@ int foo = INT_MAX + 1; -/* { dg-do compile } */ -/* { dg-options "-O2 -Wno-overflow" } */ - -#include - -int foo = INT_MAX + 1; - -/* { dg-do compile } */ -/* { dg-options "-O2 -Wno-overflow" } */ - -#include - -int foo = INT_MAX + 1; - diff --git a/gcc/testsuite/g++.dg/warn/multiple-overflow-warn-2.C b/gcc/testsuite/g++.dg/warn/multiple-overflow-warn-2.C index aa7f40bc793..863016bfd68 100644 --- a/gcc/testsuite/g++.dg/warn/multiple-overflow-warn-2.C +++ b/gcc/testsuite/g++.dg/warn/multiple-overflow-warn-2.C @@ -10,27 +10,3 @@ g1 (void) return INT_MAX + 1 - INT_MAX; /* { dg-bogus "integer overflow in expression.*integer overflow in expression" } */ /* { dg-warning "integer overflow in expression" "" { target *-*-* } 10 } */ } -/* PR c/19978 : Test for duplicated warnings (binary operators). */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -#include - -int -g1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-bogus "integer overflow in expression.*integer overflow in expression" } */ - /* { dg-warning "integer overflow in expression" "" { target *-*-* } 10 } */ -} -/* PR c/19978 : Test for duplicated warnings (binary operators). */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -#include - -int -g1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-bogus "integer overflow in expression.*integer overflow in expression" } */ - /* { dg-warning "integer overflow in expression" "" { target *-*-* } 10 } */ -} diff --git a/gcc/testsuite/g++.dg/warn/overflow-warn-1.C b/gcc/testsuite/g++.dg/warn/overflow-warn-1.C index d87774f136a..1c6c849990b 100644 --- a/gcc/testsuite/g++.dg/warn/overflow-warn-1.C +++ b/gcc/testsuite/g++.dg/warn/overflow-warn-1.C @@ -43,251 +43,6 @@ f (void) static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -// Test for overflow in null pointer constant. -void *n = 0; -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 51 } */ -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 53 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 55 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -/* But this expression does need to be constant. */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 48 } */ -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 50 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 52 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -/* This expression is neither required to be constant. */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - - // Test for overflow in null pointer constant. void *n = 0; /* The first two of these involve overflow, so are not null pointer diff --git a/gcc/testsuite/g++.dg/warn/overflow-warn-3.C b/gcc/testsuite/g++.dg/warn/overflow-warn-3.C index a8651c9f645..b449a495103 100644 --- a/gcc/testsuite/g++.dg/warn/overflow-warn-3.C +++ b/gcc/testsuite/g++.dg/warn/overflow-warn-3.C @@ -47,264 +47,6 @@ f (void) static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -// Test for overflow in null pointer constant. -void *n = 0; -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 55 } */ - -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 58 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 60 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 69 } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. Test with -pedantic. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "-fpermissive -pedantic" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 21 } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 24 } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 33 } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - -} - -/* But this expression does need to be constant (in C++ ???). */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-warning "warning: overflow in constant expression" "constant" { xfail *-*-* } 47 } */ - -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 53 } */ - -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 56 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 58 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 67 } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. Test with -pedantic. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "-fpermissive -pedantic" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 21 } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 24 } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-warning "warning: overflow in constant expression" "constant" { target *-*-* } 33 } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - -} - -/* This expression is neither required to be constant. */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - - // Test for overflow in null pointer constant. void *n = 0; /* The first two of these involve overflow, so are not null pointer diff --git a/gcc/testsuite/g++.dg/warn/overflow-warn-4.C b/gcc/testsuite/g++.dg/warn/overflow-warn-4.C index 4d4ecf0bf02..65e220070fb 100644 --- a/gcc/testsuite/g++.dg/warn/overflow-warn-4.C +++ b/gcc/testsuite/g++.dg/warn/overflow-warn-4.C @@ -47,264 +47,6 @@ f (void) static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -// Test for overflow in null pointer constant. -void *n = 0; -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 55 } */ - -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 58 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 60 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 69 } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. Test with -pedantic-errors. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "-pedantic-errors" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 21 } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 24 } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 33 } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - -} - -/* But this expression does need to be constant (in C++ ???). */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "error: overflow in constant expression" "constant" { xfail *-*-* } 47 } */ - -/* The first two of these involve overflow, so are not null pointer - constants. The third has the overflow in an unevaluated - subexpression, so is a null pointer constant. */ -void *p = 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ -/* { dg-error "invalid conversion from 'int' to 'void" "null" { target *-*-* } 53 } */ - -void *q = 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ -/* { dg-error "invalid conversion from 'int' to 'void*'" "null" { xfail *-*-* } 56 } */ -void *r = (1 ? 0 : INT_MAX+1); /* { dg-bogus "integer overflow in expression" "" { xfail *-*-* } 58 } */ - -void -g (int i) -{ - switch (i) - { - case 0 * (1/0): /* { dg-warning "warning: division by zero" } */ - ; - case 1 + 0 * (INT_MAX + 1): /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 67 } */ - ; - } -} - -int -h (void) -{ - return INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h1 (void) -{ - return INT_MAX + 1 - INT_MAX; /* { dg-warning "warning: integer overflow in expression" } */ -} - -void fuc (unsigned char); -void fsc (signed char); - -void -h2 (void) -{ - fsc (SCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (SCHAR_MIN - 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fsc (UCHAR_MAX + 1); /* { dg-warning "warning: overflow in implicit constant conversion" } */ - fuc (-1); - fuc (UCHAR_MAX + 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (SCHAR_MIN); - fuc (SCHAR_MIN - 1); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ - fuc (-UCHAR_MAX); /* { dg-warning "warning: large integer implicitly truncated to unsigned type" } */ -} - -void fui (unsigned int); -void fsi (signed int); - -int si; -unsigned ui; - -void -h2i (int x) -{ - /* For some reason, we only give certain warnings for implicit - conversions among values of the same precision with -Wconversion, - while we don't give others at all. */ - fsi ((unsigned)INT_MAX + 1); - si = (unsigned)INT_MAX + 1; - si = x ? (unsigned)INT_MAX + 1 : 1; - fsi ((unsigned)INT_MAX + 2); - si = (unsigned)INT_MAX + 2; - si = x ? (unsigned)INT_MAX + 2 : 1; - fsi (UINT_MAX); - si = UINT_MAX; - fui (-1); - ui = -1; - ui = x ? -1 : 1U; - fui (INT_MIN); - ui = INT_MIN; - ui = x ? INT_MIN : 1U; -} -/* Test for diagnostics for constant overflow. Test with -pedantic-errors. */ -/* Origin: Joseph Myers */ -/* { dg-do compile } */ -/* { dg-options "-pedantic-errors" } */ - -#include - -enum e { - E0 = INT_MAX, - /* Unsigned overflow wraps around. */ - E1 = UINT_MAX + 1, - /* Overflow in an unevaluated part of an expression is OK (example - in the standard). */ - E2 = 2 || 1 / 0, /* { dg-bogus "warning: division by zero" "" { xfail *-*-* } 14 } */ - E3 = 1 / 0, /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E3' is not an integer constant" "enum error" { target *-*-* } 15 } */ - /* But as in DR#031, the 1/0 in an evaluated subexpression means the - whole expression violates the constraints. */ - E4 = 0 * (1 / 0), /* { dg-warning "warning: division by zero" } */ - /* { dg-error "error: enumerator value for 'E4' is not an integer constant" "enum error" { xfail *-*-* } 19 } */ - E5 = INT_MAX + 1, /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 21 } */ - /* Again, overflow in evaluated subexpression. */ - E6 = 0 * (INT_MAX + 1), /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 24 } */ - /* A cast does not constitute overflow in conversion. */ - E7 = (char) INT_MAX -}; - -struct s { - int a; - int : 0 * (1 / 0); /* { dg-warning "warning: division by zero" } */ - int : 0 * (INT_MAX + 1); /* { dg-warning "warning: integer overflow in expression" } */ - /* { dg-error "error: overflow in constant expression" "constant" { target *-*-* } 33 } */ -}; - -void -f (void) -{ - /* This expression is not required to be a constant expression, so - it should just involve undefined behavior at runtime. */ - int c = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - -} - -/* This expression is neither required to be constant. */ -static int sc = INT_MAX + 1; /* { dg-warning "warning: integer overflow in expression" } */ - - // Test for overflow in null pointer constant. void *n = 0; /* The first two of these involve overflow, so are not null pointer diff --git a/gcc/testsuite/g++.dg/warn/overflow-warn-5.C b/gcc/testsuite/g++.dg/warn/overflow-warn-5.C index 5fd0ac4f93c..472d4a7cab1 100644 --- a/gcc/testsuite/g++.dg/warn/overflow-warn-5.C +++ b/gcc/testsuite/g++.dg/warn/overflow-warn-5.C @@ -5,17 +5,3 @@ unsigned char rx_async(unsigned char p) { return p & 512; /* { dg-warning "overflow in implicit constant conversion" } */ } -/* PR c/27273 */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -unsigned char rx_async(unsigned char p) { - return p & 512; /* { dg-warning "overflow in implicit constant conversion" } */ -} -/* PR c/27273 */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -unsigned char rx_async(unsigned char p) { - return p & 512; /* { dg-warning "overflow in implicit constant conversion" } */ -} diff --git a/gcc/testsuite/g++.dg/warn/overflow-warn-6.C b/gcc/testsuite/g++.dg/warn/overflow-warn-6.C index af549abb54f..fa0cc83fa4d 100644 --- a/gcc/testsuite/g++.dg/warn/overflow-warn-6.C +++ b/gcc/testsuite/g++.dg/warn/overflow-warn-6.C @@ -16,39 +16,3 @@ h2 (int x) return ((INT_MAX + 1) * 0) * x; /* { dg-warning "warning: integer overflow in expression" } */ } -/* Test non-constant operands in overflowed expressions. */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -#include - -int -h1 (int x) -{ - return x * (0 * (INT_MAX + 1)); /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h2 (int x) -{ - return ((INT_MAX + 1) * 0) * x; /* { dg-warning "warning: integer overflow in expression" } */ -} - -/* Test non-constant operands in overflowed expressions. */ -/* { dg-do compile } */ -/* { dg-options "-Woverflow" } */ - -#include - -int -h1 (int x) -{ - return x * (0 * (INT_MAX + 1)); /* { dg-warning "warning: integer overflow in expression" } */ -} - -int -h2 (int x) -{ - return ((INT_MAX + 1) * 0) * x; /* { dg-warning "warning: integer overflow in expression" } */ -} -