[Bug tree-optimization/85725] strchr and strstr of a one-element array with a non-empty string can be assumed to return null

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
doesn't strchr (a, '1') return a if a[0] == '1'?  You seem to read
"in the string s" as imposing s to be properly null-terminated.  I don't.