home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / blocks.expect < prev    next >
Text File  |  2002-02-13  |  3KB  |  65 lines
  1.  
  2. blocks.c: (in function f)
  3. blocks.c:3:15: Body of if statement is empty
  4. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  5.                   modified by test or loop body.
  6. blocks.c:21:16: Body of if clause of if statement is empty
  7. blocks.c:22:9: Body of else clause of if statement is empty
  8.  
  9. Finished checking --- 4 code warnings, as expected
  10.  
  11. blocks.c: (in function f)
  12. blocks.c:3:15: Body of if statement is empty
  13. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  14.                   modified by test or loop body.
  15. blocks.c:6:15: Body of if statement is not a block: x++
  16. blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
  17. blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
  18. blocks.c:21:16: Body of if clause of if statement is empty
  19. blocks.c:22:9: Body of else clause of if statement is empty
  20.  
  21. Finished checking --- 7 code warnings, as expected
  22.  
  23. blocks.c: (in function f)
  24. blocks.c:4:18: Body of while statement is empty
  25. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  26.                   modified by test or loop body.
  27. blocks.c:7:18: Body of while statement is not a block: x++
  28.  
  29. Finished checking --- 3 code warnings, as expected
  30.  
  31. blocks.c: (in function f)
  32. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  33.                   modified by test or loop body.
  34. blocks.c:12:23: Body of for statement is empty
  35. blocks.c:13:23: Body of for statement is not a block: x++
  36.  
  37. Finished checking --- 3 code warnings, as expected
  38.  
  39. blocks.c: (in function f)
  40. blocks.c:3:15: Body of if statement is empty
  41. blocks.c:4:18: Body of while statement is empty
  42. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  43.                   modified by test or loop body.
  44. blocks.c:12:23: Body of for statement is empty
  45. blocks.c:21:16: Body of if clause of if statement is empty
  46. blocks.c:22:9: Body of else clause of if statement is empty
  47.  
  48. Finished checking --- 6 code warnings, as expected
  49.  
  50. blocks.c: (in function f)
  51. blocks.c:3:15: Body of if statement is empty
  52. blocks.c:4:18: Body of while statement is empty
  53. blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
  54.                   modified by test or loop body.
  55. blocks.c:6:15: Body of if statement is not a block: x++
  56. blocks.c:7:18: Body of while statement is not a block: x++
  57. blocks.c:12:23: Body of for statement is empty
  58. blocks.c:13:23: Body of for statement is not a block: x++
  59. blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
  60. blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
  61. blocks.c:21:16: Body of if clause of if statement is empty
  62. blocks.c:22:9: Body of else clause of if statement is empty
  63.  
  64. Finished checking --- 11 code warnings, as expected
  65.