test/db2.expect

   1 make -e clean
   2 make -e check
   3
   4 employee.c: (in function employee_setName)
   5 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
   6                   may be aliased externally by parameter 2 (na)
   7 eref.c: (in function eref_alloc)
   8 eref.c:19: Unqualified storage eref_Pool.conts passed as only param:
   9               realloc (eref_Pool.conts, ...)
  10 eref.c:29: Unqualified storage eref_Pool.status passed as only param:
  11               realloc (eref_Pool.status, ...)
  12 eref.c:45: Storage eref_Pool.status reachable from global is only (should be
  13               unqualified)
  14    eref.c:30: Storage eref_Pool.status becomes only
  15 eref.c:45: Storage eref_Pool.conts reachable from global is only (should be
  16               unqualified)
  17    eref.c:20: Storage eref_Pool.conts becomes only
  18 eref.c: (in function eref_initMod)
  19 eref.c:84: Storage eref_Pool.conts reachable from global is fresh (should be
  20               unqualified)
  21    eref.c:62: Fresh storage eref_Pool.conts allocated
  22 eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
  23               call returns: ssNum, name, salary, gen, j
  24 eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be
  25               unqualified)
  26    eref.c:70: Fresh storage eref_Pool.status allocated
  27 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  28               returns: status
  29 erc.c: (in function erc_create)
  30 erc.c:33: Null storage c->vals derivable from return value: c
  31    erc.c:31: Storage c->vals becomes null
  32 erc.c:33: Fresh storage returned as unqualified (should be only): c
  33    erc.c:23: Fresh storage c allocated
  34 erc.c: (in function erc_clear)
  35 erc.c:49: Function returns with null storage derivable from parameter c->vals
  36    erc.c:47: Storage c->vals becomes null
  37 erc.c: (in function erc_final)
  38 erc.c:54: Implicitly temp storage c passed as only param: free (c)
  39 erc.c: (in function erc_delete)
  40 erc.c:102: Released storage c->vals reachable from parameter at return point
  41    erc.c:100: Storage c->vals is released
  42 erc.c: (in function erc_sprint)
  43 erc.c:141: Fresh storage returned as unqualified (should be only): result
  44    erc.c:122: Fresh storage result allocated
  45
  46 Finished checking --- 15 code warnings, as expected
  47
  48 employee.c: (in function employee_setName)
  49 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
  50                   may be aliased externally by parameter 2 (na)
  51 eref.c: (in function eref_initMod)
  52 eref.c:62: Implicitly only storage eref_Pool.conts (type employee *) not
  53     released before assignment: eref_Pool.conts = (employee *)malloc(size *
  54     sizeof(employee))
  55 eref.c:70: Implicitly only storage eref_Pool.status (type eref_status *) not
  56     released before assignment: eref_Pool.status = (eref_status *)malloc(size *
  57     sizeof(eref_status))
  58 eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
  59               call returns: ssNum, name, salary, gen, j
  60 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
  61               returns: status
  62 empset.c: (in function empset_intersect)
  63 empset.c:126: Fresh storage toDelete not released before return
  64    empset.c:112: Fresh storage toDelete allocated
  65 erc.c: (in function erc_create)
  66 erc.c:33: Null storage c->vals derivable from return value: c
  67    erc.c:31: Storage c->vals becomes null
  68 erc.c: (in function erc_clear)
  69 erc.c:49: Function returns with null storage derivable from parameter c->vals
  70    erc.c:47: Storage c->vals becomes null
  71 erc.c: (in function erc_final)
  72 erc.c:54: Implicitly temp storage c passed as only param: free (c)
  73 erc.c: (in function erc_delete)
  74 erc.c:98: Implicitly only storage prev->next (type struct _elem *) not released
  75              before assignment: prev->next = elem->next
  76 erc.c:98: Clauses exit with elem referencing implicitly only storage in true
  77              branch, local storage in false branch
  78    erc.c:96: Storage elem becomes implicitly only
  79 erc.c:102: Released storage c->vals reachable from parameter at return point
  80    erc.c:100: Storage c->vals is released
  81 drive.c: (in function main)
  82 drive.c:49: Variable m_res name is not a macro variable (it is a local
  83                variable), but matches the macro variable namespace prefix "m_"
  84 drive.c:65: Variable m_res name is not a macro variable (it is a local
  85                variable), but matches the macro variable namespace prefix "m_"
  86 drive.c:83: Variable m_res name is not a macro variable (it is a local
  87                variable), but matches the macro variable namespace prefix "m_"
  88 drive.c:120: Variable m_res name is not a macro variable (it is a local
  89                 variable), but matches the macro variable namespace prefix "m_"
  90 drive.c:124: Variable m_res name is not a macro variable (it is a local
  91                 variable), but matches the macro variable namespace prefix "m_"
  92 drive.c:135: Variable m_res name is not a macro variable (it is a local
  93                 variable), but matches the macro variable namespace prefix "m_"
  94 drive.c:140: Fresh storage em1 (type empset) not released before assignment:
  95                 em1 = empset_create()
  96    drive.c:35: Fresh storage em1 allocated
  97 drive.c:146: Fresh storage em2 (type empset) not released before assignment:
  98                 em2 = empset_create()
  99    drive.c:74: Fresh storage em2 allocated
 100 drive.c:147: Fresh storage em3 (type empset) not released before assignment:
 101                 em3 = empset_disjointUnion(em2, em1)
 102    drive.c:87: Fresh storage em3 allocated
 103 drive.c:159: Variable m_res name is not a macro variable (it is a local
 104                 variable), but matches the macro variable namespace prefix "m_"
 105 drive.c:163: Fresh storage em1 not released before return
 106    drive.c:140: Fresh storage em1 allocated
 107 drive.c:163: Fresh storage em2 not released before return
 108    drive.c:146: Fresh storage em2 allocated
 109 drive.c:163: Fresh storage em3 not released before return
 110    drive.c:147: Fresh storage em3 allocated
 111
 112 Finished checking --- 25 code warnings, as expected
 113
 114 Finished checking --- no warnings