[polly] r301283 - [unittests] Add postcondition to completeLifetime.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Mon Apr 24 19:30:32 2017
New Revision: 301283

URL: http://llvm.org/viewvc/llvm-project?rev=301283&view=rev
Log:
[unittests] Add postcondition to completeLifetime.

Modified:
    polly/trunk/unittests/DeLICM/DeLICMTest.cpp

Modified: polly/trunk/unittests/DeLICM/DeLICMTest.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/unittests/DeLICM/DeLICMTest.cpp?rev=301283&r1=301282&r2=301283&view=diff
==============================================================================
--- polly/trunk/unittests/DeLICM/DeLICMTest.cpp (original)
+++ polly/trunk/unittests/DeLICM/DeLICMTest.cpp Mon Apr 24 19:30:32 2017
@@ -65,6 +65,11 @@ void completeLifetime(isl::union_set Uni
   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 {