diff options
-rw-r--r-- | lib/IR/Verifier.cpp | 4 | ||||
-rw-r--r-- | test/Verifier/non-integer-gep-index.ll | 8 | ||||
-rw-r--r-- | test/Verifier/non-integer-gep-index.ll.bc | bin | 0 -> 7392 bytes |
3 files changed, 12 insertions, 0 deletions
diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 6137faf38a9..f6faf1309d8 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -3016,7 +3016,11 @@ void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) { Assert(isa<PointerType>(TargetTy), "GEP base pointer is not a vector or a vector of pointers", &GEP); Assert(GEP.getSourceElementType()->isSized(), "GEP into unsized type!", &GEP); + SmallVector<Value*, 16> Idxs(GEP.idx_begin(), GEP.idx_end()); + Assert(all_of( + Idxs, [](Value* V) { return V->getType()->isIntOrIntVectorTy(); }), + "GEP indexes must be integers", &GEP); Type *ElTy = GetElementPtrInst::getIndexedType(GEP.getSourceElementType(), Idxs); Assert(ElTy, "Invalid indices for GEP pointer type!", &GEP); diff --git a/test/Verifier/non-integer-gep-index.ll b/test/Verifier/non-integer-gep-index.ll new file mode 100644 index 00000000000..ba2dbeab897 --- /dev/null +++ b/test/Verifier/non-integer-gep-index.ll @@ -0,0 +1,8 @@ +; RUN: not opt -verify %s.bc -disable-output + +; Test that verifier checks that gep indexes has correct type +; Specifically we want to check for the following pattern: +; %A1 = alloca i64 +; %G = getelementptr i64, i64* %A1, %A1 +; IR parser checks for this pattern independently from the verifier, so it's +; impossible to load from .ll file. Hence in this test we use bytecode input. diff --git a/test/Verifier/non-integer-gep-index.ll.bc b/test/Verifier/non-integer-gep-index.ll.bc Binary files differnew file mode 100644 index 00000000000..6d31d7b5e4c --- /dev/null +++ b/test/Verifier/non-integer-gep-index.ll.bc |