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
Paths
| Differential D44262
[DebugInfo] Add verifier for DICompositeType vector ClosedPublic Authored by mattd on Mar 8 2018, 10:27 AM.
Details 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
Diff Detail Event TimelineThis revision is now accepted and ready to land.Mar 8 2018, 10:38 AM Closed by commit rL327048: [DebugInfo] Add verifier for DICompositeType vector (authored by mattd). · Explain WhyMar 8 2018, 11:33 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 137605 lib/IR/Verifier.cpp
test/Verifier/dbg-invalid-vector.ll
|