[Bug middle-end/48558] New: -Warray-bounds fails o detect the out of bound array access

hjl.tools at gmail dot com gcc-bugzilla@gcc.gnu.org
Mon Apr 11 18:24:00 GMT 2011


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48558

           Summary: -Warray-bounds fails o detect the out of bound array
                    access
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: hjl.tools@gmail.com


bfd/elf32-i386.c in binutils has

   case BFD_RELOC_386_IRELATIVE:
      TRACE ("BFD_RELOC_386_IRELATIVE");
      return &elf_howto_table[R_386_IRELATIVE];

It should be:

      return &elf_howto_table[R_386_IRELATIVE - R_386_tls_offset];

GCC fails to detect it.



More information about the Gcc-bugs mailing list