============================================
Symbol        : _CORE_message_queue_Broadcast (0x117a0c)
Line          : coremsgbroadcast.c:72 (0x117a23)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_message_queue_Initialize (0x112894)
Line          : coremsg.c:86 (0x1128ce)
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 (0x112930)
Line          : coremsgseize.c:76 (0x112980)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_mutex_Seize_interrupt_trylock (0x10f784)
Line          : coremutex.inl:203 (0x10f82d)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _CORE_semaphore_Surrender (0x10b190)
Line          : coresemsurrender.c:68 (0x10b1b6)
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        : _Event_Timeout (0x10a2c0)
Line          : eventtimeout.c:77 (0x10a2f4)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Heap_Walk (0x10bfb9)
Line          : heapwalk.c:327 (0x10bff5)
Size in Bytes : 6
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Objects_Initialize_information (0x10bac4)
Line          : objectinitializeinformation.c:134 (0x10bb6e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RTEMS_tasks_Post_switch_extension (0x10f3e2)
Line          : tasks.c:203 (0x10f409)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Rate_monotonic_Timeout (0x13a768)
Line          : ratemontimeout.c:55 (0x13a789)
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 (0x10bd94)
Line          : threadchangepriority.c:103 (0x10bdd4)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Dispatch (0x10c0ec)
Line          : threaddispatch.c:176 (0x10c218)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Handler (0x111704)
Line          : threadhandler.c:144 (0x11177e)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Initialize (0x10c2c8)
Line          : threadinitialize.c:91 (0x10c31e)
Size in Bytes : 2
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_Reset_timeslice (0x10fe90)
Line          : threadresettimeslice.c:69 (0x10fecd)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _Thread_queue_Timeout (0x10c96c)
Line          : threadqtimeout.c:49 (0x10c985)
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 (0x10e7b0)
Line          : watchdogadjust.c:58 (0x10e7d3)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_iterate_over_all_threads (0x10cac8)
Line          : iterateoverthreads.c:46 (0x10cafd)
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 (0x13a5e9)
Line          : ratemonperiod.c:265 (0x13a63a)
Size in Bytes : 2
Reason        : NEVER TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : rtems_rate_monotonic_report_statistics_with_plugin (0x129b4c)
Line          : ratemonreportstatistics.c:52 (0x129b5d)
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
============================================
