https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83444
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2017-12-18 Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 42904 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42904&action=edit gcc8-pr83444.patch The problem is we fold strlen (x) != 0 to *x != 0 early, and then don't handle that during the strlen pass.