https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84383
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=84395, | |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=84396 --- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #2) Yes, the code isn't perfect. I think one bug is what you already pointed out in the -Wrestrict code (bug 84095 comment #1) and that I recently submitted a fix for. There may be others. I just filed bug 84395 for one issue. I'll see what other test cases I can come up with and open bugs for the problems I find. The reference to '\0' in the comment describes the ideal goal I had in mind. It might be worth tightening things up to look for a literal zero. I raised bug 84396 for this.