diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-01-04 19:46:27 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-01-04 19:46:27 +0000 |
| commit | a00bcf911667f67d0ac863c1dafa9fb8e04ff92f (patch) | |
| tree | 0c27b01651c675a02129b5d9bd1e52f84bd4c974 /os/rt | |
| parent | ff31556cade73e3bcf0a270e1f332c0c98615355 (diff) | |
| download | ChibiOS-a00bcf911667f67d0ac863c1dafa9fb8e04ff92f.tar.gz ChibiOS-a00bcf911667f67d0ac863c1dafa9fb8e04ff92f.tar.bz2 ChibiOS-a00bcf911667f67d0ac863c1dafa9fb8e04ff92f.zip | |
MISRA-related fixes.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8690 35acf78f-673a-0410-8e92-d51de3d6d3f4
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
|