[unittests] Add postcondition to completeLifetime.

llvm-svn: 301283

diff --git a/polly/unittests/DeLICM/DeLICMTest.cpp b/polly/unittests/DeLICM/DeLICMTest.cpp
index 41ab799..23d3ac0 100644 (file)
--- 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 {