diff options
| author | Jeff Law <law@redhat.com> | 2006-10-22 14:11:09 -0600 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-10-22 20:11:09 +0000 |
| commit | 279f3eb50bc5e442683a3a4dd7cc45f04e3cb2fd (patch) | |
| tree | 8695afab2bc8d1fcab73a86cb9eadef594bd4121 /gcc/c-common.c | |
| parent | c0546edb9deed301073a96fd543ee03d40f911d5 (diff) | |
| download | gcc-279f3eb50bc5e442683a3a4dd7cc45f04e3cb2fd.zip gcc-279f3eb50bc5e442683a3a4dd7cc45f04e3cb2fd.tar.gz gcc-279f3eb50bc5e442683a3a4dd7cc45f04e3cb2fd.tar.bz2 | |
re PR tree-optimization/15911 (VRP/DOM does not like TRUTH_AND_EXPR)
2006-10-22 Jeff Law <law@redhat.com>
Richard Guenther <rguenther@suse.de>
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.
Co-Authored-By: Richard Guenther <rguenther@suse.de>
From-SVN: r117960
Diffstat (limited to 'gcc/c-common.c')
0 files changed, 0 insertions, 0 deletions