diff options
| author | Filipe Cabecinhas <me@filcab.net> | 2015-05-16 00:33:12 +0000 |
|---|---|---|
| committer | Filipe Cabecinhas <me@filcab.net> | 2015-05-16 00:33:12 +0000 |
| commit | 1c299d05e6b75d5bdc87239aa7136773df44783e (patch) | |
| tree | 9714f6e33e93f2b379ee7b2248118b0faf0358d7 /llvm/test/Bitcode/invalid.test | |
| parent | 341eda4ca7981650db6c519692861f5913f67ecc (diff) | |
| download | bcm5719-llvm-1c299d05e6b75d5bdc87239aa7136773df44783e.tar.gz bcm5719-llvm-1c299d05e6b75d5bdc87239aa7136773df44783e.zip | |
[BitcodeReader] Don't allow INSERTVAL/EXTRACTVAL with 0 indices
This would trigger an assertion later.
Bug found with AFL fuzz.
llvm-svn: 237494
Diffstat (limited to 'llvm/test/Bitcode/invalid.test')
| -rw-r--r-- | llvm/test/Bitcode/invalid.test | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/invalid.test b/llvm/test/Bitcode/invalid.test index 2fe77989b2a..fbd1cb9f4d9 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -127,3 +127,13 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-GCTable-overflow.bc 2>&1 | \ RUN: FileCheck --check-prefix=GCTABLE-OFLOW %s GCTABLE-OFLOW: Invalid ID + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-insert-0-indices.bc 2>&1 | \ +RUN: FileCheck --check-prefix=INSERT-0-IDXS %s + +INSERT-0-IDXS: INSERTVAL: Invalid instruction with 0 indices + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-extract-0-indices.bc 2>&1 | \ +RUN: FileCheck --check-prefix=EXTRACT-0-IDXS %s + +EXTRACT-0-IDXS: EXTRACTVAL: Invalid instruction with 0 indices |
