This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r122706 - in /trunk/gcc: ChangeLog Makefile.in ...
- From: ian at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 08 Mar 2007 17:36:06 -0000
- Subject: r122706 - in /trunk/gcc: ChangeLog Makefile.in ...
Author: ian
Date: Thu Mar 8 17:36:05 2007
New Revision: 122706
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122706
Log:
./:
* tree-vrp.c: Include "intl.h".
(usable_range_p): New static function.
(compare_values_warnv): Don't test TYPE_OVERFLOW_UNDEFINED for
overflowed values, juts set *strict_overflow_p.
(compare_values): Only return -2 if one of the operands is not a
constant.
(compare_ranges): Call usable_range_p.
(compare_range_with_value): Likewise.
(vrp_evaluate_conditional_warnv): Rename from
vrp_evaluate_conditional. Make static. Change all callers.
(vrp_evaluate_conditional): New function.
(simplify_div_or_mod_using_ranges): Issue warning about reliance
on signed overflow.
(simplify_abs_using_ranges): Likewise.
(simplify_stmt_for_jump_threading): Add within_stmt parameter.
* tree-ssa-dom.c (simplify_stmt_for_jump_threading): Add
within_stmt parameter.
* tree-ssa-propagate.c (fold_predicate_in): Update call to
vrp_evaluate_conditional.
* tree-ssa-threadedge.c
(record_temporary_equivalences_from_stmts_at_dest): Change
simplify parameter to take a second tree parameter.
(simplify_control_stmt_condition): Likewise.
(thread_across_edge): Likewise.
* tree-flow.h (vrp_evaluate_conditional): Update declaration.
(thread_across_edge): Likewise.
* gcc/Makefile.in (tree-vrp.o): Depend upon intl.h.
testsuite/:
* gcc.dg/no-strict-overflow-5.c: New test.
* gcc.dg/no-strict-overflow-6.c: New test.
* gcc.dg/Wstrict-overflow-11.c: New test.
* gcc.dg/Wstrict-overflow-12.c: New test.
* gcc.dg/Wstrict-overflow-13.c: New test.
* gcc.dg/Wstrict-overflow-14.c: New test.
* gcc.dg/Wstrict-overflow-15.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-11.c
trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-12.c
trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-13.c
trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-14.c
trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-15.c
trunk/gcc/testsuite/gcc.dg/no-strict-overflow-5.c
trunk/gcc/testsuite/gcc.dg/no-strict-overflow-6.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/Makefile.in
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-flow.h
trunk/gcc/tree-ssa-dom.c
trunk/gcc/tree-ssa-propagate.c
trunk/gcc/tree-ssa-threadedge.c
trunk/gcc/tree-vrp.c