diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-02-06 19:46:31 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2018-02-06 19:46:31 +0000 |
| commit | 3f96242b42e7c45d56255980f7f6338d0db35041 (patch) | |
| tree | 473e2ff913044a3f0be8db0060d1b3c3188883a5 /os/rt | |
| parent | 4b2c8eebabfe3e2637e314b23eedaebc4c2f1530 (diff) | |
| download | ChibiOS-3f96242b42e7c45d56255980f7f6338d0db35041.tar.gz ChibiOS-3f96242b42e7c45d56255980f7f6338d0db35041.tar.bz2 ChibiOS-3f96242b42e7c45d56255980f7f6338d0db35041.zip | |
MISRA-related fixes.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@11464 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt')
| -rw-r--r-- | os/rt/include/chtime.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/os/rt/include/chtime.h b/os/rt/include/chtime.h index 73d278a77..b2fc9d5d0 100644 --- a/os/rt/include/chtime.h +++ b/os/rt/include/chtime.h @@ -490,7 +490,10 @@ static inline systime_t chTimeAddX(systime_t systime, */
static inline sysinterval_t chTimeDiffX(systime_t start, systime_t end) {
+ /*lint -save -e9033 [10.8] This cast is required by the operation, it is
+ known that the destination type can be wider.*/
return (sysinterval_t)((systime_t)(end - start));
+ /*lint -restore*/
}
/**
|