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: unassig...@gcc.gnu.org ReportedBy: hjl.to...@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.