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...)

Reply via email to