From 803e4cbb22f6a09c02443e4ca9c7949e49e08e77 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 23 May 2014 08:13:59 +0000 Subject: [PATCH] re PR tree-optimization/61266 (FAIL: gcc.dg/Wstrict-overflow-18.c (test for bogus messages, line 20)) 2014-05-23 Richard Biener PR testsuite/61266 * gcc.dg/Wstrict-overflow-18.c: Revert un-XFAILing and adjust testcase to reflect reality. From-SVN: r210846 --- gcc/testsuite/ChangeLog | 6 ++++++ 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 + + PR testsuite/61266 + * gcc.dg/Wstrict-overflow-18.c: Revert un-XFAILing and + adjust testcase to reflect reality. + 2014-05-23 Thomas Preud'homme 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); } -- 2.7.4