projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6337d3) | patch
[DebugInfo] Add verifier for DICompositeType vector
authorMatt Davis <Matthew.Davis@sony.com>
Thu, 8 Mar 2018 19:31:37 +0000 (19:31 +0000)
committerMatt Davis <Matthew.Davis@sony.com>
Thu, 8 Mar 2018 19:31:37 +0000 (19:31 +0000)
commit50472279d48779748da286cfc2dfc0da7072f4f6
treeba30a38bc56f03ab210f8a6e127c0df4f11c5342tree | snapshot
parentf6337d3a7334992d8edb5672956dc73bfb56f69fcommit | diff
[DebugInfo] Add verifier for DICompositeType vector

Summary:
This patch adds verification logic for DICompositeType vectors, ensuring that they only have one element, and that element is of type subrange.

This patch complements https://reviews.llvm.org/D44048

Reviewers: aprantl

Reviewed By: aprantl

Subscribers: JDevlieghere, llvm-commits

Tags: #debug-info

Differential Revision: https://reviews.llvm.org/D44262

llvm-svn: 327048
llvm/lib/IR/Verifier.cpp diff | blob | history
llvm/test/Verifier/dbg-invalid-vector.ll [new file with mode: 0644] blob
Domain: System / Toolchain;