diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2012-08-03 14:21:14 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2012-08-03 12:21:14 +0000 |
| commit | 4e7c4b7301cfb6f74e398b9e86f63fadd4d82665 (patch) | |
| tree | 567eda01e87e579ad9caa799953466f4a2dfb161 /gcc/ada/frontend.adb | |
| parent | 11f359257e79a5d8cd68458188b8c126f10b6fc9 (diff) | |
| download | gcc-4e7c4b7301cfb6f74e398b9e86f63fadd4d82665.zip gcc-4e7c4b7301cfb6f74e398b9e86f63fadd4d82665.tar.gz gcc-4e7c4b7301cfb6f74e398b9e86f63fadd4d82665.tar.bz2 | |
re PR tree-optimization/30318 (VRP does not create ANTI_RANGEs on overflow)
gcc/
2012-08-03 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/30318
* double-int.c (mul_double_wide_with_sign): New function.
(mul_double_with_sign): Call the new function.
* double-int.h (mul_double_wide_with_sign): Declare the new function.
* tree-vrp.c (extract_range_from_binary_expr_1) [MULT_EXPR]:
Handle integer types that wrap on overflow.
(quad_int_cmp): New helper function.
(quad_int_pair_sort): Likewise.
gcc/testsuite/
2012-08-03 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/30318
* gcc.dg/tree-ssa/vrp77.c: New testcase.
From-SVN: r190125
Diffstat (limited to 'gcc/ada/frontend.adb')
0 files changed, 0 insertions, 0 deletions