test/tests2.2.expect

   1
   2 boolops.c: (in function main)
   3 boolops.c:12:3: Assignment of int to Kzam: b = 12
   4
   5 Finished checking --- 1 code warning, as expected
   6
   7 mbool.h:1:17: Type implemented as macro: bool
   8
   9 Finished checking --- 1 code warning, as expected
  10
  11 boolenum.c: (in function main)
  12 boolenum.c:11:8: Use of == with BOOLEAN variables (risks inconsistency because
  13                     of multiple true values): a == TRUE
  14
  15 Finished checking --- 1 code warning, as expected
  16
  17 break.c: (in function f)
  18 break.c:9:4: Dereference of possibly null pointer x: *x
  19    break.c:1:24: Storage x may become null
  20
  21 Finished checking --- 1 code warning, as expected
  22
  23 bstring.c:4:14: Initial value of s4[0] is type char *, expects char: "hullo"
  24 bstring.c:4:23: Initial value of s4[1] is type char *, expects char: "g'bye"
  25
  26 Finished checking --- 2 code warnings, as expected
  27
  28 decl.c:3:21: Structure struct tm declared with fields { int x; }, specified
  29                 with fields { int tm_sec; int tm_min; int tm_hour;, ... }
  30    load file standard.lcd: Specification of struct tm
  31    decl.c:3:17: Field tm_sec in specified corresponds to x in declaration
  32    load file standard.lcd: Specification of tm_sec
  33
  34 Finished checking --- 1 code warning, as expected
  35
  36 Finished checking --- no warnings
  37
  38 enumbool.c:1:16: Enumerator member false declared with inconsistent type:
  39                     enum { false, true }
  40    load file standard.lcd: Specification of false: bool
  41 enumbool.c:1:27: Enumerator member true declared with inconsistent type:
  42                     enum { false, true }
  43    load file standard.lcd: Specification of true: bool
  44 enumbool.c:1:34: Member of boolean enumerated type definition does not match
  45                     name set to represent true or false: false
  46 enumbool.c:1:34: Member of boolean enumerated type definition does not match
  47                     name set to represent true or false: true
  48
  49 Finished checking --- 4 code warnings, as expected
  50
  51 Finished checking --- no warnings
  52
  53 extension.c:2:18: Parse Error: New function scope inside function. (For help on
  54                parse errors, see splint -help parseerrors.)
  55 *** Cannot continue.
  56 Failed, as expected.
  57
  58 Finished checking --- no warnings
  59
  60 nestext.c: (in function f)
  61 nestext.c:3:26: Declaration using extern inside function scope: int test(void)
  62
  63 Finished checking --- 1 code warning, as expected
  64
  65 Finished checking --- no warnings
  66
  67 sizeofarray.c:1:12: Function parameter x declared as manifest array (size
  68                        constant is meaningless)
  69 sizeofarray.c: (in function f)
  70 sizeofarray.c:5:13: Parameter to sizeof is an array-type function parameter:
  71                        sizeof((x))
  72 sizeofarray.c:10:16: Return value type size_t does not match declared type int:
  73                         sizeof((a))
  74
  75 Finished checking --- 3 code warnings, as expected
  76
  77 rex.c: (in function main)
  78 rex.c:19:12: Only storage re.parent (type struct rx_hash *) derived from
  79                 variable declared in this scope is not released (memory leak)
  80 rex.c:19:12: Only storage *(re.children)->parent (type struct rx_hash *)
  81     derived from variable declared in this scope is not released (memory leak)
  82 rex.c:19:12: Only storage *(*(re.children)->children)->parent (type struct
  83     rx_hash *) derived from variable declared in this scope is not released
  84     (memory leak)
  85 rex.c:19:12: Only storage *(*(*(re.children)->children)->children)->parent
  86     (type struct rx_hash *) derived from variable declared in this scope is not
  87     released (memory leak)
  88
  89 Finished checking --- 4 code warnings, as expected
  90
  91 struct.c:13:6: Function main declared to return void, should return int
  92
  93 Finished checking --- 1 code warning, as expected