[LLVMbugs] [Bug 1774] New: Assertion `Offset1<Offset2 && " There is at least one different constant here!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion `Offset1<Offset2 && "There is at least one
                    different constant here!"' failed.
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=1199)
 --> (http://llvm.org/bugs/attachment.cgi?id=1199)
testcase

$ opt -gvn bugpoint-reduced-simplified.bc
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

opt: BasicAliasAnalysis.cpp:798:
llvm::AliasAnalysis::AliasResult<unnamed>::BasicAliasAnalysis::CheckGEPInstructions(const
llvm::Type*, llvm::Value**, unsigned int, unsigned int, const llvm::Type*,
llvm::Value**, unsigned int, unsigned int): Assertion `Offset1<Offset2 &&
"There is at least one different constant here!"' failed.
opt[0x9c16ba]
opt[0x9c1926]
/lib/libc.so.6[0x32d1c31710]
/lib/libc.so.6(gsignal+0x35)[0x32d1c316a5]
/lib/libc.so.6(abort+0x110)[0x32d1c33100]
/lib/libc.so.6(__assert_fail+0xef)[0x32d1c2ac2f]
opt[0x8819dc]
opt[0x88253d]
opt[0x881df8]
opt[0x881d8b]
opt(llvm::MemoryDependenceAnalysis::getDependency(llvm::Instruction*,
llvm::Instruction*, llvm::BasicBlock*)+0x963)[0x89c92f]
opt(llvm::MemoryDependenceAnalysis::nonLocalHelper(llvm::Instruction*,
llvm::BasicBlock*, llvm::DenseMap<llvm::BasicBlock*, llvm::Value*,
llvm::DenseMapInfo<llvm::BasicBlock*>, llvm::DenseMapInfo<llvm::Value*>
>&)+0x199)[0x89cd13]
opt(llvm::MemoryDependenceAnalysis::getNonLocalDependency(llvm::Instruction*,
llvm::DenseMap<llvm::BasicBlock*, llvm::Value*,
llvm::DenseMapInfo<llvm::BasicBlock*>, llvm::DenseMapInfo<llvm::Value*>
>&)+0x21a)[0x89d23c]
opt[0x74ffa1]
opt[0x7504e7]
opt[0x7506e2]
opt[0x750a5c]
opt[0x750b94]
opt(llvm::FPPassManager::runOnFunction(llvm::Function&)+0x10e)[0x953f92]
opt(llvm::FPPassManager::runOnModule(llvm::Module&)+0x52)[0x954100]
opt(llvm::MPPassManager::runOnModule(llvm::Module&)+0xec)[0x953c8c]
opt(llvm::PassManagerImpl::run(llvm::Module&)+0x74)[0x953e1c]
opt(llvm::PassManager::run(llvm::Module&)+0x20)[0x953e7e]
opt(main+0x986)[0x6bfe78]
/lib/libc.so.6(__libc_start_main+0xf4)[0x32d1c1db44]
opt(cos+0x119)[0x6b1609]
Aborted

$ llvm-gcc -O1 -c testcase-min.i
testcase-min.i:43: warning: ‘struct urb’ declared inside parameter list
testcase-min.i:43: warning: its scope is only this definition or declaration,
which is probably not what you want
testcase-min.i:44: warning: ‘struct urb’ declared inside parameter list
testcase-min.i:45: warning: ‘struct usb_host_endpoint’ declared inside
parameter list
testcase-min.i:69: warning: ‘struct urb’ declared inside parameter list
testcase-min.i:71: warning: ‘struct urb’ declared inside parameter list
testcase-min.i:99: warning: ‘struct usb_host_endpoint’ declared inside
parameter list
testcase-min.i:105: warning: initialization from incompatible pointer type
testcase-min.i:105: warning: initialization from incompatible pointer type
testcase-min.i:105: warning: initialization from incompatible pointer type
cc1: BasicAliasAnalysis.cpp:798:
llvm::AliasAnalysis::AliasResult<unnamed>::BasicAliasAnalysis::CheckGEPInstructions(const
llvm::Type*, llvm::Value**, unsigned int, unsigned int, const llvm::Type*,
llvm::Value**, unsigned int, unsigned int): Assertion `Offset1<Offset2 &&
"There is at least one different constant here!"' failed.
testcase-min.i:110: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://llvm.org/bugs> for instructions.


-- 
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.