https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71831
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> --- Yes, I understand and agree with that. What I envision is handling just the basic cases like the ones in comment #2 (and similar) that don't involve the objsz machinery. My -Wformat-length patch (bug 49905) already uses a simple form of this enhancement to detect buffer overflow without optimization.
