commit 08f46e1de67f333b10f4e299b4eccccc84ca6697
author Owen Anderson <resistor@mac.com> Fri Mar 13 06:41:26 2015 +0000
committer Owen Anderson <resistor@mac.com> Fri Mar 13 06:41:26 2015 +0000
tree 8aa63682991b770921bc6ea4c06b9507ecfa47e1
parent 04183242b34d660cc5f265c329eca2fcb4d781e9

Fix an infinite recursion in the verifier caused by calling isSized on a recursive type.

llvm-svn: 232143

llvm/lib/IR/Verifier.cpp

diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index eaad5fb..9e77c32 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -1014,7 +1014,8 @@
          V);
 
   if (PointerType *PTy = dyn_cast<PointerType>(Ty)) {
-    if (!PTy->getElementType()->isSized()) {
+    SmallPtrSet<const Type*, 4> Visited;
+    if (!PTy->getElementType()->isSized(&Visited)) {
       Assert(!Attrs.hasAttribute(Idx, Attribute::ByVal) &&
                  !Attrs.hasAttribute(Idx, Attribute::InAlloca),
              "Attributes 'byval' and 'inalloca' do not support unsized types!",