Re: [PATCH/RFC] Reorganize osabi.c:generic_elf_osabi_sniff_abi_tag_sections()

[Mark Kettenis <kettenis at chello dot nl>]

   Date: Sun, 18 Jan 2004 17:52:54 -0500
   From: Daniel Jacobowitz <drow@mvista.com>

   On Sun, Jan 18, 2004 at 09:40:40PM +0100, Mark Kettenis wrote:
   > +  /* ...and check it.  */
   > +  gdb_assert (notesz <= MAX_NOTESZ);
   > +  if (notesz > bfd_section_size (abfd, sect))
   > +    return 0;

   I'd rather not add assertions based on the input file.  Can we complain
   and fail instead?

Ah, but the assert is an internal consistency check.  It checks
whether the MAX_NOTESZ limit is large enough for the note the caller
of check_note() is checking for.  Basically the assert triggers if
someone adds a check_note() call with a long name, or a large
descriptor size.  In that case the person in question should increase
MAX_NOTESZ.  The assert is guaranteed not to be triggered for the
check_note() calls in my patch.

The following if-statement does a sanity check on the input file.  We
simply return 0 is the section is too small.

I'll add some comments spelling this out before I check this in.

Mark