Home Explore Help
Sign In
sengler
/
tor-parallel-relay-conn
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 805f75182a
Branches Tags
tor-parallel...
/
scripts
/
coccinelle
/
test_assert_int.cocci

test_assert_int.cocci 632 B
History Raw

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 
  1. @@
    2. 

  2. int e;
    3. 

  3. constant c;
    4. 

  4. @@
    5. 

  5. 

  6. (
    7. 

  7. - tt_assert(e == c)
    8. 

  8. + tt_int_op(e, OP_EQ, c)
    9. 

  9. |
    10. 

  10. - tt_assert(e != c)
    11. 

  11. + tt_int_op(e, OP_NE, c)
    12. 

  12. |
    13. 

  13. - tt_assert(e < c)
    14. 

  14. + tt_int_op(e, OP_LT, c)
    15. 

  15. |
    16. 

  16. - tt_assert(e <= c)
    17. 

  17. + tt_int_op(e, OP_LE, c)
    18. 

  18. |
    19. 

  19. - tt_assert(e > c)
    20. 

  20. + tt_int_op(e, OP_GT, c)
    21. 

  21. |
    22. 

  22. - tt_assert(e >= c)
    23. 

  23. + tt_int_op(e, OP_GE, c)
    24. 

  24. )
    25. 

  25. 

  26. @@
    27. 

  27. unsigned int e;
    28. 

  28. constant c;
    29. 

  29. @@
    30. 

  30. 

  31. (
    32. 

  32. - tt_assert(e == c)
    33. 

  33. + tt_uint_op(e, OP_EQ, c)
    34. 

  34. |
    35. 

  35. - tt_assert(e != c)
    36. 

  36. + tt_uint_op(e, OP_NE, c)
    37. 

  37. |
    38. 

  38. - tt_assert(e < c)
    39. 

  39. + tt_uint_op(e, OP_LT, c)
    40. 

  40. |
    41. 

  41. - tt_assert(e <= c)
    42. 

  42. + tt_uint_op(e, OP_LE, c)
    43. 

  43. |
    44. 

  44. - tt_assert(e > c)
    45. 

  45. + tt_uint_op(e, OP_GT, c)
    46. 

  46. |
    47. 

  47. - tt_assert(e >= c)
    48. 

  48. + tt_uint_op(e, OP_GE, c)
    49. 

  49. )
    50.