Changeset d101b1 in git for kernel/kstd1.cc

Timestamp:

Jan 10, 2013, 12:25:13 PM (11 years ago)

Author:

Oleksandr Motsak <http://goo.gl/mcpzY>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

8836a9f43c10a0aea1e3ab6a8d9ecf52fe6a9128

Parents:

5fdf7adfacd151eb7c448b03ce681f70b7211e79

git-author:

Oleksandr Motsak <http://goo.gl/mcpzY>2013-01-10 12:25:13+01:00

git-committer:

Oleksandr Motsak <http://goo.gl/mcpzY>2013-01-10 16:45:07+01:00

Message:

Silence some warnings about statements without effect

Insired by [039a51b3aa3c77c2b7bae73d24de8521df45aed2]

File:

• kernel/kstd1.cc (modified) (9 diffs)

kernel/kstd1.cc

@@ -136 +136 @@
   int ret;
 #if KDEBUG > 0
-  kTest_L(h);
-  kTest_T(with);
+  assume(kTest_L(h));
+  assume(kTest_T(with));
 #endif
   // Hmmm ... why do we do this -- polys from T should already be normalized
@@ -839 +839 @@
 {
   int i = 0;
-  kTest_TS(strat);
+  assume(kTest_TS(strat));
   while (i <= strat->Ll)
   {
@@ -884 +884 @@
     {
 #ifdef KDEBUG
-      kTest_L(&(strat->L[i]), strat->tailRing, TRUE, i, strat->T, strat->tl);
+      assume(kTest_L(&(strat->L[i]), strat->tailRing, TRUE, i, strat->T, strat->tl));
 #endif
       i++;
     }
   }
-  kTest_TS(strat);
+  assume(kTest_TS(strat));
 }
 
@@ -923 +923 @@
   if (strat->update)
   {
-    kTest_TS(strat);
+    assume(kTest_TS(strat));
     strat->update = (strat->tl == -1);
     //if (TEST_OPT_WEIGHTM)
@@ -961 +961 @@
     reorderT(strat);
   }
-  kTest_TS(strat);
+  assume(kTest_TS(strat));
 }
 
@@ -1270 +1270 @@
     reorderL(strat);
   }
-  kTest_TS(strat);
+  assume(kTest_TS(strat));
   strat->use_buckets = kMoraUseBucket(strat);
   /*- compute-------------------------------------------*/
@@ -1425 +1425 @@
       }
     }
-    kTest_TS(strat);
+    assume(kTest_TS(strat));
   }
   /*- complete reduction of the standard basis------------------------ -*/
@@ -1548 +1548 @@
   p = pCopy(q);
   deleteHC(&p,&o,&j,strat);
-  kTest(strat);
+  assume(kTest(strat));
   if (TEST_OPT_PROT) { PrintS("r"); mflush(); }
   if (BVERBOSE(23)) kDebugPrint(strat);
@@ -2523 +2523 @@
 
   // strat->posInT = posInT_pLength;
-  kTest_TS(strat);
+  assume(kTest_TS(strat));
 
 #ifdef HAVE_TAIL_RING