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

[schwab@linux-m68k.org]

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

--- Comment #3 from Andreas Schwab <schwab@linux-m68k.org> ---
Program received signal SIGSEGV, Segmentation fault.
vrp_val_max (type=0x0) at ../../gcc/tree-vrp.c:156
156       if (!INTEGRAL_TYPE_P (type))