[LLVMbugs] [Bug 1862] verify fails based on ordering even with -disable-opt

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Wed Jan 2 21:31:47 PST 2008


Nick Lewycky <nicholas at mxc.ca> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID

--- Comment #12 from Nick Lewycky <nicholas at mxc.ca>  2008-01-02 23:31:46 ---
llvm-ld depending on the order of its inputs is not necessarily a bug.

Given three files, 

  %struct.foo = type { i32 }
  declare void @f1(%struct.foo* %x)

  %struct.foo = type { i16 }
  declare void @f2(%struct.foo* %x)

  %struct.foo = type opaque
  declare void @f3(%struct.foo* %x)

the result will differ depending on which of a.ll or b.ll comes first on the
command line. In your case, you're getting different structs and trying to
index into one with GEP. That works with one definition of %struct.inode, but
not the other.

The real question, then, is how did you get two different types when compiling
the kernel?

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list