[MC][COFF][ELF] Reject instructions in IMAGE_SCN_CNT_UNINITIALIZED_DATA/SHT_NOBITS...
authorFangrui Song <maskray@google.com>
Tue, 14 Apr 2020 18:05:21 +0000 (11:05 -0700)
committerFangrui Song <maskray@google.com>
Thu, 16 Apr 2020 04:02:47 +0000 (21:02 -0700)
commite13a8a1fc56837e2f21b85b89a445fb4f21500d6
treebb1ec51c951016932f8fb581775d809b43f5f2a6
parenta07e5b857425a8d411dbf1cdfca5ba5d6521549d
[MC][COFF][ELF] Reject instructions in IMAGE_SCN_CNT_UNINITIALIZED_DATA/SHT_NOBITS sections

For `.bss; nop`, MC inappropriately calls abort() (via report_fatal_error()) with a message
`cannot have fixups in virtual section!`
It is a bug to crash for invalid user input. Fix it by erroring out early in EmitInstToData().

Similarly, emitIntValue() in a virtual section (SHT_NOBITS in ELF) can crash with the mssage
`non-zero initializer found in section '.bss'` (see D4199)
It'd be nice to report the location but so many directives can call emitIntValue()
and it is difficult to track every location.
Note, COFF does not crash because MCAssembler::writeSectionData() is not
called for an IMAGE_SCN_CNT_UNINITIALIZED_DATA section.

Note, GNU as' arm64 backend reports ``Error: attempt to store non-zero value in section `.bss'``
for a non-zero .inst but fails to do so for other instructions.
We simply reject all instructions, even if the encoding is all zeros.

The Mach-O counterpart is D48517 (see `test/MC/MachO/zerofill-text.s`)

Reviewed By: rnk, skan

Differential Revision: https://reviews.llvm.org/D78138
12 files changed:
llvm/include/llvm/MC/MCSection.h
llvm/include/llvm/MC/MCSectionCOFF.h
llvm/include/llvm/MC/MCSectionELF.h
llvm/lib/MC/MCAssembler.cpp
llvm/lib/MC/MCObjectStreamer.cpp
llvm/lib/MC/MCSection.cpp
llvm/lib/MC/MCSectionCOFF.cpp
llvm/lib/MC/MCSectionELF.cpp
llvm/test/MC/COFF/bss-text.s [new file with mode: 0644]
llvm/test/MC/ELF/ARM/bss-non-zero-value.s [deleted file]
llvm/test/MC/ELF/nobits-non-zero-value.s [new file with mode: 0644]
llvm/test/MC/X86/reloc-bss.s [deleted file]