projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cab5fe1) | patch
re PR middle-end/87610 (wrong-code with restrict)
authorRichard Biener <rguenther@suse.de>
Mon, 15 Oct 2018 10:58:28 +0000 (10:58 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 15 Oct 2018 10:58:28 +0000 (10:58 +0000)
commit61e189a874392a296e46609502228019cae42e19
treef91ed7a7e771b1acd18d1a2a61eeb542c46a20d5tree
parentcab5fe166dd13e1668801f00189459d3139a9342commit | diff
re PR middle-end/87610 (wrong-code with restrict)

2018-10-15  Richard Biener  <rguenther@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.

From-SVN: r265160
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/torture/restrict-6.c [new file with mode: 0644] blob
gcc/tree-ssa-structalias.c diff | blob | history