============================================ Symbol : _CORE_message_queue_Initialize (0xffc11a98) Line : coremsg.c:97 (0xffc11adc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _CORE_semaphore_Surrender (0xffc08fd0) Line : coresemsurrender.c:67 (0xffc09018) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0xffc07bc8) Line : eventsurrender.c:78 (0xffc07c34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0xffc07bc8) Line : eventsurrender.c:81 (0xffc07c50) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Surrender (0xffc07bc8) Line : eventsurrender.c:95 (0xffc07c94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Event_Timeout (0xffc07d04) Line : eventtimeout.c:50 (0xffc07d20) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0xffc0da8c) Line : heap.inl:107 (0xffc0dc14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Extend (0xffc0da8c) Line : heapextend.c:239 (0xffc0dd30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0xffc0ddcc) Line : heap.inl:199 (0xffc0de40) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0xffc0ddcc) Line : heapfree.c:139 (0xffc0de5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0xffc0ddcc) Line : heap.inl:199 (0xffc0deb0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0xffc0ddcc) Line : heapfree.c:162 (0xffc0dec8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Free (0xffc0ddcc) Line : heapfree.c:169 (0xffc0ded4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Size_of_alloc_area (0xffc1ae40) Line : heap.inl:199 (0xffc1ae94) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0xffc09bb8) Line : heap.inl:199 (0xffc09e98) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk (0xffc09bb8) Line : heapwalk.c:369 (0xffc09f18) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Heap_Walk_print (0xffc09b08) Line : heapwalk.c:44 (0xffc09b34) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Allocate (0xffc095bc) Line : objectallocate.c:58 (0xffc095dc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0xffc09688) Line : objectextendinformation.c:67 (0xffc096c8) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0xffc09688) Line : objectextendinformation.c:190 (0xffc09800) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0xffc09688) Line : objectextendinformation.c:203 (0xffc0983c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Extend_information (0xffc09688) Line : objectextendinformation.c:203 (0xffc09844) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0xffc099f4) Line : objectgetinfo.c:43 (0xffc09a3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Get_information (0xffc099f4) Line : objectgetinfo.c:47 (0xffc09a4c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Objects_Id_to_name (0xffc0a494) Line : objectidtoname.c:64 (0xffc0a4e0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0xffc0a4d8) Line : rbtreeextract.c:151 (0xffc0a580) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0xffc0a4d8) Line : rbtreeextract.c:167 (0xffc0a5f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_unprotected (0xffc0a4d8) Line : rbtree.inl:202 (0xffc0a688) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0xffc0a2f8) Line : rbtree.inl:202 (0xffc0a330) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Extract_validate_unprotected (0xffc0a2f8) Line : rbtreeextract.c:57 (0xffc0a37c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find (0xffc0a744) Line : rbtree.inl:324 (0xffc0a780) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0xffc0a6f8) Line : rbtree.inl:307 (0xffc0a714) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Find_header (0xffc0a6f8) Line : rbtree.inl:308 (0xffc0a720) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Insert_unprotected (0xffc0a93c) Line : rbtreeinsert.c:85 (0xffc0a954) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0xffc0a244) Line : rbtree.inl:273 (0xffc0a24c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Sibling (0xffc0a244) Line : rbtree.inl:274 (0xffc0a258) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RBTree_Validate_insert_unprotected (0xffc0a848) Line : rbtree.inl:260 (0xffc0a870) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _RTEMS_tasks_Post_switch_extension (0xffc0d768) Line : tasks.c:183 (0xffc0d780) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Get_status (0xffc08b8c) Line : ratemonperiod.c:57 (0xffc08be8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Rate_monotonic_Timeout (0xffc09260) Line : ratemontimeout.c:54 (0xffc09294) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Block (0xffc09ea8) Line : schedulerpriority.inl:141 (0xffc09f74) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Schedule (0xffc0a168) Line : schedulerpriority.inl:141 (0xffc0a1b4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Scheduler_priority_Yield (0xffc0a334) Line : schedulerpriorityyield.c:47 (0xffc0a3a4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: Simple Test Case Explanation: Branch Never Taken New test where there is more than one thread at a priority with the executing thread being non-preemptive. Create a higher priority thread and then yield. powerpc init task at priority 2, non-preemptive create task at priority 2 create task at priority 1 yield ============================================ ============================================ Symbol : _TOD_Validate (0xffc08cbc) Line : clocktodvalidate.c:58 (0xffc08ccc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0xffc08cbc) Line : clocktodvalidate.c:62 (0xffc08d14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _TOD_Validate (0xffc08cbc) Line : clocktodvalidate.c:65 (0xffc08d34) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0xffc0a440) Line : threadchangepriority.c:62 (0xffc0a4a0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Change_priority (0xffc0a440) Line : threadchangepriority.c:72 (0xffc0a4d4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Delay_ended (0xffc0a770) Line : threaddelayended.c:54 (0xffc0a78c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Dispatch (0xffc0a7c0) Line : threaddispatch.c:122 (0xffc0a87c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Handler (0xffc0f9f0) Line : threadhandler.c:155 (0xffc0fa60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Initialize (0xffc0aa00) Line : threadinitialize.c:92 (0xffc0aa60) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_Restart (0xffc0bb9c) Line : thread.inl:187 (0xffc0bc14) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0xffc0b164) Line : threadqrequeue.c:52 (0xffc0b17c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0xffc0b164) Line : threadqrequeue.c:59 (0xffc0b188) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Requeue (0xffc0b164) Line : threadqrequeue.c:65 (0xffc0b1ac) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Thread_queue_Timeout (0xffc0b1d8) Line : threadqtimeout.c:49 (0xffc0b1f4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0xffc18de8) Line : timerserver.c:297 (0xffc18eb4) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Body (0xffc18de8) Line : timerserver.c:339 (0xffc18eec) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0xffc18f94) Line : timerserver.c:227 (0xffc18fb4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timer_server_Schedule_operation_method (0xffc18f94) Line : timerserver.c:195 (0xffc19078) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Timespec_Less_than (0xffc0ce64) Line : timespeclessthan.c:34 (0xffc0ce7c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _User_extensions_Handler_initialization (0xffc0b518) Line : userext.c:43 (0xffc0b570) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0xffc0d268) Line : watchdogadjust.c:57 (0xffc0d2b0) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Adjust (0xffc0d268) Line : watchdogadjust.c:62 (0xffc0d310) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : _Watchdog_Remove (0xffc0b9ac) Line : watchdogremove.c:40 (0xffc0b9d8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_chain_get_with_wait (0xffc088e8) Line : chaingetwait.c:39 (0xffc08924) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_iterate_over_all_threads (0xffc0ad48) Line : iterateoverthreads.c:32 (0xffc0ad5c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_create (0xffc16494) Line : partcreate.c:65 (0xffc164cc) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_partition_return_buffer (0xffc166e0) Line : address.inl:137 (0xffc16738) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_get_statistics (0xffc0f000) Line : ratemongetstatistics.c:52 (0xffc0f020) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0xffc08dc0) Line : ratemonperiod.c:264 (0xffc08e30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0xffc08dc0) Line : ratemonperiod.c:337 (0xffc08f04) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_rate_monotonic_period (0xffc08dc0) Line : ratemonperiod.c:344 (0xffc08f30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_signal_send (0xffc17ba4) Line : signalsend.c:66 (0xffc17c30) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_mode (0xffc0f660) Line : thread.inl:366 (0xffc0f7e4) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_task_set_priority (0xffc0c6ac) Line : tasksetpriority.c:77 (0xffc0c724) Size in Bytes : 4 Reason : ALWAYS TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_cancel (0xffc18674) Line : timercancel.c:52 (0xffc186a8) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================ ============================================ Symbol : rtems_timer_server_fire_when (0xffc18bf8) Line : timerserverfirewhen.c:60 (0xffc18c3c) Size in Bytes : 4 Reason : NEVER TAKEN Classification: NONE Explanation: No Explanation ============================================