diff options
| -rw-r--r-- | polly/unittests/DeLICM/DeLICMTest.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/polly/unittests/DeLICM/DeLICMTest.cpp b/polly/unittests/DeLICM/DeLICMTest.cpp index 41ab799cccd..23d3ac094a2 100644 --- a/polly/unittests/DeLICM/DeLICMTest.cpp +++ b/polly/unittests/DeLICM/DeLICMTest.cpp @@ -65,6 +65,11 @@ void completeLifetime(isl::union_set Universe, isl::union_map OccupiedAndKnown, if (!Known) { // By default, nothing is known. Known = isl::union_map::empty(ParamSpace); } + + // Conditions that must hold when returning. + assert(Occupied); + assert(Undef); + assert(Known); } typedef struct { |
