FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

More overflow-negate-* testing.

Browse source 
From-SVN: r205992
This commit is contained in:
Marek Polacek 2013-12-14 20:07:52 +00:00 • committed by Marek Polacek
parent e57872ee8e
commit 0a73546d3c
3 changed files with 73 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,9 @@
2013-12-14 Marek Polacek <polacek@redhat.com>
* c-c++-common/ubsan/overflow-negate-1.c: Add more testing. Don't
require int128 target.
* c-c++-common/ubsan/overflow-negate-2.c: New test.
2013-12-14 Janus Weil <janus@gcc.gnu.org>
PR fortran/59502

31
gcc/testsuite/c-c++-common/ubsan/overflow-negate-1.c
View file

@ -1,14 +1,39 @@
/* { dg-do run { target int128 } } */
/* { dg-do run } */
/* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
#define INT_MIN (-__INT_MAX__ - 1)
#define LONG_MIN (-__LONG_MAX__ - 1L)
#define LLONG_MIN (-__LONG_LONG_MAX__ - 1LL)
int
main (void)
{
int j = INT_MIN;
return -j;
int e = 1, f = -1;
volatile int i = INT_MIN;
volatile int i2 = i & (((((((-i) + 1) - 1) + 1) - 1) + 1) - 1);
i2 = -(i + e + f);
i = -i;
volatile long int li = LONG_MIN;
volatile long int li2 = li & (((((((-li) + 1) - 1) + 1) - 1) + 1) - 1);
li2 = -(li + e + f);
li = -li;
volatile long long int lli = LLONG_MIN;
volatile long long int lli2 = lli & (((((((-lli) + 1) - 1) + 1) - 1) + 1) - 1);
lli2 = -(lli + e + f);
lli = -lli;
return 0;
}
/* { dg-output "negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -2147483648 cannot be represented in type 'int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -\[^\n\r]* cannot be represented in type 'long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -\[^\n\r]* cannot be represented in type 'long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -\[^\n\r]* cannot be represented in type 'long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself(\n|\r\n|\r)" } */

39
gcc/testsuite/c-c++-common/ubsan/overflow-negate-2.c Normal file
View file

@ -0,0 +1,39 @@
/* { dg-do run } */
/* { dg-options "-fsanitize=signed-integer-overflow -Wno-unused-variable" } */
/* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
#define SCHAR_MIN (-__SCHAR_MAX__ - 1)
#define SHRT_MIN (-__SHRT_MAX__ - 1)
#define INT_MIN (-__INT_MAX__ - 1)
#define LONG_MIN (-__LONG_MAX__ - 1L)
#define LLONG_MIN (-__LONG_LONG_MAX__ - 1LL)
#define CHECK(A, B) ({ if ((A) != (B)) __builtin_abort (); })
int
main (void)
{
volatile char c = -SCHAR_MIN;
CHECK (c, -128);
volatile short s = -SHRT_MIN;
CHECK (s, -32768);
volatile int i = INT_MIN;
i = -(unsigned) i;
CHECK (i, -0x80000000);
volatile long int li = LONG_MIN;
li = -(unsigned long) li;
#if __LONG_MAX__ == 2147483647L
CHECK (li, -0x80000000L);
#elif __LONG_MAX__ == 9223372036854775807L
CHECK (li, -0x8000000000000000L);
#endif
volatile long long lli = LLONG_MIN;
lli = -(unsigned long long) lli;
CHECK (lli, -0x8000000000000000L);
return 0;
}