diff options
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index 5fb16165c8a..2c0cd4255e9 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -1536,10 +1536,12 @@ void ScopStmt::checkForReductions() { isl_map_intersect_domain(MA->getAccessRelation(), getDomain()); isl_set *Accs = isl_map_range(AccRel); - if (isl_set_has_equal_space(AllAccs, Accs) || isl_set_free(Accs)) { + if (isl_set_has_equal_space(AllAccs, Accs)) { isl_set *OverlapAccs = isl_set_intersect(Accs, isl_set_copy(AllAccs)); Valid = Valid && isl_set_is_empty(OverlapAccs); isl_set_free(OverlapAccs); + } else { + isl_set_free(Accs); } } |
