test/repexpose.expect

   1
   2 repexpose.c: (in function abst_create)
   3 repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
   4    repexpose.c:5:12: Storage a may become null
   5 repexpose.c:13:3: Possible undocumented modification of p->parent through alias
   6                      a->parent: a->parent = b->parent
   7 repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
   8                      a->name = *globstring
   9 repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
  10                      b->name = *globstring
  11    repexpose.c:16:3: Storage *globstring becomes kept
  12 repexpose.c:19:10: Storage a->name reachable from return value is kept (should
  13                       be implicitly only)
  14    repexpose.c:17:3: Storage a->name becomes kept
  15 repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
  16 repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
  17                       unqualified)
  18    repexpose.c:16:3: Storage *globstring becomes kept
  19 repexpose.c: (in function abst_name)
  20 repexpose.c:26:18: Released storage a->name reachable from parameter at return
  21                       point
  22    repexpose.c:26:10: Storage a->name released
  23 repexpose.c: (in function abst_parent)
  24 repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
  25 repexpose.c:45:25: Only storage a not released before return
  26    repexpose.c:40:24: Storage a becomes only
  27 repexpose.c: (in function immut_name)
  28 repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
  29 repexpose.c: (in function abst_setIm)
  30 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
  31
  32 Finished checking --- 12 code warnings, as expected
  33
  34 repexpose.c: (in function abst_create)
  35 repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
  36    repexpose.c:5:12: Storage a may become null
  37 repexpose.c:13:3: Possible undocumented modification of p->parent through alias
  38                      a->parent: a->parent = b->parent
  39 repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
  40                      a->name = *globstring
  41 repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
  42                      b->name = *globstring
  43    repexpose.c:16:3: Storage *globstring becomes kept
  44 repexpose.c:19:10: Storage a->name reachable from return value is kept (should
  45                       be implicitly only)
  46    repexpose.c:17:3: Storage a->name becomes kept
  47 repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
  48 repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
  49                       unqualified)
  50    repexpose.c:16:3: Storage *globstring becomes kept
  51 repexpose.c: (in function abst_name)
  52 repexpose.c:26:10: Function returns reference to parameter a: a->name
  53 repexpose.c:26:18: Released storage a->name reachable from parameter at return
  54                       point
  55    repexpose.c:26:10: Storage a->name released
  56 repexpose.c: (in function abst_aval)
  57 repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
  58 repexpose.c: (in function abst_parent)
  59 repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
  60 repexpose.c:45:25: Only storage a not released before return
  61    repexpose.c:40:24: Storage a becomes only
  62 repexpose.c: (in function immut_name)
  63 repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
  64 repexpose.c:51:10: Function returns reference to parameter im: (im->name)
  65 repexpose.c: (in function abst_setIm)
  66 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
  67
  68 Finished checking --- 15 code warnings, as expected
  69
  70 repexpose.c: (in function abst_create)
  71 repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
  72    repexpose.c:5:12: Storage a may become null
  73 repexpose.c:10:3: Assignment of mutable parameter p to component of abstract
  74                      type abst exposes rep: a->parent = p
  75 repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to
  76                      component of abstract type abst exposes rep: a->parent = b
  77 repexpose.c:12:3: Assignment of mutable component of parameter p to component
  78                      of abstract type abst exposes rep: a->parent = p->parent
  79 repexpose.c:13:3: Possible undocumented modification of p->parent through alias
  80                      a->parent: a->parent = b->parent
  81 repexpose.c:13:3: Assignment of mutable component of parameter p (through alias
  82     b->parent) to component of abstract type abst exposes rep:
  83     a->parent = b->parent
  84 repexpose.c:16:3: Assignment of global globstring to component of abstract type
  85                      abst exposes rep: a->name = *globstring
  86 repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
  87                      a->name = *globstring
  88 repexpose.c:17:3: Assignment of global globstring to component of abstract type
  89                      abst exposes rep: b->name = *globstring
  90 repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
  91                      b->name = *globstring
  92    repexpose.c:16:3: Storage *globstring becomes kept
  93 repexpose.c:19:10: Storage a->name reachable from return value is kept (should
  94                       be implicitly only)
  95    repexpose.c:17:3: Storage a->name becomes kept
  96 repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
  97 repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
  98                       unqualified)
  99    repexpose.c:16:3: Storage *globstring becomes kept
 100 repexpose.c: (in function abst_name)
 101 repexpose.c:26:10: Function returns reference to parameter a: a->name
 102 repexpose.c:26:10: Return value exposes rep of abst: a->name
 103 repexpose.c:26:18: Released storage a->name reachable from parameter at return
 104                       point
 105    repexpose.c:26:10: Storage a->name released
 106 repexpose.c: (in function abst_aval)
 107 repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
 108 repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))
 109 repexpose.c: (in function abst_parent)
 110 repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
 111 repexpose.c:45:15: Return value exposes rep of abst: b->parent
 112 repexpose.c:45:15: Return value may expose rep of abst through alias a:
 113                       b->parent
 114 repexpose.c:45:25: Only storage a not released before return
 115    repexpose.c:40:24: Storage a becomes only
 116 repexpose.c: (in function immut_name)
 117 repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
 118 repexpose.c:51:10: Function returns reference to parameter im: (im->name)
 119 repexpose.c:51:10: Return value exposes rep of immut: (im->name)
 120 repexpose.c: (in function abst_setIm)
 121 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
 122 repexpose.lh:5:16: Variable globstring declared but not defined
 123
 124 Finished checking --- 27 code warnings, as expected