test/bufferTest.outd

   1 LCLint 2.5q --- 20 May 2000
   2
   3 bufferTest/test4.c: (in function t)
   4 bufferTest/test4.c:6:3: Variable g used before definition
   5   An rvalue is used that may not be initialized to a value on some execution
   6   path. (-usedef will suppress message)
   7  Unresolved constraint:
   8 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  1  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:10:5  )   >=   VALUE  (  0  )
   9   Unresolved constraint:
  10 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  68  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:11:5  )   >=   VALUE  (  67  )
  11   Unresolved constraint:
  12 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  71  )  needed to satisy Requires: :  MAXREAD  ( g @ bufferTest/test4.c:11:13  )   >=   VALUE  (  70  )
  13   Unresolved constraint:
  14 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  99  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:12:5  )   >=   VALUE  (  98  )
  15   Unresolved constraint:
  16 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  100  )  needed to satisy Requires: :  MAXREAD  ( g @ bufferTest/test4.c:12:13  )   >=   VALUE  (  99  )
  17   Unresolved constraint:
  18 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  91  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:13:5  )   >=   VALUE  (  90  )
  19  Function Post condition:
  20 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  90  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  90  )
  21   Function Post condition:
  22 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  3  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  3  )
  23   Function Post condition:
  24 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  98  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  98  )
  25   Function Post condition:
  26 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  99  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  99  )
  27   Function Post condition:
  28 Based on the constraint Ensures: :  VALUE  ( g @ bufferTest/test4.c:8:7  )   ==   VALUE  ( g @ bufferTest/test4.c:8:5  )   +   VALUE  (  1  )  this function appears to have the post condition Ensures: :  VALUE  ( g @ bufferTest/test4.c:8:7  )   ==   VALUE  ( g @ bufferTest/test4.c:8:5  )   +   VALUE  (  1  )
  29  Unresolved constraint:
  30 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:6:3  )   >=   VALUE  (  100  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:6:3  )   >=   VALUE  (  100  )
  31   Unresolved constraint:
  32 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  1  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:10:5  )   >=   VALUE  (  0  )
  33   Unresolved constraint:
  34 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  68  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:11:5  )   >=   VALUE  (  67  )
  35   Unresolved constraint:
  36 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  71  )  needed to satisy Requires: :  MAXREAD  ( g @ bufferTest/test4.c:11:13  )   >=   VALUE  (  70  )
  37   Unresolved constraint:
  38 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  99  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:12:5  )   >=   VALUE  (  98  )
  39   Unresolved constraint:
  40 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  100  )  needed to satisy Requires: :  MAXREAD  ( g @ bufferTest/test4.c:12:13  )   >=   VALUE  (  99  )
  41   Unresolved constraint:
  42 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test4.c:8:5  )   >=   VALUE  (  91  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test4.c:13:5  )   >=   VALUE  (  90  )
  43  Function Post condition:
  44 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  90  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  90  )
  45   Function Post condition:
  46 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  3  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:13:19  )   >=   VALUE  (  3  )
  47   Function Post condition:
  48 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  98  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  98  )
  49   Function Post condition:
  50 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  99  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:12:19  )   >=   VALUE  (  99  )
  51   Function Post condition:
  52 Based on the constraint Ensures: :  VALUE  ( g @ bufferTest/test4.c:8:7  )   ==   VALUE  ( g @ bufferTest/test4.c:8:5  )   +   VALUE  (  1  )  this function appears to have the post condition Ensures: :  VALUE  ( g @ bufferTest/test4.c:8:7  )   ==   VALUE  ( g @ bufferTest/test4.c:8:5  )   +   VALUE  (  1  )
  53   Function Post condition:
  54 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:6:16  )   >=   VALUE  (  100  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test4.c:6:16  )   >=   VALUE  (  100  )
  55
  56 Finished LCLint checking --- 1 code error found
  57 LCLint 2.5q --- 20 May 2000
  58
  59 bufferTest/test6.c: (in function t)
  60 bufferTest/test6.c:6:3: Variable g used before definition
  61   An rvalue is used that may not be initialized to a value on some execution
  62   path. (-usedef will suppress message)
  63  Unresolved constraint:
  64 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test6.c:6:3  )   >=   VALUE  (  1  )  needed to satisy Requires: :  MAXSET  ( g @ bufferTest/test6.c:7:3  )   >=   VALUE  (  0  )
  65   Unresolved constraint:
  66 Lclint is unable to resolve Requires: :  MAXSET  ( g @ bufferTest/test6.c:6:3  )   >=   VALUE  (  2  )  needed to satisy Requires: :  MAXREAD  ( g @ bufferTest/test6.c:7:10  )   >=   VALUE  (  1  )
  67  Function Post condition:
  68 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test6.c:7:15  )   >=   VALUE  (  0  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test6.c:7:15  )   >=   VALUE  (  0  )
  69   Function Post condition:
  70 Based on the constraint Ensures: :  MAXREAD  ( g @ bufferTest/test6.c:7:15  )   >=   VALUE  (  1  )  this function appears to have the post condition Ensures: :  MAXREAD  ( g @ bufferTest/test6.c:7:15  )   >=   VALUE  (  1  )
  71   Function Post condition:
  72 Based on the constraint Ensures: :  VALUE  ( g @ bufferTest/test6.c:6:5  )   ==   VALUE  ( g @ bufferTest/test6.c:6:3  )   +   VALUE  (  1  )  this function appears to have the post condition Ensures: :  VALUE  ( g @ bufferTest/test6.c:6:5  )   ==   VALUE  ( g @ bufferTest/test6.c:6:3  )   +   VALUE  (  1  )
  73
  74 Finished LCLint checking --- 1 code error found