diff mbox

[PR72817/PR73450] Fix wrong code caused by niter analyzer for NE_EXPR exit cond.

Message ID 20160816220901.GD14857@tucnak.redhat.com
State New
Headers show

Commit Message

Jakub Jelinek Aug. 16, 2016, 10:09 p.m. UTC 
On Thu, Aug 11, 2016 at 04:35:51PM +0000, Bin Cheng wrote:
> 2016-08-11  Bin Cheng  <bin.cheng@arm.com>
> 
> 	PR tree-optimization/72817
> 	PR tree-optimization/73450
> 	* gcc.dg/tree-ssa/pr72817.c: New test.
> 	* gcc.dg/tree-ssa/pr73450.c: New test.

> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr72817.c
> @@ -0,0 +1,13 @@
> +/* { dg-do run } */
> +/* { dg-options "-O3" } */
> +
> +char a;
> +short b;
> +
> +int main ()
> +{
> +  for (a = 3; a != -1; a -= 5)
> +    while (b)
> +      ;
> +  return 0;
> +}

The testcase hangs for obvious reasons on -funsigned-char defaulting
targets.  Fixed thusly, committed as obvious:

2016-08-16  Jakub Jelinek  <jakub@redhat.com>

	PR tree-optimization/72817
	* gcc.dg/tree-ssa/pr72817.c (a): Change type from char to signed char.


	Jakub
diff mbox

Patch

--- gcc.dg/tree-ssa/pr72817.c	(revision 239513)
+++ gcc.dg/tree-ssa/pr72817.c	(revision 239514)
@@ -1,7 +1,7 @@ 
 /* { dg-do run } */
 /* { dg-options "-O3" } */
 
-char a;
+signed char a;
 short b;
 
 int main ()