diff options
Diffstat (limited to 'polly/lib/Analysis/ScopInfo.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index 39ac622a3c7..ad546670a26 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -2882,7 +2882,7 @@ void Scop::addAssumption(__isl_take isl_set *Set) { if (NSets >= MaxDisjunctsAssumed) { isl_space *Space = isl_set_get_space(AssumedContext); isl_set_free(AssumedContext); - AssumedContext = isl_set_universe(Space); + AssumedContext = isl_set_empty(Space); } AssumedContext = isl_set_coalesce(AssumedContext); |
