[Bug tree-optimization/116585] [12/13/14/15 Regression] SSA corruption with -O3

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot 
gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Something in SCEV or data-ref analysis looks through

  <bb 4> [local count: 2407868]:
  _1 = s1len_15(ab) + 1;


<bb 25>
...
  _21 = (sizetype) s1len_15(ab);
  _18 = _21 + 1; 

increasing the lifetime of s1len_15(ab)

I'll eventually see to suppress this.