diff options
Diffstat (limited to 'os/rt')
| -rw-r--r-- | os/rt/include/chqueues.h | 4 | ||||
| -rw-r--r-- | os/rt/include/chvt.h | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/os/rt/include/chqueues.h b/os/rt/include/chqueues.h index 6b57a7e3c..56a1c51ea 100644 --- a/os/rt/include/chqueues.h +++ b/os/rt/include/chqueues.h @@ -321,7 +321,9 @@ static inline bool chIQIsFullI(input_queue_t *iqp) { chDbgCheckClassI();
+ /*lint -save -e9007 [13.5] No side effects.*/
return (bool)((iqp->q_wrptr == iqp->q_rdptr) && (iqp->q_counter != 0U));
+ /*lint -restore*/
}
/**
@@ -387,7 +389,9 @@ static inline bool chOQIsEmptyI(output_queue_t *oqp) { chDbgCheckClassI();
+ /*lint -save -e9007 [13.5] No side effects.*/
return (bool)((oqp->q_wrptr == oqp->q_rdptr) && (oqp->q_counter != 0U));
+ /*lint -restore*/
}
/**
diff --git a/os/rt/include/chvt.h b/os/rt/include/chvt.h index 0e08b156b..bcf1dbcac 100644 --- a/os/rt/include/chvt.h +++ b/os/rt/include/chvt.h @@ -344,8 +344,9 @@ static inline bool chVTGetTimersStateI(systime_t *timep) { chDbgCheckClassI();
- if (&ch.vtlist == (virtual_timers_list_t *)ch.vtlist.vt_next)
+ if (&ch.vtlist == (virtual_timers_list_t *)ch.vtlist.vt_next) {
return false;
+ }
if (timep != NULL) {
#if CH_CFG_ST_TIMEDELTA == 0
|