diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 11:07:31 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-07 11:07:31 +0000 |
| commit | 272b51ba236d6636bda3ee961cba35eb489d30af (patch) | |
| tree | 2120de0e1054da930c0c54b7a071f5fd73ac3014 /os/rt/src/chmempools.c | |
| parent | 57585301af1df353c3dd3a6e389d074bd4de4fcc (diff) | |
| download | ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.tar.gz ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.tar.bz2 ChibiOS-272b51ba236d6636bda3ee961cba35eb489d30af.zip | |
MISRAs done for RT.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7727 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/src/chmempools.c')
| -rw-r--r-- | os/rt/src/chmempools.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/os/rt/src/chmempools.c b/os/rt/src/chmempools.c index e5c656844..bdacedc0d 100644 --- a/os/rt/src/chmempools.c +++ b/os/rt/src/chmempools.c @@ -96,11 +96,13 @@ void chPoolObjectInit(memory_pool_t *mp, size_t size, memgetfunc_t provider) { */
void chPoolLoadArray(memory_pool_t *mp, void *p, size_t n) {
- chDbgCheck((mp != NULL) && (n != 0));
+ chDbgCheck((mp != NULL) && (n != 0U));
while (n != 0U) {
chPoolAdd(mp, p);
+ /*lint -save -e9087 [11.3] Safe cast.*/
p = (void *)(((uint8_t *)p) + mp->mp_object_size);
+ /*lint -restore*/
n--;
}
}
|