home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / db3.expect < prev    next >
Text File  |  2002-02-13  |  8KB  |  146 lines
  1.  
  2.  
  3. Error Type                Reported  Suppressed
  4. ===================       ========  =========
  5. usedef                       0           1
  6. compdef                      0           3
  7. incondefs                    0           1
  8. formalarray                  0          24
  9. modfilesys                   0          25
  10. redecl                       0           7
  11. exporttype                   0           3
  12.                           ========  =========
  13. Total                        0          64
  14.  
  15. Finished checking --- no warnings
  16.  
  17. eref.c: (in function eref_alloc)
  18. eref.c:36: Called procedure printf may access global stdout
  19. eref.c:36: Undocumented modification of *stdout possible from call to printf:
  20.               printf("Malloc returned null in eref_alloc\n")
  21. eref.c:36: Return value (type int) ignored: printf("Malloc r...
  22. eref.c:46: Called procedure printf may access global stdout
  23. eref.c:46: Undocumented modification of *stdout possible from call to printf:
  24.               printf("Malloc returned null in eref_alloc\n")
  25. eref.c:46: Return value (type int) ignored: printf("Malloc r...
  26. eref.c: (in function eref_initMod)
  27. eref.c:82: Called procedure printf may access global stdout
  28. eref.c:82: Undocumented modification of *stdout possible from call to printf:
  29.               printf("Malloc returned null in eref_initMod\n")
  30. eref.c:82: Return value (type int) ignored: printf("Malloc r...
  31. eref.c:90: Called procedure printf may access global stdout
  32. eref.c:90: Undocumented modification of *stdout possible from call to printf:
  33.               printf("Malloc returned null in eref_initMod\n")
  34. eref.c:90: Return value (type int) ignored: printf("Malloc r...
  35. erc.c: (in function int_toSize)
  36. erc.c:11: Undocumented use of global stderr
  37. erc.c:11: Undocumented modification of *stderr possible from call to fprintf:
  38.              fprintf(stderr, "Error: int_toSize failure: %d", x)
  39. erc.c:11: Return value (type int) ignored: fprintf(stderr, ...
  40. erc.c: (in function erc_create)
  41. erc.c:28: Called procedure printf may access global stdout
  42. erc.c:28: Undocumented modification of *stdout possible from call to printf:
  43.              printf("Malloc returned null in erc_create\n")
  44. erc.c:28: Return value (type int) ignored: printf("Malloc r...
  45. erc.c: (in function erc_insert)
  46. erc.c:80: Called procedure printf may access global stdout
  47. erc.c:80: Undocumented modification of *stdout possible from call to printf:
  48.              printf("Malloc returned null in erc_insert\n")
  49. erc.c:80: Return value (type int) ignored: printf("Malloc r...
  50. erc.c: (in function erc_sprint)
  51. erc.c:145: Called procedure printf may access global stdout
  52. erc.c:145: Undocumented modification of *stdout possible from call to printf:
  53.               printf("Malloc returned null in erc_sprint\n")
  54. erc.c:145: Return value (type int) ignored: printf("Malloc r...
  55. dbase.c: (in function db_print)
  56. dbase.c:307: Return value (type int) ignored: printf("Employee...
  57. dbase.c:312: Return value (type int) ignored: printf("%s", pri...
  58. drive.c: (in function main)
  59. drive.c:31: Called procedure printf may access global stdout
  60. drive.c:31: Undocumented modification of *stdout possible from call to printf:
  61.     printf("FormatPos: Wrong number of arguments. Given %d needs 0.\n", argc -
  62.     1)
  63. drive.c:31: Return value (type int) ignored: printf("FormatPo...
  64. drive.c:41: Called procedure printf may access global stdout
  65. drive.c:41: Undocumented modification of *stdout possible from call to printf:
  66.                printf("Size should be 0.\n")
  67. drive.c:41: Return value (type int) ignored: printf("Size sho...
  68. drive.c:57: Called procedure printf may access global stdout
  69. drive.c:57: Undocumented modification of *stdout possible from call to printf:
  70.                printf("Size should be 500.\n")
  71. drive.c:57: Return value (type int) ignored: printf("Size sho...
  72. drive.c:73: Called procedure printf may access global stdout
  73. drive.c:73: Undocumented modification of *stdout possible from call to printf:
  74.                printf("Size should be 250.\n")
  75. drive.c:73: Return value (type int) ignored: printf("Size sho...
  76. drive.c:93: Called procedure printf may access global stdout
  77. drive.c:93: Undocumented modification of *stdout possible from call to printf:
  78.                printf("Size should be 350.\n")
  79. drive.c:93: Return value (type int) ignored: printf("Size sho...
  80. drive.c:100: Called procedure printf may access global stdout
  81. drive.c:100: Undocumented modification of *stdout possible from call to printf:
  82.                 printf("Size should be 350.\n")
  83. drive.c:100: Return value (type int) ignored: printf("Size sho...
  84. drive.c:103: Called procedure printf may access global stdout
  85. drive.c:103: Undocumented modification of *stdout possible from call to printf:
  86.                 printf("Print two different employees:\n")
  87. drive.c:103: Return value (type int) ignored: printf("Print tw...
  88. drive.c:109: Called procedure printf may access global stdout
  89. drive.c:109: Undocumented modification of *stdout possible from call to printf:
  90.                 printf("%s\n", &(na[0]))
  91. drive.c:109: Return value (type int) ignored: printf("%s\n", &...
  92. drive.c:151: Called procedure printf may access global stdout
  93. drive.c:151: Undocumented modification of *stdout possible from call to printf:
  94.     printf("Should print true: %s\n", bool_unparse(status == DBS_DUPLERR))
  95. drive.c:151: Return value (type int) ignored: printf("Should p...
  96. drive.c:154: Called procedure printf may access global stdout
  97. drive.c:154: Undocumented modification of *stdout possible from call to printf:
  98.                 printf("Employees 0 - 19\n")
  99. drive.c:154: Return value (type int) ignored: printf("Employee...
  100. drive.c:155: Called procedure db_print may access global stdout
  101. drive.c:155: Undocumented modification of *stdout possible from call to
  102.                 db_print: db_print()
  103. drive.c:158: Called procedure printf may access global stdout
  104. drive.c:158: Undocumented modification of *stdout possible from call to printf:
  105.                 printf("Employees 0 - 16, 18 - 19\n")
  106. drive.c:158: Return value (type int) ignored: printf("Employee...
  107. drive.c:159: Called procedure db_print may access global stdout
  108. drive.c:159: Undocumented modification of *stdout possible from call to
  109.                 db_print: db_print()
  110. drive.c:164: Called procedure printf may access global stdout
  111. drive.c:164: Undocumented modification of *stdout possible from call to printf:
  112.                 printf("Should get two females: %d\n%s\n", i, sprintResult)
  113. drive.c:164: Return value (type int) ignored: printf("Should g...
  114. drive.c:174: Called procedure printf may access global stdout
  115. drive.c:174: Undocumented modification of *stdout possible from call to printf:
  116.     printf("Should get two females and ten males: %d\n%s\n", i, sprintResult)
  117. drive.c:174: Return value (type int) ignored: printf("Should g...
  118. drive.c:180: Called procedure printf may access global stdout
  119. drive.c:180: Undocumented modification of *stdout possible from call to printf:
  120.                 printf("Should get two females: %d\n%s\n", i, sprintResult)
  121. drive.c:180: Return value (type int) ignored: printf("Should g...
  122. drive.c:184: Called procedure printf may access global stdout
  123. drive.c:184: Undocumented modification of *stdout possible from call to printf:
  124.                 printf("Should get 18 employees\n")
  125. drive.c:184: Return value (type int) ignored: printf("Should g...
  126. drive.c:185: Called procedure db_print may access global stdout
  127. drive.c:185: Undocumented modification of *stdout possible from call to
  128.                 db_print: db_print()
  129.  
  130. Error Type                Reported  Suppressed
  131. ===================       ========  =========
  132. usedef                       0           1
  133. compdef                      0           3
  134. incondefs                    0           1
  135. formalarray                  0          24
  136. mods                        26           0
  137. modfilesys                   0          25
  138. globs                       26           0
  139. retvalint                   25           0
  140. redecl                       0           7
  141. exporttype                   0           3
  142.                           ========  =========
  143. Total                       77          64
  144.  
  145. Finished checking --- 77 code warnings, as expected
  146.