diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-07-02 11:53:08 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-07-02 11:53:08 +0000 |
| commit | f4088621a53c4c93304030178a4ff14b4fdb30db (patch) | |
| tree | 3d0ceb6622e9dd1148a3d0ed7aa630d1fae0d3e8 /gcc/tree-ssa-dom.c | |
| parent | e51917ae365c16e909bf8ec4f9d3acb6e4d6fb31 (diff) | |
| download | gcc-f4088621a53c4c93304030178a4ff14b4fdb30db.tar.gz | |
re PR middle-end/15988 (ICE in fold_convert with pointer-to-member-function)
2007-07-02 Richard Guenther <rguenther@suse.de>
* tree-flow.h (types_compatible_p): Declare.
* tree-ssa.c (types_compatible_p): New function.
* ipa-type-escape.c (discover_unique_type): Use
types_compatible_p instead of lang_hooks.types_compatible_p.
* tree-ssa-copyrename.c (copy_rename_partition_coalesce): Likewise.
* tree-vn.c (expressions_equal_p): Likewise.
* tree.c (fields_compatible_p): Likewise.
* tree-ssa-dom.c (avail_expr_eq): Likewise.
(cprop_operand): Use useless_type_conversion_p instead of
lang_hooks.types_compatible_p.
* tree-inline.c (setup_one_parameter): Likewise.
(declare_return_variable): Likewise.
* tree-nrv.c (tree_nrv): Likewise.
* tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Likewise.
(maybe_fold_offset_to_component_ref): Likewise.
(maybe_fold_offset_to_reference): Likewise.
* tree-ssa-copy.c (may_propagate_copy): Likewise.
(merge_alias_info): Likewise.
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
* tree-ssa-phiopt.c (conditional_replacement): Likewise.
* tree-ssa-reassoc.c (optimize_ops_list): Likewise.
* tree-tailcall.c (find_tail_calls): Likewise.
* tree-vect-generic.c (expand_vector_operations_1): Likewise.
* gimplify.c (canonicalize_addr_expr): Likewise.
(fold_indirect_ref_rhs): Likewise.
(gimplify_addr_expr): Likewise. Swap parameters to cpt_same_type.
(cpt_same_type): Likewise.
(check_pointer_types_r): Swap parameters to cpt_same_type
where appropriate.
* fold-const.c (fold_convert): Revert fix for PR15988.
* tree-inline.c (setup_one_parameter): Instead fix it here by
using fold_build1 instead of fold_convert and checking for
error_mark_node. Convert only if the conversion is necessary.
From-SVN: r126198
Diffstat (limited to 'gcc/tree-ssa-dom.c')
| -rw-r--r-- | gcc/tree-ssa-dom.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 3b7bacd9660..b0bfbba882a 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -1680,7 +1680,7 @@ cprop_operand (tree stmt, use_operand_p op_p) propagation opportunity. */ if (TREE_CODE (val) != SSA_NAME) { - if (!lang_hooks.types_compatible_p (op_type, val_type)) + if (!useless_type_conversion_p (op_type, val_type)) { val = fold_convert (TREE_TYPE (op), val); if (!is_gimple_min_invariant (val)) @@ -2048,8 +2048,7 @@ avail_expr_eq (const void *p1, const void *p2) /* In case of a collision, both RHS have to be identical and have the same VUSE operands. */ - if ((TREE_TYPE (rhs1) == TREE_TYPE (rhs2) - || lang_hooks.types_compatible_p (TREE_TYPE (rhs1), TREE_TYPE (rhs2))) + if (types_compatible_p (TREE_TYPE (rhs1), TREE_TYPE (rhs2)) && operand_equal_p (rhs1, rhs2, OEP_PURE_SAME)) { bool ret = compare_ssa_operands_equal (stmt1, stmt2, SSA_OP_VUSE); |