============================================ Symbol : IMFS_Set_handlers (0x4000a974) Line : imfs_eval.c:42 (0x4000a988) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x4000a7ec) Line : imfs_creat.c:44 (0x4000a7fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x4000a7ec) Line : imfs_creat.c:84 (0x4000a8e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_root_node (0x4000a918) Line : imfs_creat.c:159 (0x4000a938) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x4000aa70) Line : imfs_eval.c:487 (0x4000aa78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x4000aa70) Line : imfs_eval.c:508 (0x4000aac8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x4000aa70) Line : imfs_eval.c:585 (0x4000abe8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x4000aa70) Line : imfs_eval.c:502 (0x4000ac50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:305 (0x4000ae94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:319 (0x4000af14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:364 (0x4000af94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:371 (0x4000afbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:376 (0x4000afcc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x4000ae48) Line : imfs_eval.c:450 (0x4000b0d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_permission (0x4000a9e0) Line : imfs_eval.c:83 (0x4000a9e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_lseek (0x40003f9c) Line : imfs_fifo.c:126 (0x40003fc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_write (0x4000407c) Line : imfs_fifo.c:91 (0x400040c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x4000b1e0) Line : imfs_getchild.c:47 (0x4000b1f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x4000b1e0) Line : imfs_getchild.c:50 (0x4000b210) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x4000b120) Line : imfs_fsunmount.c:81 (0x4000b184) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x4000b120) Line : imfs_fsunmount.c:86 (0x4000b1a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Ask Chris Johns Explanation: I think he wrote this code and can probably identify the test case. ============================================ ============================================ Symbol : IMFS_fsunmount (0x4000b120) Line : imfs_fsunmount.c:91 (0x4000b1c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x4000b25c) Line : imfs_gtkn.c:42 (0x4000b294) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x4000b25c) Line : imfs_gtkn.c:42 (0x4000b2a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x4000b25c) Line : imfs_gtkn.c:68 (0x4000b2e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_initialize_support (0x40002b20) Line : imfs_initsupp.c:48 (0x40002b48) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x4000d22c) Line : memfile.c:298 (0x4000d268) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x4000d22c) Line : memfile.c:298 (0x4000d274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x4000d22c) Line : memfile.c:304 (0x4000d298) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x4000d22c) Line : memfile.c:304 (0x4000d2a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:833 (0x4000cbc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:840 (0x4000cbe8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:861 (0x4000cc60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:869 (0x4000cc8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:877 (0x4000cca4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:881 (0x4000ccb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:890 (0x4000cce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:903 (0x4000cd4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:911 (0x4000cd78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:919 (0x4000cda4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:926 (0x4000cdc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:930 (0x4000cdd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x4000cb84) Line : memfile.c:934 (0x4000cde0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:564 (0x4000ce28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:564 (0x4000ce34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:564 (0x4000ce3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:579 (0x4000ce90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:579 (0x4000ce9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:601 (0x4000cf10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:616 (0x4000cf64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x4000cdf8) Line : memfile.c:632 (0x4000cfb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x4000d0d0) Line : memfile.c:487 (0x4000d120) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x4000d0d0) Line : memfile.c:499 (0x4000d17c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x4000d0d0) Line : memfile.c:502 (0x4000d190) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:682 (0x4000d370) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:682 (0x4000d37c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:682 (0x4000d38c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:707 (0x4000d418) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:734 (0x4000d470) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x4000d360) Line : memfile.c:754 (0x4000d4c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_mount (0x40002d68) Line : imfs_mount.c:43 (0x40002d78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_print_jnode (0x400058d0) Line : imfs_debug.c:43 (0x400058f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_rename (0x40002de8) Line : imfs_rename.c:40 (0x40002e08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Discuss Explanation: I think this is either a simple test or unreachable code. We need to discuss this to figure out which. Bharath: I am not sure how to have a node's parent == NULL. ============================================ ============================================ Symbol : IMFS_stat (0x4000b45c) Line : imfs_stat.c:37 (0x4000b470) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unlink (0x40002ee4) Line : imfs_unlink.c:50 (0x40002f04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x40002fb8) Line : imfs_unmount.c:44 (0x40002fc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x40002fb8) Line : imfs_unmount.c:51 (0x40002fe4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x40002c44) Line : check.c:166 (0x40002c9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x40002c44) Line : check.c:166 (0x40002cac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x40017e4c) Line : coremsgbroadcast.c:72 (0x40017e5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x4001073c) Line : coremsg.c:76 (0x40010768) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x4001073c) Line : coremsg.c:86 (0x40010788) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x400107f8) Line : coremsgseize.c:76 (0x40010838) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x400075ac) Line : coremutexseize.c:39 (0x400075c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize_interrupt_trylock (0x4000c114) Line : coremutex.inl:203 (0x4000c20c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x400077ec) Line : coresemsurrender.c:68 (0x4000781c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400065a0) Line : eventsurrender.c:79 (0x40006600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400065a0) Line : eventsurrender.c:82 (0x40006624) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x400065a0) Line : eventsurrender.c:96 (0x40006664) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x400066e0) Line : eventtimeout.c:51 (0x400066f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000c784) Line : heap.inl:107 (0x4000c8f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x4000c784) Line : heapextend.c:239 (0x4000ca20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heap.inl:199 (0x4000c4d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heapfree.c:130 (0x4000c4f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heapfree.c:135 (0x4000c500) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heap.inl:199 (0x4000c544) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heapfree.c:153 (0x4000c558) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x4000c484) Line : heapfree.c:160 (0x4000c568) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x400135d0) Line : heap.inl:199 (0x40013624) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x400135d0) Line : heapsizeofuserarea.c:47 (0x4001363c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x400135d0) Line : heapsizeofuserarea.c:49 (0x4001364c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x40008bc8) Line : heapwalk.c:230 (0x40008d30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x40008bc8) Line : heap.inl:199 (0x40008e58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x40008bc8) Line : heapwalk.c:369 (0x40008ee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x40007e00) Line : objectallocate.c:59 (0x40007e10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008214) Line : objectgetinfo.c:43 (0x40008258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x40008214) Line : objectgetinfo.c:47 (0x40008268) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x40019a5c) Line : objectgetnoprotection.c:67 (0x40019a84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x40009af0) Line : objectidtoname.c:64 (0x40009b38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x40008370) Line : objectinitializeinformation.c:134 (0x40008428) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x4000be44) Line : tasks.c:188 (0x4000be50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x40008150) Line : ratemontimeout.c:55 (0x40008170) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x4000c698) Line : schedulerpriority.inl:143 (0x4000c7d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x40008754) Line : schedulerpriority.inl:143 (0x40008800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x40008958) Line : schedulerpriorityyield.c:69 (0x400089cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x40008958) Line : schedulerpriorityyield.c:73 (0x400089f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40007b78) Line : clocktodvalidate.c:59 (0x40007b8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40007b78) Line : clocktodvalidate.c:63 (0x40007be8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x40007b78) Line : clocktodvalidate.c:66 (0x40007c10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40008a5c) Line : threadchangepriority.c:106 (0x40008aa8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x40008a5c) Line : threadchangepriority.c:116 (0x40008ae0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x40008dc0) Line : threaddelayended.c:55 (0x40008dd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x40008e00) Line : threaddispatch.c:138 (0x40008ea4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x40008f44) Line : threadget.c:82 (0x40008fa8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x4000e028) Line : threadhandler.c:144 (0x4000e084) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40008ff0) Line : threadinitialize.c:94 (0x40009024) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x40008ff0) Line : threadinitialize.c:232 (0x40009174) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x4000d01c) Line : threadresume.c:67 (0x4000d034) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40009700) Line : threadqrequeue.c:53 (0x40009708) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40009700) Line : threadqrequeue.c:60 (0x40009718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x40009700) Line : threadqrequeue.c:66 (0x4000973c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x40009774) Line : threadqtimeout.c:49 (0x4000978c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40017230) Line : timerserver.c:119 (0x400172fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40017230) Line : timerserver.c:342 (0x40017324) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40017230) Line : timerserver.c:319 (0x40017340) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x40017230) Line : timerserver.c:387 (0x40017378) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x400173fc) Line : timerserver.c:195 (0x400174e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Greater_than (0x4000b990) Line : timespecgreaterthan.c:34 (0x4000b9ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Fatal (0x40009c3c) Line : userextthreadbegin.c:72 (0x40009c74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x40009b00) Line : userext.c:43 (0x40009b44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000bdd4) Line : watchdogadjust.c:58 (0x4000be00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x4000bdd4) Line : watchdogadjust.c:63 (0x4000be60) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x40009f24) Line : watchdogremove.c:41 (0x40009f4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x4000b604) Line : watchdogreportchain.c:37 (0x4000b650) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x40007a80) Line : _rename_r.c:54 (0x40007ad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x40007a80) Line : _rename_r.c:71 (0x40007b44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x40007a80) Line : _rename_r.c:85 (0x40007ba0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : chroot (0x400036b0) Line : chroot.c:47 (0x40003738) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_evaluate_path (0x4000a3f8) Line : devfs_eval.c:43 (0x4000a400) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_evaluate_path (0x4000a3f8) Line : devfs_eval.c:58 (0x4000a46c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x40002c40) Line : devfs_mknod.c:45 (0x40002c5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x40002c40) Line : devfs_mknod.c:45 (0x40002c6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : drainOutput (0x400042b8) Line : termios.c:346 (0x4000431c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : echo (0x4000502c) Line : termios.c:777 (0x40005038) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endgrent (0x40004518) Line : getpwent.c:436 (0x40004524) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endpwent (0x40004378) Line : getpwent.c:280 (0x40004384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:801 (0x400050e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:805 (0x400050f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:817 (0x40005134) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:818 (0x4000514c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:831 (0x400051a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:848 (0x40005210) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:853 (0x40005258) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x400050bc) Line : termios.c:855 (0x40005288) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x40003e14) Line : fcntl.c:55 (0x40003e9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x40003e14) Line : fcntl.c:59 (0x40003ebc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x40003e14) Line : fcntl.c:140 (0x40003f74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x40003e14) Line : fcntl.c:142 (0x40003f94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fdatasync (0x40003fd4) Line : fdatasync.c:31 (0x40004004) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:164 (0x4000d70c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:181 (0x4000d768) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:104 (0x4000d7c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:223 (0x4000d8ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:227 (0x4000d8c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:322 (0x4000d908) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:325 (0x4000d928) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:338 (0x4000d978) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:340 (0x4000d990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:342 (0x4000d9a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:349 (0x4000d9c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:363 (0x4000da24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:365 (0x4000da3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:367 (0x4000da4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:373 (0x4000da70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x4000d6d4) Line : fifo.c:376 (0x4000da9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fpathconf (0x40004080) Line : fpathconf.c:35 (0x400040b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free (0x400033e4) Line : free.c:34 (0x40003414) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free_user_env (0x400049fc) Line : privateenv.c:35 (0x40004a0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getdents (0x40014f94) Line : getdents.c:41 (0x40014fa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : gettimeofday (0x4000348c) Line : __gettod.c:36 (0x40003494) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_open (0x4000d930) Line : imfs_directory.c:52 (0x4000d93c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_rmnod (0x4000db6c) Line : imfs_directory.c:310 (0x4000dbb0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x40003f90) Line : getpwent.c:58 (0x40003ff4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x40003f90) Line : getpwent.c:71 (0x40004048) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:871 (0x400052e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:878 (0x40005330) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:880 (0x4000533c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:882 (0x40005358) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:886 (0x40005368) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:895 (0x400053c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:898 (0x400053dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:902 (0x40005408) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:902 (0x40005418) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:914 (0x40005464) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x400052d4) Line : termios.c:915 (0x40005474) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : libc_wrapup (0x40013074) Line : newlibc_exit.c:61 (0x40013084) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : lseek (0x40012f4c) Line : lseek.c:65 (0x4001302c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc (0x4000376c) Line : malloc.c:47 (0x400037b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_extend_and_allocate (0x40003b10) Line : malloc_sbrk_helpers.c:84 (0x40003b20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x4000d5dc) Line : memfile.c:257 (0x4000d5f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x4000d5dc) Line : memfile.c:257 (0x4000d5fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x4000d654) Line : memfile.c:219 (0x4000d678) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x4000d654) Line : memfile.c:219 (0x4000d684) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x4000d654) Line : memfile.c:219 (0x4000d694) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_open (0x4000d540) Line : memfile.c:101 (0x4000d560) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x400039c0) Line : mount.c:82 (0x40003a58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x400039c0) Line : mount.c:169 (0x40003b08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x400039c0) Line : mount.c:211 (0x40003b8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x400039c0) Line : mount.c:218 (0x40003ba8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x400039c0) Line : mount.c:254 (0x40003c48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount_and_make_target_path (0x40004140) Line : mount-mktgt.c:42 (0x4000415c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_delete_hook (0x40003e74) Line : newlibc_reent.c:143 (0x40003e90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x40003c6c) Line : newlibc_reent.c:110 (0x40003c7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x40003c6c) Line : newlibc_reent.c:114 (0x40003c8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x40003f4c) Line : open.c:126 (0x40004014) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x40003f4c) Line : open.c:138 (0x40004044) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x40003f4c) Line : open.c:171 (0x400040fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x40003f4c) Line : open.c:185 (0x40004140) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:693 (0x40004eb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:694 (0x40004ec8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:694 (0x40004eec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:696 (0x40004f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:698 (0x40004f0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:718 (0x40004f80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:732 (0x40004fb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x40004ea4) Line : termios.c:734 (0x40005000) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x4000c894) Line : pipe.c:36 (0x4000c8b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x4000c894) Line : pipe.c:64 (0x4000c95c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_ioctl (0x4000de30) Line : fifo.c:561 (0x4000de70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x4000dad8) Line : fifo.c:401 (0x4000dafc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x4000dad8) Line : fifo.c:420 (0x4000db64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x4000dad8) Line : fifo.c:426 (0x4000db74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x4000d610) Line : fifo.c:279 (0x4000d690) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x4000d610) Line : fifo.c:282 (0x4000d6a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x4000d610) Line : fifo.c:282 (0x4000d6b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:474 (0x4000dc78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:477 (0x4000dc98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:486 (0x4000dcb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:500 (0x4000dd1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:506 (0x4000dd2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x4000dc6c) Line : fifo.c:509 (0x4000dd3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : posix_memalign (0x40008758) Line : posix_memalign.c:35 (0x40008774) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x40013104) Line : read.c:30 (0x40013118) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x40013104) Line : read.c:33 (0x40013150) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readlink (0x4000682c) Line : readlink.c:35 (0x40006880) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x40005318) Line : readv.c:43 (0x40005360) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x40005318) Line : readv.c:54 (0x40005384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x40005318) Line : readv.c:107 (0x40005424) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x40005318) Line : readv.c:110 (0x4000542c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x40005318) Line : readv.c:115 (0x40005450) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x40013244) Line : realloc.c:37 (0x40013268) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x40013244) Line : realloc.c:38 (0x4001327c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x40013244) Line : realloc.c:41 (0x40013290) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x40013244) Line : realloc.c:51 (0x400132b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x40013244) Line : realloc.c:82 (0x40013344) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x400046b0) Line : rmdir.c:52 (0x40004704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x400046b0) Line : rmdir.c:79 (0x400047b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_append_with_notification (0x40007710) Line : chainappendnotify.c:39 (0x40007724) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x40007770) Line : chaingetwait.c:39 (0x40007794) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_prepend_with_notification (0x400077c0) Line : chainprependnotify.c:39 (0x400077d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x40003b1c) Line : cpuusagereport.c:61 (0x40003b24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x40003b1c) Line : cpuusagereport.c:112 (0x40003bb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x40003b1c) Line : cpuusagereport.c:116 (0x40003bd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_deviceio_errno (0x4000e140) Line : deviceerrno.c:62 (0x4000e158) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_get_mount_handler (0x4000ba10) Line : mount-mgr.c:100 (0x4000ba1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x40003144) Line : base_fs.c:51 (0x40003168) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x40003144) Line : base_fs.c:57 (0x40003194) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x40003144) Line : base_fs.c:104 (0x40003224) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_iterate (0x4000b968) Line : mount-mgr.c:59 (0x4000b9f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_mount_iterate (0x40003968) Line : mount.c:271 (0x400039a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x40003380) Line : eval.c:144 (0x40003390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x40003380) Line : eval.c:144 (0x400033a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_create (0x40003eac) Line : gxx_wrappers.c:81 (0x40003ee0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x40003f04) Line : gxx_wrappers.c:108 (0x40003f18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x40003f04) Line : gxx_wrappers.c:110 (0x40003f20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x40003e48) Line : gxx_wrappers.c:48 (0x40003e70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x40003e48) Line : gxx_wrappers.c:52 (0x40003e94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_setspecific (0x40003f9c) Line : gxx_wrappers.c:168 (0x40003fbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_heap_allocate_aligned_with_boundary (0x40008950) Line : rtems_malloc.c:37 (0x40008968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_lookup_name (0x40003064) Line : ioman.c:80 (0x400030b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x40009a3c) Line : iterateoverthreads.c:32 (0x40009a44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x40009a3c) Line : iterateoverthreads.c:48 (0x40009a88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_free (0x4000b7d8) Line : libio.c:181 (0x4000b7ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x40003518) Line : libio_init.c:55 (0x40003528) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x40003518) Line : libio_init.c:80 (0x400035b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x40003518) Line : libio_init.c:87 (0x400035d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x40004a34) Line : privateenv.c:56 (0x40004a64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x40004a34) Line : privateenv.c:60 (0x40004a84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_share_private_env (0x40004b58) Line : privateenv.c:163 (0x40004b68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x4000b6f0) Line : libio.c:103 (0x4000b6f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x4000b6f0) Line : libio.c:105 (0x4000b704) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_free (0x40007c8c) Line : malloc_statistics_helpers.c:64 (0x40007ca8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_malloc (0x40007cd0) Line : malloc_statistics_helpers.c:42 (0x40007cdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x4000fddc) Line : rtems_memalign.c:43 (0x4000fdfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x4000fddc) Line : rtems_memalign.c:43 (0x4000fe10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x4000dea0) Line : rtems_mkdir.c:135 (0x4000deb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x4000dea0) Line : rtems_mkdir.c:102 (0x4000df94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_mkdir (0x4000dea0) Line : rtems_mkdir.c:103 (0x4000dfa8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x4000dea0) Line : rtems_mkdir.c:124 (0x4000e01c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_partition_create (0x40014be4) Line : partcreate.c:66 (0x40014c08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40007cc8) Line : ratemonperiod.c:265 (0x40007d2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x40007cc8) Line : ratemonperiod.c:345 (0x40007e34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x40007e8c) Line : ratemonreportstatistics.c:52 (0x40007e94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x40016188) Line : signalsend.c:67 (0x40016218) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_begin_extension (0x40002d10) Line : check.c:202 (0x40002d1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_create_extension (0x40002ce0) Line : check.c:187 (0x40002cf0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x40002e50) Line : check.c:65 (0x40002e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x40002e50) Line : check.c:315 (0x40002e88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x40002e50) Line : check.c:327 (0x40002eb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x40002e50) Line : check.c:327 (0x40002eb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x40002de8) Line : check.c:65 (0x40002df8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x40002de8) Line : check.c:291 (0x40002e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x40002de8) Line : check.c:291 (0x40002e34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_double (0x4000d238) Line : stringto_template.h:120 (0x4000d2c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_float (0x4000d2dc) Line : stringto_template.h:120 (0x4000d35c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x4000d4ec) Line : stringto_template.h:126 (0x4000d594) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x4000d408) Line : stringto_template.h:120 (0x4000d480) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x4000d408) Line : stringto_template.h:126 (0x4000d4b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x4000d408) Line : stringto_template.h:126 (0x4000d4d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_pointer (0x4000d5ac) Line : stringto_template.h:120 (0x4000d608) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_int (0x4000d69c) Line : stringto_template.h:120 (0x4000d710) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long (0x4000d7cc) Line : stringto_template.h:120 (0x4000d840) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x4000d728) Line : stringto_template.h:120 (0x4000d798) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x4000d728) Line : stringto_template.h:120 (0x4000d7b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x4000317c) Line : imfs_load_tar.c:112 (0x400031d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Simple Test Case Explanation: Need to make sure one of the tar tests is configured with the IMFS and the other is configured with fifoIMFS. ============================================ ============================================ Symbol : rtems_tarfs_load (0x4000317c) Line : imfs_load_tar.c:120 (0x40003218) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x4000317c) Line : imfs_load_tar.c:139 (0x400032a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x4000317c) Line : imfs_load_tar.c:150 (0x400032e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x4000317c) Line : imfs_load_tar.c:169 (0x4000333c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Medium Test Case Explanation: The eval for make must fail. We will have to ask Jennifer how to make this call fail. ============================================ ============================================ Symbol : rtems_task_mode (0x4000dcf8) Line : taskmode.c:119 (0x4000de10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x4000dcf8) Line : thread.inl:342 (0x4000de44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x4000b4d8) Line : tasksetpriority.c:78 (0x4000b548) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x40005fc0) Line : termios_baud2index.c:25 (0x40006024) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x40005fc0) Line : termios_baud2index.c:25 (0x40006058) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x40005fc0) Line : termios_baud2index.c:25 (0x400060a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x40005fc0) Line : termios_baud2index.c:25 (0x400060e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x40004784) Line : termios.c:368 (0x400047a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x40004784) Line : termios.c:381 (0x40004808) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x40004784) Line : termios.c:393 (0x40004840) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x40004784) Line : termios.c:396 (0x40004858) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x40004784) Line : termios.c:399 (0x4000486c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x40005f5c) Line : termios.c:1388 (0x40005f8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x40005f5c) Line : termios.c:1397 (0x40005fb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1145 (0x400059f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1145 (0x40005a08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1159 (0x40005a60) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1171 (0x40005a90) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1178 (0x40005aa8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1180 (0x40005abc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1197 (0x40005b54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1224 (0x40005c18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1233 (0x40005c38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x4000597c) Line : termios.c:1233 (0x40005c48) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:522 (0x400049a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:526 (0x400049dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:526 (0x400049f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:526 (0x40004a30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:528 (0x40004a50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:455 (0x40004aa0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:476 (0x40004b18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:484 (0x40004b50) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:499 (0x40004bac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:561 (0x40004c50) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:570 (0x40004c74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x40004974) Line : termios.c:603 (0x40004d04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:127 (0x40004354) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:131 (0x4000437c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:171 (0x400043fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:247 (0x4000455c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:257 (0x4000458c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:269 (0x400045e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:313 (0x400046e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:322 (0x40004724) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x40004334) Line : termios.c:327 (0x40004744) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x40004d74) Line : termios.c:663 (0x40004dec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x40004d74) Line : termios.c:671 (0x40004e48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1075 (0x400055e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1085 (0x4000563c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:969 (0x400056f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:970 (0x400056fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:987 (0x40005764) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:989 (0x4000576c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:989 (0x4000577c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1019 (0x400057d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1024 (0x400057f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1031 (0x40005844) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1041 (0x40005878) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1011 (0x400058d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x400055bc) Line : termios.c:1058 (0x40005900) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x40005d00) Line : termios.c:1259 (0x40005d10) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x40005d00) Line : termios.c:1271 (0x40005d5c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x40005d00) Line : termios.c:1293 (0x40005dc0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x40005d00) Line : termios.c:1326 (0x40005e38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x40005d00) Line : termios.c:1331 (0x40005e5c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_rxdaemon (0x40005c90) Line : termios.c:1463 (0x40005cb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x40005ee8) Line : termios.c:1424 (0x40005f14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x40005ee8) Line : termios.c:1432 (0x40005f3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x400054f4) Line : termios.c:750 (0x40005518) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x400054f4) Line : termios.c:757 (0x40005564) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x40016b98) Line : timercancel.c:53 (0x40016bc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x40017080) Line : timerserverfirewhen.c:61 (0x400170a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x40007fa4) Line : error.c:119 (0x40007fc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x40007fa4) Line : error.c:123 (0x40007fec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x40007fa4) Line : error.c:145 (0x4000809c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x40003b24) Line : getpwent.c:127 (0x40003b4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Discuss Explanation: I think this is detecting whether or not the read can be fulfilled from the buffer. But I am not sure. ============================================ ============================================ Symbol : scanInt (0x40003b24) Line : getpwent.c:142 (0x40003be4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x40003b24) Line : getpwent.c:146 (0x40003c00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x40003d28) Line : getpwent.c:299 (0x40003d80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x40003d28) Line : getpwent.c:300 (0x40003d94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x40003d28) Line : getpwent.c:301 (0x40003db4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x40003d28) Line : getpwent.c:316 (0x40003dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x40003e70) Line : getpwent.c:165 (0x40003ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x40003e70) Line : getpwent.c:168 (0x40003f10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x40003e70) Line : getpwent.c:169 (0x40003f30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x40003e70) Line : getpwent.c:170 (0x40003f50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : siproc (0x400054a8) Line : termios.c:933 (0x400054b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : statvfs (0x40006af0) Line : statvfs.c:39 (0x40006b20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sync_per_thread (0x400055e4) Line : sync.c:70 (0x400055f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : tcsetattr (0x40005f68) Line : tcsetattr.c:42 (0x40005fa8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x40007320) Line : unlink.c:48 (0x40007374) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x40007320) Line : unlink.c:65 (0x400073e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x400074c8) Line : unmount.c:123 (0x400075a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x400074c8) Line : unmount.c:139 (0x400075c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : vprintk (0x40005fd8) Line : vprintk.c:125 (0x40006180) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: 0x6f is a 'o'. It looks like we do not have a printk test which uses %o. ============================================ ============================================ Symbol : write (0x40013384) Line : write.c:40 (0x400133d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:44 (0x40007694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:55 (0x400076b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:89 (0x40007708) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:89 (0x40007718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:105 (0x40007774) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:114 (0x40007794) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:117 (0x4000779c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x4000764c) Line : writev.c:122 (0x400077c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================