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.
