diff options
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index ff1c337a837..ff88536846c 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -2512,19 +2512,9 @@ void Scop::propagateDomainConstraints(Region *R, ScopDetection &SD, } } - // Get the domain for the current block and check if it was initialized or - // not. The only way it was not is if this block is only reachable via error - // blocks, thus will not be executed under the assumptions we make. Such - // blocks have to be skipped as their predecessors might not have domains - // either. It would not benefit us to compute the domain anyway, only the - // domains of the error blocks that are reachable from non-error blocks - // are needed to generate assumptions. BasicBlock *BB = getRegionNodeBasicBlock(RN); isl_set *&Domain = DomainMap[BB]; - if (!Domain) { - DomainMap.erase(BB); - continue; - } + assert(Domain); // Under the union of all predecessor conditions we can reach this block. auto *PredDom = getPredecessorDomainConstraints(BB, Domain, SD, DT, LI); |
