[Bug tree-optimization/67742] 3rd-level restrict ignored

[rguenther at suse dot de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67742

--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> ---
On Mon, 28 Sep 2015, vries at gcc dot gnu.org wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67742
> 
> --- Comment #3 from vries at gcc dot gnu.org ---
> (In reply to Richard Biener from comment #1)
> > Confirmed.
> 
> Richard,
> 
> any ideas or hints how this can be implemented in tree-ssa-structalias.c?

I think you'd want to refactor create_variable_info_for_1 to take
a parameter on whether restrict should be proceesed like in
intra_create_variable_infos, moving the special handling there
and instead of calling get_vi_for_tree on the PARM_DECL directly
call create_variable_info_for_1.

You'd have to record the respective pointer type in the fieldstack
for only-restrict-pointer vars (and similar things for non-aggregates).

Basically create_variable_info_for_1 (...., yes-process-restrict)
should handle arbitrary level restrict by means of recursion.