[llvm-bugs] [Bug 34782] New: Assertion "Deleted edge still exists in the CFG!"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=34782

            Bug ID: 34782
           Summary: Assertion "Deleted edge still exists in the CFG!"
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: babokin at gmail.com
                CC: llvm-bugs at lists.llvm.org

Looks like a recent regression, I see a lot of fails like that.

clang trunk rev314491, x86_64.

> cat f.cpp
template <class a> class b {
public:
  a &operator[](unsigned long);
  a *c;
};
template <typename a> a &b<a>::operator[](unsigned long d) { return c[d]; }
struct e {
  char f;
  char g;
  short h;
};
b<e> i, j;
long k;
void l() {
  if (~(i[7].g & (1 | 16) ?: i[5].h))
    ;
  else
    (k ?: j[4].f) ? int(short(i[7].g)) & (1 | 16ULL) ?: i[5].h
                  : int(short(i[7].g)) & (1 | 16ULL) ?: i[5].h;
}

> clang++ -O2 -w f.cpp -c
clang-6.0:
/home/dybaboki/llvm/llvm-trunk-20170928/include/llvm/Support/GenericDomTreeConstruction.h:906:
static void
llvm::DomTreeBuilder::SemiNCAInfo<llvm::DominatorTreeBase<llvm::BasicBlock,
false> >::DeleteEdge(DomTreeT &, const
llvm::DomTreeBuilder::SemiNCAInfo::BatchUpdatePtr, const
llvm::DomTreeBuilder::SemiNCAInfo::NodePtr, const
llvm::DomTreeBuilder::SemiNCAInfo::NodePtr) [DomTreeT =
llvm::DominatorTreeBase<llvm::BasicBlock, false>]: Assertion `!IsSuccessor(To,
From) && "Deleted edge still exists in the CFG!"' failed.
#0 0x000000000135465f llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0x135465f)
#1 0x0000000001354966 SignalHandler(int)
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0x1354966)
#2 0x00007f7769992370 __restore_rt (/lib64/libpthread.so.0+0xf370)
#3 0x00007f776850e1d7 __GI_raise (/lib64/libc.so.6+0x351d7)
#4 0x00007f776850f8c8 __GI_abort (/lib64/libc.so.6+0x368c8)
#5 0x00007f7768507146 __assert_fail_base (/lib64/libc.so.6+0x2e146)
#6 0x00007f77685071f2 (/lib64/libc.so.6+0x2e1f2)
#7 0x0000000000e94143
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0xe94143)
#8 0x00000000011b9089 llvm::JumpThreadingPass::ProcessBlock(llvm::BasicBlock*)
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0x11b9089)
#9 0x00000000011b7a62 llvm::JumpThreadingPass::runImpl(llvm::Function&,
llvm::TargetLibraryInfo*, llvm::LazyValueInfo*, llvm::AAResults*,
llvm::DominatorTree*, bool, std::unique_ptr<llvm::BlockFrequencyInfo,
std::default_delete<llvm::BlockFrequencyInfo> >,
std::unique_ptr<llvm::BranchProbabilityInfo,
std::default_delete<llvm::BranchProbabilityInfo> >)
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0x11b7a62)
#10 0x00000000011c3e0f (anonymous
namespace)::JumpThreading::runOnFunction(llvm::Function&)
(/home/dybaboki/llvm/bin-trunk-20170928/bin/clang-6.0+0x11c3e0f)
<...>

-- 
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/20170929/47a7ed18/attachment-0001.html>