

 local analysis of pfe_ecc_err_irq_unmask
   scanning: _1 = ecc_err_3(D)->ecc_err_base_va;
    Indirect ref read is not const
  scanning: pfe_ecc_err_cfg_irq_unmask (_1);
  scanning: return;
Function is locally pure.


 local analysis of pfe_ecc_err_irq_mask
   scanning: _1 = ecc_err_3(D)->ecc_err_base_va;
    Indirect ref read is not const
  scanning: pfe_ecc_err_cfg_irq_mask (_1);
  scanning: return;
Function is locally pure.


 local analysis of pfe_ecc_err_isr
   scanning: _1 = ecc_err_3(D)->ecc_err_base_va;
    Indirect ref read is not const
  scanning: ret_5 = pfe_ecc_err_cfg_isr (_1);
  scanning: return ret_5;
Function is locally pure.


 local analysis of pfe_ecc_err_destroy
   scanning: _1 = ecc_err_3(D)->ecc_err_base_va;
    Indirect ref read is not const
  scanning: pfe_ecc_err_cfg_irq_mask (_1);
  scanning: return;
Function is locally pure.


 local analysis of pfe_ecc_err_create
   scanning: ecc_err_instance.cbus_base_va = cbus_base_va_3(D);
  scanning: ecc_err_instance.ecc_err_base_offset = ecc_err_base_5(D);
  scanning: _1 = cbus_base_va_3(D) + ecc_err_base_5(D);
  scanning: ecc_err_instance.ecc_err_base_va = _1;
  scanning: pfe_ecc_err_cfg_irq_unmask_all (_1);
  scanning: return &ecc_err_instance;
Function is locally const.
callgraph:

pfe_ecc_err_cfg_irq_unmask/31 (pfe_ecc_err_cfg_irq_unmask) @075ac000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_irq_unmask/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_isr/30 (pfe_ecc_err_cfg_isr) @075acd20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_isr/24 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_irq_mask/29 (pfe_ecc_err_cfg_irq_mask) @075acb60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_irq_unmask_all/28 (pfe_ecc_err_cfg_irq_unmask_all) @075ac9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_create/22 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_irq_unmask/26 (pfe_ecc_err_irq_unmask) @075ac460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f78
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask/31 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_irq_mask/25 (pfe_ecc_err_irq_mask) @075ac1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15dd8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: 
  Calls: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_isr/24 (pfe_ecc_err_isr) @06e47d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160f8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_isr/30 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_destroy/23 (pfe_ecc_err_destroy) @06e47ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16198
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: pfe_ecc_err_irq_mask/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: pfe_ecc_err_cfg_irq_mask/29 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_create/22 (pfe_ecc_err_create) @06e47c40
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16018
  References: ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (addr)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask_all/28 (1073741824 (estimated locally),1.00 per call) 


 ordered call graph: reduced for nothrow
pfe_ecc_err_irq_unmask/26 (pfe_ecc_err_irq_unmask) @075ac460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f78
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask/31 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_irq_mask/25 (pfe_ecc_err_irq_mask) @075ac1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15dd8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: 
  Calls: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_isr/24 (pfe_ecc_err_isr) @06e47d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160f8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_isr/30 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_destroy/23 (pfe_ecc_err_destroy) @06e47ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16198
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: pfe_ecc_err_irq_mask/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: pfe_ecc_err_cfg_irq_mask/29 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_create/22 (pfe_ecc_err_create) @06e47c40
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16018
  References: ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (addr)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask_all/28 (1073741824 (estimated locally),1.00 per call) 



MALLOC LATTICE Initial:
pfe_ecc_err_irq_unmask: malloc_bottom
pfe_ecc_err_irq_mask: malloc_bottom
pfe_ecc_err_isr: malloc_bottom
pfe_ecc_err_destroy: malloc_bottom
pfe_ecc_err_create: malloc_bottom


MALLOC LATTICE after propagation:
pfe_ecc_err_irq_unmask: malloc_bottom
pfe_ecc_err_irq_mask: malloc_bottom
pfe_ecc_err_isr: malloc_bottom
pfe_ecc_err_destroy: malloc_bottom
pfe_ecc_err_create: malloc_bottom
callgraph:

