[Bug tree-optimization/90766] strlen(a + i) missing range for arrays of unknown bound with strings of known length and variable i

[tavianator at gmail dot com]

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

Tavian Barnes <tavianator at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tavianator at gmail dot com

--- Comment #2 from Tavian Barnes <tavianator at gmail dot com> ---
If char b[] = "123\01234"; then it can't be folded to false for i == 4, right? 
Presumably g() is only folded because you have &s[i] not &a[i].