[llvm-bugs] [Bug 32209] New: DominatorTree is not up to date with flag -O3

[via llvm-bugs]

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

            Bug ID: 32209
           Summary: DominatorTree is not up to date with flag -O3
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: dcb314 at hotmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 18075
  --> http://bugs.llvm.org/attachment.cgi?id=18075&action=edit
C source code

The attached source code does this:

DominatorTree is not up to date!
Computed:
=============================--------------------------------
Inorder Dominator Tree: DFSNumbers invalid: 1 slow queries.
  [1] %entry {0,173}
    [2] %func_5.exit {1,86}
      [3] %cond.end64 {2,83}
        [4] %if.end925 {3,4}

...

#6 0x00007fee6864e51a __GI_abort (/lib64/libc.so.6+0x3751a)
#7 0x0000000002fa68ae llvm::DominatorTree::verifyDomTree() const
/home/dcb/llvm/
trunk/llvm/lib/IR/Dominators.cpp:296:0
#8 0x00000000036db9be llvm::UnrollLoop(llvm::Loop*, unsigned int, unsigned int, 
bool, bool, bool, bool, bool, unsigned int, unsigned int, llvm::LoopInfo*,
llvm:
:ScalarEvolution*, llvm::DominatorTree*, llvm::AssumptionCache*,
llvm::Optimizat
ionRemarkEmitter*, bool)
/home/dcb/llvm/trunk/llvm/lib/Transforms/Utils/LoopUnro
ll.cpp:728:0

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170310/55e8cbc1/attachment.html>