From f595090891783f35f501122a8b5a8a6e188ba348 Mon Sep 17 00:00:00 2001 From: Martin Jambor Date: Mon, 2 Jul 2012 17:53:21 +0200 Subject: [PATCH] re PR middle-end/38474 (compile time explosion in dataflow_set_preserve_mem_locs at -O3) 2012-07-02 Martin Jambor PR middle-end/38474 * ipa-prop.c (compute_known_type_jump_func): Check for a BINFO before checking for a dynamic type change. From-SVN: r189165 --- gcc/ChangeLog | 6 ++++++ gcc/ipa-prop.c | 7 +++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 229718c6c8f9..edbf66075ebb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-07-02 Martin Jambor + + PR middle-end/38474 + * ipa-prop.c (compute_known_type_jump_func): Check for a BINFO before + checking for a dynamic type change. + 2012-06-28 Richard Guenther PR middle-end/53790 diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index f2a5759b0b55..fd3f87a6dff9 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -704,12 +704,11 @@ compute_known_type_jump_func (tree op, struct ipa_jump_func *jfunc, || is_global_var (base)) return; - if (detect_type_change (op, base, call, jfunc, offset)) - return; - binfo = TYPE_BINFO (TREE_TYPE (base)); - if (!binfo) + if (!binfo + || detect_type_change (op, base, call, jfunc, offset)) return; + binfo = get_binfo_at_offset (binfo, offset, TREE_TYPE (op)); if (binfo) { -- 2.47.2