OSDN Git Service

Teach the IR verifier to reject conflicting debug info for function arguments.
authorAdrian Prantl <aprantl@apple.com>
Tue, 21 Feb 2017 19:03:15 +0000 (19:03 +0000)
committerAdrian Prantl <aprantl@apple.com>
Tue, 21 Feb 2017 19:03:15 +0000 (19:03 +0000)
commitfb2cee97e49f05c88e27f0b424c6670478cdf21b
tree9468abe818ae7eee87a5f649693d71a961bb9a2a
parentfc170d8f5d4475a69780658111350fd969cc7e1f
Teach the IR verifier to reject conflicting debug info for function arguments.

Conflicting debug info for function arguments causes hard-to-debug
assertions in the DWARF backend, so the Verifier should reject it.
For performance reasons this only checks function arguments from
non-inlined debug intrinsics for now.

rdar://problem/30520286

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@295749 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp
test/Verifier/fnarg-debuginfo.ll [new file with mode: 0644]