local analysis of Flexio_Mcl_Ip_DeinitDevice scanning: Flexio_Mcl_Ip_Init (1077035008B); scanning: Flexio_Ip_IpIsInitialized[instance_3(D)] = 0; scanning: return; Function is locally const. local analysis of Flexio_Mcl_Ip_InitDevice scanning: LocInstance_6 = pFlexioInitType_5(D)->instance; Indirect ref read is not const scanning: LocDebugEnable_7 = pFlexioInitType_5(D)->debugEnable; Indirect ref read is not const scanning: _1 = (int) LocInstance_6; scanning: _2 = Flexio_Ip_IpIsInitialized[_1]; scanning: if (_2 != 0) scanning: Flexio_Mcl_Ip_Init (1077035008B); scanning: Flexio_Mcl_Ip_SetEnable (1077035008B, 1); scanning: Flexio_Mcl_Ip_SetDebugEnable (1077035008B, LocDebugEnable_7); scanning: Flexio_Ip_IpIsInitialized[_1] = 1; scanning: return status_3; Function is locally pure. callgraph: Flexio_Mcl_Ip_SetDebugEnable/7 (Flexio_Mcl_Ip_SetDebugEnable) @0693bb60 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_SetEnable/6 (Flexio_Mcl_Ip_SetEnable) @0693ba80 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_Init/5 (Flexio_Mcl_Ip_Init) @0693b9a0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_DeinitDevice/4 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_DeinitDevice/4 (Flexio_Mcl_Ip_DeinitDevice) @0693b540 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3fd0 References: Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (Flexio_Mcl_Ip_InitDevice) @0693b2a0 Type: function definition analyzed Visibility: externally_visible public Aux: @065f4250 References: Flexio_Ip_IpIsInitialized/2 (read)Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_SetDebugEnable/7 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_SetEnable/6 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) ordered call graph: reduced for nothrow Flexio_Mcl_Ip_DeinitDevice/4 (Flexio_Mcl_Ip_DeinitDevice) @0693b540 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3fd0 References: Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (Flexio_Mcl_Ip_InitDevice) @0693b2a0 Type: function definition analyzed Visibility: externally_visible public Aux: @065f4250 References: Flexio_Ip_IpIsInitialized/2 (read)Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_SetDebugEnable/7 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_SetEnable/6 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) MALLOC LATTICE Initial: Flexio_Mcl_Ip_DeinitDevice: malloc_bottom Flexio_Mcl_Ip_InitDevice: malloc_bottom MALLOC LATTICE after propagation: Flexio_Mcl_Ip_DeinitDevice: malloc_bottom Flexio_Mcl_Ip_InitDevice: malloc_bottom callgraph: Flexio_Mcl_Ip_SetDebugEnable/7 (Flexio_Mcl_Ip_SetDebugEnable) @0693bb60 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_SetEnable/6 (Flexio_Mcl_Ip_SetEnable) @0693ba80 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_Init/5 (Flexio_Mcl_Ip_Init) @0693b9a0 Type: function Visibility: external public References: Referring: Availability: not_available Function flags: optimize_size Called by: Flexio_Mcl_Ip_DeinitDevice/4 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (1073741824 (estimated locally),1.00 per call) Calls: Flexio_Mcl_Ip_DeinitDevice/4 (Flexio_Mcl_Ip_DeinitDevice) @0693b540 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3f90 References: Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (Flexio_Mcl_Ip_InitDevice) @0693b2a0 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3fb0 References: Flexio_Ip_IpIsInitialized/2 (read)Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_SetDebugEnable/7 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_SetEnable/6 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) ordered call graph: reduced Flexio_Mcl_Ip_DeinitDevice/4 (Flexio_Mcl_Ip_DeinitDevice) @0693b540 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3f90 References: Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_InitDevice/3 (Flexio_Mcl_Ip_InitDevice) @0693b2a0 Type: function definition analyzed Visibility: externally_visible public Aux: @065f3fb0 References: Flexio_Ip_IpIsInitialized/2 (read)Flexio_Ip_IpIsInitialized/2 (write) Referring: Availability: available Function flags: count:1073741824 (estimated locally) body optimize_size Called by: Calls: Flexio_Mcl_Ip_SetDebugEnable/7 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_SetEnable/6 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_Init/5 (1073741824 (estimated locally),1.00 per call) Flexio_Mcl_Ip_DeinitDevice (uint32 instance) { [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG baseAddr => 1077035008B # DEBUG BEGIN_STMT Flexio_Mcl_Ip_Init (1077035008B); # DEBUG BEGIN_STMT Flexio_Ip_IpIsInitialized[instance_3(D)] = 0; return; } Flexio_Mcl_Ip_InitDevice (const struct Flexio_Ip_InstanceConfigType * const pFlexioInitType) { boolean LocDebugEnable; uint8 LocInstance; Flexio_Ip_CommonStatusType status; int _1; _Bool _2; [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG status => 0 # DEBUG BEGIN_STMT LocInstance_6 = pFlexioInitType_5(D)->instance; # DEBUG LocInstance => LocInstance_6 # DEBUG BEGIN_STMT LocDebugEnable_7 = pFlexioInitType_5(D)->debugEnable; # DEBUG LocDebugEnable => LocDebugEnable_7 # DEBUG BEGIN_STMT _1 = (int) LocInstance_6; # DEBUG baseAddr => 1077035008B # DEBUG BEGIN_STMT _2 = Flexio_Ip_IpIsInitialized[_1]; if (_2 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: # DEBUG BEGIN_STMT # DEBUG status => 1 [local count: 1073741824]: # status_3 = PHI <0(2), 1(3)> # DEBUG status => status_3 # DEBUG BEGIN_STMT Flexio_Mcl_Ip_Init (1077035008B); # DEBUG BEGIN_STMT Flexio_Mcl_Ip_SetEnable (1077035008B, 1); # DEBUG BEGIN_STMT Flexio_Mcl_Ip_SetDebugEnable (1077035008B, LocDebugEnable_7); # DEBUG BEGIN_STMT Flexio_Ip_IpIsInitialized[_1] = 1; # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT return status_3; }