

 local analysis of pfe_host_fail_stop_cfg_irq_unmask_all
   scanning: _1 = base_va_3(D) + 228;
  scanning: _2 = (volatile uint32_t *) _1;
  scanning: *_2 ={v} 3;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: return;


 local analysis of pfe_host_fail_stop_cfg_irq_unmask
   scanning: _1 = base_va_4(D) + 228;
  scanning: _2 = (volatile uint32_t *) _1;
  scanning: _3 ={v} *_2;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: reg_6 = _3 | 1;
  scanning: *_2 ={v} reg_6;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: return;


 local analysis of pfe_host_fail_stop_cfg_irq_mask
   scanning: _1 = base_va_4(D) + 228;
  scanning: _2 = (volatile uint32_t *) _1;
  scanning: _3 ={v} *_2;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: reg_6 = _3 & 4294967294;
  scanning: *_2 ={v} reg_6;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: return;


 local analysis of pfe_host_fail_stop_cfg_isr
   scanning: _1 = base_va_11(D) + 228;
  scanning: _2 = (volatile uint32_t *) _1;
  scanning: reg_en_13 ={v} *_2;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: _3 = reg_en_13 & 4294967294;
  scanning: *_2 ={v} _3;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: _4 = base_va_11(D) + 224;
  scanning: _5 = (volatile uint32_t *) _4;
  scanning: reg_src_15 ={v} *_5;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: *_5 ={v} reg_src_15;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: _6 = reg_en_13 & reg_src_15;
  scanning: trig_en_interrupts_17 = _6 & 3;
  scanning: if (trig_en_interrupts_17 != 0)
  scanning: pfe_hm_report (9, 2, 151, "");
  scanning: _7 = ~reg_src_15;
  scanning: _8 = _7 & reg_en_13;
  scanning: *_2 ={v} _8;
    Volatile stmt is not const/pure
    Volatile indirect ref is not const/pure
  scanning: return ret_9;
callgraph:

pfe_hm_report/25 (pfe_hm_report) @0752e9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_host_fail_stop_cfg_isr/21 (512926469 (estimated locally),0.48 per call) 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask_all/24 (pfe_host_fail_stop_cfg_irq_unmask_all) @0752e540
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7150
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask/23 (pfe_host_fail_stop_cfg_irq_unmask) @0752e2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6dd0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_mask/22 (pfe_host_fail_stop_cfg_irq_mask) @07529e00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7050
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_isr/21 (pfe_host_fail_stop_cfg_isr) @07529d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6ef0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_hm_report/25 (512926469 (estimated locally),0.48 per call) 


 ordered call graph: reduced for nothrow
pfe_host_fail_stop_cfg_irq_unmask_all/24 (pfe_host_fail_stop_cfg_irq_unmask_all) @0752e540
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7150
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask/23 (pfe_host_fail_stop_cfg_irq_unmask) @0752e2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6dd0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_mask/22 (pfe_host_fail_stop_cfg_irq_mask) @07529e00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7050
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_isr/21 (pfe_host_fail_stop_cfg_isr) @07529d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6ef0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_hm_report/25 (512926469 (estimated locally),0.48 per call) 



MALLOC LATTICE Initial:
pfe_host_fail_stop_cfg_irq_unmask_all: malloc_bottom
pfe_host_fail_stop_cfg_irq_unmask: malloc_bottom
pfe_host_fail_stop_cfg_irq_mask: malloc_bottom
pfe_host_fail_stop_cfg_isr: malloc_bottom


MALLOC LATTICE after propagation:
pfe_host_fail_stop_cfg_irq_unmask_all: malloc_bottom
pfe_host_fail_stop_cfg_irq_unmask: malloc_bottom
pfe_host_fail_stop_cfg_irq_mask: malloc_bottom
pfe_host_fail_stop_cfg_isr: malloc_bottom
callgraph:

pfe_hm_report/25 (pfe_hm_report) @0752e9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: pfe_host_fail_stop_cfg_isr/21 (512926469 (estimated locally),0.48 per call) 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask_all/24 (pfe_host_fail_stop_cfg_irq_unmask_all) @0752e540
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7050
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask/23 (pfe_host_fail_stop_cfg_irq_unmask) @0752e2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6dd0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_mask/22 (pfe_host_fail_stop_cfg_irq_mask) @07529e00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6e10
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_isr/21 (pfe_host_fail_stop_cfg_isr) @07529d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6f10
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_hm_report/25 (512926469 (estimated locally),0.48 per call) 


 ordered call graph: reduced
pfe_host_fail_stop_cfg_irq_unmask_all/24 (pfe_host_fail_stop_cfg_irq_unmask_all) @0752e540
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e7050
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_unmask/23 (pfe_host_fail_stop_cfg_irq_unmask) @0752e2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6dd0
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_irq_mask/22 (pfe_host_fail_stop_cfg_irq_mask) @07529e00
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6e10
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: 
pfe_host_fail_stop_cfg_isr/21 (pfe_host_fail_stop_cfg_isr) @07529d20
  Type: function definition analyzed
  Visibility: externally_visible public
  Aux: @069e6f10
  References: 
  Referring: 
  Availability: available
  Function flags: count:1073741824 (estimated locally) body optimize_size
  Called by: 
  Calls: pfe_hm_report/25 (512926469 (estimated locally),0.48 per call) 

Function found not to call free: pfe_host_fail_stop_cfg_irq_mask
Function found not to call free: pfe_host_fail_stop_cfg_irq_unmask
Function found not to call free: pfe_host_fail_stop_cfg_irq_unmask_all
pfe_host_fail_stop_cfg_irq_unmask_all (addr_t base_va)
{
  unsigned int _1;
  volatile uint32_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_3(D) + 228;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_host_fail_stop_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 228;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 | 1;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_host_fail_stop_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 228;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 & 4294967294;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_host_fail_stop_cfg_isr (addr_t base_va)
{
  uint32_t trig_en_interrupts;
  errno_t ret;
  uint32_t reg_src;
  uint32_t reg_en;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_11(D) + 228;
  _2 = (volatile uint32_t *) _1;
  reg_en_13 ={v} *_2;
  # DEBUG reg_en => reg_en_13
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_en_13 & 4294967294;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va_11(D) + 224;
  _5 = (volatile uint32_t *) _4;
  reg_src_15 ={v} *_5;
  # DEBUG reg_src => reg_src_15
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_src_15;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_en_13 & reg_src_15;
  trig_en_interrupts_17 = _6 & 3;
  # DEBUG trig_en_interrupts => trig_en_interrupts_17
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts_17 != 0)
    goto <bb 3>; [47.77%]
  else
    goto <bb 4>; [52.23%]

  <bb 3> [local count: 512926469]:
  # DEBUG BEGIN_STMT
  pfe_hm_report (9, 2, 151, "");
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 4> [local count: 1073741824]:
  # ret_9 = PHI <2(2), 0(3)>
  # DEBUG ret => ret_9
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = ~reg_src_15;
  _8 = _7 & reg_en_13;
  *_2 ={v} _8;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return ret_9;

}


