test/libs.expect

   1
   2 libs.c: (in function compare2)
   3 libs.c:14:10: Observer storage returned without qualification: "ok"
   4    libs.c:14:10: Storage becomes observer
   5 libs.c: (in function leave)
   6 libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
   7 libs.c:21:3: Unreachable code: exit(i)
   8 libs.c: (in function print)
   9 libs.c:33:3: Assignment of int to char: c = fgetc(f)
  10 libs.c:34:3: Assignment of int to char: c = getc(f)
  11 libs.c: (in function main)
  12 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
  13                  int) returns int]: compare
  14 libs.c:46:10: Function bsearch called with 4 args, expects 5
  15 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
  16     returns int] * gets [function () returns char] *:
  17     ([function () returns char] *)compare2
  18 libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
  19 libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
  20 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
  21     returns int] * gets [function () returns char] *:
  22     ([function () returns char] *)compare2
  23 libs.c:54:11: Unrecognized identifier: SIGHUP
  24 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
  25                  * gets [function (int, int) returns int]: compare
  26 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
  27                 signal(SIGHUP, c...
  28 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
  29                 signal(SIGHUP, l...
  30
  31 Finished LCLint checking --- 15 code errors found, as expected
  32
  33 libs.c: (in function compare2)
  34 libs.c:14:10: Observer storage returned without qualification: "ok"
  35    libs.c:14:10: Storage becomes observer
  36 libs.c: (in function leave)
  37 libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
  38 libs.c:21:3: Unreachable code: exit(i)
  39 libs.c: (in function print)
  40 libs.c:33:3: Assignment of int to char: c = fgetc(f)
  41 libs.c:34:3: Assignment of int to char: c = getc(f)
  42 libs.c: (in function main)
  43 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
  44                  int) returns int]: compare
  45 libs.c:46:10: Function bsearch called with 4 args, expects 5
  46 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
  47     returns int] * gets [function () returns char] *:
  48     ([function () returns char] *)compare2
  49 libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
  50 libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
  51 libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
  52 libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
  53 libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
  54 libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
  55 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
  56     returns int] * gets [function () returns char] *:
  57     ([function () returns char] *)compare2
  58 libs.c:54:11: Unrecognized identifier: SIGHUP
  59 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
  60                  * gets [function (int, int) returns int]: compare
  61 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
  62                 signal(SIGHUP, c...
  63 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
  64                 signal(SIGHUP, l...
  65
  66 Finished LCLint checking --- 19 code errors found, as expected
  67
  68 libs.c: (in function compare2)
  69 libs.c:14:10: Observer storage returned without qualification: "ok"
  70    libs.c:14:10: Storage becomes observer
  71 libs.c: (in function leave)
  72 libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
  73 libs.c:21:3: Unreachable code: exit(i)
  74 libs.c: (in function print)
  75 libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
  76                 fprintf(f, s)
  77 libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
  78                 fgetc(f)
  79 libs.c:33:3: Assignment of int to char: c = fgetc(f)
  80 libs.c:34:7: Undocumented modification of *f possible from call to getc:
  81                 getc(f)
  82 libs.c:34:3: Assignment of int to char: c = getc(f)
  83 libs.c: (in function main)
  84 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
  85                  int) returns int]: compare
  86 libs.c:46:10: Function bsearch called with 4 args, expects 5
  87 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
  88     returns int] * gets [function () returns char] *:
  89     ([function () returns char] *)compare2
  90 libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
  91 libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
  92 libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
  93 libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
  94 libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
  95 libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
  96 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
  97     returns int] * gets [function () returns char] *:
  98     ([function () returns char] *)compare2
  99 libs.c:54:11: Unrecognized identifier: SIGHUP
 100 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
 101                  * gets [function (int, int) returns int]: compare
 102 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
 103                 signal(SIGHUP, c...
 104 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
 105                 signal(SIGHUP, l...
 106
 107 Finished LCLint checking --- 22 code errors found, as expected
 108
 109 libs.c: (in function compare2)
 110 libs.c:14:10: Observer storage returned without qualification: "ok"
 111    libs.c:14:10: Storage becomes observer
 112 libs.c: (in function leave)
 113 libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo"
 114 libs.c:21:3: Unreachable code: exit(i)
 115 libs.c: (in function print)
 116 libs.c:29:3: Undocumented modification of *f possible from call to fprintf:
 117                 fprintf(f, s)
 118 libs.c:29:3: Return value (type int) ignored: fprintf(f, s)
 119 libs.c:30:3: Called procedure printf may access global stdout
 120 libs.c:30:3: Undocumented modification of *stdout possible from call to printf:
 121                 printf(s)
 122 libs.c:30:3: Return value (type int) ignored: printf(s)
 123 libs.c:31:12: Undocumented use of global stderr
 124 libs.c:31:3: Undocumented modification of *stderr possible from call to
 125                 fprintf: fprintf(stderr, s)
 126 libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s)
 127 libs.c:33:7: Called procedure fgetc may access global errno
 128 libs.c:33:7: Undocumented modification of *f possible from call to fgetc:
 129                 fgetc(f)
 130 libs.c:33:7: Undocumented modification of errno possible from call to fgetc:
 131                 fgetc(f)
 132 libs.c:33:3: Assignment of int to char: c = fgetc(f)
 133 libs.c:34:7: Undocumented modification of *f possible from call to getc:
 134                 getc(f)
 135 libs.c:34:3: Assignment of int to char: c = getc(f)
 136 libs.c: (in function main)
 137 libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int,
 138                  int) returns int]: compare
 139 libs.c:46:10: Function bsearch called with 4 args, expects 5
 140 libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *)
 141     returns int] * gets [function () returns char] *:
 142     ([function () returns char] *)compare2
 143 libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU...
 144 libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x
 145 libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x
 146 libs.c:51:3: Called procedure qsort may access global errno
 147 libs.c:51:3: Undocumented modification of errno possible from call to qsort:
 148                 qsort(NULL, x, x, ([function () returns int] *)compare)
 149 libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x
 150 libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x
 151 libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x
 152 libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *)
 153     returns int] * gets [function () returns char] *:
 154     ([function () returns char] *)compare2
 155 libs.c:52:3: Called procedure qsort may access global errno
 156 libs.c:52:3: Undocumented modification of errno possible from call to qsort:
 157                 qsort(x, x, x, ([function () returns char] *)compare2)
 158 libs.c:54:11: Unrecognized identifier: SIGHUP
 159 libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void]
 160                  * gets [function (int, int) returns int]: compare
 161 libs.c:54:3: Called procedure signal may access global errno
 162 libs.c:54:3: Undocumented modification of errno possible from call to signal:
 163                 signal(SIGHUP, compare)
 164 libs.c:54:3: Return value (type [function (int) returns void]) ignored:
 165                 signal(SIGHUP, c...
 166 libs.c:55:3: Called procedure signal may access global errno
 167 libs.c:55:3: Undocumented modification of errno possible from call to signal:
 168                 signal(SIGHUP, leave)
 169 libs.c:55:3: Return value (type [function (int) returns void]) ignored:
 170                 signal(SIGHUP, l...
 171
 172 Finished LCLint checking --- 39 code errors found, as expected