free_spawn_ub_true-unreach-call.expected

┌─────────────────────┐
│          _          │
└─────────────────────┘
  │
  │ Entry main
  ▼
┌─────────────────────┐
│          _          │
└─────────────────────┘
  │
  │ Assign 'p = & foo'
  ▼
┌─────────────────────┐
│          _          │
└─────────────────────┘
  │
  │ Proc 'free(p)'
  ▼
┌─────────────────────┐
│          _          │
└─────────────────────┘
  │
  │ Ret (Some 0, main)
  ▼
┌─────────────────────┐
│          _          │
└─────────────────────┘