https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89230
--- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #7) > (In reply to Andrew Pinski from comment #3) > > (In reply to lavr from comment #2) > > > Okay, but "d" points to a clearly separate storage on stack within a local > > > frame. None of the pointers passed to (s)printf() relate to that area > > > (either they are also clearly separate within the current stack frame, > > > automatic ("name", "type", "temp"); or the argument values, that function > > > was called with ("pfx")), so how "d->D_fid[2]" can be changed, in GCC's > > > point of view? I mean, within the semantics of the language, that's > > > impossible; and the warning should only be issued for that kind of a > > > (mis)use. > > > > It is not obvious from your small code snippet that d does not point to a > > local struct or if that local struct does not escape. > > > > Without a full testcase (preprocessed source), it is hard to debug this any > > further. > > Reporter has since provided a full testcase (I haven't made any further > attempt to debug it myself though) ...thus, this bug probably shouldn't be in WAITING any longer... (dunno if that necessarily implies that it should be confirmed, though...)