[LLVMbugs] [Bug 15577] New: Verifier accepts infinite-length types

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=15577

            Bug ID: 15577
           Summary: Verifier accepts infinite-length types
           Product: new-bugs
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: whitequark at whitequark.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10231
  --> http://llvm.org/bugs/attachment.cgi?id=10231&action=edit
llvm assembly with infinite type

LLVM parses, verifies and prints (opt-3.3 foo.ll -verify -S) the attached file,
which contains a type of infinite length.

However, if I attempt to emit bitcode and then disassemble it, the result is as
follows:

%0 = type opaque
%f = type { i32, %0 }

define %f @foo() {
  ret %f zeroinitializer
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130323/b98c08d4/attachment.html>