============================================
Symbol        : _CORE_RWLock_Obtain_for_reading (0x20092e4)
Line          : corerwlockobtainread.c:68 (0x2009338)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Release (0x200943c)
Line          : corerwlockrelease.c:96 (0x200950c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Timeout (0x2009534)
Line          : corerwlocktimeout.c:44 (0x200954c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Broadcast (0x20168fc)
Line          : coremsgbroadcast.c:72 (0x201690c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x2010170)
Line          : coremsg.c:76 (0x20101a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x2010170)
Line          : coremsg.c:86 (0x20101bc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: Simple Test Case

Explanation:
We need to request enough messages of a certain size that the math
overflows to less than a single message. 
============================================
============================================
Symbol        : _CORE_message_queue_Seize (0x2010234)
Line          : coremsgseize.c:76 (0x2010274)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x2006edc)
Line          : coremutexseize.c:39 (0x2006ef8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x2007140)
Line          : coresemsurrender.c:68 (0x2007174)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Seize (0x2005d38)
Line          : eventseize.c:73 (0x2005d6c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2005ea4)
Line          : eventsurrender.c:78 (0x2005f00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2005ea4)
Line          : eventsurrender.c:82 (0x2005f24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x2005ea4)
Line          : eventsurrender.c:96 (0x2005f64)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Timeout (0x2005fe0)
Line          : eventtimeout.c:51 (0x2005ff8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x200d5fc)
Line          : heapallocate.c:200 (0x200d76c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Extend (0x2011e64)
Line          : heapextend.c:76 (0x2011ec4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heap.inl:198 (0x200d818)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heapfree.c:46 (0x200d830)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heapfree.c:51 (0x200d840)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heap.inl:198 (0x200d880)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heapfree.c:64 (0x200d894)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x200d7c8)
Line          : heapfree.c:71 (0x200d8a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201babc)
Line          : heap.inl:198 (0x201bb0c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201babc)
Line          : heapsizeofuserarea.c:47 (0x201bb24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x201babc)
Line          : heapsizeofuserarea.c:47 (0x201bb34)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x2008488)
Line          : heap.inl:198 (0x2008750)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Allocate (0x200771c)
Line          : objectallocate.c:53 (0x200772c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x20077d4)
Line          : objectextendinformation.c:89 (0x200785c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x2007b2c)
Line          : objectgetinfo.c:43 (0x2007b70)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x2007b2c)
Line          : objectgetinfo.c:47 (0x2007b84)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_no_protection (0x20183b4)
Line          : objectgetnoprotection.c:67 (0x20183dc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x200c500)
Line          : objectidtoname.c:64 (0x200c548)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x200c500)
Line          : objectidtoname.c:68 (0x200c558)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Set_name (0x20084b0)
Line          : objectsetname.c:47 (0x20084e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Condition_variables_Wait_support (0x20072ac)
Line          : condwaitsupp.c:89 (0x2007398)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x200fa0c)
Line          : keyrundestructors.c:61 (0x200fa7c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x200fa0c)
Line          : keyrundestructors.c:48 (0x200faa4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x200b054)
Line          : mqueuerecvsupp.c:90 (0x200b0d8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x200b054)
Line          : mqueuerecvsupp.c:108 (0x200b114)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x200ca24)
Line          : canceleval.c:30 (0x200ca30)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Translate_sched_param (0x200de44)
Line          : psxtransschedparam.c:30 (0x200de54)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Delete_extension (0x200cb3c)
Line          : pthread.c:262 (0x200cb70)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006840)
Line          : pthreadinitthreads.c:59 (0x2006854)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006840)
Line          : pthreadinitthreads.c:59 (0x2006860)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x2006840)
Line          : pthreadinitthreads.c:69 (0x20068c0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_TSR (0x200ccf8)
Line          : pthread.c:96 (0x200cd24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x200cca8)
Line          : pthread.c:142 (0x200cccc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x200cca8)
Line          : pthread.c:148 (0x200ccdc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x20064cc)
Line          : timertsr.c:47 (0x20064f0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x20064cc)
Line          : timertsr.c:55 (0x2006518)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Check_signal (0x200fd94)
Line          : psignalchecksignal.c:66 (0x200fddc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x201083c)
Line          : chain.inl:141 (0x2010884)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x201083c)
Line          : psignalclearprocesssignals.c:56 (0x20108a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x2006fe4)
Line          : sigtimedwait.c:36 (0x2006ff8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x2006fe4)
Line          : sigtimedwait.c:48 (0x2007034)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x200c980)
Line          : psignal.c:129 (0x200c994)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x200ff98)
Line          : psignalunblockthread.c:111 (0x201006c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x200ff98)
Line          : psignalunblockthread.c:116 (0x2010098)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x200ff98)
Line          : psignalunblockthread.c:117 (0x20100b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x200d0f8)
Line          : tasks.c:188 (0x200d104)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x20412c4)
Line          : ratemontimeout.c:55 (0x20412e4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x20073b8)
Line          : clocktodvalidate.c:59 (0x20073c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x20073b8)
Line          : clocktodvalidate.c:59 (0x2007420)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x20073b8)
Line          : clocktodvalidate.c:59 (0x2007448)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x2007ff8)
Line          : threadchangepriority.c:103 (0x2008044)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x2007ff8)
Line          : threadchangepriority.c:113 (0x200807c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Clear_state (0x20081dc)
Line          : threadclearstate.c:89 (0x2008298)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Delay_ended (0x2008460)
Line          : threaddelayended.c:55 (0x2008478)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x20084a0)
Line          : threaddispatch.c:123 (0x200855c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x2010620)
Line          : threadevaluatemode.c:46 (0x2010630)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x2010620)
Line          : threadevaluatemode.c:47 (0x2010654)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x2010678)
Line          : threadhandler.c:151 (0x2010720)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x2008704)
Line          : threadinitialize.c:98 (0x2008748)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x2008704)
Line          : threadinitialize.c:229 (0x20088e4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x200c6ac)
Line          : threadresume.c:78 (0x200c6c4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x200c6ac)
Line          : threadresume.c:92 (0x200c764)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Stack_Free (0x2009228)
Line          : threadstackfree.c:48 (0x2009234)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Tickle_timeslice (0x200930c)
Line          : threadtickletimeslice.c:74 (0x2009354)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x20093b4)
Line          : threadyieldprocessor.c:68 (0x2009420)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x20093b4)
Line          : threadyieldprocessor.c:72 (0x200943c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x2008c4c)
Line          : threadqenqueuepriority.c:98 (0x2008cd0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x2008e90)
Line          : threadqrequeue.c:53 (0x2008e98)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x2008e90)
Line          : threadqrequeue.c:60 (0x2008ea8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x2008e90)
Line          : threadqrequeue.c:66 (0x2008ecc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x2008f04)
Line          : threadqtimeout.c:49 (0x2008f1c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2015de4)
Line          : timerserver.c:119 (0x2015ecc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2015de4)
Line          : timerserver.c:339 (0x2015ef4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x2015de4)
Line          : timerserver.c:387 (0x2015f4c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200b978)
Line          : watchdogadjust.c:58 (0x200b9a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x200b978)
Line          : watchdogadjust.c:63 (0x200ba00)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Remove (0x2009944)
Line          : watchdogremove.c:41 (0x200996c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Report_chain (0x200b0e8)
Line          : watchdogreportchain.c:37 (0x200b134)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x200626c)
Line          : adjtime.c:100 (0x20063a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x2006238)
Line          : clockgettime.c:46 (0x200626c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_settime (0x202af98)
Line          : clocksettime.c:38 (0x202afa0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x200fab4)
Line          : killinfo.c:77 (0x200fac4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x200fab4)
Line          : killinfo.c:83 (0x200fadc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x200fab4)
Line          : killinfo.c:86 (0x200fb00)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x200fab4)
Line          : killinfo.c:268 (0x200fc7c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x2028aa4)
Line          : nanosleep.c:48 (0x2028ac4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x2028aa4)
Line          : nanosleep.c:48 (0x2028ad4)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_attr_setschedpolicy (0x200ad84)
Line          : pthreadattrsetschedpolicy.c:32 (0x200adb0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x2006850)
Line          : pbarrierinit.c:76 (0x2006894)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_push (0x2006004)
Line          : cleanuppush.c:53 (0x200602c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_init (0x200710c)
Line          : condinit.c:48 (0x200712c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_condattr_destroy (0x2006f84)
Line          : condattrdestroy.c:37 (0x2006f98)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x20064ec)
Line          : pthreadcreate.c:116 (0x20065b8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20101d8)
Line          : pthreadkill.c:37 (0x20101e0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20101d8)
Line          : pthreadkill.c:44 (0x2010220)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x20101d8)
Line          : pthreadkill.c:55 (0x2010248)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_gettype (0x2005d80)
Line          : mutexattrgettype.c:38 (0x2005d9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_setpshared (0x20082e4)
Line          : mutexattrsetpshared.c:39 (0x2008300)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_settype (0x2005de8)
Line          : mutexattrsettype.c:32 (0x2005dfc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x2006b98)
Line          : pthreadonce.c:36 (0x2006be0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x2007350)
Line          : prwlockinit.c:68 (0x200737c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x2007350)
Line          : prwlockinit.c:71 (0x200738c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x2007480)
Line          : prwlocktimedrdlock.c:85 (0x2007510)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x2007480)
Line          : prwlocktimedrdlock.c:85 (0x200751c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x200754c)
Line          : prwlocktimedwrlock.c:85 (0x20075dc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x200754c)
Line          : prwlocktimedwrlock.c:85 (0x20075e8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlockattr_setpshared (0x2007dd4)
Line          : rwlockattrsetpshared.c:35 (0x2007df0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x2008f80)
Line          : pthreadsetschedparam.c:73 (0x2009018)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x2008f80)
Line          : pthreadsetschedparam.c:73 (0x2009030)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x20067ec)
Line          : testcancel.c:44 (0x20067fc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x20067ec)
Line          : testcancel.c:50 (0x2006824)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x200929c)
Line          : iterateoverthreads.c:32 (0x20092a4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x200929c)
Line          : iterateoverthreads.c:46 (0x20092e8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_create (0x201365c)
Line          : partcreate.c:66 (0x2013678)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x2041110)
Line          : ratemonperiod.c:265 (0x2041170)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x2041110)
Line          : ratemonperiod.c:283 (0x20411b0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x202bd1c)
Line          : ratemonreportstatistics.c:52 (0x202bd24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_signal_send (0x2014c44)
Line          : signalsend.c:69 (0x2014cc4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_mode (0x20102e8)
Line          : taskmode.c:125 (0x2010410)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_set_priority (0x200afc8)
Line          : tasksetpriority.c:79 (0x200b038)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_cancel (0x20155fc)
Line          : timercancel.c:53 (0x201562c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x2015aec)
Line          : timerserverfirewhen.c:61 (0x2015b14)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_max (0x2006c24)
Line          : sched_getprioritymax.c:29 (0x2006c3c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_min (0x2006c68)
Line          : sched_getprioritymin.c:29 (0x2006c80)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_rr_get_interval (0x2006ca0)
Line          : sched_rr_get_interval.c:37 (0x2006ca8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_open (0x200953c)
Line          : semopen.c:85 (0x2009594)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigaction (0x2006b48)
Line          : sigaction.c:66 (0x2006bb4)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigsuspend (0x2008e18)
Line          : sigsuspend.c:49 (0x2008e64)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x2007044)
Line          : sigtimedwait.c:95 (0x200707c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigwait (0x20090ac)
Line          : sigwait.c:38 (0x20090cc)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sysconf (0x2005e70)
Line          : sysconf.c:50 (0x2005ec8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x20061dc)
Line          : timercreate.c:50 (0x2006208)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x20061dc)
Line          : timercreate.c:56 (0x2006218)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x20061dc)
Line          : timercreate.c:59 (0x2006228)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x200630c)
Line          : timersettime.c:42 (0x2006314)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x200630c)
Line          : timersettime.c:48 (0x2006338)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ualarm (0x20060e0)
Line          : ualarm.c:70 (0x200612c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
