Changeset d101b1 in git for kernel/kspoly.cc


Ignore:
Timestamp:
Jan 10, 2013, 12:25:13 PM (10 years ago)
Author:
Oleksandr Motsak <http://goo.gl/mcpzY>
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
Message:
Silence some warnings about statements without effect

Insired by [039a51b3aa3c77c2b7bae73d24de8521df45aed2]
File:
1 edited

Legend:

Unmodified
Added
Removed

  • 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
Note: See TracChangeset for help on using the changeset viewer.