pfe_ecc_err_cfg_irq_unmask/31 (pfe_ecc_err_cfg_irq_unmask) @075ac000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_irq_unmask/26 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_isr/30 (pfe_ecc_err_cfg_isr) @075acd20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_isr/24 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_irq_mask/29 (pfe_ecc_err_cfg_irq_mask) @075acb60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_cfg_irq_unmask_all/28 (pfe_ecc_err_cfg_irq_unmask_all) @075ac9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_ecc_err_create/22 (1073741824 (estimated locally),1.00 per call) 
  Calls: 
pfe_ecc_err_irq_unmask/26 (pfe_ecc_err_irq_unmask) @075ac460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16038
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask/31 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_irq_mask/25 (pfe_ecc_err_irq_mask) @075ac1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f78
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: 
  Calls: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_isr/24 (pfe_ecc_err_isr) @06e47d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f38
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_isr/30 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_destroy/23 (pfe_ecc_err_destroy) @06e47ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160b8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: pfe_ecc_err_irq_mask/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: pfe_ecc_err_cfg_irq_mask/29 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_create/22 (pfe_ecc_err_create) @06e47c40
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160f8
  References: ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (addr)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask_all/28 (1073741824 (estimated locally),1.00 per call) 


 ordered call graph: reduced
pfe_ecc_err_irq_unmask/26 (pfe_ecc_err_irq_unmask) @075ac460
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b16038
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask/31 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_irq_mask/25 (pfe_ecc_err_irq_mask) @075ac1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f78
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: 
  Calls: pfe_ecc_err_destroy/23 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_isr/24 (pfe_ecc_err_isr) @06e47d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b15f38
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_isr/30 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_destroy/23 (pfe_ecc_err_destroy) @06e47ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160b8
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body icf_merged optimize_size
  Called by: pfe_ecc_err_irq_mask/25 (1073741824 (estimated locally),1.00 per call) 
  Calls: pfe_ecc_err_cfg_irq_mask/29 (1073741824 (estimated locally),1.00 per call) 
pfe_ecc_err_create/22 (pfe_ecc_err_create) @06e47c40
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @06b160f8
  References: ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (write)ecc_err_instance/21 (addr)
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_ecc_err_cfg_irq_unmask_all/28 (1073741824 (estimated locally),1.00 per call) 

pfe_ecc_err_irq_unmask (const struct pfe_ecc_err_t * ecc_err)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = ecc_err_3(D)->ecc_err_base_va;
  pfe_ecc_err_cfg_irq_unmask (_1);
  return;

}


pfe_ecc_err_irq_mask (const struct pfe_ecc_err_t * ecc_err)
{
  <bb 2> [local count: 1073741824]:
  pfe_ecc_err_destroy (ecc_err_2(D)); [tail call]
  return;

}


pfe_ecc_err_isr (const struct pfe_ecc_err_t * ecc_err)
{
  errno_t ret;
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  _1 = ecc_err_3(D)->ecc_err_base_va;
  ret_5 = pfe_ecc_err_cfg_isr (_1);
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  return ret_5;

}


pfe_ecc_err_destroy (struct pfe_ecc_err_t * ecc_err)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = ecc_err_3(D)->ecc_err_base_va;
  pfe_ecc_err_cfg_irq_mask (_1);
  return;

}


pfe_ecc_err_create (addr_t cbus_base_va, addr_t ecc_err_base)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ecc_err => &ecc_err_instance
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ecc_err_instance.cbus_base_va = cbus_base_va_3(D);
  # DEBUG BEGIN_STMT
  ecc_err_instance.ecc_err_base_offset = ecc_err_base_5(D);
  # DEBUG BEGIN_STMT
  _1 = cbus_base_va_3(D) + ecc_err_base_5(D);
  ecc_err_instance.ecc_err_base_va = _1;
  # DEBUG BEGIN_STMT
  pfe_ecc_err_cfg_irq_unmask_all (_1);
  # DEBUG BEGIN_STMT
  return &ecc_err_instance;

}


