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