<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Assertion "Deleted edge still exists in the CFG!""
href="https://bugs.llvm.org/show_bug.cgi?id=34782">34782</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion "Deleted edge still exists in the CFG!"
</td>
</tr>
<tr>
<th>Product</th>
<td>new-bugs
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>new bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>babokin@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Looks like a recent regression, I see a lot of fails like that.
clang trunk rev314491, x86_64.
<span class="quote">> cat f.cpp</span >
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;
}
<span class="quote">> clang++ -O2 -w f.cpp -c</span >
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)
<...></pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>