[Bug tree-optimization/81884] [6/7 Regression] Invalid code generation with zero size arrays or flexible array members

[rguenther at suse dot de]

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

--- Comment #8 from rguenther at suse dot de  ---
On Thu, 24 Aug 2017, v at vsamko dot com wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81884
> 
> --- Comment #7 from Valentine  ---
> Many thanks for this ! 
> 
> Are there any plans to merge this into 7.2.0 and into any future 7.x 
> releases?

Yes.

> If not, is it safe for me just to apply this patch to 7.2 locally and rebuild?

Yes.

[Bug tree-optimization/81884] [6/7 Regression] Invalid code generation with zero size arrays or flexible array members

[v at vsamko dot com]

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

--- Comment #7 from Valentine  ---
Many thanks for this ! 

Are there any plans to merge this into 7.2.0 and into any future 7.x releases?

If not, is it safe for me just to apply this patch to 7.2 locally and rebuild?

[Bug tree-optimization/81884] [6/7 Regression] Invalid code generation with zero size arrays or flexible array members

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener  ---
Author: rguenth
Date: Mon Aug 21 07:37:59 2017
New Revision: 251217

URL: https://gcc.gnu.org/viewcvs?rev=251217=gcc=rev
Log:
2017-08-21  Richard Biener  

PR middle-end/81884
* tree-ssa-alias.c (stmt_kills_ref_p): Handle array accesses
at struct end conservatively when comparing common bases.

* g++.dg/torture/pr81884.C: New testcase.

Added:
trunk/gcc/testsuite/g++.dg/torture/pr81884.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-alias.c

[Bug tree-optimization/81884] [6/7 Regression] Invalid code generation with zero size arrays or flexible array members

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

  Known to work||8.0
Summary|[6/7/8 Regression] Invalid  |[6/7 Regression] Invalid
   |code generation with zero   |code generation with zero
   |size arrays or flexible |size arrays or flexible
   |array members   |array members
  Known to fail||6.4.0, 7.2.0

--- Comment #5 from Richard Biener  ---
Fixed on trunk sofar.