[LLVMbugs] [Bug 3659] New: Expensive checks failure in ListScheduleBottomUp

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Expensive checks failure in ListScheduleBottomUp
           Product: new-bugs
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


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

If built with --enable-expensive-checks, the attached testcase
causes llc to abort with:

/usr/include/c++/4.3/bits/stl_heap.h:356:error: elements in iterator range [
    __first, __last) do not form a heap with respect to the predicate __comp    
    .                                                                           

Objects involved in the operation:
iterator "__first" @ 0x0x7fffb856b830 {
type =
N11__gnu_debug14_Safe_iteratorIN9__gnu_cxx17__normal_iteratorIPPN4llvm5SUnitENSt6__norm6vectorIS5_SaIS5_EEEEENSt7__debug6vectorIS5_S9_EEEE
(mutable iterator);                                                             
  state = dereferenceable (start-of-sequence);                                  
  references sequence with type `NSt7__debug6vectorIPN4llvm5SUnitESaIS3_EEE' @
0x0x7fffb856b830                                     
}                                                                               
iterator "__last" @ 0x0x7fffb856b800 {
type =
N11__gnu_debug14_Safe_iteratorIN9__gnu_cxx17__normal_iteratorIPPN4llvm5SUnitENSt6__norm6vectorIS5_SaIS5_EEEEENSt7__debug6vectorIS5_S9_EEEE
(mutable iterator);
  state = past-the-end;
  references sequence with type `NSt7__debug6vectorIPN4llvm5SUnitESaIS3_EEE' @
0x0x7fffb856b800
}
...
Aborted (core dumped)

This happens on the call to Queue.pop() in line 1024 below.
It's not clear to me what the problem is exactly.

1021        SUnit *pop() {
1022          if (empty()) return NULL;
1023          SUnit *V = Queue.top();
1024          Queue.pop();
1025          V->NodeQueueId = 0;
1026          return V;
1027        }


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