[PATCH] Fix PR45967

[H.J. Lu]

On Mon, Oct 18, 2010 at 8:28 AM, Richard Guenther <rguenther@suse.de> wrote:
>
> This fixes PR45967 - it removes another bunch of TBAA assumptions
> from PTA.  We now track also integers.
>
> I tested this on SPEC 2006 where the runtime and compile-time effects
> are in the noise (and yes, disabling PTA completely degrades at least
> SPEC FP a lot ;)).
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu, committed.
>
> Richard.
>
> 2010-10-18  Richard Guenther  <rguenther@suse.de>
>
>        PR tree-optimization/45967
>        * tree-ssa-structalias.c (type_could_have_pointers): Remove.
>        (could_have_pointers): Likewise.
>        (handle_rhs_call, handle_const_call, handle_pure_call,
>        find_func_aliases, intra_create_variable_infos): Remove calls to them.
>        (struct fieldoff): Add must_have_pointers field.
>        (type_must_have_pointers): New function.
>        (field_must_have_pointers): Likewise.
>        (push_fields_onto_fieldstack): Remove must_have_pointers_p argument.
>        Adjust field merging.
>        (create_function_info_for): May-have-pointers of varinfo is
>        almost always true.
>        (create_variable_info_for_1): Likewise.
>
>        * gcc.dg/torture/pr45967.c: New testcase.
>        * gcc.dg/ipa/ipa-pta-10.c: Adjust.
>        * gcc.dg/ipa/ipa-pta-13.c: Likewise
>        * gcc.dg/torture/pr39074-2.c: Likewise
>        * gcc.dg/torture/pta-escape-1.c: Likewise
>        * gcc.dg/torture/pta-ptrarith-1.c: Likewise
>        * gcc.dg/tree-ssa/pta-callused.c: Likewise
>        * gcc.dg/tree-ssa/pta-escape-1.c: Likewise
>        * gcc.dg/tree-ssa/pta-escape-2.c: Likewise
>        * gcc.dg/tree-ssa/pta-escape-3.c: Likewise
>        * gcc.dg/tree-ssa/ssa-pre-21.c: Likewise
>

This may have caused:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46081



-- 
H.J.