Verifier: Allow subroutine types to have no type array
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Sat, 28 Mar 2015 02:43:53 +0000 (02:43 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Sat, 28 Mar 2015 02:43:53 +0000 (02:43 +0000)
commitcefca100398ac2f0a1598f3ba83fcdac2e32b0b6
tree231ccbd2e82509195076cbbd8dbc26ba2da2ba44
parent0b8cd1dee9902bf6f45a183368bbbc23112a96e9
Verifier: Allow subroutine types to have no type array

Loosen one check from r233446: as long as `DIBuilder` requires a
non-null type for every subprogram, we should allow a null type array.
Also add tests for the rest of `MDSubroutineType`, which were somehow
missing.

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