home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / tests2.5.expect < prev    next >
Text File  |  2002-02-13  |  2KB  |  54 lines
  1.  
  2. Finished checking --- no warnings
  3.  
  4. boolt.c: (in function test)
  5. boolt.c:7:16: Function test expects arg 1 to be pan_bool_t gets int: 2
  6.  
  7. Finished checking --- 1 code warning, as expected
  8.  
  9. uconstants.c: (in function f)
  10. uconstants.c:2:16: Variable x0 declared but not used
  11. uconstants.c:3:21: Variable x1 declared but not used
  12.  
  13. Finished checking --- 2 code warnings, as expected
  14.  
  15. hoof.c: (in function main)
  16. hoof.c:12:16: Function init_arr expects arg 2 to be long int * gets int *: &j
  17.  
  18. Finished checking --- 1 code warning, as expected
  19.  
  20. Finished checking --- no warnings
  21.  
  22. Finished checking --- no warnings
  23.  
  24. booltest.c: (in function f)
  25. booltest.c:8:7: Test expression for if not bool, type int: i
  26. booltest.c:9:12: Return value type int does not match declared type bool: i
  27.  
  28. Finished checking --- 2 code warnings, as expected
  29.  
  30. Finished checking --- no warnings
  31.  
  32. booltest.c: (in function f)
  33. booltest.c:9:12: Return value type int does not match declared type bool: i
  34.  
  35. Finished checking --- 1 code warning, as expected
  36.  
  37. Finished checking --- no warnings
  38.  
  39. Finished checking --- no warnings
  40.  
  41. immutable.c: (in function immutable_create)
  42. immutable.c:7:6: Arrow access from possibly null pointer res: res->x
  43.    immutable.c:5:19: Storage res may become null
  44. immutable.c:8:10: Fresh storage returned as unqualified (should be only): res
  45.    immutable.c:5:54: Fresh storage res allocated
  46.  
  47. Finished checking --- 2 code warnings, as expected
  48.  
  49. impabsmodule.c: (in function isTwo)
  50. impabsmodule.c:10:7: Variable var used before definition
  51. impabsmodule.c:10:12: Variable var2 used before definition
  52.  
  53. Finished checking --- 2 code warnings, as expected
  54.