Re: [OB] pointer ref, m2-typeprint.c

["Michael Snyder" <msnyder@sonic.net>]

----- Original Message ----- 
From: "Daniel Jacobowitz" <drow@false.org>
To: <msnyder@sonic.net>
Cc: <gdb-patches@sourceware.org>
Sent: Friday, June 29, 2007 4:37 AM
Subject: Re: [OB] pointer ref, m2-typeprint.c


> On Thu, Jun 28, 2007 at 06:02:41PM -0700, msnyder@sonic.net wrote:
> > > If the second line I quoted could crash, the first
> > > line definitely will; so if TYPE can really be NULL here, we should
> > > fix it properly (instead of this change, which removes the helpful
> > > notice that something is wrong :-).
> >
> > Nooooo... I don't think my change removes any notice.
> > Take another look, please?
>
> Sorry, I meant a notice from Coverity's tools.  The problem is that it
> knows TYPE_CODE is a dereference (that's a locally derivable
> conclusion within this file) but as far as I can tell it doesn't know
> that CHECK_TYPEDEF will always dereference its argument (it will).
> So now it's not going to complain, but if there was a problem,
> there still is.

I agree.  It would be pretty simple to make CHECK_TYPEDEF safe,
and I think I would rather do that than go hunt down every place that
calls it.  What do you think?  Should I add that to this patch?

It would add a "not equal to null" test to every call to CHECK_TYPEDEF,
of which there are many, but on today's hardware the cost should be less
than negligable...