============================================ 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 ============================================