Initial entry points: g f
Unit entry points: g f

Initial callgraph:

exit/2(-1) @# address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) analyzed needed reachable body finalized
  called by: 
  calls: 
  References: 
  Refering this function: 
f/0(0) @# (asm: f) analyzed needed reachable body finalized
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.
variable pool:

M_var: availability:not-ready (asm: M_var) initialized needed analyzed finalized
  References: 
  Refering this var:  fn:f/0 (addr)

Reclaiming functions:

Reclaimed callgraph:

exit/2(-1) @# address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) analyzed needed reachable body finalized
  called by: 
  calls: 
  References: 
  Refering this function: 
f/0(0) @# (asm: f) analyzed needed reachable body finalized
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.
variable pool:

M_var: availability:not-ready (asm: M_var) initialized needed analyzed finalized
  References: 
  Refering this var:  fn:f/0 (addr)
Initial entry points:
Unit entry points:

Initial callgraph:

exit/2(-1) @# address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) analyzed needed reachable body finalized
  called by: 
  calls: 
  References: 
  Refering this function: 
f/0(0) @# (asm: f) analyzed needed reachable body finalized
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.
variable pool:

M_var: availability:not-ready (asm: M_var) initialized needed analyzed finalized
  References: 
  Refering this var:  fn:f/0 (addr)

Reclaiming functions:

Reclaimed callgraph:

exit/2(-1) @# address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) analyzed needed reachable body finalized
  called by: 
  calls: 
  References: 
  Refering this function: 
f/0(0) @# (asm: f) analyzed needed reachable body finalized
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.
variable pool:

M_var: availability:not-ready (asm: M_var) initialized needed analyzed finalized
  References: 
  Refering this var:  fn:f/0 (addr)
Optimized callgraph:

exit/2(-1) @# availability:not_available address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.
variable pool:

CSWTCH.1: availability:available initialized needed analyzed finalized prevailing_def_ironly
  References: 
  Refering this var:  fn:g/1 (read)
M_var: availability:overwritable (asm: M_var) initialized needed analyzed finalized externally_visible
  References: 
  Refering this var:  fn:f/0 (addr)
Materializing clones
Materialization Call site updates done.

Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Final callgraph:

exit/2(-1) @# (asm: exit) availability:not_available address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable externally_visible finalized inlinable asm_written
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable externally_visible finalized inlinable asm_written
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
variable pool:

CSWTCH.1: availability:available (asm: CSWTCH.1) initialized (asm written) needed analyzed finalized prevailing_def_ironly
  References: 
  Refering this var:  fn:g/1 (read)
M_var: availability:overwritable (asm: M_var) initialized (asm written) needed analyzed finalized externally_visible
  References: 
  Refering this var:  fn:f/0 (addr)