Replace all ASSERT with DEBUGASSERT to save the code space

This commit is contained in:
Xiang Xiao
2018-08-24 06:58:30 -06:00
committed by Gregory Nutt
parent 467d2a58ea
commit e1202d2ed3
129 changed files with 219 additions and 219 deletions
+2 -2
View File
@@ -83,8 +83,8 @@ void up_block_task(struct tcb_s *tcb, tstate_t task_state)
/* Verify that the context switch can be performed */
ASSERT((tcb->task_state >= FIRST_READY_TO_RUN_STATE) &&
(tcb->task_state <= LAST_READY_TO_RUN_STATE));
DEBUGASSERT((tcb->task_state >= FIRST_READY_TO_RUN_STATE) &&
(tcb->task_state <= LAST_READY_TO_RUN_STATE));
/* Remove the tcb task from the ready-to-run list. If we
* are blocking the task at the head of the task list (the
+1 -1
View File
@@ -85,7 +85,7 @@ void lm32_sigdeliver(void)
sinfo("rtcb=%p sigdeliver=%p sigpendactionq.head=%p\n",
rtcb, rtcb->xcp.sigdeliver, rtcb->sigpendactionq.head);
ASSERT(rtcb->xcp.sigdeliver != NULL);
DEBUGASSERT(rtcb->xcp.sigdeliver != NULL);
/* Save the real return state on the stack. */
+2 -2
View File
@@ -78,8 +78,8 @@ void up_unblock_task(struct tcb_s *tcb)
/* Verify that the context switch can be performed */
ASSERT((tcb->task_state >= FIRST_BLOCKED_STATE) &&
(tcb->task_state <= LAST_BLOCKED_STATE));
DEBUGASSERT((tcb->task_state >= FIRST_BLOCKED_STATE) &&
(tcb->task_state <= LAST_BLOCKED_STATE));
/* Remove the task from the blocked task list */