local analysis of undefined_handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of SysTick_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of PendSV_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of DebugMon_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of SVCHandler_main scanning: _1 = MEM[(unsigned int *)svc_args_6(D) + 24B]; Indirect ref read is not const scanning: _2 = _1 + 4294967294; scanning: _3 = (unsigned char *) _2; scanning: _4 = *_3; Indirect ref read is not const scanning: switch (_4) [20.00%], case 0: [20.00%], case 1: [20.00%], case 2: [20.00%], case 3: [20.00%]> scanning: : scanning: __asm__ __volatile__("mov r0, #0x1"); memory asm clobber is not const/pure volatile is not const/pure scanning: __asm__ __volatile__("msr CONTROL, r0"); memory asm clobber is not const/pure volatile is not const/pure scanning: : scanning: __asm__ __volatile__("mov r0, #0x0"); memory asm clobber is not const/pure volatile is not const/pure scanning: __asm__ __volatile__("msr CONTROL, r0"); memory asm clobber is not const/pure volatile is not const/pure scanning: : scanning: __asm__ __volatile__("mov r0, #0x0"); memory asm clobber is not const/pure volatile is not const/pure scanning: __asm__ __volatile__(" msr BASEPRI, r0"); memory asm clobber is not const/pure volatile is not const/pure scanning: : scanning: __asm__ __volatile__("mov r0, #0x10"); memory asm clobber is not const/pure volatile is not const/pure scanning: __asm__ __volatile__(" msr BASEPRI, r0"); memory asm clobber is not const/pure volatile is not const/pure scanning: : scanning: return; Function is locally looping. Function can locally free. local analysis of SVC_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of UsageFault_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of BusFault_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of MemManage_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of HardFault_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. local analysis of NMI_Handler ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 ;; ;; Loop 1 ;; header 3, latch 4 ;; depth 1, outer 0 ;; nodes: 3 4 ;; 2 succs { 3 } ;; 3 succs { 4 } ;; 4 succs { 3 } cannot prove finiteness of loop 1 Function is locally looping. Function is locally const. callgraph: undefined_handler/10 (undefined_handler) @06b06b60 Type: function definition analyzed Visibility: externally_visible public Aux: @063e5630 References: Referring: Availability: available Function flags: count:107374 (estimated locally) body executed_once optimize_size Called by: Calls: SysTick_Handler/9 (SysTick_Handler) @06b06620 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5330 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: PendSV_Handler/8 (PendSV_Handler) @06b06000 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5650 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: DebugMon_Handler/7 (DebugMon_Handler) @06b06d20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: SVCHandler_main/6 (SVCHandler_main) @06b06a80 Type: function definition analyzed Visibility: externally_visible public Aux: @063e5510 References: Referring: Availability: available Function flags: count:1073741823 (estimated locally) body optimize_size Called by: Calls: SVC_Handler/5 (SVC_Handler) @06b067e0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54f0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: UsageFault_Handler/4 (UsageFault_Handler) @06b06460 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5550 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: BusFault_Handler/3 (BusFault_Handler) @06b061c0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5350 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: MemManage_Handler/2 (MemManage_Handler) @06affd20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5690 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: HardFault_Handler/1 (HardFault_Handler) @06affee0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55f0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: NMI_Handler/0 (NMI_Handler) @06affc40 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5670 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: ordered call graph: reduced for nothrow undefined_handler/10 (undefined_handler) @06b06b60 Type: function definition analyzed Visibility: externally_visible public Aux: @063e5630 References: Referring: Availability: available Function flags: count:107374 (estimated locally) body executed_once optimize_size Called by: Calls: SysTick_Handler/9 (SysTick_Handler) @06b06620 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5330 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: PendSV_Handler/8 (PendSV_Handler) @06b06000 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5650 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: DebugMon_Handler/7 (DebugMon_Handler) @06b06d20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: SVCHandler_main/6 (SVCHandler_main) @06b06a80 Type: function definition analyzed Visibility: externally_visible public Aux: @063e5510 References: Referring: Availability: available Function flags: count:1073741823 (estimated locally) body optimize_size Called by: Calls: SVC_Handler/5 (SVC_Handler) @06b067e0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54f0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: UsageFault_Handler/4 (UsageFault_Handler) @06b06460 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5550 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: BusFault_Handler/3 (BusFault_Handler) @06b061c0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5350 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: MemManage_Handler/2 (MemManage_Handler) @06affd20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5690 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: HardFault_Handler/1 (HardFault_Handler) @06affee0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55f0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: NMI_Handler/0 (NMI_Handler) @06affc40 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5670 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: MALLOC LATTICE Initial: undefined_handler: malloc_bottom SysTick_Handler: malloc_bottom PendSV_Handler: malloc_bottom DebugMon_Handler: malloc_bottom SVCHandler_main: malloc_bottom SVC_Handler: malloc_bottom UsageFault_Handler: malloc_bottom BusFault_Handler: malloc_bottom MemManage_Handler: malloc_bottom HardFault_Handler: malloc_bottom NMI_Handler: malloc_bottom MALLOC LATTICE after propagation: undefined_handler: malloc_bottom SysTick_Handler: malloc_bottom PendSV_Handler: malloc_bottom DebugMon_Handler: malloc_bottom SVCHandler_main: malloc_bottom SVC_Handler: malloc_bottom UsageFault_Handler: malloc_bottom BusFault_Handler: malloc_bottom MemManage_Handler: malloc_bottom HardFault_Handler: malloc_bottom NMI_Handler: malloc_bottom callgraph: undefined_handler/10 (undefined_handler) @06b06b60 Type: function definition analyzed Visibility: externally_visible public Aux: @063e55f0 References: Referring: Availability: available Function flags: count:107374 (estimated locally) body executed_once optimize_size Called by: Calls: SysTick_Handler/9 (SysTick_Handler) @06b06620 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: PendSV_Handler/8 (PendSV_Handler) @06b06000 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5530 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: DebugMon_Handler/7 (DebugMon_Handler) @06b06d20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5350 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: SVCHandler_main/6 (SVCHandler_main) @06b06a80 Type: function definition analyzed Visibility: externally_visible public Aux: @063e54f0 References: Referring: Availability: available Function flags: count:1073741823 (estimated locally) body optimize_size Called by: Calls: SVC_Handler/5 (SVC_Handler) @06b067e0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5510 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: UsageFault_Handler/4 (UsageFault_Handler) @06b06460 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55b0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: BusFault_Handler/3 (BusFault_Handler) @06b061c0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5630 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: MemManage_Handler/2 (MemManage_Handler) @06affd20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5650 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: HardFault_Handler/1 (HardFault_Handler) @06affee0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: NMI_Handler/0 (NMI_Handler) @06affc40 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5390 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: ordered call graph: reduced undefined_handler/10 (undefined_handler) @06b06b60 Type: function definition analyzed Visibility: externally_visible public Aux: @063e55f0 References: Referring: Availability: available Function flags: count:107374 (estimated locally) body executed_once optimize_size Called by: Calls: SysTick_Handler/9 (SysTick_Handler) @06b06620 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e54d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: PendSV_Handler/8 (PendSV_Handler) @06b06000 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5530 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: DebugMon_Handler/7 (DebugMon_Handler) @06b06d20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5350 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: SVCHandler_main/6 (SVCHandler_main) @06b06a80 Type: function definition analyzed Visibility: externally_visible public Aux: @063e54f0 References: Referring: Availability: available Function flags: count:1073741823 (estimated locally) body optimize_size Called by: Calls: SVC_Handler/5 (SVC_Handler) @06b067e0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5510 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: UsageFault_Handler/4 (UsageFault_Handler) @06b06460 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55b0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: BusFault_Handler/3 (BusFault_Handler) @06b061c0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5630 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: MemManage_Handler/2 (MemManage_Handler) @06affd20 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5650 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: HardFault_Handler/1 (HardFault_Handler) @06affee0 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e55d0 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: NMI_Handler/0 (NMI_Handler) @06affc40 Type: function definition analyzed Visibility: externally_visible public weak Aux: @063e5390 References: Referring: Availability: overwritable Function flags: count:107374 (estimated locally) body optimize_size Called by: Calls: Function found to be looping const: NMI_Handler Function found to be looping const: HardFault_Handler Function found to be looping const: MemManage_Handler Function found to be looping const: BusFault_Handler Function found to be looping const: UsageFault_Handler Function found to be looping const: SVC_Handler Function found to be looping const: DebugMon_Handler Function found to be looping const: PendSV_Handler Function found to be looping const: SysTick_Handler Function found not to call free: undefined_handler undefined_handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) SysTick_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) PendSV_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) DebugMon_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } SVCHandler_main (unsigned int * svc_args) { unsigned int _1; sizetype _2; unsigned char * _3; unsigned char _4; [local count: 1073741823]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT _1 = MEM[(unsigned int *)svc_args_6(D) + 24B]; _2 = _1 + 4294967294; _3 = (unsigned char *) _2; _4 = *_3; # DEBUG svc_number => (unsigned int) _4 # DEBUG BEGIN_STMT switch (_4) [20.00%], case 0: [20.00%], case 1: [20.00%], case 2: [20.00%], case 3: [20.00%]> [local count: 214748364]: : # DEBUG BEGIN_STMT __asm__ __volatile__("mov r0, #0x1"); # DEBUG BEGIN_STMT __asm__ __volatile__("msr CONTROL, r0"); # DEBUG BEGIN_STMT goto ; [100.00%] [local count: 214748364]: : # DEBUG BEGIN_STMT __asm__ __volatile__("mov r0, #0x0"); # DEBUG BEGIN_STMT __asm__ __volatile__("msr CONTROL, r0"); # DEBUG BEGIN_STMT goto ; [100.00%] [local count: 214748364]: : # DEBUG BEGIN_STMT __asm__ __volatile__("mov r0, #0x0"); # DEBUG BEGIN_STMT __asm__ __volatile__(" msr BASEPRI, r0"); # DEBUG BEGIN_STMT goto ; [100.00%] [local count: 214748364]: : # DEBUG BEGIN_STMT __asm__ __volatile__("mov r0, #0x10"); # DEBUG BEGIN_STMT __asm__ __volatile__(" msr BASEPRI, r0"); # DEBUG BEGIN_STMT [local count: 1073741824]: : return; } __attribute__((weak)) SVC_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) UsageFault_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) BusFault_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) MemManage_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) HardFault_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] } __attribute__((weak)) NMI_Handler () { [local count: 107374]: [local count: 1073741824]: # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT # DEBUG BEGIN_STMT [local count: 1073741824]: goto ; [100.00%] }