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

[bugzilla-daemon at cs.uiuc.edu]

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


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, 

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

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

c.ll:
  %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.