test/observer.expect

   1
   2 observer.c: (in function stx_name)
   3 observer.c:9:10: Function returns reference to parameter x: (x->name)
   4 observer.c:9:10: Return value exposes rep of stx: (x->name)
   5 observer.c:9:20: Released storage x->name reachable from parameter at return
   6                     point
   7    observer.c:9:10: Storage x->name released
   8 observer.c: (in function f)
   9 observer.c:33:3: Suspect modification of observer s: *s = 'x'
  10    observer.c:32:7: Storage *s becomes observer
  11 observer.c:34:9: Function call may modify observer s: s
  12    observer.c:32:7: Storage s becomes observer
  13 observer.c:34:9: Observer storage s passed as only param: free (s)
  14    observer.c:32:7: Storage s becomes observer
  15 observer.c:38:9: Exposed storage s passed as only param: free (s)
  16    observer.c:36:3: Storage s becomes exposed
  17 observer.c:41:10: Observer storage *s reachable from unqualified return value
  18    observer.c:40:7: Storage *s becomes observer
  19 observer.c:41:10: Observer storage s returned without qualification: s
  20    observer.c:40:7: Storage s becomes observer
  21
  22 Finished checking --- 9 code warnings, as expected
  23
  24 observer.c: (in function stx_name)
  25 observer.c:9:10: Function returns reference to parameter x: (x->name)
  26 observer.c:9:20: Released storage x->name reachable from parameter at return
  27                     point
  28    observer.c:9:10: Storage x->name released
  29 observer.c: (in function f)
  30 observer.c:33:3: Suspect modification of observer s: *s = 'x'
  31    observer.c:32:7: Storage *s becomes observer
  32 observer.c:34:9: Function call may modify observer s: s
  33    observer.c:32:7: Storage s becomes observer
  34 observer.c:34:9: Observer storage s passed as only param: free (s)
  35    observer.c:32:7: Storage s becomes observer
  36 observer.c:38:9: Exposed storage s passed as only param: free (s)
  37    observer.c:36:3: Storage s becomes exposed
  38 observer.c:41:10: Observer storage *s reachable from unqualified return value
  39    observer.c:40:7: Storage *s becomes observer
  40 observer.c:41:10: Observer storage s returned without qualification: s
  41    observer.c:40:7: Storage s becomes observer
  42
  43 Finished checking --- 8 code warnings, as expected
  44
  45 observer.c: (in function stx_name)
  46 observer.c:9:20: Released storage x->name reachable from parameter at return
  47                     point
  48    observer.c:9:10: Storage x->name released
  49 observer.c: (in function f)
  50 observer.c:33:3: Suspect modification of observer s: *s = 'x'
  51    observer.c:32:7: Storage *s becomes observer
  52 observer.c:34:9: Function call may modify observer s: s
  53    observer.c:32:7: Storage s becomes observer
  54 observer.c:34:9: Observer storage s passed as only param: free (s)
  55    observer.c:32:7: Storage s becomes observer
  56 observer.c:38:9: Exposed storage s passed as only param: free (s)
  57    observer.c:36:3: Storage s becomes exposed
  58 observer.c:41:10: Observer storage *s reachable from unqualified return value
  59    observer.c:40:7: Storage *s becomes observer
  60 observer.c:41:10: Observer storage s returned without qualification: s
  61    observer.c:40:7: Storage s becomes observer
  62
  63 Finished checking --- 7 code warnings, as expected