diff options
| author | Richard Biener <rguenther@suse.de> | 2014-05-23 08:13:59 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-05-23 08:13:59 +0000 |
| commit | 803e4cbb22f6a09c02443e4ca9c7949e49e08e77 (patch) | |
| tree | 9511e18db1e0ca4abe048ba7ddf13cf169f2393c /gcc | |
| parent | 676cad4d9733fe57ebfea73f0b775079be8a7478 (diff) | |
| download | gcc-803e4cbb22f6a09c02443e4ca9c7949e49e08e77.zip gcc-803e4cbb22f6a09c02443e4ca9c7949e49e08e77.tar.gz gcc-803e4cbb22f6a09c02443e4ca9c7949e49e08e77.tar.bz2 | |
re PR tree-optimization/61266 (FAIL: gcc.dg/Wstrict-overflow-18.c (test for bogus messages, line 20))
2014-05-23 Richard Biener <rguenther@suse.de>
PR testsuite/61266
* gcc.dg/Wstrict-overflow-18.c: Revert un-XFAILing and
adjust testcase to reflect reality.
From-SVN: r210846
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/Wstrict-overflow-18.c | 9 |
2 files changed, 9 insertions, 6 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e0b594b..076e4e3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2014-05-23 Richard Biener <rguenther@suse.de> + + PR testsuite/61266 + * gcc.dg/Wstrict-overflow-18.c: Revert un-XFAILing and + adjust testcase to reflect reality. + 2014-05-23 Thomas Preud'homme <thomas.preudhomme@arm.com> PR tree-optimization/54733 diff --git a/gcc/testsuite/gcc.dg/Wstrict-overflow-18.c b/gcc/testsuite/gcc.dg/Wstrict-overflow-18.c index 7bf111a..bab91ce 100644 --- a/gcc/testsuite/gcc.dg/Wstrict-overflow-18.c +++ b/gcc/testsuite/gcc.dg/Wstrict-overflow-18.c @@ -1,11 +1,8 @@ /* { dg-do compile } */ /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */ -/* Don't warn about an overflow when folding i > 0. The loop analysis - should determine that i does not wrap. - - The test is really bogus, p->a - p->b can be larger than INT_MAX - and thus i can very well wrap. */ +/* Warn about an overflow when folding i > 0, p->a - p->b can be larger + than INT_MAX and thus i can wrap. */ struct c { unsigned int a; unsigned int b; }; extern void bar (struct c *); @@ -17,7 +14,7 @@ foo (struct c *p) for (i = 0; i < p->a - p->b; ++i) { - if (i > 0) /* { dg-bogus "warning" "" } */ + if (i > 0) /* { dg-warning "signed overflow" "" } */ sum += 2; bar (p); } |