Changeset d101b1 in git
- Timestamp:
- Jan 10, 2013, 12:25:13 PM (10 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- 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
- Files:
-
- 42 edited
Legend:
- Unmodified
- Added
- Removed
-
MP/MPT/MPT.h
r5fdf7a rd101b1 219 219 #define MPT_SetError(error) MPT_errno = (error) 220 220 #define MPT_ClearError() MPT_errno = MPT_Success 221 #define MPT_Assume(x) ((void)0)221 #define MPT_Assume(x) do {} while (0) 222 222 #endif 223 223 -
Singular/grammar.cc
r5fdf7a rd101b1 1527 1527 (Loc).last_line, (Loc).last_column) 1528 1528 # else 1529 # define YY_LOCATION_PRINT(File, Loc) ((void)0)1529 # define YY_LOCATION_PRINT(File, Loc) do {} while (0) 1530 1530 # endif 1531 1531 #endif -
dyn_modules/syzextra/myNF.cc
r5fdf7a rd101b1 243 243 // pNorm(strat->S[i]); 244 244 //} 245 kTest(strat);245 assume(kTest(strat)); 246 246 if (TEST_OPT_PROT) { PrintS("r"); mflush(); } 247 247 -
factory/cf_assert.h
r5fdf7a rd101b1 117 117 { fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; } 118 118 #else /* NOASSERT */ 119 #define ASSERT(expression, message) ((void)0)120 #define ASSERT1(expression, message, parameter1) ((void)0)119 #define ASSERT(expression, message) do {} while (0) 120 #define ASSERT1(expression, message, parameter1) do {} while (0) 121 121 122 #define WARN(expression, message) ((void)0)122 #define WARN(expression, message) do {} while (0) 123 123 124 124 #define PVIRT_VOID(msg) = 0 -
factory/libfac/factor/debug.h
r5fdf7a rd101b1 19 19 20 20 #ifdef NDEBUG 21 #define ASSERT(ignore1,ignore2) ((void)0)21 #define ASSERT(ignore1,ignore2)do {} while (0) 22 22 #else 23 23 #define ASSERT(expression,message) \ -
kernel/ideals.h
r5fdf7a rd101b1 58 58 #define idPrint(id) idShow(id, currRing, currRing) 59 59 #else 60 #define idTest(A) ((void)(TRUE))61 #define idPrint(A) ((void)0)60 #define idTest(A) do {} while (0) 61 #define idPrint(A) do {} while (0) 62 62 #endif 63 63 -
kernel/kspoly.cc
r5fdf7a rd101b1 53 53 int ret = 0; 54 54 ring tailRing = PR->tailRing; 55 kTest_L(PR);56 kTest_T(PW);55 assume(kTest_L(PR)); 56 assume(kTest_T(PW)); 57 57 58 58 poly p1 = PR->GetLmTailRing(); // p2 | p1 … … 188 188 int ret = 0; 189 189 ring tailRing = PR->tailRing; 190 kTest_L(PR);191 kTest_T(PW);190 assume(kTest_L(PR)); 191 assume(kTest_T(PW)); 192 192 193 193 // signature-based stuff: … … 383 383 create_count++; 384 384 #endif 385 kTest_L(Pair);385 assume(kTest_L(Pair)); 386 386 poly p1 = Pair->p1; 387 387 poly p2 = Pair->p2; … … 497 497 poly Save = PW->GetLmCurrRing(); 498 498 499 kTest_L(PR);500 kTest_T(PW);499 assume(kTest_L(PR)); 500 assume(kTest_T(PW)); 501 501 pAssume(pIsMonomOf(Lp, Current)); 502 502 -
kernel/kstd1.cc
r5fdf7a rd101b1 136 136 int ret; 137 137 #if KDEBUG > 0 138 kTest_L(h);139 kTest_T(with);138 assume(kTest_L(h)); 139 assume(kTest_T(with)); 140 140 #endif 141 141 // Hmmm ... why do we do this -- polys from T should already be normalized … … 839 839 { 840 840 int i = 0; 841 kTest_TS(strat);841 assume(kTest_TS(strat)); 842 842 while (i <= strat->Ll) 843 843 { … … 884 884 { 885 885 #ifdef KDEBUG 886 kTest_L(&(strat->L[i]), strat->tailRing, TRUE, i, strat->T, strat->tl);886 assume(kTest_L(&(strat->L[i]), strat->tailRing, TRUE, i, strat->T, strat->tl)); 887 887 #endif 888 888 i++; 889 889 } 890 890 } 891 kTest_TS(strat);891 assume(kTest_TS(strat)); 892 892 } 893 893 … … 923 923 if (strat->update) 924 924 { 925 kTest_TS(strat);925 assume(kTest_TS(strat)); 926 926 strat->update = (strat->tl == -1); 927 927 //if (TEST_OPT_WEIGHTM) … … 961 961 reorderT(strat); 962 962 } 963 kTest_TS(strat);963 assume(kTest_TS(strat)); 964 964 } 965 965 … … 1270 1270 reorderL(strat); 1271 1271 } 1272 kTest_TS(strat);1272 assume(kTest_TS(strat)); 1273 1273 strat->use_buckets = kMoraUseBucket(strat); 1274 1274 /*- compute-------------------------------------------*/ … … 1425 1425 } 1426 1426 } 1427 kTest_TS(strat);1427 assume(kTest_TS(strat)); 1428 1428 } 1429 1429 /*- complete reduction of the standard basis------------------------ -*/ … … 1548 1548 p = pCopy(q); 1549 1549 deleteHC(&p,&o,&j,strat); 1550 kTest(strat);1550 assume(kTest(strat)); 1551 1551 if (TEST_OPT_PROT) { PrintS("r"); mflush(); } 1552 1552 if (BVERBOSE(23)) kDebugPrint(strat); … … 2523 2523 2524 2524 // strat->posInT = posInT_pLength; 2525 kTest_TS(strat);2525 assume(kTest_TS(strat)); 2526 2526 2527 2527 #ifdef HAVE_TAIL_RING -
kernel/kstd2.cc
r5fdf7a rd101b1 1186 1186 1187 1187 // strat->posInT = posInT_pLength; 1188 kTest_TS(strat);1188 assume(kTest_TS(strat)); 1189 1189 1190 1190 #ifdef KDEBUG … … 1411 1411 memset(&(strat->P), 0, sizeof(strat->P)); 1412 1412 #endif /* KDEBUG */ 1413 kTest_TS(strat);1413 assume(kTest_TS(strat)); 1414 1414 } 1415 1415 #ifdef KDEBUG … … 1541 1541 1542 1542 // strat->posInT = posInT_pLength; 1543 kTest_TS(strat);1543 assume(kTest_TS(strat)); 1544 1544 1545 1545 #ifdef KDEBUG … … 1926 1926 memset(&(strat->P), 0, sizeof(strat->P)); 1927 1927 #endif /* KDEBUG */ 1928 kTest_TS(strat);1928 assume(kTest_TS(strat)); 1929 1929 } 1930 1930 #ifdef KDEBUG … … 2058 2058 // pNorm(strat->S[i]); 2059 2059 //} 2060 kTest(strat);2060 assume(kTest(strat)); 2061 2061 if (TEST_OPT_PROT) { PrintS("r"); mflush(); } 2062 2062 if (BVERBOSE(23)) kDebugPrint(strat); … … 2526 2526 2527 2527 // strat->posInT = posInT_pLength; 2528 kTest_TS(strat);2528 assume(kTest_TS(strat)); 2529 2529 2530 2530 #ifdef HAVE_TAIL_RING … … 2764 2764 memset(&(strat->P), 0, sizeof(strat->P)); 2765 2765 #endif 2766 kTest_TS(strat);2766 assume(kTest_TS(strat)); 2767 2767 } 2768 2768 #ifdef KDEBUG -
kernel/kstdfac.cc
r5fdf7a rd101b1 162 162 { 163 163 int i; 164 kTest_TS(o);164 assume(kTest_TS(o)); 165 165 kStrategy s=new skStrategy; 166 166 s->next=NULL; … … 246 246 s->no_prod_crit=o->no_prod_crit; 247 247 #endif 248 kTest_TS(s);248 assume(kTest_TS(s)); 249 249 return s; 250 250 } … … 555 555 if (TEST_OPT_REDSB) completeReduceFac(strat,FL); 556 556 } 557 kTest_TS(strat);557 assume(kTest_TS(strat)); 558 558 while (strat->Ll >= 0) 559 559 { … … 596 596 } 597 597 /* reduction of the element choosen from L */ 598 kTest_TS(strat);598 assume(kTest_TS(strat)); 599 599 red_result = strat->red(&strat->P,strat); 600 600 if (strat->P.p != NULL) … … 643 643 { 644 644 n=kStratCopy(strat); // includes memset(&n->P,0,sizeof(n->P)); 645 kTest_TS(n);645 assume(kTest_TS(n)); 646 646 n->next=strat->next; 647 647 strat->next=n; … … 654 654 n->P.p=fac->m[i]; 655 655 n->initEcart(&n->P); 656 kTest_TS(n);656 assume(kTest_TS(n)); 657 657 658 658 /* enter P.p into s and L */ … … 680 680 } 681 681 } 682 kTest_TS(n);682 assume(kTest_TS(n)); 683 683 684 684 if (TEST_OPT_DEBUG) … … 707 707 } 708 708 } 709 kTest_TS(n);709 assume(kTest_TS(n)); 710 710 /* construct D */ 711 711 if (IDELEMS(fac)>1) … … 863 863 strat->P.lcm=NULL; 864 864 #endif 865 kTest_TS(strat);865 assume(kTest_TS(strat)); 866 866 if ((strat->Ll==-1) && (strat->sl>=0)) 867 867 { 868 868 if (TEST_OPT_REDSB) completeReduceFac(strat,FL); 869 869 } 870 kTest_TS(strat);870 assume(kTest_TS(strat)); 871 871 } 872 872 if (TEST_OPT_DEBUG) messageSets(strat); -
kernel/kutil.cc
r5fdf7a rd101b1 240 240 if (strat->kHEdgeFound) 241 241 { 242 kTest_L(L);242 assume(kTest_L(L)); 243 243 poly p1; 244 244 poly p = L->GetLmTailRing(); … … 307 307 kBucketDestroy(&bucket); 308 308 } 309 kTest_L(L);309 assume(kTest_L(L)); 310 310 } 311 311 } … … 5363 5363 //if (TEST_OPT_PROT) { PrintS("N"); mflush(); } 5364 5364 //L->Normalize(); // HANNES: should have a test 5365 kTest_L(L);5365 assume(kTest_L(L)); 5366 5366 return L->GetLmCurrRing(); 5367 5367 } … … 5469 5469 //if (TEST_OPT_PROT) { PrintS("N"); mflush(); } 5470 5470 //L->Normalize(); // HANNES: should have a test 5471 kTest_L(L);5471 assume(kTest_L(L)); 5472 5472 return L->GetLmCurrRing(); 5473 5473 } … … 6702 6702 } 6703 6703 pLmDelete(&redSi); 6704 kTest(strat);6704 assume(kTest(strat)); 6705 6705 } 6706 6706 i++; 6707 6707 } 6708 6708 #ifdef KDEBUG 6709 kTest(strat);6709 assume(kTest(strat)); 6710 6710 #endif 6711 6711 if (any_change) reorderS(&suc,strat); … … 6748 6748 } 6749 6749 #ifdef KDEBUG 6750 kTest(strat);6750 assume(kTest(strat)); 6751 6751 #endif 6752 6752 } … … 7065 7065 assume(p.sev == 0 || pGetShortExpVector(p.p) == p.sev); 7066 7066 strat->sevT[atT] = (p.sev == 0 ? pGetShortExpVector(p.p) : p.sev); 7067 kTest_T(&(strat->T[atT]));7067 assume(kTest_T(&(strat->T[atT]))); 7068 7068 } 7069 7069 … … 7992 7992 if (TEST_OPT_PROT) 7993 7993 Print("[%lu:%d", (unsigned long) new_tailRing->bitmask, new_tailRing->ExpL_Size); 7994 kTest_TS(strat);7994 assume(kTest_TS(strat)); 7995 7995 assume(new_tailRing != strat->tailRing); 7996 7996 pShallowCopyDeleteProc p_shallow_copy_delete … … 8057 8057 new_tailRing); 8058 8058 } 8059 kTest_TS(strat);8059 assume(kTest_TS(strat)); 8060 8060 if (TEST_OPT_PROT) 8061 8061 PrintS("]"); … … 9446 9446 } 9447 9447 L->Normalize(); // HANNES: should have a test 9448 kTest_L(L);9448 assume(kTest_L(L)); 9449 9449 return L->GetLmCurrRing(); 9450 9450 } -
kernel/kutil.h
r5fdf7a rd101b1 495 495 void messageSets (kStrategy strat); 496 496 #else 497 #define messageSets(s) ((void)0)497 #define messageSets(s) do {} while (0) 498 498 #endif 499 499 … … 600 600 BOOLEAN kTest_S(kStrategy strat); 601 601 #else 602 #define kTest(A) ( (void)0)603 #define kTest_TS(A) ( (void)0)604 #define kTest_T(T) ( (void)0)605 #define kTest_S(T) ( (void)0)606 #define kTest_L(T) ( (void)0)602 #define kTest(A) (TRUE) 603 #define kTest_TS(A) (TRUE) 604 #define kTest_T(T) (TRUE) 605 #define kTest_S(T) (TRUE) 606 #define kTest_L(T) (TRUE) 607 607 #endif 608 608 -
kernel/mod2.h
r5fdf7a rd101b1 384 384 385 385 #ifndef HAVE_ASSUME 386 #define assume(x) ((void)0)387 #define r_assume(x) ((void)0)386 #define assume(x) do {} while (0) 387 #define r_assume(x) do {} while (0) 388 388 #else /* ! HAVE_ASSUME */ 389 389 -
kernel/mod2.h.cmake.in
r5fdf7a rd101b1 589 589 590 590 #ifndef HAVE_ASSUME 591 #define assume(x) ((void)0)592 #define r_assume(x) ((void)0)591 #define assume(x) do {} while (0) 592 #define r_assume(x) do {} while (0) 593 593 #else /* ! HAVE_ASSUME */ 594 594 … … 1230 1230 1231 1231 #ifndef HAVE_ASSUME 1232 #define assume(x) ((void)0)1233 #define r_assume(x) ((void)0)1232 #define assume(x) do {} while (0) 1233 #define r_assume(x) do {} while (0) 1234 1234 #else /* ! HAVE_ASSUME */ 1235 1235 -
kernel/polys.h
r5fdf7a rd101b1 380 380 #else // ! PDEBUG 381 381 382 #define pTest(p) ((void)0)383 #define pLmTest(p) ((void)0)382 #define pTest(p) do {} while (0) 383 #define pLmTest(p) do {} while (0) 384 384 #endif 385 385 -
kernel/sca.cc
r5fdf7a rd101b1 478 478 479 479 // strat->posInT = posInT_pLength; 480 kTest_TS(strat);480 assume(kTest_TS(strat)); 481 481 482 482 #undef HAVE_TAIL_RING … … 804 804 #endif 805 805 806 kTest_TS(strat); // even of T is not used!806 assume(kTest_TS(strat)); // even of T is not used! 807 807 808 808 // Print("\n$\n"); … … 969 969 strat->use_buckets = kMoraUseBucket(strat); 970 970 971 kTest_TS(strat);971 assume(kTest_TS(strat)); 972 972 973 973 … … 1203 1203 } 1204 1204 #endif 1205 kTest_TS(strat);1205 assume(kTest_TS(strat)); 1206 1206 } 1207 1207 // - complete reduction of the standard basis------------------------ - -
libpolys/coeffs/longrat.h
r5fdf7a rd101b1 161 161 BOOLEAN nlDBTest(number a, char *f,int l, const coeffs r); 162 162 #else 163 #define nlTest(a, r) ((void)0)163 #define nlTest(a, r) do {} while (0) 164 164 #endif 165 165 -
libpolys/misc/int64vec.h
r5fdf7a rd101b1 85 85 #define iv64Test(v) v->iv64TEST() 86 86 #else 87 #define iv64Test(v) ((void)0)87 #define iv64Test(v) do {} while (0) 88 88 #endif 89 89 -
libpolys/misc/intvec.h
r5fdf7a rd101b1 153 153 } 154 154 #else 155 #define ivTest(v) ((void)0)155 #define ivTest(v) do {} while (0) 156 156 #endif 157 157 -
libpolys/polys/ext_fields/algext.cc
r5fdf7a rd101b1 61 61 BOOLEAN naDBTest(number a, const char *f, const int l, const coeffs r); 62 62 #else 63 #define naTest(a) ((void)(TRUE))63 #define naTest(a) do {} while (0) 64 64 #endif 65 65 -
libpolys/polys/ext_fields/transext.cc
r5fdf7a rd101b1 84 84 BOOLEAN ntDBTest(number a, const char *f, const int l, const coeffs r); 85 85 #else 86 #define ntTest(a) ((void)(TRUE))86 #define ntTest(a) do {} while (0) 87 87 #endif 88 88 -
libpolys/polys/kbuckets.h
r5fdf7a rd101b1 157 157 BOOLEAN kbTest(kBucket_pt bucket); 158 158 #else 159 #define kbTest(bucket) ((void)0)159 #define kbTest(bucket) do {} while (0) 160 160 #endif 161 161 -
libpolys/polys/monomials/monomials.h
r5fdf7a rd101b1 150 150 //void p_SetRingOfLeftv(leftv l, ring r); 151 151 #else 152 #define p_SetRingOfLm(p, r) ((void)0)153 //#define p_SetRingOfLeftv(l, r) ((void)0)152 #define p_SetRingOfLm(p, r) do {} while (0) 153 //#define p_SetRingOfLeftv(l, r) do {} while (0) 154 154 #endif 155 155 156 156 #else // ! defined(PDEBUG) 157 #define pFalseReturn(cond) ((void)0)158 #define pAssume(cond) ((void)0)159 #define pPolyAssume(cond) ((void)0)160 #define _pPolyAssume(cond, p,r) ((void)0)161 #define pAssumeReturn(cond) ((void)0)162 #define pPolyAssumeReturn(cond) ((void)0)163 #define _pPolyAssumeReturn(cond,p,r) ((void)0)164 #define p_SetRingOfLm(p, r) ((void)0)165 //#define p_SetRingOfLeftv(l, r) ((void)0)157 #define pFalseReturn(cond) do {} while (0) 158 #define pAssume(cond) do {} while (0) 159 #define pPolyAssume(cond) do {} while (0) 160 #define _pPolyAssume(cond, p,r) do {} while (0) 161 #define pAssumeReturn(cond) do {} while (0) 162 #define pPolyAssumeReturn(cond) do {} while (0) 163 #define _pPolyAssumeReturn(cond,p,r) do {} while (0) 164 #define p_SetRingOfLm(p, r) do {} while (0) 165 //#define p_SetRingOfLeftv(l, r) do {} while (0) 166 166 #endif // defined(PDEBUG) 167 167 … … 177 177 #define pIfThen1 pIfThen 178 178 #else 179 #define pAssume1(cond) ((void)0)180 #define pPolyAssume1(cond) ((void)0)181 #define _pPolyAssume1(cond,p,r) ((void)0)182 #define pAssumeReturn1(cond) ((void)0)183 #define pPolyAssumeReturn1(cond) ((void)0)184 #define _pPolyAssumeReturn1(cond,p,r) ((void)0)185 #define p_LmCheckPolyRing1(p,r) ((void)0)186 #define p_CheckRing1(r) ((void)0)187 #define pIfThen1(cond, check) ((void)0)179 #define pAssume1(cond) do {} while (0) 180 #define pPolyAssume1(cond) do {} while (0) 181 #define _pPolyAssume1(cond,p,r) do {} while (0) 182 #define pAssumeReturn1(cond) do {} while (0) 183 #define pPolyAssumeReturn1(cond) do {} while (0) 184 #define _pPolyAssumeReturn1(cond,p,r)do {} while (0) 185 #define p_LmCheckPolyRing1(p,r) do {} while (0) 186 #define p_CheckRing1(r) do {} while (0) 187 #define pIfThen1(cond, check) do {} while (0) 188 188 #endif // PDEBUG >= 1 189 189 … … 199 199 #define pIfThen2 pIfThen 200 200 #else 201 #define pAssume2(cond) ((void)0)202 #define pPolyAssume2(cond) ((void)0)203 #define _pPolyAssume2(cond,p,r) ((void)0)204 #define pAssumeReturn2(cond) ((void)0)205 #define pPolyAssumeReturn2(cond) ((void)0)206 #define _pPolyAssumeReturn2(cond,p,r) ((void)0)207 #define p_LmCheckPolyRing2(p,r) ((void)0)208 #define p_CheckRing2(r) ((void)0)209 #define pIfThen2(cond, check) ((void)0)201 #define pAssume2(cond) do {} while (0) 202 #define pPolyAssume2(cond) do {} while (0) 203 #define _pPolyAssume2(cond,p,r) do {} while (0) 204 #define pAssumeReturn2(cond) do {} while (0) 205 #define pPolyAssumeReturn2(cond) do {} while (0) 206 #define _pPolyAssumeReturn2(cond,p,r)do {} while (0) 207 #define p_LmCheckPolyRing2(p,r) do {} while (0) 208 #define p_CheckRing2(r) do {} while (0) 209 #define pIfThen2(cond, check) do {} while (0) 210 210 #endif // PDEBUG >= 2 211 211 -
libpolys/polys/monomials/p_polys.cc
r5fdf7a rd101b1 4241 4241 #define p_Delete__T p_ShallowDelete 4242 4242 #undef n_Delete__T 4243 #define n_Delete__T(n, r) ((void)0)4243 #define n_Delete__T(n, r) do {} while (0) 4244 4244 4245 4245 #include <polys/templates/p_Delete__T.cc> -
libpolys/polys/monomials/p_polys.h
r5fdf7a rd101b1 154 154 #define pIsMonomOf(p, q) (TRUE) 155 155 #define pHaveCommonMonoms(p, q) (TRUE) 156 #define p_LmCheckIsFromRing(p,r) ((void)0)157 #define p_LmCheckPolyRing(p,r) ((void)0)158 #define p_CheckIsFromRing(p,r) ((void)0)159 #define p_CheckPolyRing(p,r) ((void)0)160 #define p_CheckRing(r) ((void)0)161 #define P_CheckIf(cond, check) ((void)0)162 163 #define p_Test(p,r) ((void) 1)164 #define p_LmTest(p,r) ((void) 1)165 #define pp_Test(p, lmRing, tailRing) ((void) 1)156 #define p_LmCheckIsFromRing(p,r) do {} while (0) 157 #define p_LmCheckPolyRing(p,r) do {} while (0) 158 #define p_CheckIsFromRing(p,r) do {} while (0) 159 #define p_CheckPolyRing(p,r) do {} while (0) 160 #define p_CheckRing(r) do {} while (0) 161 #define P_CheckIf(cond, check) do {} while (0) 162 163 #define p_Test(p,r) do {} while (0) 164 #define p_LmTest(p,r) do {} while (0) 165 #define pp_Test(p, lmRing, tailRing) do {} while (0) 166 166 167 167 #endif … … 1192 1192 #endif 1193 1193 1194 #define pDivAssume(x) ((void)0)1194 #define pDivAssume(x) do {} while (0) 1195 1195 1196 1196 -
libpolys/polys/prCopyMacros.h
r5fdf7a rd101b1 9 9 while (0) 10 10 #else 11 #define PR_DELETE_MONOM(src, r_src) ((void)0)11 #define PR_DELETE_MONOM(src, r_src) do {} while (0) 12 12 #endif 13 13 … … 18 18 #undef PR_NO_SORT 19 19 #define PR_NO_SORT 1 20 #define PR_INIT_EVECTOR_COPY(r_src, r_dest) ((void)0)20 #define PR_INIT_EVECTOR_COPY(r_src, r_dest) do {} while (0) 21 21 #define PR_CPY_EVECTOR(dest, dest_r, src, src_r) \ 22 22 omMemcpyW(dest->exp, src->exp, dest_r->ExpL_Size) … … 36 36 #if PR_NUMBER_SIMPLE > 0 37 37 #define PR_NCOPY(n, r) n 38 #define PR_NDELETE(n, r) ((void)0)38 #define PR_NDELETE(n, r) do {} while (0) 39 39 #define PR_NUMBER_SIMPLE_NAME NSimple 40 40 #else … … 46 46 #undef PR_SORT_POLY 47 47 #if PR_NO_SORT > 0 48 #define PR_SORT_POLY(p, d_r, s_r) ((void)0)48 #define PR_SORT_POLY(p, d_r, s_r) do {} while (0) 49 49 #else 50 50 #define PR_SORT_POLY(p, d_r, s_r) p = p_SortMerge(p, d_r, d_r->OrdSgn == s_r->OrdSgn) -
libpolys/polys/simpleideals.h
r5fdf7a rd101b1 67 67 // #define id_Print(id, r) id_Show(id, r) 68 68 #else 69 #define id_Test(A, r) ((void)(TRUE))70 // #define id_Print(A, r) ((void)0)69 #define id_Test(A, r) do {} while (0) 70 // #define id_Print(A, r) do {} while (0) 71 71 #endif 72 72 -
libpolys/polys/templates/p_Numbers.h
r5fdf7a rd101b1 62 62 #include <coeffs/modulop.h> 63 63 #define n_Copy_FieldZp(n, r) n 64 #define n_Delete_FieldZp(n, r) ((void)0)64 #define n_Delete_FieldZp(n, r) do {} while (0) 65 65 #define n_Mult_FieldZp(n1, n2, r) npMultM(n1,n2, r->cf) 66 66 #define n_Add_FieldZp(n1, n2, r) npAddM(n1, n2, r->cf) -
libpolys/polys/templates/p_Procs_Generate.cc
r5fdf7a rd101b1 151 151 if (length != LengthGeneral) 152 152 { 153 printf("#define DECLARE_LENGTH(what) ((void)0)\n");154 printf("#define p_MemAddAdjust__T(p, r) ((void)0)\n");153 printf("#define DECLARE_LENGTH(what) do {} while (0)\n"); 154 printf("#define p_MemAddAdjust__T(p, r) do {} while (0)\n"); 155 155 } 156 156 else … … 160 160 printf("#define p_MemAddAdjust__T(p, r) p_MemAdd_NegWeightAdjust(p, r)\n"); 161 161 else 162 printf("#define p_MemAddAdjust__T(p, r) ((void)0)\n");162 printf("#define p_MemAddAdjust__T(p, r) do {} while (0)\n"); 163 163 } 164 164 … … 166 166 printf("#undef DECLARE_ORDSGN\n"); 167 167 if (ord != OrdGeneral) 168 printf("#define DECLARE_ORDSGN(what) ((void)0)\n");168 printf("#define DECLARE_ORDSGN(what) do {} while (0)\n"); 169 169 else 170 170 printf("#define DECLARE_ORDSGN(what) what\n"); … … 176 176 if (length != LengthGeneral) 177 177 { 178 printf("#define DECLARE_LENGTH_2(what) ((void)0)\n");178 printf("#define DECLARE_LENGTH_2(what) do {} while (0)\n"); 179 179 if (length < LengthTwo) 180 180 printf("#define p_MemCmp_Bitmask_2 p_MemCmp_Bitmask_%s\n", p_LengthEnum_2_String((p_Length) ((int) length + 2))); … … 190 190 191 191 printf("#undef p_MemAddAdjust__T\n"); 192 printf("#define p_MemAddAdjust__T(p, r) ((void)0)\n");192 printf("#define p_MemAddAdjust__T(p, r) do {} while (0)\n"); 193 193 } 194 194 -
libpolys/reporter/reporter.h
r5fdf7a rd101b1 95 95 96 96 #ifndef HAVE_ASSUME 97 #define assume(x) ((void)0)98 #define r_assume(x) ((void)0)97 #define assume(x) do {} while (0) 98 #define r_assume(x) do {} while (0) 99 99 #else /* ! HAVE_ASSUME */ 100 100 -
omalloc/Misc/dlmalloc/malloc.c
r5fdf7a rd101b1 288 288 #include <assert.h> 289 289 #else 290 #define assert(x) ((void)0)290 #define assert(x) do {} while (0) 291 291 #endif 292 292 -
omalloc/omAllocDecl.h
r5fdf7a rd101b1 307 307 /* define debug stuff, if necessary */ 308 308 #if !defined(omDebugAddrBin) 309 #define omDebugIf(cond, test) ((void)0)310 #define omDebugBinAddr(addr) ((void)0)311 #define omDebugAddrBin(addr,bin) ((void)0)312 #define omDebugBinAddrSize(addr,size) ((void)0)313 #define omDebugAddrSize(addr,size) ((void)0)314 #define omDebugAddr(addr) ((void)0)315 #define omdebugAddrSize(addr,size) ((void)0)316 #define omdebugAddr(addr) ((void)0)317 #define omDebugBin(bin) ((void)0)318 #define omDebugMemory() ((void)0)309 #define omDebugIf(cond, test) do {} while (0) 310 #define omDebugBinAddr(addr) do {} while (0) 311 #define omDebugAddrBin(addr,bin) do {} while (0) 312 #define omDebugBinAddrSize(addr,size) do {} while (0) 313 #define omDebugAddrSize(addr,size) do {} while (0) 314 #define omDebugAddr(addr) do {} while (0) 315 #define omdebugAddrSize(addr,size) do {} while (0) 316 #define omdebugAddr(addr) do {} while (0) 317 #define omDebugBin(bin) do {} while (0) 318 #define omDebugMemory() do {} while (0) 319 319 #endif /* !defined(omDebugAddrBin) */ 320 320 321 321 /* define check stuff, if necessary */ 322 322 #if !defined(omCheckAddrBin) 323 #define omCheckIf(cond, test) ((void)0)324 #define omCheckBinAddr(addr) ((void)0)325 #define omCheckAddrBin(addr,bin) ((void)0)326 #define omCheckBinAddrSize(addr,size) ((void)0)327 #define omCheckAddrSize(addr,size) ((void)0)328 #define omCheckAddr(addr) ((void)0)329 #define omcheckAddrSize(addr,size) ((void)0)330 #define omcheckAddr(addr) ((void)0)331 #define omCheckBin(bin) ((void)0)332 #define omCheckMemory() ((void)0)323 #define omCheckIf(cond, test) do {} while (0) 324 #define omCheckBinAddr(addr) do {} while (0) 325 #define omCheckAddrBin(addr,bin) do {} while (0) 326 #define omCheckBinAddrSize(addr,size) do {} while (0) 327 #define omCheckAddrSize(addr,size) do {} while (0) 328 #define omCheckAddr(addr) do {} while (0) 329 #define omcheckAddrSize(addr,size) do {} while (0) 330 #define omcheckAddr(addr) do {} while (0) 331 #define omCheckBin(bin) do {} while (0) 332 #define omCheckMemory() do {} while (0) 333 333 #endif /* !defined(omCheckAddrBin) */ 334 334 … … 354 354 #else 355 355 356 #define omTestIf(cond, test) ((void)0)357 #define omTestAddrBin(addr,bin,l) ((void)0)358 #define omTestBinAddr(addr,l) ((void)0)359 #define omTestBinAddrSize(addr,size,l) ((void)0)360 #define omTestAddrSize(addr,size,l) ((void)0)361 #define omTestAddr(addr,l) ((void)0)362 #define omtestAddrSize(addr,size,l) ((void)0)363 #define omtestAddr(addr,l) ((void)0)364 #define omTestAddrAlignedBin(addr,bin,l) ((void)0)365 #define omTestAddrAlignedSize(addr,size,l) ((void)0)366 #define omTestAddrAligned(addr,l) ((void)0)367 #define omtestAddrAlignedSize(addr,size,l) ((void)0)368 #define omtestAddrAligned(addr,l) ((void)0)369 #define omTestBin(bin,l) ((void)0)370 #define omTestMemory(l) ((void)0)356 #define omTestIf(cond, test) do {} while (0) 357 #define omTestAddrBin(addr,bin,l) do {} while (0) 358 #define omTestBinAddr(addr,l) do {} while (0) 359 #define omTestBinAddrSize(addr,size,l) do {} while (0) 360 #define omTestAddrSize(addr,size,l) do {} while (0) 361 #define omTestAddr(addr,l) do {} while (0) 362 #define omtestAddrSize(addr,size,l) do {} while (0) 363 #define omtestAddr(addr,l) do {} while (0) 364 #define omTestAddrAlignedBin(addr,bin,l) do {} while (0) 365 #define omTestAddrAlignedSize(addr,size,l) do {} while (0) 366 #define omTestAddrAligned(addr,l) do {} while (0) 367 #define omtestAddrAlignedSize(addr,size,l) do {} while (0) 368 #define omtestAddrAligned(addr,l) do {} while (0) 369 #define omTestBin(bin,l) do {} while (0) 370 #define omTestMemory(l) do {} while (0) 371 371 372 372 #endif -
omalloc/omDebug.h
r5fdf7a rd101b1 22 22 23 23 #if defined(OM_NDEBUG) 24 #define omMarkAsStaticAddr(addr) ((void)0)25 #define omMarkMemoryAsStatic() ((void)0)26 #define omUnMarkAsStaticAddr() ((void)0)27 #define omUnMarkMemoryAsStatic() ((void)0)28 #define omFreeKeptAddr() ((void)0)29 #define omPrintUsedAddrs(fd,m) ((void)0)30 #define omPrintUsedTrackAddrs(fd,m) ((void)0)24 #define omMarkAsStaticAddr(addr) do {} while (0) 25 #define omMarkMemoryAsStatic() do {} while (0) 26 #define omUnMarkAsStaticAddr() do {} while (0) 27 #define omUnMarkMemoryAsStatic() do {} while (0) 28 #define omFreeKeptAddr() do {} while (0) 29 #define omPrintUsedAddrs(fd,m) do {} while (0) 30 #define omPrintUsedTrackAddrs(fd,m) do {} while (0) 31 31 #else 32 32 #define OM_FBIN 1 /* size_bin is bin */ … … 69 69 #ifdef OM_TRACK_CUSTOM 70 70 #ifdef OM_NDEBUG 71 #define omSetCustomOfAddr(addr,value) ((void)0)71 #define omSetCustomOfAddr(addr,value) do {} while (0) 72 72 #define omGetCustomOfAddr(addr) ((void*)0) 73 #define omSetCustomOfTrackAddr(addr,value) ((void)0)73 #define omSetCustomOfTrackAddr(addr,value) do {} while (0) 74 74 #define omGetCustomOfTrackAddr(addr) ((void*)0) 75 75 #else … … 190 190 191 191 #else 192 #define omFreeKeptAddrFromBin(bin) ((void)0)192 #define omFreeKeptAddrFromBin(bin) do {} while (0) 193 193 #endif /* ! OM_NDEBUG */ 194 194 /*ENDPRIVATE*/ -
omalloc/omDefaultConfig.h
r5fdf7a rd101b1 145 145 be called each time the underlying malloc/valloc is called !) */ 146 146 #ifndef OM_MALLOC_HOOK 147 #define OM_MALLOC_HOOK(size) ((void)0)147 #define OM_MALLOC_HOOK(size) do {} while (0) 148 148 #endif 149 149 #ifndef OM_REALLOC_HOOK 150 #define OM_REALLOC_HOOK(oldsize, newsize) ((void)0)150 #define OM_REALLOC_HOOK(oldsize, newsize) do {} while (0) 151 151 #endif 152 152 #ifndef OM_VALLOC_HOOK 153 #define OM_VALLOC_HOOK(size) ((void)0)153 #define OM_VALLOC_HOOK(size) do {} while (0) 154 154 #endif 155 155 #ifndef OM_FREE_HOOK 156 #define OM_FREE_HOOK(size) ((void)0)156 #define OM_FREE_HOOK(size) do {} while (0) 157 157 #endif 158 158 #ifndef OM_VFREE_HOOK 159 #define OM_VFREE_HOOK(size) ((void)0)159 #define OM_VFREE_HOOK(size) do {} while (0) 160 160 #endif 161 161 #ifndef OM_ALLOC_BINPAGE_HOOK 162 #define OM_ALLOC_BINPAGE_HOOK ((void)0)162 #define OM_ALLOC_BINPAGE_HOOK do {} while (0) 163 163 #endif 164 164 #ifndef OM_FREE_BINPAGE_HOOK 165 #define OM_FREE_BINPAGE_HOOK ((void)0)165 #define OM_FREE_BINPAGE_HOOK do {} while (0) 166 166 #endif 167 167 -
omalloc/omDerivedConfig.h
r5fdf7a rd101b1 136 136 #define OM_FLR_VAL OM_FL_VAL 137 137 #define OM_FLR OM_FL 138 #define OM_R_DEF ((void)0)138 #define OM_R_DEF do {} while (0) 139 139 #define OM_FLR_ARG(f,l,r) f,l 140 140 #endif -
omalloc/omError.h
r5fdf7a rd101b1 79 79 #ifndef HAVE_OM_ASSUME 80 80 81 #define omAssume(x) ((void)0)81 #define omAssume(x) do {} while (0) 82 82 83 83 #else /* ! HAVE_OM_ASSUME */ -
omalloc/omGetBackTrace.h
r5fdf7a rd101b1 12 12 int omGetBackTrace(void** bt, int start, int max); 13 13 #else 14 #define omInitGetBackTrace() ((void)0)14 #define omInitGetBackTrace() do {} while (0) 15 15 #define omGetBackTrace(bt, s, max) (0) 16 16 #endif -
omalloc/omRet2Info.h
r5fdf7a rd101b1 68 68 69 69 #else /* OM_NDEBUG */ 70 #define omPrintRetInfo(i, max, fd, fmt) ((void)0)71 #define omBackTrace_2_RetInfo(bt, i, m) ((void)0)72 #define omInitRet_2_Info(a) ((void)0)73 #define omPrintBackTrace(bt,max,fd) ((void)0)74 #define omPrintCurrentBackTrace(fd) ((void)0)75 #define omPrintCurrentBackTraceMax(fd,max) ((void)0)76 #define omFilterRetInfo_i(info,max,i) ((void)0)77 #define omFilterRetInfo(info, max, cond) ((void)0)70 #define omPrintRetInfo(i, max, fd, fmt) do {} while (0) 71 #define omBackTrace_2_RetInfo(bt, i, m) do {} while (0) 72 #define omInitRet_2_Info(a) do {} while (0) 73 #define omPrintBackTrace(bt,max,fd) do {} while (0) 74 #define omPrintCurrentBackTrace(fd) do {} while (0) 75 #define omPrintCurrentBackTraceMax(fd,max) do {} while (0) 76 #define omFilterRetInfo_i(info,max,i) do {} while (0) 77 #define omFilterRetInfo(info, max, cond)do {} while (0) 78 78 #endif /* ! OM_NDEBUG */ 79 79 -
omalloc/omalloc.c
r5fdf7a rd101b1 18 18 #define OM_MARK_AS_STATIC(addr) omMarkAsStaticAddr(addr) 19 19 #else 20 #define OM_MARK_AS_STATIC(addr) ((void)0)20 #define OM_MARK_AS_STATIC(addr) do {} while (0) 21 21 #endif 22 22 -
omalloc/omtTest.h
r5fdf7a rd101b1 44 44 #define myfflush(what) fflush(what) 45 45 #else 46 #define myprintf(format, args...) ((void)0)47 #define myfflush(what) ((void)0)46 #define myprintf(format, args...) do {} while (0) 47 #define myfflush(what) do {} while (0) 48 48 #endif 49 49 … … 122 122 void TestAddrContentEqual(void* s1, void* s2, size_t size); 123 123 #else 124 #define omtTestDebug(cell) ((void)0)125 #define TestAddrContent(a,v,s) ((void)0)126 #define TestAddrContentEqual(s1, s2, s) ((void)0)124 #define omtTestDebug(cell) do {} while (0) 125 #define TestAddrContent(a,v,s) do {} while (0) 126 #define TestAddrContentEqual(s1, s2, s) do {} while (0) 127 127 #endif -
polys/pInline1.h
r5fdf7a rd101b1 47 47 #define pDivAssume pAssume 48 48 #else 49 #define pDivAssume(x) ((void)0)49 #define pDivAssume(x) do {} while (0) 50 50 #endif 51 51 -
xalloc/omalloc.h
r5fdf7a rd101b1 192 192 #define omMemcpyW(A,B,S) memcpy(A,B,(S)<<2) 193 193 #define omGetSpecBin(A) (A) 194 #define omUnGetSpecBin(A) ((void)0)194 #define omUnGetSpecBin(A) do {} while (0) 195 195 #define memcpyW(A,B,C) memcpy(A,B,(C)*sizeof(long)) 196 196 #define omGetStickyBinOfBin(B) omGetSpecBin(B) … … 203 203 #define omRealloc0AlignedSize omRealloc0Size 204 204 #define omMemDupAligned omMemDup 205 #define omCheckIf(cond, test) ((void)0)206 #define omCheckBinAddr(addr) ((void)0)207 #define omCheckAddrBin(addr,bin) ((void)0)208 #define omCheckBinAddrSize(addr,size) ((void)0)209 #define omCheckAddrSize(addr,size) ((void)0)210 #define omCheckAddr(addr) ((void)0)211 #define omcheckAddrSize(addr,size) ((void)0)212 #define omcheckAddr(addr) ((void)0)213 #define omCheckBin(bin) ((void)0)214 #define omCheckMemory() ((void)0)215 #define omPrintCurrentBackTraceMax(A,B) ((void)0)216 #define omPrintUsedTrackAddrs(F,max) ((void)0)217 #define omPrintCurrentBackTrace(F) ((void)0)218 #define omPrintUsedAddrs(F,max) ((void)0)219 #define omdebugAddrSize(A,B) ((void)0)220 #define omPrintAddrInfo(A,B,C) ((void)0)205 #define omCheckIf(cond, test) do {} while (0) 206 #define omCheckBinAddr(addr) do {} while (0) 207 #define omCheckAddrBin(addr,bin) do {} while (0) 208 #define omCheckBinAddrSize(addr,size) do {} while (0) 209 #define omCheckAddrSize(addr,size) do {} while (0) 210 #define omCheckAddr(addr) do {} while (0) 211 #define omcheckAddrSize(addr,size) do {} while (0) 212 #define omcheckAddr(addr) do {} while (0) 213 #define omCheckBin(bin) do {} while (0) 214 #define omCheckMemory() do {} while (0) 215 #define omPrintCurrentBackTraceMax(A,B) do {} while (0) 216 #define omPrintUsedTrackAddrs(F,max) do {} while (0) 217 #define omPrintCurrentBackTrace(F) do {} while (0) 218 #define omPrintUsedAddrs(F,max) do {} while (0) 219 #define omdebugAddrSize(A,B) do {} while (0) 220 #define omPrintAddrInfo(A,B,C) do {} while (0) 221 221 #define omIsBinPageAddr(A) (1) 222 222 #define omTestBinAddrSize(A,B,C) (omError_NoError) 223 223 #define omTestList(ptr, level) (omError_NoError) 224 #define omInitRet_2_Info(argv0) ((void)0)225 #define omMergeStickyBinIntoBin(A,B) ((void)0)224 #define omInitRet_2_Info(argv0) do {} while (0) 225 #define omMergeStickyBinIntoBin(A,B) do {} while (0) 226 226 227 227
Note: See TracChangeset
for help on using the changeset viewer.