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)