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

re PR tree-optimization/68026 (Regression in GCC-6.0.0's optimizer) 

2015-10-21  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/68026
	* tree-ssa-ccp.c (get_value_for_expr): Zero-extend mask for
	unsigned VARYING values.

	* gcc.dg/tree-ssa/ssa-ccp-39.c: New testcase.

From-SVN: r229117
This commit is contained in:
Richard Biener 2015-10-21 07:56:54 +00:00 committed by Richard Biener
parent 7047bc9c16
commit 33b35c2807
4 changed files with 35 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2015-10-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/68026
* tree-ssa-ccp.c (get_value_for_expr): Zero-extend mask for
unsigned VARYING values.
2015-10-21 Maxim Ostapenko <m.ostapenko@partner.samsung.com>
* asan.c (asan_emit_stack_protection): Don't pass local stack to

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-10-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/68026
* gcc.dg/tree-ssa/ssa-ccp-39.c: New testcase.
2015-10-21 Maxim Ostapenko <m.ostapenko@partner.samsung.com>
* c-c++-common/ubsan/float-cast-overflow-10.c: Adjust test.

19
gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-39.c Normal file
View File

@ -0,0 +1,19 @@
/* { dg-do run } */
/* { dg-options "-O -fdump-tree-ccp1" } */
int main (void)
{
volatile int x1 = 1;
volatile int x2 = 1;
int x3 = 2;
int t = 1;
t = 3<=(x2|1|x3|x1-1U);
if (t == 1) {}
else { __builtin_abort(); }
return 0;
}
/* { dg-final { scan-tree-dump-not "abort" "ccp1" } } */

5
gcc/tree-ssa-ccp.c
View File

@ -629,6 +629,11 @@ get_value_for_expr (tree expr, bool for_bits_p)
val.mask = -1;
val.value = NULL_TREE;
}
if (val.lattice_val == VARYING
&& TYPE_UNSIGNED (TREE_TYPE (expr)))
val.mask = wi::zext (val.mask, TYPE_PRECISION (TREE_TYPE (expr)));
return val;
}