diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-05-06 17:23:56 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-05-06 17:23:56 +0200 |
| commit | ccd88fb795b3f133ca2bc4b9fd41e5143b5a95a8 (patch) | |
| tree | 678822cb72e4475ea72177ee960f6e260077497d | |
| parent | 58d4c8364b5fcfbb21bc1040974fbb0e30700430 (diff) | |
| download | gcc-ccd88fb795b3f133ca2bc4b9fd41e5143b5a95a8.zip gcc-ccd88fb795b3f133ca2bc4b9fd41e5143b5a95a8.tar.gz gcc-ccd88fb795b3f133ca2bc4b9fd41e5143b5a95a8.tar.bz2 | |
re PR target/70941 (Test miscompiled with -O2.)
PR middle-end/70941
* gcc.dg/torture/pr70941.c (abort): Remove prototype.
(a, b, c, d): Change type from char to signed char.
(main): Compare against (signed char) -1634678893 instead of
hardcoded -109. Use __builtin_abort instead of abort.
From-SVN: r235978
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr70941.c | 8 |
2 files changed, 9 insertions, 5 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 75fa9c6..31a65a4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,11 @@ 2016-05-06 Jakub Jelinek <jakub@redhat.com> + PR middle-end/70941 + * gcc.dg/torture/pr70941.c (abort): Remove prototype. + (a, b, c, d): Change type from char to signed char. + (main): Compare against (signed char) -1634678893 instead of + hardcoded -109. Use __builtin_abort instead of abort. + * gcc.target/i386/avx512bw-vpsraw-3.c: New test. * gcc.target/i386/avx512vl-vpsrad-3.c: New test. diff --git a/gcc/testsuite/gcc.dg/torture/pr70941.c b/gcc/testsuite/gcc.dg/torture/pr70941.c index 3a57081..eb37a1f 100644 --- a/gcc/testsuite/gcc.dg/torture/pr70941.c +++ b/gcc/testsuite/gcc.dg/torture/pr70941.c @@ -1,14 +1,12 @@ /* { dg-do run } */ /* { dg-require-effective-target int32plus } */ -extern void abort (void); - -char a = 0, b = 0, c = 0, d = 0; +signed char a = 0, b = 0, c = 0, d = 0; int main() { a = -(b - 405418259) - ((d && c) ^ 2040097152); - if (a != -109) - abort(); + if (a != (signed char) -1634678893) + __builtin_abort (); return 0; } |