------- Comment #31 from rguenth at gcc dot gnu dot org 2006-10-22 20:11 ------- Subject: Bug 15911
Author: rguenth Date: Sun Oct 22 20:11:09 2006 New Revision: 117960 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117960 Log: 2006-10-22 Jeff Law <[EMAIL PROTECTED]> Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/15911 * tree-vrp.c (extract_code_and_val_from_cond): New function. (register_edge_assert_for_1): Likewise. (register_edge_assert_for): Handle &&/&/||/| in conditionals. (find_conditional_asserts): Adjust for new function signature. (find_assert_locations): Likewise. * gcc.dg/tree-ssa/vrp30.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp30.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15911