From 7c33163b05af646df4af7ed110336d9475af43a3 Mon Sep 17 00:00:00 2001 From: jamborm Date: Mon, 2 Jul 2012 15:28:11 +0000 Subject: [PATCH] 2012-07-02 Martin Jambor PR middle-end/38474 * ipa-prop.c (compute_known_type_jump_func): Put BINFO check before a dynamic type change check. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189163 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/ipa-prop.c | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c02b77b..c9a7abb 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): Put BINFO check before a + dynamic type change check. + 2012-07-02 Richard Guenther Michael Matz Tobias Grosser diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index ae35191..6a74cda 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -912,8 +912,8 @@ 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) - || !TYPE_BINFO (TREE_TYPE (base))) + if (!TYPE_BINFO (TREE_TYPE (base)) + || detect_type_change (op, base, call, jfunc, offset)) return; ipa_set_jf_known_type (jfunc, offset, TREE_TYPE (base), TREE_TYPE (op)); -- 2.7.4