============================================ Symbol : IMFS_Set_handlers (0x200a2f4) Line : imfs_eval.c:42 (0x200a308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_chown (0x200a0b4) Line : imfs_chown.c:46 (0x200a0dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: Not root and not owner. Please try to cover all branch paths. ============================================ ============================================ Symbol : IMFS_create_node (0x200a18c) Line : imfs_creat.c:44 (0x200a19c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a40c) Line : imfs_eval.c:509 (0x200a44c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a40c) Line : imfs_eval.c:586 (0x200a554) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_eval_path (0x200a40c) Line : imfs_eval.c:503 (0x200a5cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:306 (0x200a810) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:320 (0x200a890) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:365 (0x200a910) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:372 (0x200a938) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:377 (0x200a948) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_for_make (0x200a7c4) Line : imfs_eval.c:451 (0x200aa4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_evaluate_permission (0x200a360) Line : imfs_eval.c:105 (0x200a3a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fchmod (0x200ddf8) Line : imfs_fchmod.c:42 (0x200de20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: Not root and not owner. Please try to cover all branch paths. ============================================ ============================================ Symbol : IMFS_fifo_close (0x2003760) Line : imfs_fifo.c:56 (0x200377c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_lseek (0x20035b8) Line : imfs_fifo.c:127 (0x20035e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fifo_write (0x2003694) Line : imfs_fifo.c:92 (0x20036dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ab5c) Line : imfs_getchild.c:47 (0x200ab74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_find_match_in_dir (0x200ab5c) Line : imfs_getchild.c:50 (0x200ab8c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200aa9c) Line : imfs_fsunmount.c:81 (0x200ab00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_fsunmount (0x200aa9c) Line : imfs_fsunmount.c:86 (0x200ab1c) 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 (0x200aa9c) Line : imfs_fsunmount.c:91 (0x200ab3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200abd8) Line : imfs_gtkn.c:42 (0x200ac10) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200abd8) Line : imfs_gtkn.c:42 (0x200ac20) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_get_token (0x200abd8) Line : imfs_gtkn.c:68 (0x200ac64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_initialize_support (0x2002210) Line : imfs_initsupp.c:48 (0x2002230) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200d428) Line : memfile.c:298 (0x200d464) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200d428) Line : memfile.c:298 (0x200d470) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200d428) Line : memfile.c:304 (0x200d494) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_extend (0x200d428) Line : memfile.c:304 (0x200d4a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:833 (0x200cdd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:840 (0x200cdf0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:861 (0x200ce68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:869 (0x200ce94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:877 (0x200ceac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:881 (0x200cec0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:890 (0x200cee8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:903 (0x200cf54) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:911 (0x200cf80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:919 (0x200cfac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:926 (0x200cfc8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_get_block_pointer (0x200cd8c) Line : memfile.c:930 (0x200cfd8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:564 (0x200d024) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:564 (0x200d030) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:564 (0x200d038) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:579 (0x200d08c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:579 (0x200d098) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:601 (0x200d10c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:616 (0x200d160) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_read (0x200cff4) Line : memfile.c:632 (0x200d1b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200d2cc) Line : memfile.c:487 (0x200d31c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200d2cc) Line : memfile.c:499 (0x200d378) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_remove (0x200d2cc) Line : memfile.c:502 (0x200d38c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:682 (0x200d56c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:682 (0x200d578) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:682 (0x200d588) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:707 (0x200d614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:734 (0x200d668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_memfile_write (0x200d55c) Line : memfile.c:754 (0x200d6bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_mount (0x2002450) Line : imfs_mount.c:43 (0x2002460) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_print_jnode (0x2004f5c) Line : imfs_debug.c:43 (0x2004f80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: Need to do an IMFS_dump after loading a tarfile from memory. I think this is a simple addition to tar01. ============================================ ============================================ Symbol : IMFS_rename (0x20024d0) Line : imfs_rename.c:40 (0x20024f0) 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. ============================================ ============================================ Symbol : IMFS_stat (0x200add8) Line : imfs_stat.c:37 (0x200adec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unlink (0x20025cc) Line : imfs_unlink.c:50 (0x20025ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026a0) Line : imfs_unmount.c:44 (0x20026b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : IMFS_unmount (0x20026a0) Line : imfs_unmount.c:51 (0x20026cc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002060) Line : check.c:400 (0x200207c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_Dump_threads_usage (0x2002060) Line : check.c:425 (0x2002098) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : Stack_check_report_blown_task (0x20021ac) Line : check.c:241 (0x200222c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Obtain_for_reading (0x2009144) Line : corerwlockobtainread.c:68 (0x2009198) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Release (0x200929c) Line : corerwlockrelease.c:95 (0x200936c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_RWLock_Timeout (0x2009394) Line : corerwlocktimeout.c:44 (0x20093ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Broadcast (0x201769c) Line : coremsgbroadcast.c:72 (0x20176ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fed4) Line : coremsg.c:76 (0x200ff08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Initialize (0x200fed4) Line : coremsg.c:86 (0x200ff28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_message_queue_Seize (0x200ff98) Line : coremsgseize.c:76 (0x200ffdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_mutex_Seize (0x2006d4c) Line : coremutexseize.c:39 (0x2006d68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0x2006f8c) Line : coresemsurrender.c:68 (0x2006fbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ce0) Line : eventsurrender.c:79 (0x2005d40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ce0) Line : eventsurrender.c:82 (0x2005d64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0x2005ce0) Line : eventsurrender.c:96 (0x2005da4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0x2005e20) Line : eventtimeout.c:51 (0x2005e38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Allocate_aligned_with_boundary (0x200c4b0) Line : heapallocate.c:200 (0x200c610) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200c95c) Line : heap.inl:107 (0x200cacc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0x200c95c) Line : heapextend.c:237 (0x200cbf8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heap.inl:199 (0x200c6c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heapfree.c:46 (0x200c6d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heapfree.c:51 (0x200c6e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heap.inl:199 (0x200c72c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heapfree.c:64 (0x200c740) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0x200c66c) Line : heapfree.c:71 (0x200c750) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2013e14) Line : heap.inl:199 (0x2013e68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2013e14) Line : heapsizeofuserarea.c:47 (0x2013e80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0x2013e14) Line : heapsizeofuserarea.c:49 (0x2013e90) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x200836c) Line : heapwalk.c:230 (0x20084d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x200836c) Line : heap.inl:199 (0x20085fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0x200836c) Line : heapwalk.c:369 (0x200868c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0x20075b4) Line : objectallocate.c:59 (0x20075c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x20079c8) Line : objectgetinfo.c:43 (0x2007a04) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0x20079c8) Line : objectgetinfo.c:47 (0x2007a14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_no_protection (0x2019368) Line : objectgetnoprotection.c:67 (0x2019390) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x2009294) Line : objectidtoname.c:64 (0x20092dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0x2009294) Line : objectidtoname.c:68 (0x20092ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Message_queue_Receive_support (0x200b268) Line : mqueuerecvsupp.c:90 (0x200b2f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x200b8f8) Line : canceleval.c:30 (0x200b904) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Thread_Translate_sched_param (0x200cd6c) Line : psxtransschedparam.c:30 (0x200cd80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006630) Line : pthreadinitthreads.c:59 (0x2006644) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006630) Line : pthreadinitthreads.c:59 (0x2006650) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Initialize_user_threads_body (0x2006630) Line : pthreadinitthreads.c:69 (0x20066b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_TSR (0x200bc1c) Line : pthread.c:96 (0x200bc48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x200bc88) Line : pthread.c:142 (0x200bcac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Threads_Sporadic_budget_callout (0x200bc88) Line : pthread.c:148 (0x200bcbc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x2006384) Line : timertsr.c:46 (0x20063ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_Timer_TSR (0x2006384) Line : timertsr.c:55 (0x20063d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Check_signal (0x200e098) Line : psignalchecksignal.c:68 (0x200e0e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Clear_process_signals (0x200e860) Line : psignalclearprocesssignals.c:51 (0x200e8a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x2006dfc) Line : sigtimedwait.c:36 (0x2006e10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Get_lowest (0x2006dfc) Line : sigtimedwait.c:48 (0x2006e4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x2022558) Line : psignalunblockthread.c:107 (0x2022620) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x2022558) Line : psignalunblockthread.c:109 (0x2022638) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x2022558) Line : psignalunblockthread.c:114 (0x2022660) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _POSIX_signals_Unblock_thread (0x2022558) Line : psignalunblockthread.c:115 (0x2022684) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0x200c030) Line : tasks.c:188 (0x200c03c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0x2007890) Line : ratemontimeout.c:55 (0x20078b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007298) Line : clocktodvalidate.c:59 (0x20072ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007298) Line : clocktodvalidate.c:63 (0x2007308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0x2007298) Line : clocktodvalidate.c:66 (0x2007330) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2007e7c) Line : threadchangepriority.c:104 (0x2007ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0x2007e7c) Line : threadchangepriority.c:114 (0x2007f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Clear_state (0x2008060) Line : threadclearstate.c:90 (0x2008120) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0x20082e8) Line : threaddelayended.c:55 (0x2008300) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0x2008328) Line : threaddispatch.c:138 (0x20083d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0x200e654) Line : threadhandler.c:151 (0x200e6fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0x2008544) Line : threadinitialize.c:99 (0x2008584) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x200c38c) Line : threadresume.c:66 (0x200c3a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Resume (0x200c38c) Line : threadresume.c:80 (0x200c448) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Tickle_timeslice (0x2009158) Line : threadtickletimeslice.c:74 (0x20091a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008cd4) Line : threadqrequeue.c:53 (0x2008cdc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008cd4) Line : threadqrequeue.c:60 (0x2008cec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0x2008cd4) Line : threadqrequeue.c:66 (0x2008d10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0x2008d48) Line : threadqtimeout.c:49 (0x2008d60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2016a18) Line : timerserver.c:119 (0x2016aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2016a18) Line : timerserver.c:339 (0x2016b10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0x2016a18) Line : timerserver.c:387 (0x2016b68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0x2016be8) Line : timerserver.c:195 (0x2016cd0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0x2009354) Line : userext.c:43 (0x2009398) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b7fc) Line : watchdogadjust.c:58 (0x200b828) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0x200b7fc) Line : watchdogadjust.c:63 (0x200b888) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0x2009770) Line : watchdogremove.c:41 (0x2009798) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Report_chain (0x200b018) Line : watchdogreportchain.c:37 (0x200b064) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2006f3c) Line : _rename_r.c:54 (0x2006f8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2006f3c) Line : _rename_r.c:71 (0x2007000) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _rename_r (0x2006f3c) Line : _rename_r.c:85 (0x200705c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : chroot (0x2002bf8) Line : chroot.c:47 (0x2002c80) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_gettime (0x2006098) Line : clockgettime.c:44 (0x20060cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : clock_settime (0x2006128) Line : clocksettime.c:36 (0x2006130) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002330) Line : devfs_mknod.c:45 (0x200234c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : devFS_mknod (0x2002330) Line : devfs_mknod.c:45 (0x200235c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : device_ioctl (0x200dae8) Line : deviceio.c:192 (0x200db08) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : device_read (0x200da30) Line : deviceio.c:121 (0x200da68) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : device_write (0x200da8c) Line : deviceio.c:158 (0x200dac4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : drainOutput (0x20039c0) Line : termios.c:351 (0x2003a00) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : dup2 (0x20032c4) Line : dup2.c:36 (0x20032e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : dup2 (0x20032c4) Line : dup2.c:44 (0x20032f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : echo (0x200472c) Line : termios.c:776 (0x2004738) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endgrent (0x2003c50) Line : getpwent.c:436 (0x2003c5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : endpwent (0x2003ab0) Line : getpwent.c:280 (0x2003abc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:800 (0x20047e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:804 (0x20047f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:816 (0x2004834) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:817 (0x200484c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:830 (0x20048a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:847 (0x2004910) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:852 (0x2004958) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : erase (0x20047bc) Line : termios.c:854 (0x2004988) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034f8) Line : fcntl.c:54 (0x2003578) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034f8) Line : fcntl.c:59 (0x20035a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034f8) Line : fcntl.c:83 (0x20035ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: We need a test setting close on exec. ============================================ ============================================ Symbol : fcntl (0x20034f8) Line : fcntl.c:140 (0x2003658) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fcntl (0x20034f8) Line : fcntl.c:142 (0x2003678) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:164 (0x200d010) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:181 (0x200d06c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:104 (0x200d0c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:223 (0x200d1fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:227 (0x200d214) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:323 (0x200d258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:326 (0x200d278) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:339 (0x200d2c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:341 (0x200d2e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:343 (0x200d2f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:350 (0x200d314) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:364 (0x200d374) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:366 (0x200d38c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:368 (0x200d39c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:374 (0x200d3c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fifo_open (0x200cfd8) Line : fifo.c:377 (0x200d3ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : fpathconf (0x2003764) Line : fpathconf.c:35 (0x2003794) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free (0x2002af4) Line : free.c:38 (0x2002b24) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : free_user_env (0x2003f8c) Line : privateenv.c:36 (0x2003f9c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : getdents (0x20152f8) Line : getdents.c:41 (0x2015308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_open (0x200db40) Line : imfs_directory.c:52 (0x200db4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : imfs_dir_rmnod (0x200dd78) Line : imfs_directory.c:310 (0x200ddbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x20036c8) Line : getpwent.c:58 (0x200372c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : init_etc_passwd_group (0x20036c8) Line : getpwent.c:71 (0x2003780) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:870 (0x20049e0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:877 (0x2004a30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:879 (0x2004a3c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:881 (0x2004a58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:885 (0x2004a68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:894 (0x2004ac4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:897 (0x2004adc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:901 (0x2004b08) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:901 (0x2004b18) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:913 (0x2004b64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : iproc (0x20049d4) Line : termios.c:914 (0x2004b74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x2022258) Line : killinfo.c:189 (0x20223c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : killinfo (0x2022258) Line : killinfo.c:268 (0x2022424) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : libc_wrapup (0x20138c0) Line : newlibc_exit.c:61 (0x20138d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : lseek (0x2013798) Line : lseek.c:65 (0x2013878) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc (0x2002e7c) Line : malloc.c:47 (0x2002ec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : malloc_sbrk_extend_and_allocate (0x200321c) Line : malloc_sbrk_helpers.c:84 (0x200322c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200d7c4) Line : memfile.c:257 (0x200d7d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_ftruncate (0x200d7c4) Line : memfile.c:257 (0x200d7e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d83c) Line : memfile.c:219 (0x200d860) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d83c) Line : memfile.c:219 (0x200d86c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_lseek (0x200d83c) Line : memfile.c:219 (0x200d87c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : memfile_open (0x200d728) Line : memfile.c:101 (0x200d748) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x20030d0) Line : mount.c:82 (0x2003164) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x20030d0) Line : mount.c:171 (0x2003210) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x20030d0) Line : mount.c:213 (0x2003294) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x20030d0) Line : mount.c:220 (0x20032b0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount (0x20030d0) Line : mount.c:256 (0x2003350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : mount_and_make_target_path (0x20036d0) Line : mount-mktgt.c:42 (0x20036ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_delete_hook (0x200357c) Line : newlibc_reent.c:143 (0x2003598) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x2003374) Line : newlibc_reent.c:110 (0x2003384) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : newlib_free_buffers (0x2003374) Line : newlibc_reent.c:114 (0x2003394) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003654) Line : open.c:127 (0x200371c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003654) Line : open.c:139 (0x200374c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003654) Line : open.c:172 (0x2003804) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : open (0x2003654) Line : open.c:186 (0x2003848) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:692 (0x20045b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:693 (0x20045c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:693 (0x20045ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:695 (0x2004600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:697 (0x200460c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:717 (0x2004680) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:731 (0x20046b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : oproc (0x20045a4) Line : termios.c:733 (0x2004700) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200c288) Line : pipe.c:36 (0x200c2a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_create (0x200c288) Line : pipe.c:64 (0x200c350) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_ioctl (0x200d79c) Line : fifo.c:562 (0x200d7dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d428) Line : fifo.c:402 (0x200d448) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d428) Line : fifo.c:421 (0x200d4b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_read (0x200d428) Line : fifo.c:427 (0x200d4c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cf14) Line : fifo.c:279 (0x200cf94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cf14) Line : fifo.c:282 (0x200cfa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_release (0x200cf14) Line : fifo.c:282 (0x200cfb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:475 (0x200d5c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:478 (0x200d5e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:487 (0x200d608) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:501 (0x200d66c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:507 (0x200d67c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pipe_write (0x200d5bc) Line : fifo.c:510 (0x200d68c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : posix_memalign (0x20071c0) Line : posix_memalign.c:35 (0x20071dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_attr_setschedpolicy (0x200ac7c) Line : pthreadattrsetschedpolicy.c:32 (0x200acb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_barrier_init (0x20066ec) Line : pbarrierinit.c:76 (0x2006738) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cleanup_push (0x2005eac) Line : cleanuppush.c:53 (0x2005ed8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_cond_init (0x2006fac) Line : condinit.c:47 (0x2006fcc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_condattr_destroy (0x2006e10) Line : condattrdestroy.c:37 (0x2006e28) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_create (0x2006364) Line : pthreadcreate.c:116 (0x200642c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_gettype (0x2005c2c) Line : mutexattrgettype.c:38 (0x2005c4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_setpshared (0x2008194) Line : mutexattrsetpshared.c:39 (0x20081b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_mutexattr_settype (0x2005c98) Line : mutexattrsettype.c:32 (0x2005cb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_once (0x200698c) Line : pthreadonce.c:36 (0x20069d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x200725c) Line : prwlockinit.c:68 (0x2007290) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_init (0x200725c) Line : prwlockinit.c:71 (0x20072a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x2007384) Line : prwlocktimedrdlock.c:85 (0x2007414) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedrdlock (0x2007384) Line : prwlocktimedrdlock.c:85 (0x200741c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x2007440) Line : prwlocktimedwrlock.c:85 (0x20074d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlock_timedwrlock (0x2007440) Line : prwlocktimedwrlock.c:85 (0x20074d8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_rwlockattr_setpshared (0x2007c50) Line : rwlockattrsetpshared.c:35 (0x2007c70) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x2008db4) Line : pthreadsetschedparam.c:73 (0x2008e48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_setschedparam (0x2008db4) Line : pthreadsetschedparam.c:73 (0x2008e60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x200662c) Line : testcancel.c:44 (0x2006640) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : pthread_testcancel (0x200662c) Line : testcancel.c:50 (0x2006668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x2013950) Line : read.c:30 (0x2013964) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : read (0x2013950) Line : read.c:33 (0x201399c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readlink (0x2005f34) Line : readlink.c:35 (0x2005f88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x2004a20) Line : readv.c:43 (0x2004a68) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x2004a20) Line : readv.c:54 (0x2004a8c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x2004a20) Line : readv.c:106 (0x2004b2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: The count needs to be -1 in one of the requests. Also add a test for 0 value at the same time since it appears that is a missing branch condition. ============================================ ============================================ Symbol : readv (0x2004a20) Line : readv.c:109 (0x2004b34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : readv (0x2004a20) Line : readv.c:114 (0x2004b58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2013a88) Line : realloc.c:37 (0x2013aac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2013a88) Line : realloc.c:38 (0x2013ac0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2013a88) Line : realloc.c:41 (0x2013ad4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2013a88) Line : realloc.c:51 (0x2013af4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : realloc (0x2013a88) Line : realloc.c:82 (0x2013b88) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003db8) Line : rmdir.c:52 (0x2003e0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rmdir (0x2003db8) Line : rmdir.c:79 (0x2003eb8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x200320c) Line : cpuusagereport.c:61 (0x2003214) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x200320c) Line : cpuusagereport.c:117 (0x2003284) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_cpu_usage_report_with_plugin (0x200320c) Line : cpuusagereport.c:121 (0x20032a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_deviceio_errno (0x200e7bc) Line : deviceerrno.c:62 (0x200e7d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_evaluate_path (0x20029e0) Line : eval.c:94 (0x20029e8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_evaluate_path (0x20029e0) Line : eval.c:97 (0x2002a04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_evaluate_relative_path (0x2002938) Line : eval.c:39 (0x2002944) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_evaluate_relative_path (0x2002938) Line : eval.c:42 (0x2002960) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_get_mount_handler (0x200b3ac) Line : mount-mgr.c:100 (0x200b3b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20027e4) Line : base_fs.c:51 (0x2002808) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20027e4) Line : base_fs.c:57 (0x2002834) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_initialize (0x20027e4) Line : base_fs.c:104 (0x20028c4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_iterate (0x200b304) Line : mount-mgr.c:59 (0x200b38c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_mount_iterate (0x2003078) Line : mount.c:273 (0x20030b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002a90) Line : eval.c:140 (0x2002aa0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_filesystem_prefix_separators (0x2002a90) Line : eval.c:140 (0x2002ab4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x200368c) Line : gxx_wrappers.c:123 (0x20036a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_key_delete (0x200368c) Line : gxx_wrappers.c:125 (0x20036a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x20035e4) Line : gxx_wrappers.c:65 (0x200360c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_once (0x20035e4) Line : gxx_wrappers.c:69 (0x2003630) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_gxx_setspecific (0x2003720) Line : gxx_wrappers.c:179 (0x2003740) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_heap_allocate_aligned_with_boundary (0x20073b8) Line : rtems_malloc.c:37 (0x20073d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_io_lookup_name (0x200274c) Line : ioman.c:80 (0x200279c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0x20091d4) Line : iterateoverthreads.c:32 (0x20091dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_free (0x200b174) Line : libio.c:181 (0x200b188) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002c28) Line : libio_init.c:55 (0x2002c38) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002c28) Line : libio_init.c:80 (0x2002cc8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_init (0x2002c28) Line : libio_init.c:87 (0x2002ce0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_share_private_env (0x20040d4) Line : privateenv.c:146 (0x20040e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b08c) Line : libio.c:103 (0x200b094) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_libio_to_fcntl_flags (0x200b08c) Line : libio.c:105 (0x200b0a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_free (0x20066fc) Line : malloc_statistics_helpers.c:64 (0x2006718) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_malloc_statistics_at_malloc (0x2006740) Line : malloc_statistics_helpers.c:42 (0x200674c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200f3bc) Line : rtems_memalign.c:43 (0x200f3dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_memalign (0x200f3bc) Line : rtems_memalign.c:43 (0x200f3f0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d954) Line : rtems_mkdir.c:135 (0x200d968) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d954) Line : rtems_mkdir.c:102 (0x200da30) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Email Sebastian Explanation: Sebastian needs to write a test case for this. ============================================ ============================================ Symbol : rtems_mkdir (0x200d954) Line : rtems_mkdir.c:103 (0x200da5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_mkdir (0x200d954) Line : rtems_mkdir.c:107 (0x200da74) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0x20143d0) Line : partcreate.c:66 (0x20143f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2007408) Line : ratemonperiod.c:265 (0x200746c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0x2007408) Line : ratemonperiod.c:345 (0x2007574) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_report_statistics_with_plugin (0x20075cc) Line : ratemonreportstatistics.c:52 (0x20075d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0x201597c) Line : signalsend.c:67 (0x2015a0c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_begin_extension (0x200217c) Line : check.c:196 (0x2002188) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_create_extension (0x2002154) Line : check.c:181 (0x200215c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20022bc) Line : check.c:65 (0x20022d0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_is_blown (0x20022bc) Line : check.c:68 (0x20022e4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_report_usage_with_plugin (0x2002300) Line : check.c:484 (0x2002308) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002254) Line : check.c:65 (0x2002264) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_stack_checker_switch_extension (0x2002254) Line : check.c:285 (0x2002298) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_double (0x200c388) Line : stringto_template.h:120 (0x200c410) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_float (0x200c428) Line : stringto_template.h:120 (0x200c4a4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long (0x200c634) Line : stringto_template.h:126 (0x200c6dc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c550) Line : stringto_template.h:120 (0x200c5c8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c550) Line : stringto_template.h:126 (0x200c600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_long_long (0x200c550) Line : stringto_template.h:126 (0x200c618) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_pointer (0x200c6f4) Line : stringto_template.h:120 (0x200c750) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_int (0x200c7e4) Line : stringto_template.h:120 (0x200c858) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long (0x200c914) Line : stringto_template.h:120 (0x200c988) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c870) Line : stringto_template.h:120 (0x200c8e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_string_to_unsigned_long_long (0x200c870) Line : stringto_template.h:120 (0x200c8f8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024d0) Line : imfs_load_tar.c:112 (0x2002524) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Simple Test Case Explanation: Need to make sure one of the tar tests is configured with the IMFS and the other is configured with fifoIMFS. ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024d0) Line : imfs_load_tar.c:120 (0x200256c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024d0) Line : imfs_load_tar.c:139 (0x20025fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024d0) Line : imfs_load_tar.c:150 (0x2002634) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_tarfs_load (0x20024d0) Line : imfs_load_tar.c:169 (0x2002690) 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 (0x200e304) Line : taskmode.c:119 (0x200e41c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0x200e304) Line : thread.inl:353 (0x200e450) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0x200ac14) Line : tasksetpriority.c:78 (0x200ac84) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x20053d4) Line : termios_baud2index.c:25 (0x2005438) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x20053d4) Line : termios_baud2index.c:25 (0x200546c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x20053d4) Line : termios_baud2index.c:25 (0x20054b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_baud_to_index (0x20053d4) Line : termios_baud2index.c:25 (0x20054f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e8c) Line : termios.c:368 (0x2003eb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e8c) Line : termios.c:381 (0x2003f10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e8c) Line : termios.c:392 (0x2003f40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e8c) Line : termios.c:395 (0x2003f58) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_close (0x2003e8c) Line : termios.c:398 (0x2003f6c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200565c) Line : termios.c:1387 (0x200568c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_dequeue_characters (0x200565c) Line : termios.c:1396 (0x20056b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1144 (0x20050f8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1144 (0x2005108) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1158 (0x2005160) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1170 (0x2005190) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1177 (0x20051a8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1179 (0x20051bc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1196 (0x2005254) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1223 (0x2005318) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1232 (0x2005338) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_enqueue_raw_characters (0x200507c) Line : termios.c:1232 (0x2005348) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:521 (0x20040a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:525 (0x20040dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:525 (0x20040f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:525 (0x2004130) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:527 (0x2004150) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:454 (0x20041a0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:475 (0x2004218) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:483 (0x2004250) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:498 (0x20042ac) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:560 (0x2004350) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_ioctl (0x2004074) Line : termios.c:602 (0x2004404) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:127 (0x2003a5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:131 (0x2003a84) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:151 (0x2003ac4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:161 (0x2003aec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:171 (0x2003b04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:247 (0x2003c64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:257 (0x2003c94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:307 (0x2003dbc) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:322 (0x2003e2c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:327 (0x2003e4c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_open (0x2003a3c) Line : termios.c:142 (0x2003e7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004474) Line : termios.c:662 (0x20044ec) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_puts (0x2004474) Line : termios.c:670 (0x2004548) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1074 (0x2004ce8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1084 (0x2004d3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:968 (0x2004df0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:969 (0x2004dfc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:986 (0x2004e64) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:988 (0x2004e6c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:988 (0x2004e7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1018 (0x2004ed8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1023 (0x2004ef8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1030 (0x2004f44) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1040 (0x2004f78) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1010 (0x2004fd8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_read (0x2004cbc) Line : termios.c:1057 (0x2005000) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005400) Line : termios.c:1258 (0x2005410) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005400) Line : termios.c:1270 (0x200545c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005400) Line : termios.c:1292 (0x20054c0) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005400) Line : termios.c:1325 (0x2005538) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_refill_transmitter (0x2005400) Line : termios.c:1330 (0x200555c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_rxdaemon (0x2005390) Line : termios.c:1462 (0x20053b8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20055e8) Line : termios.c:1423 (0x2005614) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_txdaemon (0x20055e8) Line : termios.c:1431 (0x200563c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_termios_write (0x2004bf4) Line : termios.c:749 (0x2004c18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0x2016380) Line : timercancel.c:53 (0x20163b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0x2016868) Line : timerserverfirewhen.c:61 (0x2016890) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007634) Line : error.c:114 (0x2007658) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007634) Line : error.c:118 (0x200767c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_verror (0x2007634) Line : error.c:140 (0x200772c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanInt (0x200325c) Line : getpwent.c:127 (0x2003284) 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 (0x200325c) Line : getpwent.c:141 (0x20032fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: I think this is a matter of putting in a VERY large number in a numeric field. This is detecting overflow. I think a long string of 9's will do most of this. ============================================ ============================================ Symbol : scanInt (0x200325c) Line : getpwent.c:142 (0x2003304) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: Simple Test Case Explanation: sparc See getpwent.c:141 ============================================ ============================================ Symbol : scanInt (0x200325c) Line : getpwent.c:146 (0x2003338) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanString (0x2003368) Line : getpwent.c:102 (0x20033fc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x2003460) Line : getpwent.c:299 (0x20034b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x2003460) Line : getpwent.c:300 (0x20034cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x2003460) Line : getpwent.c:301 (0x20034ec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scangr (0x2003460) Line : getpwent.c:316 (0x2003534) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x20035a8) Line : getpwent.c:165 (0x2003600) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x20035a8) Line : getpwent.c:166 (0x2003614) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x20035a8) Line : getpwent.c:168 (0x2003648) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x20035a8) Line : getpwent.c:169 (0x2003668) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : scanpw (0x20035a8) Line : getpwent.c:170 (0x2003688) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_max (0x2006a20) Line : sched_getprioritymax.c:29 (0x2006a38) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_get_priority_min (0x2006a64) Line : sched_getprioritymin.c:29 (0x2006a7c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sched_rr_get_interval (0x2006a9c) Line : sched_rr_get_interval.c:37 (0x2006aa4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sem_open (0x200945c) Line : semopen.c:85 (0x20094b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigaction (0x20069a0) Line : sigaction.c:66 (0x2006a10) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigtimedwait (0x2006e5c) Line : sigtimedwait.c:95 (0x2006e98) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sigwait (0x2009014) Line : sigwait.c:38 (0x2009034) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : siproc (0x2004ba8) Line : termios.c:932 (0x2004bb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : statvfs (0x20061f8) Line : statvfs.c:39 (0x2006228) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sync_per_thread (0x2004cc0) Line : sync.c:65 (0x2004ccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : sysconf (0x2005cf4) Line : sysconf.c:50 (0x2005d4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : tcsetattr (0x200537c) Line : tcsetattr.c:42 (0x20053bc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x2006080) Line : timercreate.c:50 (0x20060b4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x2006080) Line : timercreate.c:56 (0x20060c4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_create (0x2006080) Line : timercreate.c:59 (0x20060d4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x20061b8) Line : timersettime.c:42 (0x20061c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : timer_settime (0x20061b8) Line : timersettime.c:52 (0x20061e8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : ualarm (0x2005f98) Line : ualarm.c:70 (0x2005fe4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x20068f8) Line : unlink.c:48 (0x200694c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unlink (0x20068f8) Line : unlink.c:65 (0x20069b8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2006aa4) Line : unmount.c:123 (0x2006b80) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : unmount (0x2006aa4) Line : unmount.c:139 (0x2006b9c) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : vprintk (0x2005718) Line : vprintk.c:125 (0x20058c0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: 0x6f is a 'o'. It looks like we do not have a printk test which uses %o. ============================================ ============================================ Symbol : write (0x2013bc8) Line : write.c:40 (0x2013c14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:44 (0x2006dd4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:55 (0x2006df8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:88 (0x2006e48) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:88 (0x2006e58) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:104 (0x2006eb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: This is a case of needing 0 values in the write iov entries. ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:113 (0x2006ed4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: This is a case of needing negative values in the write iov entries. ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:116 (0x2006edc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : writev (0x2006d8c) Line : writev.c:121 (0x2006f00) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================