test/stack.expect

   1
   2 stack.c: (in function stack1)
   3 stack.c:10:2: Stack-allocated storage *x reachable from parameter x
   4    stack.c:9:3: Storage *x becomes stack-allocated storage
   5 stack.c:10:2: Stack-allocated storage glob reachable from global glob
   6    stack.c:8:3: Storage glob becomes stack-allocated storage
   7 stack.c: (in function f)
   8 stack.c:20:14: Stack-allocated storage &x reachable from return value: &x
   9 stack.c:31:11: Stack-allocated storage sa reachable from return value: sa
  10 stack.c:35:11: Stack-allocated storage sa reachable from return value: &sa[0]
  11
  12 Finished checking --- 5 code warnings, as expected
  13
  14 Finished checking --- no warnings