[Bug 15641] New: ScopDetection Verify crash

[bugzill...@llvm.org]

Bug ID	15641
Summary	ScopDetection Verify crash
Product	Projects
Version	3.2
Hardware	PC
OS	Linux
Status	NEW
Severity	normal
Priority	P
Component	Polly
Assignee	poll...@googlegroups.com
Reporter	johannes...@gmx.de
Classification	Unclassified

Created attachment 10265 [details]
Fairly large llvm file to trigger the bug

ScopDetection Verify crashes with:
opt: /home/johannes/git/POLLY/llvm/lib/Analysis/RegionInfo.cpp:85: bool
llvm::Region::contains(const llvm::BasicBlock*) const: Assertion
`DT->getNode(BB) && "BB not part of the dominance tree"' failed.

when '-polly-ignore-aliasing -polly-codegen' is used as only opt arguments.

Polly git: 331e829324157cca54491d268410f8ee2d33cd65
Cloog git: c7721fc941db89dd1afc6240eaceea46d0bcad17
isl   git: 9f82ab3cd18ac34f883c30594111e4eb17426e11


Stacktrace:
============================================================================
Printing analysis 'Polly - Detect static control parts (SCoPs)' for function
'f':
Valid Region for Scop: for.cond3_CT_ => for.cond79_CT_

Valid Region for Scop: for.cond3_CT_ => for.cond79_CT_
opt: /home/johannes/git/POLLY/llvm/lib/Analysis/RegionInfo.cpp:85: bool
llvm::Region::contains(const llvm::BasicBlock*) const: Assertion
`DT->getNode(BB) && "BB not part of the dominance tree"' failed.
0  opt             0x000000000177ea6a llvm::sys::PrintStackTrace(_IO_FILE*) +
38
1  opt             0x000000000177ecf1
2  opt             0x000000000177e740
3  libpthread.so.0 0x00007f2a886ce1e0
4  libc.so.6       0x00007f2a87b312c5 gsignal + 53
5  libc.so.6       0x00007f2a87b32748 abort + 328
6  libc.so.6       0x00007f2a87b2a312
7  libc.so.6       0x00007f2a87b2a3c2
8  opt             0x0000000001511415 llvm::Region::contains(llvm::BasicBlock
const*) const + 83
9  opt             0x0000000001511818 llvm::Region::getExitingBlock() const +
128
10 opt             0x0000000001511898 llvm::Region::isSimple() const + 60
11 LLVMPolly.so    0x00007f2a8780f667
polly::ScopDetection::isValidRegion(polly::ScopDetection::DetectionContext&)
const + 699
12 LLVMPolly.so    0x00007f2a8780ff5f
polly::ScopDetection::verifyRegion(llvm::Region const&) const + 121
13 LLVMPolly.so    0x00007f2a8781001f polly::ScopDetection::verifyAnalysis()
const + 177
14 opt             0x000000000167a488
llvm::PMDataManager::verifyPreservedAnalysis(llvm::Pass*) + 192
15 opt             0x000000000167d009
llvm::FPPassManager::runOnFunction(llvm::Function&) + 609
16 opt             0x000000000167d11a
llvm::FPPassManager::runOnModule(llvm::Module&) + 84
17 opt             0x000000000167d477
llvm::MPPassManager::runOnModule(llvm::Module&) + 559
18 opt             0x000000000167da79 llvm::PassManagerImpl::run(llvm::Module&)
+ 249
19 opt             0x000000000167dc8b llvm::PassManager::run(llvm::Module&) +
39
20 opt             0x00000000008bdf05 main + 5474
21 libc.so.6       0x00007f2a87b1da15 __libc_start_main + 245
22 opt             0x00000000008afcd9
Stack dump:
0.      Program arguments: opt --load install/lib/LLVMPolly.so
-polly-ignore-aliasing -polly-detect --analyze crash-ScopDetection-Verify.ll
-polly-codegen 
1.      Running pass 'Function Pass Manager' on module
'crash-ScopDetection-Verify.ll'.
[1]    9750 abort (core dumped)  opt --load install/lib/LLVMPolly.so
-polly-ignore-aliasing -polly-detect

---

You are receiving this mail because:

• You are the assignee for the bug.

[bugzill...@llvm.org]

Tobias Grosser changed bug 15641

What	Removed	Added
Status	NEW	RESOLVED
CC		gro...@fim.uni-passau.de
Resolution	---	FIXED

Comment # 1 on bug 15641 from Tobias Grosser

I committed a fix in r181025.