[PATCH] Tweak PTA wrt HEAP vars some more

[H.J. Lu]

On Thu, Jul 2, 2009 at 3:17 AM, Richard Guenther<rguenther@suse.de> wrote:
>
> In making the previous patch prettier I made analysis weaker as well,
> as pt_solution_includes asks is_global_var to disambiguate against
> escaped NONLOCAL.
>
> Fixing this and not making anything escaped when just readonly escapes
> (in fortran a memory allocation is ptr = malloc();
> if (ptr == 0) error ("you loose"); - so "you loose", readonly, escapes,
> thus anything escapes, thus the allocated pointer does ... oops.) allows
> some more vectorization in leslie3d to happen.
>
> Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
>
> Richard.
>
> 2009-07-02  Richard Guenther  <rguenther@suse.de>
>
>        * tree-ssa-live.c (remove_unused_locals): Do not remove
>        heap variables.
>        * tree-ssa-structalias.c (handle_lhs_call): Delay setting
>        of DECL_EXTERNAL for HEAP variables.
>        (compute_points_to_sets): Set DECL_EXTERNAL for escaped
>        HEAP variables.  Do not adjust RESTRICT vars.
>        (find_what_var_points_to): Nobody cares if something
>        points to READONLY.

This breaks bootstrap on Linux/ia32:

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


-- 
H.J.