test/db3.expect

   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