Changeset d101b1 in git


Ignore:
Timestamp:
Jan 10, 2013, 12:25:13 PM (11 years ago)
Author:
Oleksandr Motsak <http://goo.gl/mcpzY>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
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]
Files:
42 edited

Legend:

Unmodified
Added
Removed

  • MP/MPT/MPT.h

    r5fdf7a rd101b1  
    219219#define MPT_SetError(error) MPT_errno = (error)
    220220#define MPT_ClearError()    MPT_errno = MPT_Success
    221 #define MPT_Assume(x) ((void)0)
     221#define MPT_Assume(x) do {} while (0)
    222222#endif
    223223

  • Singular/grammar.cc

    r5fdf7a rd101b1  
    15271527              (Loc).last_line,  (Loc).last_column)
    15281528# else
    1529 #  define YY_LOCATION_PRINT(File, Loc) ((void) 0)
     1529#  define YY_LOCATION_PRINT(File, Loc) do {} while (0)
    15301530# endif
    15311531#endif

  • dyn_modules/syzextra/myNF.cc

    r5fdf7a rd101b1  
    243243  //    pNorm(strat->S[i]);
    244244  //}
    245   kTest(strat);
     245  assume(kTest(strat));
    246246  if (TEST_OPT_PROT) { PrintS("r"); mflush(); }
    247247

  • factory/cf_assert.h

    r5fdf7a rd101b1  
    117117{ fprintf( stderr, "pure method( " msg " ) called\n" ); abort(); return 0; }
    118118#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)
    121121
    122 #define WARN(expression, message) ((void) 0)
     122#define WARN(expression, message) do {} while (0)
    123123
    124124#define PVIRT_VOID(msg) = 0

  • factory/libfac/factor/debug.h

    r5fdf7a rd101b1  
    1919
    2020#ifdef NDEBUG
    21 #define ASSERT(ignore1,ignore2)((void)0)
     21#define ASSERT(ignore1,ignore2)do {} while (0)
    2222#else
    2323#define ASSERT(expression,message) \

  • kernel/ideals.h

    r5fdf7a rd101b1  
    5858#define idPrint(id) idShow(id, currRing, currRing)
    5959#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)
    6262#endif
    6363

  • kernel/kspoly.cc

    r5fdf7a rd101b1  
    5353  int ret = 0;
    5454  ring tailRing = PR->tailRing;
    55   kTest_L(PR);
    56   kTest_T(PW);
     55  assume(kTest_L(PR));
     56  assume(kTest_T(PW));
    5757
    5858  poly p1 = PR->GetLmTailRing();   // p2 | p1
    … …  
    188188  int ret = 0;
    189189  ring tailRing = PR->tailRing;
    190   kTest_L(PR);
    191   kTest_T(PW);
     190  assume(kTest_L(PR));
     191  assume(kTest_T(PW));
    192192
    193193  // signature-based stuff:
    … …  
    383383  create_count++;
    384384#endif
    385   kTest_L(Pair);
     385  assume(kTest_L(Pair));
    386386  poly p1 = Pair->p1;
    387387  poly p2 = Pair->p2;
    … …  
    497497  poly Save =   PW->GetLmCurrRing();
    498498
    499   kTest_L(PR);
    500   kTest_T(PW);
     499  assume(kTest_L(PR));
     500  assume(kTest_T(PW));
    501501  pAssume(pIsMonomOf(Lp, Current));
    502502

  • kernel/kstd1.cc

    r5fdf7a rd101b1  
    136136  int ret;
    137137#if KDEBUG > 0
    138   kTest_L(h);
    139   kTest_T(with);
     138  assume(kTest_L(h));
     139  assume(kTest_T(with));
    140140#endif
    141141  // Hmmm ... why do we do this -- polys from T should already be normalized
    … …  
    839839{
    840840  int i = 0;
    841   kTest_TS(strat);
     841  assume(kTest_TS(strat));
    842842  while (i <= strat->Ll)
    843843  {
    … …  
    884884    {
    885885#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));
    887887#endif
    888888      i++;
    889889    }
    890890  }
    891   kTest_TS(strat);
     891  assume(kTest_TS(strat));
    892892}
    893893
    … …  
    923923  if (strat->update)
    924924  {
    925     kTest_TS(strat);
     925    assume(kTest_TS(strat));
    926926    strat->update = (strat->tl == -1);
    927927    //if (TEST_OPT_WEIGHTM)
    … …  
    961961    reorderT(strat);
    962962  }
    963   kTest_TS(strat);
     963  assume(kTest_TS(strat));
    964964}
    965965
    … …  
    12701270    reorderL(strat);
    12711271  }
    1272   kTest_TS(strat);
     1272  assume(kTest_TS(strat));
    12731273  strat->use_buckets = kMoraUseBucket(strat);
    12741274  /*- compute-------------------------------------------*/
    … …  
    14251425      }
    14261426    }
    1427     kTest_TS(strat);
     1427    assume(kTest_TS(strat));
    14281428  }
    14291429  /*- complete reduction of the standard basis------------------------ -*/
    … …  
    15481548  p = pCopy(q);
    15491549  deleteHC(&p,&o,&j,strat);
    1550   kTest(strat);
     1550  assume(kTest(strat));
    15511551  if (TEST_OPT_PROT) { PrintS("r"); mflush(); }
    15521552  if (BVERBOSE(23)) kDebugPrint(strat);
    … …  
    25232523
    25242524  // strat->posInT = posInT_pLength;
    2525   kTest_TS(strat);
     2525  assume(kTest_TS(strat));
    25262526
    25272527#ifdef HAVE_TAIL_RING

  • kernel/kstd2.cc

    r5fdf7a rd101b1  
    11861186
    11871187  // strat->posInT = posInT_pLength;
    1188   kTest_TS(strat);
     1188  assume(kTest_TS(strat));
    11891189
    11901190#ifdef KDEBUG
    … …  
    14111411    memset(&(strat->P), 0, sizeof(strat->P));
    14121412#endif /* KDEBUG */
    1413     kTest_TS(strat);
     1413    assume(kTest_TS(strat));
    14141414  }
    14151415#ifdef KDEBUG
    … …  
    15411541
    15421542  // strat->posInT = posInT_pLength;
    1543   kTest_TS(strat);
     1543  assume(kTest_TS(strat));
    15441544
    15451545#ifdef KDEBUG
    … …  
    19261926    memset(&(strat->P), 0, sizeof(strat->P));
    19271927#endif /* KDEBUG */
    1928     kTest_TS(strat);
     1928    assume(kTest_TS(strat));
    19291929  }
    19301930#ifdef KDEBUG
    … …  
    20582058  //    pNorm(strat->S[i]);
    20592059  //}
    2060   kTest(strat);
     2060  assume(kTest(strat));
    20612061  if (TEST_OPT_PROT) { PrintS("r"); mflush(); }
    20622062  if (BVERBOSE(23)) kDebugPrint(strat);
    … …  
    25262526
    25272527  // strat->posInT = posInT_pLength;
    2528   kTest_TS(strat);
     2528  assume(kTest_TS(strat));
    25292529
    25302530#ifdef HAVE_TAIL_RING
    … …  
    27642764    memset(&(strat->P), 0, sizeof(strat->P));
    27652765#endif
    2766     kTest_TS(strat);
     2766    assume(kTest_TS(strat));
    27672767  }
    27682768#ifdef KDEBUG

  • kernel/kstdfac.cc

    r5fdf7a rd101b1  
    162162{
    163163  int i;
    164   kTest_TS(o);
     164  assume(kTest_TS(o));
    165165  kStrategy s=new skStrategy;
    166166  s->next=NULL;
    … …  
    246246  s->no_prod_crit=o->no_prod_crit;
    247247#endif
    248   kTest_TS(s);
     248  assume(kTest_TS(s));
    249249  return s;
    250250}
    … …  
    555555    if (TEST_OPT_REDSB) completeReduceFac(strat,FL);
    556556  }
    557   kTest_TS(strat);
     557  assume(kTest_TS(strat));
    558558  while (strat->Ll >= 0)
    559559  {
    … …  
    596596    }
    597597    /* reduction of the element choosen from L */
    598     kTest_TS(strat);
     598    assume(kTest_TS(strat));
    599599    red_result = strat->red(&strat->P,strat);
    600600    if (strat->P.p != NULL)
    … …  
    643643        {
    644644          n=kStratCopy(strat); // includes memset(&n->P,0,sizeof(n->P));
    645           kTest_TS(n);
     645          assume(kTest_TS(n));
    646646          n->next=strat->next;
    647647          strat->next=n;
    … …  
    654654        n->P.p=fac->m[i];
    655655        n->initEcart(&n->P);
    656         kTest_TS(n);
     656        assume(kTest_TS(n));
    657657
    658658        /* enter P.p into s and L */
    … …  
    680680          }
    681681        }
    682         kTest_TS(n);
     682        assume(kTest_TS(n));
    683683
    684684        if (TEST_OPT_DEBUG)
    … …  
    707707          }
    708708        }
    709         kTest_TS(n);
     709        assume(kTest_TS(n));
    710710        /* construct D */
    711711        if (IDELEMS(fac)>1)
    … …  
    863863    strat->P.lcm=NULL;
    864864#endif
    865     kTest_TS(strat);
     865    assume(kTest_TS(strat));
    866866    if ((strat->Ll==-1) && (strat->sl>=0))
    867867    {
    868868      if (TEST_OPT_REDSB) completeReduceFac(strat,FL);
    869869    }
    870     kTest_TS(strat);
     870    assume(kTest_TS(strat));
    871871  }
    872872  if (TEST_OPT_DEBUG) messageSets(strat);

  • kernel/kutil.cc

    r5fdf7a rd101b1  
    240240  if (strat->kHEdgeFound)
    241241  {
    242     kTest_L(L);
     242    assume(kTest_L(L));
    243243    poly p1;
    244244    poly p = L->GetLmTailRing();
    … …  
    307307        kBucketDestroy(&bucket);
    308308    }
    309     kTest_L(L);
     309    assume(kTest_L(L));
    310310  }
    311311}
    … …  
    53635363  //if (TEST_OPT_PROT) { PrintS("N"); mflush(); }
    53645364  //L->Normalize(); // HANNES: should have a test
    5365   kTest_L(L);
     5365  assume(kTest_L(L));
    53665366  return L->GetLmCurrRing();
    53675367}
    … …  
    54695469  //if (TEST_OPT_PROT) { PrintS("N"); mflush(); }
    54705470  //L->Normalize(); // HANNES: should have a test
    5471   kTest_L(L);
     5471  assume(kTest_L(L));
    54725472  return L->GetLmCurrRing();
    54735473}
    … …  
    67026702          }
    67036703          pLmDelete(&redSi);
    6704           kTest(strat);
     6704          assume(kTest(strat));
    67056705        }
    67066706        i++;
    67076707      }
    67086708#ifdef KDEBUG
    6709       kTest(strat);
     6709      assume(kTest(strat));
    67106710#endif
    67116711      if (any_change) reorderS(&suc,strat);
    … …  
    67486748  }
    67496749#ifdef KDEBUG
    6750   kTest(strat);
     6750  assume(kTest(strat));
    67516751#endif
    67526752}
    … …  
    70657065  assume(p.sev == 0 || pGetShortExpVector(p.p) == p.sev);
    70667066  strat->sevT[atT] = (p.sev == 0 ? pGetShortExpVector(p.p) : p.sev);
    7067   kTest_T(&(strat->T[atT]));
     7067  assume(kTest_T(&(strat->T[atT])));
    70687068}
    70697069
    … …  
    79927992  if (TEST_OPT_PROT)
    79937993    Print("[%lu:%d", (unsigned long) new_tailRing->bitmask, new_tailRing->ExpL_Size);
    7994   kTest_TS(strat);
     7994  assume(kTest_TS(strat));
    79957995  assume(new_tailRing != strat->tailRing);
    79967996  pShallowCopyDeleteProc p_shallow_copy_delete
    … …  
    80578057                                                   new_tailRing);
    80588058  }
    8059   kTest_TS(strat);
     8059  assume(kTest_TS(strat));
    80608060  if (TEST_OPT_PROT)
    80618061    PrintS("]");
    … …  
    94469446  }
    94479447  L->Normalize(); // HANNES: should have a test
    9448   kTest_L(L);
     9448  assume(kTest_L(L));
    94499449  return L->GetLmCurrRing();
    94509450}

  • kernel/kutil.h

    r5fdf7a rd101b1  
    495495void messageSets (kStrategy strat);
    496496#else
    497 #define messageSets(s)  ((void) 0)
     497#define messageSets(s)  do {} while (0)
    498498#endif
    499499
    … …  
    600600BOOLEAN kTest_S(kStrategy strat);
    601601#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)
    607607#endif
    608608

  • kernel/mod2.h

    r5fdf7a rd101b1  
    384384
    385385#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)
    388388#else /* ! HAVE_ASSUME */
    389389

  • kernel/mod2.h.cmake.in

    r5fdf7a rd101b1  
    589589
    590590#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)
    593593#else /* ! HAVE_ASSUME */
    594594
    … …  
    12301230
    12311231#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)
    12341234#else /* ! HAVE_ASSUME */
    12351235

  • kernel/polys.h

    r5fdf7a rd101b1  
    380380#else // ! PDEBUG
    381381
    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)
    384384#endif
    385385

  • kernel/sca.cc

    r5fdf7a rd101b1  
    478478
    479479  // strat->posInT = posInT_pLength;
    480   kTest_TS(strat);
     480  assume(kTest_TS(strat));
    481481
    482482#undef HAVE_TAIL_RING
    … …  
    804804#endif
    805805
    806     kTest_TS(strat); // even of T is not used!
     806    assume(kTest_TS(strat)); // even of T is not used!
    807807
    808808//     Print("\n$\n");
    … …  
    969969  strat->use_buckets = kMoraUseBucket(strat);
    970970
    971   kTest_TS(strat);
     971  assume(kTest_TS(strat));
    972972
    973973
    … …  
    12031203    }
    12041204#endif
    1205     kTest_TS(strat);
     1205    assume(kTest_TS(strat));
    12061206  }
    12071207  // - complete reduction of the standard basis------------------------ -

  • libpolys/coeffs/longrat.h

    r5fdf7a rd101b1  
    161161BOOLEAN nlDBTest(number a, char *f,int l, const coeffs r);
    162162#else
    163 #define nlTest(a, r) ((void)0)
     163#define nlTest(a, r) do {} while (0)
    164164#endif
    165165

  • libpolys/misc/int64vec.h

    r5fdf7a rd101b1  
    8585#define iv64Test(v) v->iv64TEST()
    8686#else
    87 #define iv64Test(v)   ((void)0)
     87#define iv64Test(v)   do {} while (0)
    8888#endif
    8989

  • libpolys/misc/intvec.h

    r5fdf7a rd101b1  
    153153}
    154154#else
    155 #define ivTest(v) ((void)0)
     155#define ivTest(v) do {} while (0)
    156156#endif
    157157

  • libpolys/polys/ext_fields/algext.cc

    r5fdf7a rd101b1  
    6161BOOLEAN  naDBTest(number a, const char *f, const int l, const coeffs r);
    6262#else
    63 #define naTest(a) ((void)(TRUE))
     63#define naTest(a) do {} while (0)
    6464#endif
    6565

  • libpolys/polys/ext_fields/transext.cc

    r5fdf7a rd101b1  
    8484BOOLEAN  ntDBTest(number a, const char *f, const int l, const coeffs r);
    8585#else
    86 #define ntTest(a) ((void)(TRUE))
     86#define ntTest(a) do {} while (0)
    8787#endif
    8888

  • libpolys/polys/kbuckets.h

    r5fdf7a rd101b1  
    157157BOOLEAN kbTest(kBucket_pt bucket);
    158158#else
    159 #define kbTest(bucket)  ((void)0)
     159#define kbTest(bucket)  do {} while (0)
    160160#endif
    161161

  • libpolys/polys/monomials/monomials.h

    r5fdf7a rd101b1  
    150150//void p_SetRingOfLeftv(leftv l, ring r);
    151151#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)
    154154#endif
    155155
    156156#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)
    166166#endif // defined(PDEBUG)
    167167
    … …  
    177177#define pIfThen1          pIfThen
    178178#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)
    188188#endif // PDEBUG >= 1
    189189
    … …  
    199199#define pIfThen2          pIfThen
    200200#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)
    210210#endif // PDEBUG >= 2
    211211

  • libpolys/polys/monomials/p_polys.cc

    r5fdf7a rd101b1  
    42414241#define p_Delete__T p_ShallowDelete
    42424242#undef n_Delete__T
    4243 #define n_Delete__T(n, r) ((void)0)
     4243#define n_Delete__T(n, r) do {} while (0)
    42444244
    42454245#include <polys/templates/p_Delete__T.cc>

  • libpolys/polys/monomials/p_polys.h

    r5fdf7a rd101b1  
    154154#define pIsMonomOf(p, q)        (TRUE)
    155155#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)
    166166
    167167#endif
    … …  
    11921192#endif
    11931193
    1194 #define pDivAssume(x)   ((void)0)
     1194#define pDivAssume(x)   do {} while (0)
    11951195
    11961196

  • libpolys/polys/prCopyMacros.h

    r5fdf7a rd101b1  
    99while (0)
    1010#else
    11 #define PR_DELETE_MONOM(src, r_src) ((void)0)
     11#define PR_DELETE_MONOM(src, r_src) do {} while (0)
    1212#endif
    1313
    … …  
    1818#undef PR_NO_SORT
    1919#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)
    2121#define PR_CPY_EVECTOR(dest, dest_r, src, src_r) \
    2222  omMemcpyW(dest->exp, src->exp, dest_r->ExpL_Size)
    … …  
    3636#if PR_NUMBER_SIMPLE > 0
    3737#define PR_NCOPY(n, r) n
    38 #define PR_NDELETE(n, r) ((void)0)
     38#define PR_NDELETE(n, r) do {} while (0)
    3939#define PR_NUMBER_SIMPLE_NAME NSimple
    4040#else
    … …  
    4646#undef PR_SORT_POLY
    4747#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)
    4949#else
    5050#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  
    6767// #define id_Print(id, r) id_Show(id, r)
    6868#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)
    7171#endif
    7272

  • libpolys/polys/templates/p_Numbers.h

    r5fdf7a rd101b1  
    6262#include <coeffs/modulop.h>
    6363#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)
    6565#define n_Mult_FieldZp(n1, n2, r)   npMultM(n1,n2, r->cf)
    6666#define n_Add_FieldZp(n1, n2, r)    npAddM(n1, n2, r->cf)

  • libpolys/polys/templates/p_Procs_Generate.cc

    r5fdf7a rd101b1  
    151151  if (length != LengthGeneral)
    152152  {
    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");
    155155  }
    156156  else
    … …  
    160160      printf("#define p_MemAddAdjust__T(p, r) p_MemAdd_NegWeightAdjust(p, r)\n");
    161161    else
    162       printf("#define p_MemAddAdjust__T(p, r) ((void)0)\n");
     162      printf("#define p_MemAddAdjust__T(p, r) do {} while (0)\n");
    163163  }
    164164
    … …  
    166166  printf("#undef DECLARE_ORDSGN\n");
    167167  if (ord != OrdGeneral)
    168     printf("#define DECLARE_ORDSGN(what) ((void)0)\n");
     168    printf("#define DECLARE_ORDSGN(what) do {} while (0)\n");
    169169  else
    170170    printf("#define DECLARE_ORDSGN(what) what\n");
    … …  
    176176    if (length != LengthGeneral)
    177177    {
    178       printf("#define DECLARE_LENGTH_2(what) ((void)0)\n");
     178      printf("#define DECLARE_LENGTH_2(what) do {} while (0)\n");
    179179      if (length < LengthTwo)
    180180        printf("#define p_MemCmp_Bitmask_2 p_MemCmp_Bitmask_%s\n", p_LengthEnum_2_String((p_Length) ((int) length + 2)));
    … …  
    190190
    191191    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");
    193193  }
    194194

  • libpolys/reporter/reporter.h

    r5fdf7a rd101b1  
    9595
    9696#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)
    9999#else /* ! HAVE_ASSUME */
    100100

  • omalloc/Misc/dlmalloc/malloc.c

    r5fdf7a rd101b1  
    288288#include <assert.h>
    289289#else
    290 #define assert(x) ((void)0)
     290#define assert(x) do {} while (0)
    291291#endif
    292292

  • omalloc/omAllocDecl.h

    r5fdf7a rd101b1  
    307307/* define debug stuff, if necessary */
    308308#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)
    319319#endif /* !defined(omDebugAddrBin) */
    320320
    321321/* define check stuff, if necessary */
    322322#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)
    333333#endif /* !defined(omCheckAddrBin) */
    334334
    … …  
    354354#else
    355355
    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)
    371371
    372372#endif

  • omalloc/omDebug.h

    r5fdf7a rd101b1  
    2222
    2323#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)
    3131#else
    3232#define OM_FBIN     1           /* size_bin is bin */
    … …  
    6969#ifdef OM_TRACK_CUSTOM
    7070#ifdef OM_NDEBUG
    71 #define omSetCustomOfAddr(addr,value) ((void)0)
     71#define omSetCustomOfAddr(addr,value) do {} while (0)
    7272#define omGetCustomOfAddr(addr) ((void*)0)
    73 #define omSetCustomOfTrackAddr(addr,value) ((void)0)
     73#define omSetCustomOfTrackAddr(addr,value) do {} while (0)
    7474#define omGetCustomOfTrackAddr(addr) ((void*)0)
    7575#else
    … …  
    190190
    191191#else
    192 #define omFreeKeptAddrFromBin(bin) ((void)0)
     192#define omFreeKeptAddrFromBin(bin) do {} while (0)
    193193#endif /* ! OM_NDEBUG */
    194194/*ENDPRIVATE*/

  • omalloc/omDefaultConfig.h

    r5fdf7a rd101b1  
    145145   be called each time the underlying malloc/valloc is called !) */
    146146#ifndef OM_MALLOC_HOOK
    147 #define OM_MALLOC_HOOK(size) ((void)0)
     147#define OM_MALLOC_HOOK(size) do {} while (0)
    148148#endif
    149149#ifndef OM_REALLOC_HOOK
    150 #define OM_REALLOC_HOOK(oldsize, newsize) ((void)0)
     150#define OM_REALLOC_HOOK(oldsize, newsize) do {} while (0)
    151151#endif
    152152#ifndef OM_VALLOC_HOOK
    153 #define OM_VALLOC_HOOK(size) ((void)0)
     153#define OM_VALLOC_HOOK(size) do {} while (0)
    154154#endif
    155155#ifndef OM_FREE_HOOK
    156 #define OM_FREE_HOOK(size) ((void)0)
     156#define OM_FREE_HOOK(size) do {} while (0)
    157157#endif
    158158#ifndef OM_VFREE_HOOK
    159 #define OM_VFREE_HOOK(size) ((void)0)
     159#define OM_VFREE_HOOK(size) do {} while (0)
    160160#endif
    161161#ifndef OM_ALLOC_BINPAGE_HOOK
    162 #define OM_ALLOC_BINPAGE_HOOK ((void)0)
     162#define OM_ALLOC_BINPAGE_HOOK do {} while (0)
    163163#endif
    164164#ifndef OM_FREE_BINPAGE_HOOK
    165 #define OM_FREE_BINPAGE_HOOK ((void)0)
     165#define OM_FREE_BINPAGE_HOOK do {} while (0)
    166166#endif
    167167

  • omalloc/omDerivedConfig.h

    r5fdf7a rd101b1  
    136136#define OM_FLR_VAL  OM_FL_VAL
    137137#define OM_FLR      OM_FL
    138 #define OM_R_DEF    ((void)0)
     138#define OM_R_DEF    do {} while (0)
    139139#define OM_FLR_ARG(f,l,r)   f,l
    140140#endif

  • omalloc/omError.h

    r5fdf7a rd101b1  
    7979#ifndef HAVE_OM_ASSUME
    8080
    81 #define omAssume(x) ((void) 0)
     81#define omAssume(x) do {} while (0)
    8282
    8383#else /* ! HAVE_OM_ASSUME */

  • omalloc/omGetBackTrace.h

    r5fdf7a rd101b1  
    1212int omGetBackTrace(void** bt, int start, int max);
    1313#else
    14 #define omInitGetBackTrace() ((void)0)
     14#define omInitGetBackTrace() do {} while (0)
    1515#define omGetBackTrace(bt, s, max) (0)
    1616#endif

  • omalloc/omRet2Info.h

    r5fdf7a rd101b1  
    6868
    6969#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)
    7878#endif /* ! OM_NDEBUG */
    7979

  • omalloc/omalloc.c

    r5fdf7a rd101b1  
    1818#define OM_MARK_AS_STATIC(addr) omMarkAsStaticAddr(addr)
    1919#else
    20 #define OM_MARK_AS_STATIC(addr) ((void)0)
     20#define OM_MARK_AS_STATIC(addr) do {} while (0)
    2121#endif
    2222

  • omalloc/omtTest.h

    r5fdf7a rd101b1  
    4444#define myfflush(what) fflush(what)
    4545#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)
    4848#endif
    4949
    … …  
    122122void TestAddrContentEqual(void* s1, void* s2, size_t size);
    123123#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)
    127127#endif

  • polys/pInline1.h

    r5fdf7a rd101b1  
    4747#define pDivAssume  pAssume
    4848#else
    49 #define pDivAssume(x)   ((void)0)
     49#define pDivAssume(x)   do {} while (0)
    5050#endif
    5151

  • xalloc/omalloc.h

    r5fdf7a rd101b1  
    192192#define omMemcpyW(A,B,S)         memcpy(A,B,(S)<<2)
    193193#define omGetSpecBin(A)          (A)
    194 #define omUnGetSpecBin(A)        ((void)0)
     194#define omUnGetSpecBin(A)        do {} while (0)
    195195#define memcpyW(A,B,C)         memcpy(A,B,(C)*sizeof(long))
    196196#define omGetStickyBinOfBin(B) omGetSpecBin(B)
    … …  
    203203#define omRealloc0AlignedSize        omRealloc0Size
    204204#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)
    221221#define omIsBinPageAddr(A)                       (1)
    222222#define omTestBinAddrSize(A,B,C)                 (omError_NoError)
    223223#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)
    226226
    227227
Note: See TracChangeset for help on using the changeset viewer.