procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR tree-optimization/37181 (FAIL: Divide_1 -O3)

Browse source 
2008-08-21  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/37181
	* tree-vrp.c (extract_range_from_binary_expr): Check for NULL
	folding result.
	(extract_range_from_unary_expr): Likewise.

From-SVN: r139375
This commit is contained in:
Richard Guenther 2008-08-21 11:25:28 +00:00 • committed by Richard Biener
parent 9650111361
commit 08298a8c19
2 changed files with 11 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/ChangeLog
View file

@ -1,3 +1,10 @@
2008-08-21 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37181
* tree-vrp.c (extract_range_from_binary_expr): Check for NULL
folding result.
(extract_range_from_unary_expr): Likewise.
2008-08-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
* diagnostic.c (pedwarn_at): Rename as pedwarn.

6
gcc/tree-vrp.c
View file

@ -2062,7 +2062,8 @@ extract_range_from_binary_expr (value_range_t *vr,
&& (op1 = op_with_constant_singleton_value_range (op1)) != NULL_TREE)
{
tree tem = fold_binary (code, expr_type, op0, op1);
if (is_gimple_min_invariant (tem)
if (tem
&& is_gimple_min_invariant (tem)
&& !is_overflow_infinity (tem))
{
set_value_range (vr, VR_RANGE, tem, tem, NULL);
@ -2477,7 +2478,8 @@ extract_range_from_unary_expr (value_range_t *vr, enum tree_code code,
if ((op0 = op_with_constant_singleton_value_range (op0)) != NULL_TREE)
{
tree tem = fold_unary (code, type, op0);
if (is_gimple_min_invariant (tem)
if (tem
&& is_gimple_min_invariant (tem)
&& !is_overflow_infinity (tem))
{
set_value_range (vr, VR_RANGE, tem, tem, NULL);