============================================
Symbol        : _CORE_RWLock_Obtain_for_reading (0x10cedc)
Line          : corerwlockobtainread.c:68 (0x10cf2c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Release (0x10d010)
Line          : corerwlockrelease.c:96 (0x10d094)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_RWLock_Timeout (0x10d0b0)
Line          : corerwlocktimeout.c:44 (0x10d0c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Broadcast (0x117a5c)
Line          : coremsgbroadcast.c:72 (0x117a73)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1128e4)
Line          : coremsg.c:76 (0x112920)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x1128e4)
Line          : coremsg.c:86 (0x11292c)
Size in Bytes : 2
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 (0x11298c)
Line          : coremsgseize.c:76 (0x1129df)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize (0x10b081)
Line          : coremutexseize.c:39 (0x10b099)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x10b244)
Line          : coresemsurrender.c:68 (0x10b26a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Seize (0x10a088)
Line          : eventseize.c:73 (0x10a0cb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10a1dc)
Line          : eventsurrender.c:78 (0x10a222)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10a1dc)
Line          : eventsurrender.c:82 (0x10a235)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Surrender (0x10a1dc)
Line          : eventsurrender.c:96 (0x10a266)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Event_Timeout (0x10a2c0)
Line          : eventtimeout.c:51 (0x10a2d9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Allocate_aligned_with_boundary (0x1101e8)
Line          : heapallocate.c:200 (0x110303)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Extend (0x113640)
Line          : heapextend.c:76 (0x113686)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heap.inl:198 (0x110391)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:46 (0x1103a3)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:51 (0x1103b2)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heap.inl:198 (0x1103e8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:64 (0x1103fa)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Free (0x110348)
Line          : heapfree.c:71 (0x110404)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x11e5e4)
Line          : heap.inl:198 (0x11e61c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x11e5e4)
Line          : heapsizeofuserarea.c:47 (0x11e628)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Size_of_alloc_area (0x11e5e4)
Line          : heapsizeofuserarea.c:47 (0x11e62e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10c06d)
Line          : heap.inl:198 (0x10c229)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Allocate (0x10b70c)
Line          : objectallocate.c:53 (0x10b71a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Extend_information (0x10b7a0)
Line          : objectextendinformation.c:89 (0x10b80d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x10ba88)
Line          : objectgetinfo.c:43 (0x10bab4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_information (0x10ba88)
Line          : objectgetinfo.c:47 (0x10babb)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Get_no_protection (0x118ff8)
Line          : objectgetnoprotection.c:67 (0x11901d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x10f120)
Line          : objectidtoname.c:64 (0x10f151)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Id_to_name (0x10f120)
Line          : objectidtoname.c:68 (0x10f157)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Set_name (0x10c2e0)
Line          : objectsetname.c:47 (0x10c323)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Condition_variables_Wait_support (0x10b1e4)
Line          : condwaitsupp.c:89 (0x10b29e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x111ec4)
Line          : keyrundestructors.c:61 (0x111f1c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Keys_Run_destructors (0x111ec4)
Line          : keyrundestructors.c:48 (0x111f38)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x10e6e0)
Line          : mqueuerecvsupp.c:90 (0x10e74d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Message_queue_Receive_support (0x10e6e0)
Line          : mqueuerecvsupp.c:108 (0x10e785)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Evaluate_cancellation_and_enable_dispatch (0x10f704)
Line          : canceleval.c:30 (0x10f71a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Thread_Translate_sched_param (0x1107b0)
Line          : psxtransschedparam.c:30 (0x1107ce)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Delete_extension (0x10f723)
Line          : pthread.c:262 (0x10f767)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:59 (0x10a9ab)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:59 (0x10a9af)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Initialize_user_threads_body (0x10a994)
Line          : pthreadinitthreads.c:69 (0x10a9ff)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_TSR (0x10f933)
Line          : pthread.c:96 (0x10f96a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3)
Line          : pthread.c:142 (0x10f91d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Threads_Sporadic_budget_callout (0x10f8f3)
Line          : pthread.c:148 (0x10f922)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10a6cc)
Line          : timertsr.c:47 (0x10a6e3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_Timer_TSR (0x10a6cc)
Line          : timertsr.c:55 (0x10a702)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Check_signal (0x112170)
Line          : psignalchecksignal.c:66 (0x1121a4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x11296c)
Line          : chain.inl:141 (0x11298e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Clear_process_signals (0x11296c)
Line          : psignalclearprocesssignals.c:56 (0x1129a5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10b014)
Line          : sigtimedwait.c:36 (0x10b02f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Get_highest (0x10b014)
Line          : sigtimedwait.c:48 (0x10b04d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Post_switch_extension (0x10f5d9)
Line          : psignal.c:129 (0x10f5f5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:111 (0x1123b3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:116 (0x1123d7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _POSIX_signals_Unblock_thread (0x1122fc)
Line          : psignalunblockthread.c:117 (0x1123e8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x10fcce)
Line          : tasks.c:188 (0x10fce2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x13b98c)
Line          : ratemontimeout.c:55 (0x13b9ad)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10b120)
Line          : clocktodvalidate.c:59 (0x10b12f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10b120)
Line          : clocktodvalidate.c:59 (0x10b156)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _TOD_Validate (0x10b120)
Line          : clocktodvalidate.c:59 (0x10b16c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x10be74)
Line          : threadchangepriority.c:103 (0x10beb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Change_priority (0x10be74)
Line          : threadchangepriority.c:113 (0x10bee3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Clear_state (0x10bf94)
Line          : threadclearstate.c:89 (0x10c010)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Delay_ended (0x10c194)
Line          : threaddelayended.c:55 (0x10c1ad)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x10c1cc)
Line          : threaddispatch.c:123 (0x10c25c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x1127d4)
Line          : threadevaluatemode.c:46 (0x1127e0)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Evaluate_mode (0x1127d4)
Line          : threadevaluatemode.c:47 (0x1127ee)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x112800)
Line          : threadhandler.c:151 (0x112889)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10c3a8)
Line          : threadinitialize.c:98 (0x10c407)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10c3a8)
Line          : threadinitialize.c:229 (0x10c5ad)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x10f8bc)
Line          : threadresume.c:78 (0x10f8cc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Resume (0x10f8bc)
Line          : threadresume.c:92 (0x10f935)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Stack_Free (0x10cca4)
Line          : threadstackfree.c:48 (0x10ccb4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Tickle_timeslice (0x10cd8c)
Line          : threadtickletimeslice.c:74 (0x10cdb5)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10cdf0)
Line          : threadyieldprocessor.c:68 (0x10ce2d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Yield_processor (0x10cdf0)
Line          : threadyieldprocessor.c:72 (0x10ce3e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x10c854)
Line          : threadqenqueuepriority.c:98 (0x10c8b7)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Enqueue_priority (0x10c854)
Line          : threadqenqueuepriority.c:106 (0x10c8d0)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10ca24)
Line          : threadqrequeue.c:53 (0x10ca35)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10ca24)
Line          : threadqrequeue.c:60 (0x10ca3b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Requeue (0x10ca24)
Line          : threadqrequeue.c:66 (0x10ca47)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x10ca78)
Line          : threadqtimeout.c:49 (0x10ca91)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x11721c)
Line          : timerserver.c:297 (0x1172d9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x11721c)
Line          : timerserver.c:339 (0x11730d)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Body (0x11721c)
Line          : timerserver.c:387 (0x11733e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1173ab)
Line          : timerserver.c:227 (0x1173bf)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Timer_server_Schedule_operation_method (0x1173ab)
Line          : timerserver.c:195 (0x117467)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x10e918)
Line          : watchdogadjust.c:58 (0x10e93b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Adjust (0x10e918)
Line          : watchdogadjust.c:63 (0x10e978)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Remove (0x10d1f8)
Line          : watchdogremove.c:41 (0x10d210)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Watchdog_Report_chain (0x10e428)
Line          : watchdogreportchain.c:37 (0x10e465)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : adjtime (0x10a458)
Line          : adjtime.c:100 (0x10a512)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x10a3e8)
Line          : clockgettime.c:46 (0x10a40b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_settime (0x129a40)
Line          : clocksettime.c:38 (0x129a4e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:77 (0x111f5b)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:83 (0x111f6c)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:86 (0x111f87)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : killinfo (0x111f44)
Line          : killinfo.c:268 (0x1120aa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x1269dc)
Line          : nanosleep.c:48 (0x1269fa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x1269dc)
Line          : nanosleep.c:48 (0x126a00)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_attr_setschedpolicy (0x10eab4)
Line          : pthreadattrsetschedpolicy.c:32 (0x10ead5)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_barrier_init (0x10a920)
Line          : pbarrierinit.c:76 (0x10a95e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_pop (0x109f88)
Line          : cleanuppop.c:75 (0x109ff8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cleanup_push (0x10a30c)
Line          : cleanuppush.c:53 (0x10a335)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_destroy (0x10afcc)
Line          : conddestroy.c:41 (0x10afed)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_cond_init (0x10b080)
Line          : condinit.c:48 (0x10b097)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_condattr_destroy (0x10af34)
Line          : condattrdestroy.c:37 (0x10af41)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_create (0x10a65c)
Line          : pthreadcreate.c:116 (0x10a708)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:37 (0x1124fe)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:44 (0x11252c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_kill (0x1124f0)
Line          : pthreadkill.c:55 (0x11253e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_gettype (0x10a1b8)
Line          : mutexattrgettype.c:38 (0x10a1cc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_setpshared (0x10bfdc)
Line          : mutexattrsetpshared.c:39 (0x10bff1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_mutexattr_settype (0x10a208)
Line          : mutexattrsettype.c:32 (0x10a218)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x10ad18)
Line          : pthreadonce.c:36 (0x10ad58)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10b290)
Line          : prwlockinit.c:68 (0x10b2bc)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_init (0x10b290)
Line          : prwlockinit.c:71 (0x10b2c2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10b394)
Line          : prwlocktimedrdlock.c:85 (0x10b40f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedrdlock (0x10b394)
Line          : prwlocktimedrdlock.c:85 (0x10b419)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10b43c)
Line          : prwlocktimedwrlock.c:85 (0x10b4b7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlock_timedwrlock (0x10b43c)
Line          : prwlocktimedwrlock.c:85 (0x10b4c1)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_rwlockattr_setpshared (0x10bc5c)
Line          : rwlockattrsetpshared.c:35 (0x10bc71)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10cbc4)
Line          : pthreadsetschedparam.c:73 (0x10cc73)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setschedparam (0x10cbc4)
Line          : pthreadsetschedparam.c:73 (0x10cc7f)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10aac8)
Line          : testcancel.c:44 (0x10aad6)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_testcancel (0x10aac8)
Line          : testcancel.c:50 (0x10aaf9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10cb7c)
Line          : iterateoverthreads.c:32 (0x10cb89)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10cb7c)
Line          : iterateoverthreads.c:46 (0x10cbb1)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_create (0x114edc)
Line          : partcreate.c:66 (0x114f09)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_partition_delete (0x114fd4)
Line          : partdelete.c:52 (0x114ffa)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x13b80d)
Line          : ratemonperiod.c:265 (0x13b85e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_period (0x13b80d)
Line          : ratemonperiod.c:283 (0x13b889)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x12a5dc)
Line          : ratemonreportstatistics.c:52 (0x12a5ed)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_signal_send (0x116284)
Line          : signalsend.c:69 (0x1162e2)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_task_set_priority (0x10e214)
Line          : tasksetpriority.c:79 (0x10e270)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_cancel (0x116acc)
Line          : timercancel.c:53 (0x116af7)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:58 (0x116f4d)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:61 (0x116f5c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:64 (0x116f68)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:67 (0x116f7c)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:71 (0x116f96)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_timer_server_fire_when (0x116f34)
Line          : timerserverfirewhen.c:75 (0x116fb8)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_max (0x10ad98)
Line          : sched_getprioritymax.c:29 (0x10adaf)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_get_priority_min (0x10adcc)
Line          : sched_getprioritymin.c:29 (0x10ade9)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sched_rr_get_interval (0x10adfc)
Line          : sched_rr_get_interval.c:37 (0x10ae09)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sem_open (0x10d3f8)
Line          : semopen.c:85 (0x10d43b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigaction (0x10ac1c)
Line          : sigaction.c:66 (0x10ac69)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigsuspend (0x10ca00)
Line          : sigsuspend.c:49 (0x10ca41)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigtimedwait (0x10b053)
Line          : sigtimedwait.c:95 (0x10b088)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigwait (0x10cc18)
Line          : sigwait.c:38 (0x10cc3c)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:50 (0x10a47b)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:56 (0x10a482)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_create (0x10a45c)
Line          : timercreate.c:59 (0x10a488)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10a558)
Line          : timersettime.c:42 (0x10a568)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : timer_settime (0x10a558)
Line          : timersettime.c:48 (0x10a585)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : ualarm (0x10a370)
Line          : ualarm.c:70 (0x10a3c9)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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