commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed...

[splint.git] / src / specialClauses.c

diff --git a/src/specialClauses.c b/src/specialClauses.c
index e905770175f1fe8ac7ba68d5d8824fd6d1b47979..4e3406840ead1ebd27eee846a97ea260cb14a8ba 100644 (file)
--- a/src/specialClauses.c
+++ b/src/specialClauses.c
@@ -122,6 +122,8 @@ sRefTest specialClause_getPreTestFunction (specialClause cl)
 
 sRefTest specialClause_getPostTestFunction (specialClause cl)
 {
+  llassert (specialClause_isAfter (cl));
+
   switch (cl->kind)
     {
     case SP_USES: