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.
