https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87610
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Mon Oct 15 10:58:28 2018 New Revision: 265160 URL: https://gcc.gnu.org/viewcvs?rev=265160&root=gcc&view=rev Log: 2018-10-15 Richard Biener <rguent...@suse.de> PR middle-end/87610 * tree-ssa-structalias.c (struct vls_data): Add escaped_p member. (visit_loadstore): When a used restrict tag escaped verify that the points-to solution of "other" pointers do not include escaped. (compute_dependence_clique): If a used restrict tag escaped communicated that down to visit_loadstore. * gcc.dg/torture/restrict-6.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/torture/restrict-6.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-structalias.c
