============================================ Symbol : IMFS_Set_handlers (0x200a330) Line : imfs_eval.c:42 (0x200a344) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a148) Line : imfs_creat.c:44 (0x200a158) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a148) Line : imfs_creat.c:84 (0x200a244) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a42c) Line : imfs_eval.c:500 (0x200a43c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a42c) Line : imfs_eval.c:521 (0x200a49c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a42c) Line : imfs_eval.c:597 (0x200a5b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a42c) Line : imfs_eval.c:515 (0x200a694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a42c) Line : imfs_eval.c:668 (0x200a6bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:320 (0x200a8d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:334 (0x200a954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:378 (0x200a9f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:385 (0x200aa18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:390 (0x200aa28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:416 (0x200aa9c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a87c) Line : imfs_eval.c:465 (0x200ab7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_permission (0x200a39c) Line : imfs_eval.c:83 (0x200a3a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_lseek (0x20034c0) Line : imfs_fifo.c:126 (0x20034e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_write (0x2003510) Line : imfs_fifo.c:91 (0x2003558) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ac88) Line : imfs_getchild.c:47 (0x200aca0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ac88) Line : imfs_getchild.c:50 (0x200acb8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200abcc) Line : imfs_fsunmount.c:81 (0x200ac30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200abcc) Line : imfs_fsunmount.c:86 (0x200ac4c) 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 (0x200abcc) Line : imfs_fsunmount.c:91 (0x200ac68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ad04) Line : imfs_gtkn.c:42 (0x200ad3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ad04) Line : imfs_gtkn.c:68 (0x200ad88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_initialize_support (0x2002270) Line : imfs_initsupp.c:48 (0x2002298) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cbdc) Line : memfile.c:298 (0x200cc18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cbdc) Line : memfile.c:298 (0x200cc24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cbdc) Line : memfile.c:304 (0x200cc48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cbdc) Line : memfile.c:304 (0x200cc54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:833 (0x200c578) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:840 (0x200c598) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:861 (0x200c610) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:869 (0x200c63c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:877 (0x200c654) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:881 (0x200c668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:890 (0x200c690) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:903 (0x200c6fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:911 (0x200c728) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:919 (0x200c754) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:926 (0x200c770) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:930 (0x200c780) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c534) Line : memfile.c:934 (0x200c790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:564 (0x200c7d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:564 (0x200c7e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:564 (0x200c7ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:579 (0x200c840) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:579 (0x200c84c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:601 (0x200c8c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:616 (0x200c914) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c7a8) Line : memfile.c:632 (0x200c968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200ca7c) Line : memfile.c:487 (0x200cad0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200ca7c) Line : memfile.c:499 (0x200cb2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200ca7c) Line : memfile.c:502 (0x200cb40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:682 (0x200cd20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:682 (0x200cd2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:682 (0x200cd3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:707 (0x200cdc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:734 (0x200ce1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cd10) Line : memfile.c:754 (0x200ce70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_mount (0x20024b4) Line : imfs_mount.c:43 (0x20024c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_print_jnode (0x2004e2c) Line : imfs_debug.c:43 (0x2004e50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_rename (0x2002534) Line : imfs_rename.c:40 (0x2002554) 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_skip_separator (0x200a2d0) Line : imfs_eval.c:270 (0x200a320) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_stat (0x200aef4) Line : imfs_stat.c:37 (0x200af08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unlink (0x200262c) Line : imfs_unlink.c:50 (0x200264c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026fc) Line : imfs_unmount.c:44 (0x200270c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026fc) Line : imfs_unmount.c:51 (0x2002728) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e50) Line : check.c:406 (0x2001e74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e50) Line : check.c:369 (0x2001ebc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e50) Line : check.c:455 (0x2001f80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x2001fb4) Line : check.c:166 (0x200200c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x2001fb4) Line : check.c:166 (0x200201c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_report_blown_task (0x20020b0) Line : check.c:247 (0x2002130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fb70) Line : coremsg.c:76 (0x200fb98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fb70) Line : coremsg.c:86 (0x200fbb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x2006f84) Line : coremutexseize.c:39 (0x2007048) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x20071cc) Line : coresemsurrender.c:68 (0x20071fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005f80) Line : eventsurrender.c:79 (0x2005fe0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005f80) Line : eventsurrender.c:82 (0x2006004) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005f80) Line : eventsurrender.c:96 (0x2006044) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x20060b8) Line : eventtimeout.c:51 (0x20060d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200bd98) Line : heapextend.c:239 (0x200c02c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heap.inl:199 (0x200bfec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heapfree.c:139 (0x200c004) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heapfree.c:145 (0x200c014) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heap.inl:199 (0x200c058) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heapfree.c:162 (0x200c06c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200bf90) Line : heapfree.c:169 (0x200c07c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2018774) Line : heap.inl:199 (0x20187c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2018774) Line : heapsizeofuserarea.c:47 (0x20187dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2018774) Line : heapsizeofuserarea.c:49 (0x20187ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x200805c) Line : heap.inl:199 (0x20082ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x200805c) Line : heapwalk.c:369 (0x200837c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x20077f0) Line : objectallocate.c:59 (0x2007800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007bfc) Line : objectgetinfo.c:43 (0x2007c38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007bfc) Line : objectgetinfo.c:47 (0x2007c48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x200902c) Line : objectidtoname.c:64 (0x2009074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0x20086c4) Line : rbtreeextract.c:140 (0x2008750) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0x20086c4) Line : rbtree.inl:202 (0x2008874) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0x20084cc) Line : rbtree.inl:202 (0x20084f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0x20084cc) Line : rbtreeextract.c:57 (0x2008548) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find (0x2008924) Line : rbtree.inl:324 (0x2008958) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0x20088d4) Line : rbtree.inl:307 (0x20088e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0x20088d4) Line : rbtree.inl:308 (0x20088f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_unprotected (0x2008b0c) Line : rbtreeinsert.c:85 (0x2008b1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x2008450) Line : rbtree.inl:422 (0x2008454) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x2008450) Line : rbtree.inl:423 (0x2008470) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x200840c) Line : rbtree.inl:273 (0x2008410) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x200840c) Line : rbtree.inl:274 (0x2008420) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Validate_insert_unprotected (0x2008a28) Line : rbtree.inl:260 (0x2008a38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x200b97c) Line : tasks.c:188 (0x200b988) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x2007624) Line : ratemontimeout.c:55 (0x2007644) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008548) Line : schedulerpriorityyield.c:47 (0x20085c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008548) Line : schedulerpriorityyield.c:51 (0x20085e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20070a8) Line : clocktodvalidate.c:59 (0x20070b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20070a8) Line : clocktodvalidate.c:63 (0x2007114) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x20070a8) Line : clocktodvalidate.c:66 (0x200713c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2008648) Line : threadchangepriority.c:62 (0x2008694) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2008648) Line : threadchangepriority.c:72 (0x20086cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x200894c) Line : threaddelayended.c:55 (0x2008964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x2008990) Line : threaddispatch.c:105 (0x2008a30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x200d9c0) Line : threadhandler.c:144 (0x200da54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x2008bb4) Line : threadinitialize.c:93 (0x2008be8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x2009020) Line : threadqenqueuepriority.c:106 (0x20090cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Enqueue_priority (0x2009020) Line : threadqenqueuepriority.c:153 (0x2009160) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009284) Line : threadqrequeue.c:53 (0x200928c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009284) Line : threadqrequeue.c:60 (0x200929c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009284) Line : threadqrequeue.c:66 (0x20092c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x20092f8) Line : threadqtimeout.c:49 (0x2009310) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2016d3c) Line : timerserver.c:119 (0x2016e08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2016d3c) Line : timerserver.c:339 (0x2016e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x2016f00) Line : timerserver.c:195 (0x2016fe8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x2009624) Line : userext.c:43 (0x2009668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b384) Line : watchdogadjust.c:58 (0x200b3b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b384) Line : watchdogadjust.c:63 (0x200b410) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x2009a3c) Line : watchdogremove.c:41 (0x2009a64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x200ab8c) Line : watchdogreportchain.c:37 (0x200abdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007254) Line : _rename_r.c:54 (0x20072a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007254) Line : _rename_r.c:71 (0x200730c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007254) Line : _rename_r.c:85 (0x2007368) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : chroot (0x20029c8) Line : chroot.c:47 (0x2002a4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_evaluate_path (0x2009f54) Line : devfs_eval.c:43 (0x2009f5c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002d68) Line : devfs_mknod.c:45 (0x2002d84) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002d68) Line : devfs_mknod.c:45 (0x2002d94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : drainOutput.part.0 (0x2003ca8) Line : termios.c:346 (0x2003cfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : echo (0x2004a10) Line : termios.c:777 (0x2004a1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endgrent (0x2003988) Line : getpwent.c:436 (0x2003994) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endpwent (0x20037f4) Line : getpwent.c:280 (0x2003800) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:801 (0x2004ab8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:805 (0x2004acc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:817 (0x2004b08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:818 (0x2004b20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:831 (0x2004b74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:848 (0x2004be4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:853 (0x2004c2c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004a90) Line : termios.c:855 (0x2004c5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x2003274) Line : fcntl.c:55 (0x20032fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x2003274) Line : fcntl.c:59 (0x200331c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x2003274) Line : fcntl.c:140 (0x20033d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x2003274) Line : fcntl.c:142 (0x20033f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:164 (0x200ca54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:181 (0x200cab4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:104 (0x200cafc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:227 (0x200cbfc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:322 (0x200cc4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:325 (0x200cc6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:338 (0x200ccbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:340 (0x200ccd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:342 (0x200cce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:349 (0x200cd08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:363 (0x200cd68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:365 (0x200cd80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:367 (0x200cd90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:373 (0x200cdb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca1c) Line : fifo.c:376 (0x200cde0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fpathconf (0x20034dc) Line : fpathconf.c:35 (0x200350c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free (0x2002d34) Line : free.c:34 (0x2002d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free_user_env (0x2003d20) Line : privateenv.c:35 (0x2003d30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getdents (0x201402c) Line : getdents.c:41 (0x201403c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : gettimeofday (0x2002ddc) Line : __gettod.c:36 (0x2002de4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_open (0x200d2a4) Line : imfs_directory.c:52 (0x200d2b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_rmnod (0x200d4d0) Line : imfs_directory.c:310 (0x200d514) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x2003418) Line : getpwent.c:58 (0x200347c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x2003418) Line : getpwent.c:71 (0x20034d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:871 (0x2004cb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:878 (0x2004cfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:880 (0x2004d08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:882 (0x2004d24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:886 (0x2004d34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:895 (0x2004d8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:898 (0x2004da4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:902 (0x2004dd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:902 (0x2004de0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:914 (0x2004e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004ca8) Line : termios.c:915 (0x2004e3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : libc_wrapup (0x20035cc) Line : newlibc_exit.c:61 (0x20035dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : lseek (0x20181e0) Line : lseek.c:65 (0x20182bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc (0x20030a8) Line : malloc.c:47 (0x20030f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_extend_and_allocate (0x20030ac) Line : malloc_sbrk_helpers.c:84 (0x20030bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200cf78) Line : memfile.c:257 (0x200cf8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200cf78) Line : memfile.c:257 (0x200cf98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cfe8) Line : memfile.c:219 (0x200d00c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cfe8) Line : memfile.c:219 (0x200d018) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200cfe8) Line : memfile.c:219 (0x200d028) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_open (0x200cedc) Line : memfile.c:101 (0x200cefc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003320) Line : mount.c:82 (0x20033b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003320) Line : mount.c:169 (0x2003468) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003320) Line : mount.c:211 (0x20034f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003320) Line : mount.c:218 (0x2003514) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003320) Line : mount.c:254 (0x20035b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount_and_make_target_path (0x2003454) Line : mount-mktgt.c:42 (0x2003470) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_delete_hook (0x2003870) Line : newlibc_reent.c:143 (0x200388c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x2003664) Line : newlibc_reent.c:110 (0x2003674) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x2003664) Line : newlibc_reent.c:114 (0x2003684) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003948) Line : open.c:126 (0x2003a0c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003948) Line : open.c:138 (0x2003a4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003948) Line : open.c:171 (0x2003b00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003948) Line : open.c:185 (0x2003b44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:693 (0x2004894) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:694 (0x20048ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:694 (0x20048d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:696 (0x20048e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:698 (0x20048f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:718 (0x2004968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:732 (0x200499c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x2004888) Line : termios.c:734 (0x20049e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200bd50) Line : pipe.c:36 (0x200bd6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200bd50) Line : pipe.c:64 (0x200be0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_ioctl (0x200d160) Line : fifo.c:561 (0x200d1a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce1c) Line : fifo.c:401 (0x200ce3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce1c) Line : fifo.c:420 (0x200cea8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce1c) Line : fifo.c:426 (0x200ceb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c954) Line : fifo.c:279 (0x200c9d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c954) Line : fifo.c:282 (0x200c9e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c954) Line : fifo.c:282 (0x200c9f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:474 (0x200cfb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:477 (0x200cfd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:486 (0x200cff4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:500 (0x200d054) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:506 (0x200d064) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200cfa8) Line : fifo.c:509 (0x200d074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : posix_memalign (0x2007140) Line : posix_memalign.c:35 (0x200715c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x20182fc) Line : read.c:30 (0x2018310) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x20182fc) Line : read.c:33 (0x2018348) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readlink (0x2005d30) Line : readlink.c:35 (0x2005d80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x200478c) Line : readv.c:43 (0x20047d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x200478c) Line : readv.c:54 (0x20047f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x200478c) Line : readv.c:107 (0x20048a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x200478c) Line : readv.c:110 (0x20048a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x200478c) Line : readv.c:115 (0x20048cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183f4) Line : realloc.c:37 (0x2018418) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183f4) Line : thread.inl:40 (0x201842c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183f4) Line : realloc.c:41 (0x2018440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183f4) Line : realloc.c:51 (0x201845c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183f4) Line : realloc.c:82 (0x20184f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003b58) Line : rmdir.c:52 (0x2003bac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003b58) Line : rmdir.c:79 (0x2003c4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x2006cb4) Line : chaingetwait.c:39 (0x2006cd4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x20030ac) Line : cpuusagereport.c:61 (0x20030b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x20030ac) Line : cpuusagereport.c:111 (0x2003120) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x20030ac) Line : cpuusagereport.c:115 (0x200313c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_deviceio_errno (0x200db0c) Line : deviceerrno.c:65 (0x200db24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_get_mount_handler (0x200b518) Line : mount-mgr.c:100 (0x200b524) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x200283c) Line : base_fs.c:51 (0x2002860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x200283c) Line : base_fs.c:57 (0x200288c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x200283c) Line : base_fs.c:104 (0x2002918) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_iterate (0x200b474) Line : mount-mgr.c:59 (0x200b500) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_mount_iterate (0x20032c4) Line : mount.c:271 (0x2003300) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002cd0) Line : eval.c:144 (0x2002ce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002cd0) Line : eval.c:144 (0x2002cf4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_create (0x20032e8) Line : gxx_wrappers.c:81 (0x200331c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x2003340) Line : gxx_wrappers.c:108 (0x2003354) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x2003340) Line : gxx_wrappers.c:110 (0x200335c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x2003284) Line : gxx_wrappers.c:48 (0x20032ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x2003284) Line : gxx_wrappers.c:52 (0x20032d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_setspecific (0x20033d8) Line : gxx_wrappers.c:168 (0x20033f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_heap_allocate_aligned_with_boundary (0x2007328) Line : rtems_malloc.c:37 (0x2007340) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_lookup_name (0x20027a8) Line : ioman.c:80 (0x20027f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x2008f40) Line : iterateoverthreads.c:32 (0x2008f48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_free (0x200b2f0) Line : libio.c:181 (0x200b304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002e60) Line : libio_init.c:55 (0x2002e70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002e60) Line : libio_init.c:80 (0x2002ef8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002e60) Line : libio_init.c:87 (0x2002f10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003d58) Line : privateenv.c:56 (0x2003d88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003d58) Line : privateenv.c:60 (0x2003da8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_share_private_env (0x2003e7c) Line : privateenv.c:163 (0x2003e8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b208) Line : libio.c:103 (0x200b210) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b208) Line : libio.c:105 (0x200b21c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_free (0x2006648) Line : malloc_statistics_helpers.c:64 (0x2006664) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_malloc (0x200668c) Line : malloc_statistics_helpers.c:42 (0x2006698) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200ed30) Line : rtems_memalign.c:43 (0x200ed50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200ed30) Line : rtems_memalign.c:43 (0x200ed64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d2e0) Line : rtems_mkdir.c:135 (0x200d2f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d2e0) Line : rtems_mkdir.c:102 (0x200d3d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_mkdir (0x200d2e0) Line : rtems_mkdir.c:103 (0x200d3e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x201471c) Line : partcreate.c:66 (0x201473c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x20071b4) Line : ratemonperiod.c:265 (0x2007218) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x20071b4) Line : ratemonperiod.c:345 (0x200731c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x2007374) Line : ratemonreportstatistics.c:52 (0x200737c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x2015c8c) Line : signalsend.c:67 (0x2015d1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_begin_extension (0x2002080) Line : check.c:202 (0x200208c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_create_extension (0x2002050) Line : check.c:187 (0x2002060) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021bc) Line : check.c:65 (0x20021d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021bc) Line : check.c:315 (0x20021f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021bc) Line : check.c:327 (0x200221c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021bc) Line : check.c:327 (0x2002224) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_report_usage_with_plugin (0x2002244) Line : check.c:489 (0x200224c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002158) Line : check.c:65 (0x2002168) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002158) Line : check.c:291 (0x200219c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_int (0x200bd1c) Line : stringtoint.c:52 (0x200bd94) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200be90) Line : stringtolong.c:52 (0x200bf14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200be90) Line : stringtolong.c:53 (0x200bf20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200bdc4) Line : stringtolonglong.c:61 (0x200be5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200bdc4) Line : stringtolonglong.c:62 (0x200be6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200bdc4) Line : stringtolonglong.c:62 (0x200be78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200bf48) Line : stringtounsignedchar.c:52 (0x200bfac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200bf48) Line : stringtounsignedchar.c:57 (0x200bfc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_int (0x200bff4) Line : stringtounsignedint.c:52 (0x200c068) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long (0x200c11c) Line : stringtounsignedlong.c:52 (0x200c190) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c080) Line : stringtounsignedlonglong.c:57 (0x200c0fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c080) Line : stringtounsignedlonglong.c:57 (0x200c104) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024f4) Line : imfs_load_tar.c:112 (0x2002544) Size in Bytes : 4 Reason : NEVER 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 (0x20024f4) Line : imfs_load_tar.c:120 (0x2002578) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024f4) Line : imfs_load_tar.c:139 (0x20025ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024f4) Line : imfs_load_tar.c:150 (0x2002620) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024f4) Line : imfs_load_tar.c:169 (0x200267c) 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 (0x200d690) Line : thread.inl:352 (0x200d7dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x200a9b4) Line : tasksetpriority.c:78 (0x200aa24) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005414) Line : termios_baud2index.c:25 (0x2005478) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005414) Line : termios_baud2index.c:25 (0x20054ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005414) Line : termios_baud2index.c:25 (0x20054f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005414) Line : termios_baud2index.c:25 (0x2005538) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2004158) Line : termios.c:368 (0x200417c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2004158) Line : termios.c:381 (0x20041dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2004158) Line : termios.c:393 (0x2004224) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2004158) Line : termios.c:396 (0x200423c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2004158) Line : termios.c:399 (0x2004250) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x20058ec) Line : termios.c:1388 (0x200591c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x20058ec) Line : termios.c:1397 (0x2005944) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1145 (0x20053b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1159 (0x200541c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1171 (0x2005438) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1178 (0x2005450) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1180 (0x2005464) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1197 (0x20054fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1224 (0x20055b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1233 (0x20055d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x2005344) Line : termios.c:1233 (0x20055e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:522 (0x2004384) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:526 (0x20043c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:526 (0x20043dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:526 (0x200441c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:528 (0x200443c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:461 (0x20044a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:476 (0x2004514) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:484 (0x200453c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:499 (0x2004598) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:561 (0x200463c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:570 (0x2004660) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004358) Line : termios.c:344 (0x200467c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:127 (0x2003d2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:131 (0x2003d54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:171 (0x2003dd0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:247 (0x2003f30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:257 (0x2003f60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:269 (0x2003fb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:322 (0x20040f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d0c) Line : termios.c:327 (0x2004118) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004764) Line : termios.c:663 (0x20047d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004764) Line : termios.c:671 (0x200482c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1075 (0x2004fb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1085 (0x2005004) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:969 (0x20050b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:970 (0x20050c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:987 (0x200512c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:989 (0x2005134) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:989 (0x2005144) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1019 (0x20051a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1024 (0x20051c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1031 (0x200520c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1041 (0x2005244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1011 (0x20052a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004f84) Line : termios.c:1058 (0x20052cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005698) Line : termios.c:1259 (0x20056a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005698) Line : termios.c:1271 (0x20056f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005698) Line : termios.c:1293 (0x2005754) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005698) Line : termios.c:1326 (0x20057cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005698) Line : termios.c:1331 (0x20057f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_rxdaemon (0x2005630) Line : termios.c:1463 (0x2005650) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x200587c) Line : termios.c:1424 (0x20058a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x200587c) Line : termios.c:1432 (0x20058cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004eb8) Line : termios.c:750 (0x2004edc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004eb8) Line : termios.c:757 (0x2004f30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x2016694) Line : timercancel.c:53 (0x20166c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x2016b90) Line : timerserverfirewhen.c:61 (0x2016bb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x20029a4) Line : error.c:119 (0x20029c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x20029a4) Line : error.c:123 (0x20029f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x20029a4) Line : error.c:145 (0x2002aa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x2002fbc) Line : getpwent.c:127 (0x2002fe4) 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 (0x2002fbc) Line : getpwent.c:142 (0x200307c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x2002fbc) Line : getpwent.c:146 (0x2003098) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031c0) Line : getpwent.c:299 (0x2003210) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031c0) Line : getpwent.c:300 (0x2003224) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031c0) Line : getpwent.c:301 (0x2003244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031c0) Line : getpwent.c:316 (0x200328c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003300) Line : getpwent.c:165 (0x2003350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003300) Line : getpwent.c:168 (0x2003398) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003300) Line : getpwent.c:169 (0x20033b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003300) Line : getpwent.c:170 (0x20033d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : siproc (0x2004e70) Line : termios.c:933 (0x2004e7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : statvfs (0x2005fdc) Line : statvfs.c:39 (0x2006008) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sync_per_thread (0x2004a30) Line : sync.c:70 (0x2004a3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : tcsetattr (0x200c3d0) Line : tcsetattr.c:42 (0x200c410) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x2006600) Line : unlink.c:48 (0x2006654) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x2006600) Line : unlink.c:65 (0x20066b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2005a14) Line : unmount.c:123 (0x2005ae4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2005a14) Line : unmount.c:139 (0x2005b00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : write (0x2018528) Line : write.c:40 (0x2018574) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:44 (0x2006aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:55 (0x2006b10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:105 (0x2006bb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:114 (0x2006bd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:117 (0x2006bd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006aa4) Line : writev.c:122 (0x2006bfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================