test/tests2.2a.expect

   1
   2 erik.c: (in function main)
   3 erik.c:6:4: Return value (type int) ignored: scanf("%lf %f", ...
   4
   5 Finished checking --- 1 code warning, as expected
   6
   7 boolcomp.c: (in function f)
   8 boolcomp.c:5:7: Use of == with bool variables (risks inconsistency because of
   9                    multiple true values): a == b
  10 boolcomp.c:9:13: Use of == with bool variables (risks inconsistency because of
  11                     multiple true values): a == b
  12 boolcomp.c:11:6: Use of != with bool variables (risks inconsistency because of
  13                     multiple true values): a != b
  14 boolcomp.c:15:13: Use of == with bool variables (risks inconsistency because of
  15                      multiple true values): a == FALSE
  16 boolcomp.c:17:6: Use of == with bool variables (risks inconsistency because of
  17                     multiple true values): b == TRUE
  18 boolcomp.c:21:2: Path with no return in function declared to return int
  19
  20 Finished checking --- 6 code warnings, as expected
  21
  22 Finished checking --- no warnings
  23
  24 addassign.c: (in function hash)
  25 addassign.c:7:7: Incompatible types for += (int, char): h += *name++
  26
  27 Finished checking --- 1 code warning, as expected
  28
  29 toralf.c: (in function func1)
  30 toralf.c:14:3: Incompatible types for += (char *, char): s += 'c'
  31 toralf.c:15:3: Variable i1 used before definition
  32 toralf.c:15:9: Variable f used before definition
  33 toralf.c: (in function func2)
  34 toralf.c:23:8: Variable i2 used before definition
  35 toralf.c: (in function main)
  36 toralf.c:28:10: Null storage passed as non-null param: func1 (NULL)
  37
  38 Finished checking --- 5 code warnings, as expected
  39
  40 Finished checking --- no warnings
  41
  42 Finished checking --- no warnings
  43
  44 arrayparam.c:1:12: Function parameter x is incomplete type (inner array must
  45                       have bounds): int [2][]
  46 arrayparam.c:11:12: Function parameter x is incomplete type (inner array must
  47                        have bounds): int [][]
  48 arrayparam.c:16:12: Function parameter x is incomplete type (inner array must
  49                        have bounds): int [][][2]
  50 arrayparam.c:21:12: Function parameter x is incomplete type (inner array must
  51                        have bounds): int [2][][2]
  52
  53 Finished checking --- 4 code warnings, as expected
  54
  55 Finished checking --- no warnings
  56
  57 Finished checking --- no warnings
  58
  59 obviousloop.c: (in function f)
  60 obviousloop.c:14:3: Unreachable code: x = 12
  61 obviousloop.c: (in function f1)
  62 obviousloop.c:36:2: Path with no return in function declared to return int
  63 obviousloop.c: (in function f1b)
  64 obviousloop.c:59:3: Unreachable code: x = 12
  65 obviousloop.c: (in function f2)
  66 obviousloop.c:75:3: Unreachable code: x = 12
  67
  68 Finished checking --- 4 code warnings, as expected
  69
  70 bitops.c: (in function f)
  71 bitops.c:3:11: Left operand of & is not unsigned value (int): i1 & i2
  72 bitops.c:3:11: Variable x initialized to type unsigned int, expects int:
  73                   i1 & i2
  74 bitops.c:4:21: Right operand of & is not unsigned value (int): u1 & i2
  75 bitops.c:5:13: Left operand of & is not unsigned value (int): i1 & i2
  76 bitops.c:5:13: Variable s initialized to type unsigned int, expects short int:
  77                   i1 & i2
  78 bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
  79 bitops.c:9:7: Left operand of << may be negative (int): i1 << 3
  80 bitops.c:9:3: Assignment of int to unsigned int: u = i1 << 3
  81 bitops.c:11:13: Right operand of >> may be negative (int): u1 >> i1
  82 bitops.c:14:7: Left operand of ^ is not unsigned value (int): i1 ^ u1
  83 bitops.c:15:12: Right operand of ^ is not unsigned value (int): u1 ^ i1
  84 bitops.c:5:9: Variable s declared but not used
  85 bitops.c:6:9: Variable s2 declared but not used
  86
  87 Finished checking --- 13 code warnings, as expected
  88
  89 bitops.c: (in function f)
  90 bitops.c:5:13: Variable s initialized to type int, expects short int: i1 & i2
  91 bitops.c:6:14: Variable s2 initialized to type int, expects short int: i1 + i2
  92 bitops.c:9:7: Left operand of << may be negative (int): i1 << 3
  93 bitops.c:9:3: Assignment of int to unsigned int: u = i1 << 3
  94 bitops.c:11:13: Right operand of >> may be negative (int): u1 >> i1
  95 bitops.c:5:9: Variable s declared but not used
  96 bitops.c:6:9: Variable s2 declared but not used
  97
  98 Finished checking --- 7 code warnings, as expected
  99
 100 isalpha.c: (in function f)
 101 isalpha.c:5:19: Function isalpha expects arg 1 to be int gets char: c
 102
 103 Finished checking --- 1 code warning, as expected
 104
 105 Finished checking --- no warnings
 106
 107 Finished checking --- no warnings
 108
 109 popik.c:7:2: Variable has unknown (implicitly int) type: dummy[0]
 110 popik.c:7:2: Variable has unknown (implicitly int) type: dummy[1]
 111 popik.c:7:2: Variable has unknown (implicitly int) type: dummy[2]
 112 popik.c:7:2: Variable has unknown (implicitly int) type: dummy[3]
 113 popik.c:24:2: Variable has unknown (implicitly int) type: dummy3[0]
 114 popik.c:24:2: Variable has unknown (implicitly int) type: dummy3[1]
 115 popik.c:24:2: Variable has unknown (implicitly int) type: dummy3[2]
 116 popik.c:24:2: Variable has unknown (implicitly int) type: dummy3[3]
 117 popik.c:1:14: File static variable dummy declared but not used
 118 popik.c:10:24: File static variable dummy2 declared but not used
 119 popik.c:18:14: File static variable dummy3 declared but not used
 120
 121 Finished checking --- 11 code warnings, as expected
 122
 123 floatdouble.c: (in function f)
 124 floatdouble.c:3:14: Variable f1 initialized to type double, expects float: d
 125 floatdouble.c:6:3: Assignment of double to float: f1 = d + f
 126
 127 Finished checking --- 2 code warnings, as expected