============================================ Symbol : IMFS_Set_handlers (0x200a31c) Line : imfs_eval.c:42 (0x200a330) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a194) Line : imfs_creat.c:44 (0x200a1a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a194) Line : imfs_creat.c:84 (0x200a290) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a418) Line : imfs_eval.c:487 (0x200a420) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a418) Line : imfs_eval.c:508 (0x200a470) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a418) Line : imfs_eval.c:585 (0x200a590) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a418) Line : imfs_eval.c:502 (0x200a5f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:305 (0x200a83c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:319 (0x200a8bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:364 (0x200a93c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:371 (0x200a964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:376 (0x200a974) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7f0) Line : imfs_eval.c:450 (0x200aa78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_permission (0x200a388) Line : imfs_eval.c:83 (0x200a390) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_lseek (0x20035c8) Line : imfs_fifo.c:126 (0x20035f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_write (0x20036a8) Line : imfs_fifo.c:91 (0x20036f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ab88) Line : imfs_getchild.c:47 (0x200aba0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ab88) Line : imfs_getchild.c:50 (0x200abb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200aac8) Line : imfs_fsunmount.c:81 (0x200ab2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200aac8) Line : imfs_fsunmount.c:86 (0x200ab48) 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 (0x200aac8) Line : imfs_fsunmount.c:91 (0x200ab68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ac04) Line : imfs_gtkn.c:42 (0x200ac3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ac04) Line : imfs_gtkn.c:42 (0x200ac4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ac04) Line : imfs_gtkn.c:68 (0x200ac90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_initialize_support (0x2002228) Line : imfs_initsupp.c:48 (0x2002250) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200ca9c) Line : memfile.c:298 (0x200cad8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200ca9c) Line : memfile.c:298 (0x200cae4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200ca9c) Line : memfile.c:304 (0x200cb08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200ca9c) Line : memfile.c:304 (0x200cb14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:833 (0x200c438) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:840 (0x200c458) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:861 (0x200c4d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:869 (0x200c4fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:877 (0x200c514) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:881 (0x200c528) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:890 (0x200c550) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:903 (0x200c5bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:911 (0x200c5e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:919 (0x200c614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:926 (0x200c630) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:930 (0x200c640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c3f4) Line : memfile.c:934 (0x200c650) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:564 (0x200c698) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:564 (0x200c6a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:564 (0x200c6ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:579 (0x200c700) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:579 (0x200c70c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:601 (0x200c780) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:616 (0x200c7d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c668) Line : memfile.c:632 (0x200c828) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200c940) Line : memfile.c:487 (0x200c990) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200c940) Line : memfile.c:499 (0x200c9ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200c940) Line : memfile.c:502 (0x200ca00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:682 (0x200cbe0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:682 (0x200cbec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:682 (0x200cbfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:707 (0x200cc88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:734 (0x200cce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cbd0) Line : memfile.c:754 (0x200cd38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_mount (0x2002470) Line : imfs_mount.c:43 (0x2002480) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_print_jnode (0x2004fd8) Line : imfs_debug.c:43 (0x2004ffc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_rename (0x20024f0) Line : imfs_rename.c:40 (0x2002510) 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 (0x200ae04) Line : imfs_stat.c:37 (0x200ae18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unlink (0x20025ec) Line : imfs_unlink.c:50 (0x200260c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026c0) Line : imfs_unmount.c:44 (0x20026d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026c0) Line : imfs_unmount.c:51 (0x20026ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002078) Line : check.c:406 (0x200209c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002078) Line : check.c:369 (0x20020e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002078) Line : check.c:423 (0x20020f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002078) Line : check.c:455 (0x20021ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x20021e8) Line : check.c:166 (0x2002240) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x20021e8) Line : check.c:166 (0x2002250) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_report_blown_task (0x20022e4) Line : check.c:247 (0x2002364) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x2017544) Line : coremsgbroadcast.c:72 (0x2017554) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fe34) Line : coremsg.c:76 (0x200fe60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fe34) Line : coremsg.c:86 (0x200fe80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x200fef0) Line : coremsgseize.c:76 (0x200ff30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x2006ca4) Line : coremutexseize.c:39 (0x2006cc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x2006ee4) Line : coresemsurrender.c:68 (0x2006f14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ca0) Line : eventsurrender.c:79 (0x2005d00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ca0) Line : eventsurrender.c:82 (0x2005d24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ca0) Line : eventsurrender.c:96 (0x2005d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x2005de0) Line : eventtimeout.c:51 (0x2005df8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200c148) Line : heap.inl:107 (0x200c2b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200c148) Line : heapextend.c:239 (0x200c3e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heap.inl:199 (0x200be9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heapfree.c:130 (0x200beb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heapfree.c:135 (0x200bec4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heap.inl:199 (0x200bf08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heapfree.c:153 (0x200bf1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200be48) Line : heapfree.c:160 (0x200bf2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x20130c8) Line : heap.inl:199 (0x201311c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x20130c8) Line : heapsizeofuserarea.c:47 (0x2013134) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x20130c8) Line : heapsizeofuserarea.c:49 (0x2013144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x20082c0) Line : heapwalk.c:230 (0x2008428) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x20082c0) Line : heap.inl:199 (0x2008550) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x20082c0) Line : heapwalk.c:369 (0x20085e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x20074f8) Line : objectallocate.c:59 (0x2007508) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007900) Line : objectgetinfo.c:43 (0x2007944) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007900) Line : objectgetinfo.c:47 (0x2007954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x2019148) Line : objectgetnoprotection.c:67 (0x2019170) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x20091dc) Line : objectidtoname.c:64 (0x2009224) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Initialize_information (0x2007a5c) Line : objectinitializeinformation.c:138 (0x2007b14) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x200b81c) Line : tasks.c:188 (0x200b828) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x2007850) Line : ratemontimeout.c:55 (0x2007870) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0x2007d70) Line : schedulerpriority.inl:143 (0x2007eac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0x2008094) Line : schedulerpriority.inl:143 (0x2008144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008278) Line : schedulerpriorityyield.c:47 (0x20082ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008278) Line : schedulerpriorityyield.c:51 (0x2008310) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007278) Line : clocktodvalidate.c:59 (0x200728c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007278) Line : clocktodvalidate.c:63 (0x20072e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007278) Line : clocktodvalidate.c:66 (0x2007310) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x200837c) Line : threadchangepriority.c:62 (0x20083c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x200837c) Line : threadchangepriority.c:72 (0x2008400) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x200867c) Line : threaddelayended.c:55 (0x2008694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x20086bc) Line : threaddispatch.c:138 (0x2008764) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Get (0x200883c) Line : threadget.c:82 (0x20088a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x200d8c0) Line : threadhandler.c:144 (0x200d954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x20088e8) Line : threadinitialize.c:93 (0x200891c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x200c6a4) Line : threadresume.c:51 (0x200c6bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008fe8) Line : threadqrequeue.c:53 (0x2008ff0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008fe8) Line : threadqrequeue.c:60 (0x2009000) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008fe8) Line : threadqrequeue.c:66 (0x2009024) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x200905c) Line : threadqtimeout.c:49 (0x2009074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201692c) Line : timerserver.c:119 (0x20169f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201692c) Line : timerserver.c:342 (0x2016a20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201692c) Line : timerserver.c:319 (0x2016a3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201692c) Line : timerserver.c:387 (0x2016a74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x2016af8) Line : timerserver.c:195 (0x2016be0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Greater_than (0x200b224) Line : timespecgreaterthan.c:34 (0x200b240) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x2009398) Line : userext.c:43 (0x20093dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b664) Line : watchdogadjust.c:58 (0x200b690) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b664) Line : watchdogadjust.c:63 (0x200b6f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x20097bc) Line : watchdogremove.c:41 (0x20097e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x200ae94) Line : watchdogreportchain.c:37 (0x200aee0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007140) Line : _rename_r.c:54 (0x2007190) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007140) Line : _rename_r.c:71 (0x2007204) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007140) Line : _rename_r.c:85 (0x2007260) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : chroot (0x2002c0c) Line : chroot.c:47 (0x2002c94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_evaluate_path (0x2009da0) Line : devfs_eval.c:43 (0x2009da8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002348) Line : devfs_mknod.c:45 (0x2002364) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002348) Line : devfs_mknod.c:45 (0x2002374) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : drainOutput (0x2003978) Line : termios.c:351 (0x20039b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : echo (0x20046ec) Line : termios.c:777 (0x20046f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endgrent (0x2003bd8) Line : getpwent.c:436 (0x2003be4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endpwent (0x2003a38) Line : getpwent.c:280 (0x2003a44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:801 (0x20047a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:805 (0x20047b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:817 (0x20047f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:818 (0x200480c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:831 (0x2004860) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:848 (0x20048d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:853 (0x2004918) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x200477c) Line : termios.c:855 (0x2004948) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034d4) Line : fcntl.c:55 (0x200355c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034d4) Line : fcntl.c:59 (0x200357c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034d4) Line : fcntl.c:140 (0x2003634) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034d4) Line : fcntl.c:142 (0x2003654) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:164 (0x200cfd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:181 (0x200d034) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:104 (0x200d090) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:223 (0x200d178) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:227 (0x200d190) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:322 (0x200d1d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:325 (0x200d1f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:338 (0x200d244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:340 (0x200d25c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:342 (0x200d26c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:349 (0x200d290) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:363 (0x200d2f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:365 (0x200d308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:367 (0x200d318) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:373 (0x200d33c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfa0) Line : fifo.c:376 (0x200d368) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fpathconf (0x2003740) Line : fpathconf.c:35 (0x2003770) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free (0x2002aa4) Line : free.c:34 (0x2002ad4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free_user_env (0x2003f58) Line : privateenv.c:35 (0x2003f68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getdents (0x20145f0) Line : getdents.c:41 (0x2014600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : gettimeofday (0x2002b4c) Line : __gettod.c:36 (0x2002b54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_open (0x200d1a0) Line : imfs_directory.c:52 (0x200d1ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_rmnod (0x200d3dc) Line : imfs_directory.c:310 (0x200d420) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x2003650) Line : getpwent.c:58 (0x20036b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x2003650) Line : getpwent.c:71 (0x2003708) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:871 (0x20049a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:878 (0x20049f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:880 (0x20049fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:882 (0x2004a18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:886 (0x2004a28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:895 (0x2004a84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:898 (0x2004a9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:902 (0x2004ac8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:902 (0x2004ad8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:914 (0x2004b24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004994) Line : termios.c:915 (0x2004b34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : libc_wrapup (0x2012b6c) Line : newlibc_exit.c:61 (0x2012b7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : lseek (0x2012a44) Line : lseek.c:65 (0x2012b24) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc (0x2002e2c) Line : malloc.c:47 (0x2002e78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_extend_and_allocate (0x20031d0) Line : malloc_sbrk_helpers.c:84 (0x20031e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200ce4c) Line : memfile.c:257 (0x200ce60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200ce4c) Line : memfile.c:257 (0x200ce6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cec4) Line : memfile.c:219 (0x200cee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cec4) Line : memfile.c:219 (0x200cef4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cec4) Line : memfile.c:219 (0x200cf04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_open (0x200cdb0) Line : memfile.c:101 (0x200cdd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003080) Line : mount.c:82 (0x2003118) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003080) Line : mount.c:169 (0x20031c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003080) Line : mount.c:211 (0x200324c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003080) Line : mount.c:218 (0x2003268) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003080) Line : mount.c:254 (0x2003308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount_and_make_target_path (0x200369c) Line : mount-mktgt.c:42 (0x20036b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_delete_hook (0x2003534) Line : newlibc_reent.c:143 (0x2003550) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x200332c) Line : newlibc_reent.c:110 (0x200333c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x200332c) Line : newlibc_reent.c:114 (0x200334c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x200360c) Line : open.c:126 (0x20036d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x200360c) Line : open.c:138 (0x2003704) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x200360c) Line : open.c:171 (0x20037bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x200360c) Line : open.c:185 (0x2003800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:693 (0x2004570) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:694 (0x2004588) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:694 (0x20045ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:696 (0x20045c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:698 (0x20045cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:718 (0x2004640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:732 (0x2004678) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004564) Line : termios.c:734 (0x20046c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200c23c) Line : pipe.c:36 (0x200c258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200c23c) Line : pipe.c:64 (0x200c304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_ioctl (0x200d6fc) Line : fifo.c:561 (0x200d73c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d3a4) Line : fifo.c:401 (0x200d3c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d3a4) Line : fifo.c:420 (0x200d430) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d3a4) Line : fifo.c:426 (0x200d440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cedc) Line : fifo.c:279 (0x200cf5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cedc) Line : fifo.c:282 (0x200cf6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cedc) Line : fifo.c:282 (0x200cf7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:474 (0x200d544) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:477 (0x200d564) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:486 (0x200d584) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:500 (0x200d5e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:506 (0x200d5f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d538) Line : fifo.c:509 (0x200d608) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : posix_memalign (0x2007178) Line : posix_memalign.c:35 (0x2007194) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x2012bfc) Line : read.c:30 (0x2012c10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x2012bfc) Line : read.c:33 (0x2012c48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readlink (0x2005eec) Line : readlink.c:35 (0x2005f40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20049d8) Line : readv.c:43 (0x2004a20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20049d8) Line : readv.c:54 (0x2004a44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20049d8) Line : readv.c:107 (0x2004ae4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20049d8) Line : readv.c:110 (0x2004aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20049d8) Line : readv.c:115 (0x2004b10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2012d3c) Line : realloc.c:37 (0x2012d60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2012d3c) Line : realloc.c:38 (0x2012d74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2012d3c) Line : realloc.c:41 (0x2012d88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2012d3c) Line : realloc.c:51 (0x2012da8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2012d3c) Line : realloc.c:82 (0x2012e3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003d70) Line : rmdir.c:52 (0x2003dc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003d70) Line : rmdir.c:79 (0x2003e70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_append_with_notification (0x2006e0c) Line : chainappendnotify.c:39 (0x2006e20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x2006e6c) Line : chaingetwait.c:39 (0x2006e90) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_prepend_with_notification (0x2006ebc) Line : chainprependnotify.c:39 (0x2006ed0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003224) Line : cpuusagereport.c:61 (0x200322c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003224) Line : cpuusagereport.c:112 (0x20032c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003224) Line : cpuusagereport.c:116 (0x20032dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_deviceio_errno (0x200da10) Line : deviceerrno.c:62 (0x200da28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_get_mount_handler (0x200b3b8) Line : mount-mgr.c:100 (0x200b3c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x2002804) Line : base_fs.c:51 (0x2002828) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x2002804) Line : base_fs.c:57 (0x2002854) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x2002804) Line : base_fs.c:104 (0x20028e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_iterate (0x200b310) Line : mount-mgr.c:59 (0x200b398) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_mount_iterate (0x2003028) Line : mount.c:271 (0x2003068) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002a40) Line : eval.c:144 (0x2002a50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002a40) Line : eval.c:144 (0x2002a64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_create (0x200356c) Line : gxx_wrappers.c:81 (0x20035a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x20035c4) Line : gxx_wrappers.c:108 (0x20035d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x20035c4) Line : gxx_wrappers.c:110 (0x20035e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x2003508) Line : gxx_wrappers.c:48 (0x2003530) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x2003508) Line : gxx_wrappers.c:52 (0x2003554) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_setspecific (0x200365c) Line : gxx_wrappers.c:168 (0x200367c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_heap_allocate_aligned_with_boundary (0x2007370) Line : rtems_malloc.c:37 (0x2007388) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_lookup_name (0x200276c) Line : ioman.c:80 (0x20027bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x2009134) Line : iterateoverthreads.c:32 (0x200913c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_free (0x200b180) Line : libio.c:181 (0x200b194) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002bd8) Line : libio_init.c:55 (0x2002be8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002bd8) Line : libio_init.c:80 (0x2002c78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002bd8) Line : libio_init.c:87 (0x2002c90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003f90) Line : privateenv.c:56 (0x2003fc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003f90) Line : privateenv.c:60 (0x2003fe0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_share_private_env (0x20040b4) Line : privateenv.c:163 (0x20040c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b098) Line : libio.c:103 (0x200b0a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b098) Line : libio.c:105 (0x200b0ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_free (0x20066ac) Line : malloc_statistics_helpers.c:64 (0x20066c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_malloc (0x20066f0) Line : malloc_statistics_helpers.c:42 (0x20066fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200f40c) Line : rtems_memalign.c:43 (0x200f42c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200f40c) Line : rtems_memalign.c:43 (0x200f440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d848) Line : rtems_mkdir.c:135 (0x200d85c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d848) Line : rtems_mkdir.c:102 (0x200d93c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_mkdir (0x200d848) Line : rtems_mkdir.c:103 (0x200d950) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d848) Line : rtems_mkdir.c:124 (0x200d9c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_partition_create (0x20142e4) Line : partcreate.c:66 (0x2014308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x20073c8) Line : ratemonperiod.c:265 (0x200742c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x20073c8) Line : ratemonperiod.c:345 (0x2007534) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x200758c) Line : ratemonreportstatistics.c:52 (0x2007594) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x2015888) Line : signalsend.c:67 (0x2015918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_begin_extension (0x20022b4) Line : check.c:202 (0x20022c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_create_extension (0x2002284) Line : check.c:187 (0x2002294) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20023f4) Line : check.c:65 (0x2002408) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20023f4) Line : check.c:315 (0x200242c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20023f4) Line : check.c:327 (0x2002454) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20023f4) Line : check.c:327 (0x200245c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_report_usage_with_plugin (0x200247c) Line : check.c:489 (0x2002484) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x200238c) Line : check.c:65 (0x200239c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x200238c) Line : check.c:291 (0x20023d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_int (0x200c590) Line : stringtoint.c:52 (0x200c60c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200c714) Line : stringtolong.c:52 (0x200c798) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200c714) Line : stringtolong.c:53 (0x200c7a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c640) Line : stringtolonglong.c:61 (0x200c6dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c640) Line : stringtolonglong.c:62 (0x200c6e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c640) Line : stringtolonglong.c:62 (0x200c6f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200c7d8) Line : stringtounsignedchar.c:52 (0x200c840) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200c7d8) Line : stringtounsignedchar.c:57 (0x200c85c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_int (0x200c888) Line : stringtounsignedint.c:52 (0x200c900) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long (0x200c9c0) Line : stringtounsignedlong.c:52 (0x200ca38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c918) Line : stringtounsignedlonglong.c:57 (0x200c99c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c918) Line : stringtounsignedlonglong.c:57 (0x200c9a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002720) Line : imfs_load_tar.c:112 (0x2002774) 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 (0x2002720) Line : imfs_load_tar.c:120 (0x20027bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002720) Line : imfs_load_tar.c:139 (0x200284c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002720) Line : imfs_load_tar.c:150 (0x2002884) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002720) Line : imfs_load_tar.c:169 (0x20028e0) 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 (0x200d590) Line : taskmode.c:119 (0x200d6a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x200d590) Line : thread.inl:342 (0x200d6dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x200abd8) Line : tasksetpriority.c:78 (0x200ac48) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005680) Line : termios_baud2index.c:25 (0x20056e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005680) Line : termios_baud2index.c:25 (0x2005718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005680) Line : termios_baud2index.c:25 (0x2005764) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005680) Line : termios_baud2index.c:25 (0x20057a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e44) Line : termios.c:368 (0x2003e68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e44) Line : termios.c:381 (0x2003ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e44) Line : termios.c:393 (0x2003f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e44) Line : termios.c:396 (0x2003f18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e44) Line : termios.c:399 (0x2003f2c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200561c) Line : termios.c:1388 (0x200564c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200561c) Line : termios.c:1397 (0x2005674) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1145 (0x20050b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1145 (0x20050c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1159 (0x2005120) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1171 (0x2005150) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1178 (0x2005168) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1180 (0x200517c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1197 (0x2005214) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1224 (0x20052d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1233 (0x20052f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200503c) Line : termios.c:1233 (0x2005308) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:522 (0x2004060) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:526 (0x200409c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:526 (0x20040b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:526 (0x20040f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:528 (0x2004110) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:461 (0x200417c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:476 (0x20041e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:484 (0x2004210) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:499 (0x200426c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:561 (0x2004310) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:570 (0x2004334) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004034) Line : termios.c:603 (0x20043c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:127 (0x2003a14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:131 (0x2003a3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:171 (0x2003abc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:247 (0x2003c1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:257 (0x2003c4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:322 (0x2003de4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x20039f4) Line : termios.c:327 (0x2003e04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004434) Line : termios.c:663 (0x20044ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004434) Line : termios.c:671 (0x2004508) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1075 (0x2004ca8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1085 (0x2004cfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:969 (0x2004db0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:970 (0x2004dbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:987 (0x2004e24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:989 (0x2004e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:989 (0x2004e3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1019 (0x2004e98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1024 (0x2004eb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1031 (0x2004f04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1041 (0x2004f38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1011 (0x2004f98) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004c7c) Line : termios.c:1058 (0x2004fc0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x20053c0) Line : termios.c:1259 (0x20053d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x20053c0) Line : termios.c:1271 (0x200541c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x20053c0) Line : termios.c:1293 (0x2005480) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x20053c0) Line : termios.c:1326 (0x20054f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x20053c0) Line : termios.c:1331 (0x200551c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_rxdaemon (0x2005350) Line : termios.c:1463 (0x2005378) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20055a8) Line : termios.c:1424 (0x20055d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20055a8) Line : termios.c:1432 (0x20055fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004bb4) Line : termios.c:750 (0x2004bd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004bb4) Line : termios.c:757 (0x2004c24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x2016294) Line : timercancel.c:53 (0x20162c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x201677c) Line : timerserverfirewhen.c:61 (0x20167a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007664) Line : error.c:119 (0x2007688) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007664) Line : error.c:123 (0x20076ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007664) Line : error.c:145 (0x200775c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x20031e4) Line : getpwent.c:127 (0x200320c) 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 (0x20031e4) Line : getpwent.c:142 (0x20032a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x20031e4) Line : getpwent.c:146 (0x20032c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20033e8) Line : getpwent.c:299 (0x2003440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20033e8) Line : getpwent.c:300 (0x2003454) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20033e8) Line : getpwent.c:301 (0x2003474) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20033e8) Line : getpwent.c:316 (0x20034bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003530) Line : getpwent.c:165 (0x2003588) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003530) Line : getpwent.c:168 (0x20035d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003530) Line : getpwent.c:169 (0x20035f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003530) Line : getpwent.c:170 (0x2003610) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : siproc (0x2004b68) Line : termios.c:933 (0x2004b74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : statvfs (0x20061b0) Line : statvfs.c:39 (0x20061e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sync_per_thread (0x2004ca4) Line : sync.c:70 (0x2004cb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : tcsetattr (0x2005628) Line : tcsetattr.c:42 (0x2005668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x20068bc) Line : unlink.c:48 (0x2006910) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x20068bc) Line : unlink.c:65 (0x200697c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2006a64) Line : unmount.c:123 (0x2006b40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2006a64) Line : unmount.c:139 (0x2006b5c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : write (0x2012e7c) Line : write.c:40 (0x2012ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:44 (0x2006d94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:55 (0x2006db8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:89 (0x2006e08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:89 (0x2006e18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:105 (0x2006e74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:114 (0x2006e94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:117 (0x2006e9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d4c) Line : writev.c:122 (0x2006ec0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================