[Bug middle-end/119693] GCC assumes wrong bounds for strlen() return value, causing bogus bounds check elimination

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

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
>so I think you're allowed to have bigger objects as long as you don't do 
>pointer arithmetic on them.

Right but strlen could be defined as `char *start = arg; char *end = start;
while (!*end) end++; return end - start;` .