This adds more testing of unary -.
Regtested on x86_64-linux with -m32/-m64, ok for trunk?
2013-12-14 Marek Polacek <pola...@redhat.com>
testsuite/
* 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.
--- gcc/testsuite/c-c++-common/ubsan/overflow-negate-1.c.mp 2013-12-14
19:53:23.199996677 +0100
+++ gcc/testsuite/c-c++-common/ubsan/overflow-negate-1.c 2013-12-14
20:21:15.701385355 +0100
@@ -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 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)" } */
--- gcc/testsuite/c-c++-common/ubsan/overflow-negate-2.c.mp 2013-12-14
19:21:43.178528267 +0100
+++ gcc/testsuite/c-c++-common/ubsan/overflow-negate-2.c 2013-12-14
19:37:22.950313113 +0100
@@ -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;
+}
Marek
