OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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
This commit is contained in:
Richard Biener 2014-05-23 08:13:59 +00:00 committed by Richard Biener
parent 676cad4d97
commit 803e4cbb22
2 changed files with 9 additions and 6 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 @@
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

9
gcc/testsuite/gcc.dg/Wstrict-overflow-18.c
View File

@ -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);
}