[LLVMbugs] [Bug 3078] New: +Checks build fails in ArgPromotion

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: +Checks build fails in ArgPromotion
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


During make check with ENABLE_EXPENSIVE_CHECKS=1:

llvm-as <
/home/edwin/llvm-bootstrap/llvm/test/CodeGen/Generic/GC/argpromotion.ll |  opt
-anders-aa -argpromotion

/usr/include/c++/4.3/debug/safe_iterator.h:180:error: attempt to
    dereference a past-the-end iterator.

Objects involved in the operation:
iterator "this" @ 0x0x7fff7e92cc10 {
type =
N11__gnu_debug14_Safe_iteratorIN9__gnu_cxx17__normal_iteratorIPKmNSt6__norm6vectorImSaImEEEEENSt7__debug6vectorI
mS7_EEEE (constant iterator);
  state = past-the-end;
  references sequence with type `NSt7__debug6vectorImSaImEEE' @
0x0x7fff7e92cc10
}

Program received signal SIGABRT, Aborted.
0x00007fb075620ed5 in raise () from /lib/libc.so.6
#1  0x00007fb0756223f3 in abort () from /lib/libc.so.6
#2  0x00007fb075e399f9 in __gnu_debug::_Error_formatter::_M_error
(this=0x7fff7e92c4e0) at ../../../../gcc/libstdc++-v3
/src/debug.cc:527
#3  0x0000000000a45750 in
__gnu_debug::_Safe_iterator<__gnu_cxx::__normal_iterator<unsigned long const*,
std::__norm::v
ector<unsigned long, std::allocator<unsigned long> > >,
std::__debug::vector<unsigned long, std::allocator<unsigned lon
g> > >::operator* (this=0x7fff7e92cc10) at
/usr/include/c++/4.3/debug/safe_iterator.h:178
#4  0x0000000000a375e9 in DoPromotion (this=0x2348b20, F=0x2349da0,
ArgsToPromote=@0x7fff7e92d390, ByValArgsToTransform
=@0x7fff7e92d330) at ArgumentPromotion.cpp:570
#5  0x0000000000a3a543 in PromoteArguments (this=0x2348b20, CGN=0x2350ba0) at
ArgumentPromotion.cpp:187
#6  0x0000000000a3a5ea in runOnSCC (this=0x2348b20, SCC=@0x7fff7e92d708) at
ArgumentPromotion.cpp:101
#7  0x0000000000c835d4 in runOnModule (this=0x2350540, M=@0x234d3c0) at
CallGraphSCCPass.cpp:102
#8  0x0000000000dc817f in llvm::MPPassManager::runOnModule (this=0x234b060,
M=@0x234d3c0) at PassManager.cpp:1393
#9  0x0000000000dc96f8 in llvm::PassManagerImpl::run (this=0x234aa70,
M=@0x234d3c0) at PassManager.cpp:1467
#10 0x0000000000dc975b in llvm::PassManager::run (this=0x7fff7e92d9e0,
M=@0x234d3c0) at PassManager.cpp:1499
#11 0x000000000098ace3 in main (argc=4, argv=0x7fff7e92dd78) at opt.cpp:590

The problem is that at ArgumentPromotion.cpp:570, SI->size() is 0, thus you are
not allowed to dereference ->begin()


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