[Bug tree-optimization/86259] [8/9 Regression] min(4, strlen(s)) optimized to strlen(s) with -flto

[msebor at gcc dot gnu.org]

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

--- Comment #9 from Martin Sebor <msebor at gcc dot gnu.org> ---
There is an ongoing effort to clarify the provenance of pointers in C.  A
recent proposal for such clarification is N2219:
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2219.htm
I don't see anything in the paper that speaks directly to the test cases here
but 2.3.1 and 2.3.2 come close.  There is a separate question of whether
strings (as in arguments to string functions like strlen) extend to arbitrary
seq