[Bug middle-end/78153] strlen return value can be assumed to be less than PTRDIFF_MAX

[tschwinge at gcc dot gnu.org]

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

Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tschwinge at gcc dot gnu.org

--- Comment #4 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
(In reply to Andreas Schwab from comment #2)
> raised STORAGE_ERROR : stack overflow or erroneous memory access
> make[3]: *** [../../gcc/ada/gcc-interface/Make-lang.in:119: ada/osint.o]
> Error 1

This presumably has been addressed in PR78501.