[Bug tree-optimization/89509] restrict doesnt work with subfield accesses

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||10.0
 Resolution|--- |FIXED

--- Comment #4 from Richard Biener  ---
Fixed.

[Bug tree-optimization/89509] restrict doesnt work with subfield accesses

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener  ---
Author: rguenth
Date: Thu May  2 14:05:27 2019
New Revision: 270799

URL: https://gcc.gnu.org/viewcvs?rev=270799=gcc=rev
Log:
2019-05-02  Richard Biener  

PR tree-optimization/89509
* tree-ssa-structalias.c (compute_dependence_clique): Look
at the first subvar when determining whether it is restrict.

* gcc.dg/torture/restrict-8.c: New testcase.

Added:
trunk/gcc/testsuite/gcc.dg/torture/restrict-8.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-structalias.c

[Bug tree-optimization/89509] restrict doesnt work with subfield accesses

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89509
Bug 89509 depends on bug 89505, which changed state.

Bug 89505 Summary: [7 Regression] LibreOffice miscompilation starting with 
r260383
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89505

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/89509] restrict doesnt work with subfield accesses

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener  ---
Created attachment 45827
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45827=edit
the patch

[Bug tree-optimization/89509] restrict doesnt work with subfield accesses

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||missed-optimization
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2019-02-26
 Blocks||49774
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
I have a patch (for GCC 10).


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49774
[Bug 49774] [meta-bug] restrict qualification aliasing issues