============================================ Symbol : IMFS_Set_handlers (0x200a3bc) Line : imfs_eval.c:42 (0x200a3d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a1d4) Line : imfs_creat.c:44 (0x200a1e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_create_node (0x200a1d4) Line : imfs_creat.c:84 (0x200a2d0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a4b8) Line : imfs_eval.c:500 (0x200a4c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a4b8) Line : imfs_eval.c:521 (0x200a528) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a4b8) Line : imfs_eval.c:597 (0x200a63c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a4b8) Line : imfs_eval.c:515 (0x200a720) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a4b8) Line : imfs_eval.c:668 (0x200a748) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:320 (0x200a964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:334 (0x200a9e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:378 (0x200aa7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:385 (0x200aaa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:390 (0x200aab4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:416 (0x200ab28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a908) Line : imfs_eval.c:465 (0x200ac08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_permission (0x200a428) Line : imfs_eval.c:83 (0x200a430) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_lseek (0x20034f4) Line : imfs_fifo.c:126 (0x200351c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_write (0x2003544) Line : imfs_fifo.c:91 (0x200358c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ad14) Line : imfs_getchild.c:47 (0x200ad2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ad14) Line : imfs_getchild.c:50 (0x200ad44) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200ac58) Line : imfs_fsunmount.c:81 (0x200acbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200ac58) Line : imfs_fsunmount.c:86 (0x200acd8) 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 (0x200ac58) Line : imfs_fsunmount.c:91 (0x200acf4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ad90) Line : imfs_gtkn.c:42 (0x200adc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200ad90) Line : imfs_gtkn.c:68 (0x200ae14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_initialize_support (0x20022e0) Line : imfs_initsupp.c:48 (0x2002308) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cc70) Line : memfile.c:298 (0x200ccac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cc70) Line : memfile.c:298 (0x200ccb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cc70) Line : memfile.c:304 (0x200ccdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200cc70) Line : memfile.c:304 (0x200cce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:833 (0x200c60c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:840 (0x200c62c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:861 (0x200c6a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:869 (0x200c6d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:877 (0x200c6e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:881 (0x200c6fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:890 (0x200c724) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:903 (0x200c790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:911 (0x200c7bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:919 (0x200c7e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:926 (0x200c804) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:930 (0x200c814) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200c5c8) Line : memfile.c:934 (0x200c824) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:564 (0x200c86c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:564 (0x200c878) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:564 (0x200c880) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:579 (0x200c8d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:579 (0x200c8e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:601 (0x200c954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:616 (0x200c9a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200c83c) Line : memfile.c:632 (0x200c9fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200cb10) Line : memfile.c:487 (0x200cb64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200cb10) Line : memfile.c:499 (0x200cbc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200cb10) Line : memfile.c:502 (0x200cbd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:682 (0x200cdb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:682 (0x200cdc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:682 (0x200cdd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:707 (0x200ce5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:734 (0x200ceb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200cda4) Line : memfile.c:754 (0x200cf04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_mount (0x2002524) Line : imfs_mount.c:43 (0x2002534) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_print_jnode (0x2004e70) Line : imfs_debug.c:43 (0x2004e94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_rename (0x20025a4) Line : imfs_rename.c:40 (0x20025c4) 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 (0x200a35c) Line : imfs_eval.c:270 (0x200a3ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_stat (0x200af80) Line : imfs_stat.c:37 (0x200af94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unlink (0x200269c) Line : imfs_unlink.c:50 (0x20026bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x200276c) Line : imfs_unmount.c:44 (0x200277c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x200276c) Line : imfs_unmount.c:51 (0x2002798) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e84) Line : check.c:406 (0x2001ea8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e84) Line : check.c:369 (0x2001ef0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e84) Line : check.c:423 (0x2001f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2001e84) Line : check.c:455 (0x2001fc0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x2001ff4) Line : check.c:166 (0x200204c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Initialize (0x2001ff4) Line : check.c:166 (0x200205c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_report_blown_task (0x20020f0) Line : check.c:247 (0x2002170) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fbb4) Line : coremsg.c:76 (0x200fbdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fbb4) Line : coremsg.c:86 (0x200fbfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x2006ffc) Line : coremutexseize.c:39 (0x20070c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x2007244) Line : coresemsurrender.c:68 (0x2007274) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ff8) Line : eventsurrender.c:79 (0x2006058) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ff8) Line : eventsurrender.c:82 (0x200607c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ff8) Line : eventsurrender.c:96 (0x20060bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x2006130) Line : eventtimeout.c:51 (0x2006148) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200bdf4) Line : heapextend.c:239 (0x200c088) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heap.inl:199 (0x200c084) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heapfree.c:139 (0x200c09c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heapfree.c:145 (0x200c0ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heap.inl:199 (0x200c0f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heapfree.c:162 (0x200c104) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c028) Line : heapfree.c:169 (0x200c114) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201874c) Line : heap.inl:199 (0x201879c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201874c) Line : heapsizeofuserarea.c:47 (0x20187b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x201874c) Line : heapsizeofuserarea.c:49 (0x20187c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x2008098) Line : heap.inl:199 (0x2008328) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x2008098) Line : heapwalk.c:369 (0x20083b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x2007868) Line : objectallocate.c:59 (0x2007878) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007c74) Line : objectgetinfo.c:43 (0x2007cb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x2007c74) Line : objectgetinfo.c:47 (0x2007cc0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x20087a8) Line : objectidtoname.c:64 (0x20087f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0x20086f8) Line : rbtreeextract.c:140 (0x2008784) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0x20086f8) Line : rbtree.inl:202 (0x20088a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0x2008500) Line : rbtree.inl:202 (0x2008528) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0x2008500) Line : rbtreeextract.c:57 (0x200857c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find (0x2008958) Line : rbtree.inl:324 (0x200898c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0x2008908) Line : rbtree.inl:307 (0x2008918) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0x2008908) Line : rbtree.inl:308 (0x2008928) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_unprotected (0x2008b40) Line : rbtreeinsert.c:85 (0x2008b50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x2008484) Line : rbtree.inl:422 (0x2008488) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Rotate (0x2008484) Line : rbtree.inl:423 (0x20084a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x2008440) Line : rbtree.inl:273 (0x2008444) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0x2008440) Line : rbtree.inl:274 (0x2008454) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Validate_insert_unprotected (0x2008a5c) Line : rbtree.inl:260 (0x2008a6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x200ba14) Line : tasks.c:188 (0x200ba20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x2007698) Line : ratemontimeout.c:55 (0x20076b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008644) Line : schedulerpriorityyield.c:47 (0x20086bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0x2008644) Line : schedulerpriorityyield.c:51 (0x20086e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007130) Line : clocktodvalidate.c:59 (0x2007140) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007130) Line : clocktodvalidate.c:63 (0x200719c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007130) Line : clocktodvalidate.c:66 (0x20071c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2008744) Line : threadchangepriority.c:62 (0x2008790) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2008744) Line : threadchangepriority.c:72 (0x20087c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x2008a48) Line : threaddelayended.c:55 (0x2008a60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x2008a8c) Line : threaddispatch.c:122 (0x2008b2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x200da54) Line : threadhandler.c:156 (0x200dae8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x2008cb4) Line : threadinitialize.c:93 (0x2008ce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009384) Line : threadqrequeue.c:53 (0x200938c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009384) Line : threadqrequeue.c:60 (0x200939c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2009384) Line : threadqrequeue.c:66 (0x20093c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x20093f8) Line : threadqtimeout.c:49 (0x2009410) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201706c) Line : timerserver.c:119 (0x2017138) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x201706c) Line : timerserver.c:339 (0x201715c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x2017230) Line : timerserver.c:195 (0x2017318) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x20096b0) Line : userext.c:43 (0x20096f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b420) Line : watchdogadjust.c:58 (0x200b44c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b420) Line : watchdogadjust.c:63 (0x200b4ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x2009ac8) Line : watchdogremove.c:41 (0x2009af0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x200ac18) Line : watchdogreportchain.c:37 (0x200ac68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007298) Line : _rename_r.c:54 (0x20072e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007298) Line : _rename_r.c:71 (0x2007350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2007298) Line : _rename_r.c:85 (0x20073ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : chroot (0x20029fc) Line : chroot.c:47 (0x2002a80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_evaluate_path (0x2009f38) Line : devfs_eval.c:43 (0x2009f40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002cc8) Line : devfs_mknod.c:45 (0x2002ce4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002cc8) Line : devfs_mknod.c:45 (0x2002cf4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : drainOutput.part.0 (0x2003d18) Line : termios.c:346 (0x2003d6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : echo (0x2004a80) Line : termios.c:777 (0x2004a8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endgrent (0x20039bc) Line : getpwent.c:436 (0x20039c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endpwent (0x2003828) Line : getpwent.c:280 (0x2003834) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:801 (0x2004b28) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:805 (0x2004b3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:817 (0x2004b78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:818 (0x2004b90) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:831 (0x2004be4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:848 (0x2004c54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:853 (0x2004c9c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x2004b00) Line : termios.c:855 (0x2004ccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20032a8) Line : fcntl.c:55 (0x2003330) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20032a8) Line : fcntl.c:59 (0x2003350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20032a8) Line : fcntl.c:140 (0x2003408) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20032a8) Line : fcntl.c:142 (0x2003428) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:164 (0x200cab0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:181 (0x200cb10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:104 (0x200cb58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:227 (0x200cc58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:322 (0x200cca8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:325 (0x200ccc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:338 (0x200cd18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:340 (0x200cd30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:342 (0x200cd40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:349 (0x200cd64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:363 (0x200cdc4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:365 (0x200cddc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:367 (0x200cdec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:373 (0x200ce10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200ca78) Line : fifo.c:376 (0x200ce3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fpathconf (0x2003510) Line : fpathconf.c:35 (0x2003540) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free (0x2002da4) Line : free.c:34 (0x2002dd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free_user_env (0x2003d54) Line : privateenv.c:35 (0x2003d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getdents (0x20140c4) Line : getdents.c:41 (0x20140d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : gettimeofday (0x2002e4c) Line : __gettod.c:36 (0x2002e54) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_open (0x200d338) Line : imfs_directory.c:52 (0x200d344) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_rmnod (0x200d564) Line : imfs_directory.c:310 (0x200d5a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x200344c) Line : getpwent.c:58 (0x20034b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x200344c) Line : getpwent.c:71 (0x2003504) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:871 (0x2004d24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:878 (0x2004d6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:880 (0x2004d78) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:882 (0x2004d94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:886 (0x2004da4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:895 (0x2004dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:898 (0x2004e14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:902 (0x2004e40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:902 (0x2004e50) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:914 (0x2004e9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x2004d18) Line : termios.c:915 (0x2004eac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : libc_wrapup (0x200363c) Line : newlibc_exit.c:61 (0x200364c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : lseek (0x20181b8) Line : lseek.c:65 (0x2018294) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc (0x2003118) Line : malloc.c:47 (0x2003164) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_extend_and_allocate (0x20030e0) Line : malloc_sbrk_helpers.c:84 (0x20030f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_initialize (0x2003184) Line : malloc_sbrk_helpers.c:52 (0x20031b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200d00c) Line : memfile.c:257 (0x200d020) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200d00c) Line : memfile.c:257 (0x200d02c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d07c) Line : memfile.c:219 (0x200d0a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d07c) Line : memfile.c:219 (0x200d0ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d07c) Line : memfile.c:219 (0x200d0bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_open (0x200cf70) Line : memfile.c:101 (0x200cf90) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003390) Line : mount.c:82 (0x2003428) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003390) Line : mount.c:169 (0x20034d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003390) Line : mount.c:211 (0x2003568) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003390) Line : mount.c:218 (0x2003584) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x2003390) Line : mount.c:254 (0x2003624) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount_and_make_target_path (0x2003488) Line : mount-mktgt.c:42 (0x20034a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_delete_hook (0x20038e0) Line : newlibc_reent.c:143 (0x20038fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x20036d4) Line : newlibc_reent.c:110 (0x20036e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x20036d4) Line : newlibc_reent.c:114 (0x20036f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x20039b8) Line : open.c:126 (0x2003a7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x20039b8) Line : open.c:138 (0x2003abc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x20039b8) Line : open.c:171 (0x2003b70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x20039b8) Line : open.c:185 (0x2003bb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:693 (0x2004904) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:694 (0x200491c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:694 (0x2004940) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:696 (0x2004954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:698 (0x2004960) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:718 (0x20049d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:732 (0x2004a0c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20048f8) Line : termios.c:734 (0x2004a54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200bdac) Line : pipe.c:36 (0x200bdc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200bdac) Line : pipe.c:64 (0x200be68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_ioctl (0x200d1bc) Line : fifo.c:561 (0x200d1fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce78) Line : fifo.c:401 (0x200ce98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce78) Line : fifo.c:420 (0x200cf04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200ce78) Line : fifo.c:426 (0x200cf14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c9b0) Line : fifo.c:279 (0x200ca30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c9b0) Line : fifo.c:282 (0x200ca40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200c9b0) Line : fifo.c:282 (0x200ca50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:474 (0x200d010) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:477 (0x200d030) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:486 (0x200d050) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:500 (0x200d0b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:506 (0x200d0c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d004) Line : fifo.c:509 (0x200d0d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : posix_memalign (0x20071dc) Line : posix_memalign.c:35 (0x20071f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x20182d4) Line : read.c:30 (0x20182e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x20182d4) Line : read.c:33 (0x2018320) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readlink (0x2005d64) Line : readlink.c:35 (0x2005db4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20047c0) Line : readv.c:43 (0x2004808) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20047c0) Line : readv.c:54 (0x200482c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20047c0) Line : readv.c:107 (0x20048d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20047c0) Line : readv.c:110 (0x20048dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x20047c0) Line : readv.c:115 (0x2004900) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183cc) Line : realloc.c:37 (0x20183f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183cc) Line : thread.inl:49 (0x2018404) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183cc) Line : realloc.c:41 (0x2018418) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183cc) Line : realloc.c:51 (0x2018434) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x20183cc) Line : realloc.c:82 (0x20184c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003b8c) Line : rmdir.c:52 (0x2003be0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003b8c) Line : rmdir.c:79 (0x2003c80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0x2006cf0) Line : chaingetwait.c:39 (0x2006d10) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003130) Line : cpuusagereport.c:84 (0x2003138) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003130) Line : cpuusagereport.c:134 (0x20031a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x2003130) Line : cpuusagereport.c:138 (0x20031c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_deviceio_errno (0x200dba0) Line : deviceerrno.c:65 (0x200dbb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_get_mount_handler (0x200b5b0) Line : mount-mgr.c:100 (0x200b5bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20028ac) Line : base_fs.c:51 (0x20028d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20028ac) Line : base_fs.c:57 (0x20028fc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20028ac) Line : base_fs.c:104 (0x2002988) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_iterate (0x200b50c) Line : mount-mgr.c:59 (0x200b598) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_mount_iterate (0x2003334) Line : mount.c:271 (0x2003370) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002d40) Line : eval.c:144 (0x2002d50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002d40) Line : eval.c:144 (0x2002d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_create (0x200331c) Line : gxx_wrappers.c:81 (0x2003350) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x2003374) Line : gxx_wrappers.c:108 (0x2003388) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x2003374) Line : gxx_wrappers.c:110 (0x2003390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x20032b8) Line : gxx_wrappers.c:48 (0x20032e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x20032b8) Line : gxx_wrappers.c:52 (0x2003304) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_setspecific (0x200340c) Line : gxx_wrappers.c:168 (0x200342c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_heap_allocate_aligned_with_boundary (0x20073c4) Line : rtems_malloc.c:37 (0x20073dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_lookup_name (0x2002818) Line : ioman.c:80 (0x2002864) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x2008fc8) Line : iterateoverthreads.c:32 (0x2008fd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_free (0x200b388) Line : libio.c:181 (0x200b39c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002ed0) Line : libio_init.c:55 (0x2002ee0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002ed0) Line : libio_init.c:80 (0x2002f64) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002ed0) Line : libio_init.c:87 (0x2002f7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003d8c) Line : privateenv.c:56 (0x2003dbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_set_private_env (0x2003d8c) Line : privateenv.c:60 (0x2003ddc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_share_private_env (0x2003eb0) Line : privateenv.c:163 (0x2003ec0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b2a0) Line : libio.c:103 (0x200b2a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b2a0) Line : libio.c:105 (0x200b2b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_free (0x20066e4) Line : malloc_statistics_helpers.c:64 (0x2006700) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_malloc (0x2006728) Line : malloc_statistics_helpers.c:42 (0x2006734) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200edfc) Line : rtems_memalign.c:43 (0x200ee1c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200edfc) Line : rtems_memalign.c:43 (0x200ee30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d33c) Line : rtems_mkdir.c:135 (0x200d350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d33c) Line : rtems_mkdir.c:102 (0x200d42c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_mkdir (0x200d33c) Line : rtems_mkdir.c:103 (0x200d440) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x2014a4c) Line : partcreate.c:66 (0x2014a6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2007228) Line : ratemonperiod.c:265 (0x200728c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2007228) Line : ratemonperiod.c:345 (0x2007390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x20073e8) Line : ratemonreportstatistics.c:52 (0x20073f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x2015fbc) Line : signalsend.c:67 (0x201604c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_begin_extension (0x20020c0) Line : check.c:202 (0x20020cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_create_extension (0x2002090) Line : check.c:187 (0x20020a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021fc) Line : check.c:65 (0x2002210) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021fc) Line : check.c:315 (0x2002234) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021fc) Line : check.c:327 (0x200225c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20021fc) Line : check.c:327 (0x2002264) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_report_usage_with_plugin (0x2002284) Line : check.c:489 (0x200228c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002198) Line : check.c:65 (0x20021a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002198) Line : check.c:291 (0x20021dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_int (0x200bdc4) Line : stringtoint.c:52 (0x200be3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200bf38) Line : stringtolong.c:52 (0x200bfbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200bf38) Line : stringtolong.c:53 (0x200bfc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200be6c) Line : stringtolonglong.c:61 (0x200bf04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200be6c) Line : stringtolonglong.c:62 (0x200bf14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200be6c) Line : stringtolonglong.c:62 (0x200bf20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200bff0) Line : stringtounsignedchar.c:52 (0x200c054) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_char (0x200bff0) Line : stringtounsignedchar.c:57 (0x200c070) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_int (0x200c09c) Line : stringtounsignedint.c:52 (0x200c110) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long (0x200c1c4) Line : stringtounsignedlong.c:52 (0x200c238) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c128) Line : stringtounsignedlonglong.c:57 (0x200c1a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c128) Line : stringtounsignedlonglong.c:57 (0x200c1ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002528) Line : imfs_load_tar.c:112 (0x2002578) 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 (0x2002528) Line : imfs_load_tar.c:120 (0x20025ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002528) Line : imfs_load_tar.c:139 (0x2002620) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002528) Line : imfs_load_tar.c:150 (0x2002654) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x2002528) Line : imfs_load_tar.c:169 (0x20026b0) 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 (0x200d724) Line : thread.inl:366 (0x200d870) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x200a9f8) Line : tasksetpriority.c:78 (0x200aa68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005468) Line : termios_baud2index.c:25 (0x20054cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005468) Line : termios_baud2index.c:25 (0x2005500) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005468) Line : termios_baud2index.c:25 (0x200554c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x2005468) Line : termios_baud2index.c:25 (0x200558c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:368 (0x20041ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:381 (0x200424c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:393 (0x2004294) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:396 (0x20042ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:399 (0x20042c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:403 (0x20042f0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x20041c8) Line : termios.c:410 (0x200430c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200595c) Line : termios.c:1388 (0x200598c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200595c) Line : termios.c:1397 (0x20059b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1145 (0x2005424) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1159 (0x200548c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1171 (0x20054a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1178 (0x20054c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1180 (0x20054d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1197 (0x200556c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1224 (0x2005628) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1233 (0x2005648) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x20053b4) Line : termios.c:1233 (0x2005658) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:522 (0x20043f4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:526 (0x2004434) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:526 (0x200444c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:526 (0x200448c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:528 (0x20044ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:461 (0x2004518) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:476 (0x2004584) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:484 (0x20045ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:499 (0x2004608) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:561 (0x20046ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:570 (0x20046d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x20043c8) Line : termios.c:344 (0x20046ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:127 (0x2003d9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:131 (0x2003dc4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:171 (0x2003e40) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:247 (0x2003fa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:257 (0x2003fd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:269 (0x2004024) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:322 (0x2004168) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003d7c) Line : termios.c:327 (0x2004188) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x20047d4) Line : termios.c:663 (0x2004844) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x20047d4) Line : termios.c:671 (0x200489c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1075 (0x2005020) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1085 (0x2005074) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:969 (0x2005128) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:970 (0x2005134) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:989 (0x20051a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:989 (0x20051b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1019 (0x2005210) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1024 (0x2005230) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1031 (0x200527c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1041 (0x20052b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1011 (0x2005314) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004ff4) Line : termios.c:1058 (0x200533c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005708) Line : termios.c:1259 (0x2005718) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005708) Line : termios.c:1271 (0x2005760) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005708) Line : termios.c:1293 (0x20057c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005708) Line : termios.c:1326 (0x200583c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005708) Line : termios.c:1331 (0x2005860) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_rxdaemon (0x20056a0) Line : termios.c:1463 (0x20056c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20058ec) Line : termios.c:1424 (0x2005914) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20058ec) Line : termios.c:1432 (0x200593c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004f28) Line : termios.c:750 (0x2004f4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004f28) Line : termios.c:757 (0x2004fa0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x20169c4) Line : timercancel.c:53 (0x20169f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x2016ec0) Line : timerserverfirewhen.c:61 (0x2016ee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2002a14) Line : error.c:119 (0x2002a38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2002a14) Line : error.c:123 (0x2002a60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2002a14) Line : error.c:145 (0x2002b10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x2002ff0) Line : getpwent.c:127 (0x2003018) 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 (0x2002ff0) Line : getpwent.c:142 (0x20030b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x2002ff0) Line : getpwent.c:146 (0x20030cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031f4) Line : getpwent.c:299 (0x2003244) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031f4) Line : getpwent.c:300 (0x2003258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031f4) Line : getpwent.c:301 (0x2003278) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x20031f4) Line : getpwent.c:316 (0x20032c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003334) Line : getpwent.c:165 (0x2003384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003334) Line : getpwent.c:168 (0x20033cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003334) Line : getpwent.c:169 (0x20033ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x2003334) Line : getpwent.c:170 (0x200340c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : siproc (0x2004ee0) Line : termios.c:933 (0x2004eec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : statvfs (0x2006010) Line : statvfs.c:39 (0x200603c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sync_per_thread (0x2004a64) Line : sync.c:70 (0x2004a70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : tcsetattr (0x200c410) Line : tcsetattr.c:42 (0x200c450) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x2006634) Line : unlink.c:48 (0x2006688) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x2006634) Line : unlink.c:65 (0x20066e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2005a48) Line : unmount.c:123 (0x2005b18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2005a48) Line : unmount.c:139 (0x2005b34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : write (0x2018500) Line : write.c:40 (0x201854c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:44 (0x2006b20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:55 (0x2006b44) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:105 (0x2006be4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:114 (0x2006c04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:117 (0x2006c0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006ad8) Line : writev.c:122 (0x2006c30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================