test/decl.expect

   1
   2 decl.c: (in function main)
   3 decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
   4 decl.c:8:2: Path with no return in function declared to return int
   5
   6 Finished checking --- 2 code warnings, as expected
   7
   8 decl.c:3:5: Function main declared without parameter list
   9 decl.c: (in function main)
  10 decl.c:7:3: Call to non-function (type [function (int) returns int] **): x
  11 decl.c:8:2: Path with no return in function declared to return int
  12 decl.c: (in function foo1)
  13 decl.c:13:3: Likely out-of-bounds store: buf[10]
  14     Unable to resolve constraint:
  15     requires 9 >= 10
  16      needed to satisfy precondition:
  17     requires maxSet(buf @ decl.c:13:3) >= 10
  18 decl.c:1:5: Function test declared but not defined
  19 decl.c:1:5: Function test exported but not declared in header file
  20
  21 Finished checking --- 6 code warnings, as expected
  22
  23 decl2.c:3:6: Variable glob2 defined with inconsistent type (arrays and pointers
  24                 are not identical in variable declarations): int *
  25    decl2.h:3:12: Previous declaration of glob2: int []
  26 decl2.c:4:5: Variable glob2 redefined
  27    decl2.c:3:6: Previous definition of glob2
  28 decl2.c:6:6: Variable glob3 redeclared with inconsistent type: char
  29    decl2.h:4:12: Previous declaration of glob3: int
  30 decl2.c:9:5: Variable glob redefined
  31    decl2.c:8:5: Previous definition of glob
  32
  33 Finished checking --- 4 code warnings, as expected