Fix an issue in the verifier where we could try to read information out of a malforme...
authorOwen Anderson <resistor@mac.com>
Tue, 10 Mar 2015 05:58:21 +0000 (05:58 +0000)
committerOwen Anderson <resistor@mac.com>
Tue, 10 Mar 2015 05:58:21 +0000 (05:58 +0000)
commit4935faa4ee36a744cf167388894e60c0c448090e
tree8f5f5edc423929e6e44ae59fd0b541a6c60107af
parent645fd68c5c2513c467590d5e07dd8951c1c4c8d4
Fix an issue in the verifier where we could try to read information out of a malformed statepoint intrinsic.

In this situation we would always have already flagged an error on the statepoint intrinsic,
but then we carry on to parse other, related GC intrinsics, and could end up crashing during that
verification when they try to access data from the malformed statepoint.

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