[llvm-bugs] [Bug 25244] New: [Polly] Scop containing only non-affine region crashes opt

[via llvm-bugs]

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

            Bug ID: 25244
           Summary: [Polly] Scop containing only non-affine region crashes
                    opt
           Product: Projects
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Polly
          Assignee: polly-dev at googlegroups.com
          Reporter: tobias at grosser.es
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15104
  --> https://llvm.org/bugs/attachment.cgi?id=15104&action=edit
Test case to reproduce the bug

With 250664 opt -polly-scops -polly-process-unprofitable crashes with:

opt:
/home/grosser/Projects/polly/git/tools/polly/lib/Analysis/ScopInfo.cpp:1037:
void buildConditionSets(polly::Scop &, llvm::Value *, llvm::TerminatorInst *,
llvm::Loop *, isl_set *, SmallVectorImpl<isl_set *> &): Assertion `ICond &&
"Condition of exiting branch was neither constant nor ICmp!"' failed.
0  libLLVMSupport.so.3.8  0x00007f362c270d8a
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 42
1  libLLVMSupport.so.3.8  0x00007f362c2703f6 llvm::sys::RunSignalHandlers() +
54
2  libLLVMSupport.so.3.8  0x00007f362c27263a
3  libc.so.6              0x00007f362abff2f0
4  libc.so.6              0x00007f362abff267 gsignal + 55
5  libc.so.6              0x00007f362ac00eca abort + 362
6  libc.so.6              0x00007f362abf803d
7  libc.so.6              0x00007f362abf80f2
8  libPolly.so            0x00007f36284988f4
9  libPolly.so            0x00007f362848422a
polly::Scop::buildDomainsWithBranchConstraints(llvm::Region*) + 1418
10 libPolly.so            0x00007f3628483bd2
polly::Scop::buildDomains(llvm::Region*) + 770
11 libPolly.so            0x00007f36284883b3
polly::Scop::init(llvm::AAResults&) + 99
12 libPolly.so            0x00007f3628490bdd
polly::ScopInfo::buildScop(llvm::Region&, llvm::DominatorTree&) + 1581
13 libPolly.so            0x00007f3628491182
polly::ScopInfo::runOnRegion(llvm::Region*, llvm::RGPassManager&) + 626
14 libLLVMAnalysis.so.3.8 0x00007f362e5f308a
llvm::RGPassManager::runOnFunction(llvm::Function&) + 1034
15 libLLVMCore.so.3.8     0x00007f362d957208
llvm::FPPassManager::runOnFunction(llvm::Function&) + 344
16 libLLVMCore.so.3.8     0x00007f362d95744b
llvm::FPPassManager::runOnModule(llvm::Module&) + 43
17 libLLVMCore.so.3.8     0x00007f362d957905
llvm::legacy::PassManagerImpl::run(llvm::Module&) + 869

-- 
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/20151018/3fae8ccd/attachment.html>