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)
commit3e7e67b5eda50ee13e60da4abd4ceb5bb9d4f65f
tree5c033789662d6d282dfc9f59531d01c806bf266b
parentda19af4f42a132f3f3fb82858fef7037c32e60ad
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.

llvm-svn: 231759
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/invalid-statepoint.ll [new file with mode: 0644]