re PR middle-end/38474 (compile time explosion in dataflow_set_preserve_mem_locs at -O3)

2012-07-02  Martin Jambor  <mjambor@suse.cz>

	PR middle-end/38474
	* ipa-prop.c (compute_known_type_jump_func): Put BINFO check before a
	dynamic type change check.

From-SVN: r189164
This commit is contained in:
Martin Jambor 2012-07-02 17:43:56 +02:00 committed by Martin Jambor
parent 55a2339f35
commit 1f870a36f8
2 changed files with 11 additions and 2 deletions

View File

@ -1,3 +1,12 @@
2012-07-02 Martin Jambor <mjambor@suse.cz>
Backport from mainline.
2012-07-02 Martin Jambor <mjambor@suse.cz>
PR middle-end/38474
* ipa-prop.c (compute_known_type_jump_func): Put BINFO check before a
dynamic type change check.
2012-06-29 Eric Botcazou <ebotcazou@adacore.com>
* tree-eh.c (lower_try_finally_switch): Really put the location of the

View File

@ -865,8 +865,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;
jfunc->type = IPA_JF_KNOWN_TYPE;