This is the mail archive of the binutils@sourceware.org mailing list for the binutils project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] elf-eh-frame, move buffer alloc out of if block


On Fri, Jul 27, 2007 at 04:52:10PM -0700, msnyder@sonic.net wrote:
> > So, if ecies is NULL (implies invalid .eh_frame section and also
> > ecie_count == 0), I don't see anything invalid on the
> > ecie = NULL assignment or NULL < NULL + 0 comparison (false), then it
> > will just do if (NULL == NULL + 0) goto free_no_table;
> 
> Well, that reasoning requires that you *know* that (ecies == NULL)
> implies invalid .eh_frame section and ecie_count == 0.

But sufficiently good analysis tool must be able to figure that out.
Initially ecies = NULL and ecie_count = 0 (var initialization at their
respective definitions).  The only place where ecie_count is increased
is after ecies = bfd_realloc () succeeded, at which point ecies != NULL.

So I'm not really sure we should work around Coverity inefficiencies.

You need to take the reported issues with a grain of salt, they show where
a problem might be.  You then analyze the thing and either assess there is
no problem and ideally report that to the provider of the tool, so that
they can improve it, or fix the problem.

	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]