The integrated darwin assembler can hang in an infinite loop (or get an assert
authorKevin Enderby <enderby@apple.com>
Wed, 28 Aug 2013 17:50:59 +0000 (17:50 +0000)
committerKevin Enderby <enderby@apple.com>
Wed, 28 Aug 2013 17:50:59 +0000 (17:50 +0000)
commit4f066b6db8a7a95b206725aecf99a64fd6e9415c
tree76d28f54ec99c6c9b5e2bd3bc95b2d154e26bf76
parent980879e618d32f7516aa3bbf1ee084b06e52d0ef
The integrated darwin assembler can hang in an infinite loop (or get an assert
with a debug build) with this buggy .indirect_symbol directive usage:

% cat test.s
x: .indirect_symbol _y

The assertion is because it is trying to get the symbol index for the
symbol _y when it is writing out the indirect symbol table. This line of
code in MachObjectWriter::WriteObject() :

        Write32(Asm.getSymbolData(*it->Symbol).getIndex());

And while there is a symbol _y it does not have any getSymbolData set which
is only done in MachObjectWriter::BindIndirectSymbols() for pointer sections
or stub sections.  I added a check and an error in there to catch this in case
something slips through.

But to get a better error the parser should detect when a .indirect_symbol
directive is used and it is not in a pointer section or stub section.  To make
that work I moved the handling of the indirect symbol out of the target
independent AsmParser code into the DarwinAsmParser code that can check
for the proper Mach-O section types.

rdar://14825505

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@189497 91177308-0d34-0410-b5e6-96231b3b80d8
lib/MC/MCParser/AsmParser.cpp
lib/MC/MCParser/DarwinAsmParser.cpp
lib/MC/MachObjectWriter.cpp
test/MC/MachO/bad-indirect-symbols.s [new file with mode: 0644]