[PATCH][4.1] Fix PR33142, wrong-code with VRP

Eric Botcazou ebotcazou@libertysurf.fr
Sun Sep 9 16:59:00 GMT 2007


> 2007-08-22  Richard Guenther  <rguenther@suse.de>
>
> 	PR tree-optimization/33142
> 	* tree-vrp.c (extract_range_from_unary_expr): Compare with
> 	TYPE_MIN/MAX_VALUE using tree_int_cst_equal.

This has very likely introduced 

                === libjava tests ===


Running target unix
FAIL: Divide_1 output - source compiled test
FAIL: Divide_1 output - gij test
FAIL: Divide_1 output - bytecode->native test
FAIL: Divide_1 -O3 output - source compiled test
FAIL: Divide_1 output - gij test
FAIL: Divide_1 -O3 output - bytecode->native test
FAIL: pr6388 output - source compiled test
FAIL: pr6388 output - gij test
FAIL: pr6388 output - bytecode->native test
FAIL: pr6388 -O3 output - source compiled test
FAIL: pr6388 output - gij test
FAIL: pr6388 -O3 output - bytecode->native test

on the branch, visible at least on x86_64, ia64, s390 and s390x:
http://gcc.gnu.org/ml/gcc-testresults/2007-09/msg00130.html
http://gcc.gnu.org/ml/gcc-testresults/2007-08/msg00957.html
http://gcc.gnu.org/ml/gcc-testresults/2007-08/msg00780.html
http://gcc.gnu.org/ml/gcc-testresults/2007-08/msg00747.html

The change is revision 127691 and revision 127686 is OK:
http://gcc.gnu.org/ml/gcc-testresults/2007-08/msg00727.html

-- 
Eric Botcazou



More information about the Gcc-patches mailing list