https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86265
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Last reconfirmed| |2018-06-21
Resolution|INVALID |---
Ever confirmed|0 |1
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #1)
> It's invalid because we properly identify that strlen (s.data) <= 4, thus no
> check is needed.
No, we can't conclude that. See PR86259.
