diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-02-06 18:22:34 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-02-06 18:22:34 +0000 |
commit | 3626cfdd1bfa4fc404e822764a2ddbf224a3197d (patch) | |
tree | 0cc4fd895ca7df78848d8c845009e58fada0cb24 | |
parent | a947a1d5ae074f341716d2478922a6d23208bb77 (diff) | |
download | ChibiOS-3626cfdd1bfa4fc404e822764a2ddbf224a3197d.tar.gz ChibiOS-3626cfdd1bfa4fc404e822764a2ddbf224a3197d.tar.bz2 ChibiOS-3626cfdd1bfa4fc404e822764a2ddbf224a3197d.zip |
MISRA-related fixes.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11456 35acf78f-673a-0410-8e92-d51de3d6d3f4
-rw-r--r-- | os/rt/include/chtime.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/rt/include/chtime.h b/os/rt/include/chtime.h index da326a8df..73d278a77 100644 --- a/os/rt/include/chtime.h +++ b/os/rt/include/chtime.h @@ -472,7 +472,9 @@ static inline time_usecs_t chTimeI2US(sysinterval_t interval) { static inline systime_t chTimeAddX(systime_t systime,
sysinterval_t interval) {
+#if CH_CFG_ST_RESOLUTION != CH_CFG_INTERVALS_SIZE
chDbgCheck(interval <= (sysinterval_t)((systime_t)-1));
+#endif
return systime + (systime_t)interval;
}
|