6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2026-04-25 05:22:04 +00:00
Code Issues Projects Releases Wiki Activity

[BitcodeReader] Fix asserts when we read a non-vector type for insert/extract/shuffle

Browse Source 
Added some additional checking for vector types + tests.

Bug found with AFL fuzz.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235710 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Filipe Cabecinhas
2015-04-24 11:30:15 +00:00
parent 8d00f2ad79
commit 45a69610a7
5 changed files with 18 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/Bitcode/Inputs/invalid-non-vector-extractelement.bc
BIN
View File
Binary file not shown.
test/Bitcode/Inputs/invalid-non-vector-insertelement.bc
BIN
View File
Binary file not shown.
test/Bitcode/Inputs/invalid-non-vector-shufflevector.bc
BIN
View File
Binary file not shown.
test/Bitcode/invalid.test
+9
View File
@@ -78,3 +78,12 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \
RUN: FileCheck --check-prefix=ARRAY-TYPE %s
ARRAY-TYPE: Array element type can't be an Array or a Blob
RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-TYPE %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-TYPE %s
RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-shufflevector.bc 2>&1 | \
RUN: FileCheck --check-prefix=INVALID-TYPE %s
INVALID-TYPE: Invalid type for value