FreeRTOS Support Archive
The FreeRTOS support forum is used to obtain active support directly from Real
Time Engineers Ltd. In return for using our top quality software and services for
free, we request you play fair and do your bit to help others too! Sign up
to receive notifications of new support topics then help where you can.
This is a read only archive of threads posted to the FreeRTOS support forum.
The archive is updated every week, so will not always contain the very latest posts.
Use these archive pages to search previous posts. Use the Live FreeRTOS Forum
link to reply to a post, or start a new support thread.
[FreeRTOS Home] [Live FreeRTOS Forum] [FAQ] [Archive Top] [August 2014 Threads]
We are building FreeRTOS v8.1.0 for 64-bit Linux using the POSIX simulator. This is almost all fine, the main addition being the inclusion of a definition for portPOINTERSIZETYPE in portmacros.h:
:::C
#define portPOINTER_SIZE_TYPE uintptr_t
(If you see something wrong in this, please say!) However, a single warning remains which, to me, looks like a legitimate concern. On line 556 of tasks.c there is an assert:
:::C
configASSERT( ( ( ( uint32_t ) pxTopOfStack & ( uint32_t ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
In order to silence the warning, we have changed this to:
:::C
configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == 0U ) );
Given that the line above this (555) has a documented MISRA exception on it, and carefully makes use of portPOINTERSIZETYPE, why does the assert cast to uint32_t? Is this a problem for anyone else (e.g. on the Windows simulator), or are we doing something differently/wrong?
Whatever the solution on this line, the same needs to be applied to line 563, which is the same assert, but for positive stack growth.
TIA,
Peter
Probably just because the asserts have mostly been used on devices with 32-bit pointers, or where the pointer is less than 32-bits so casting to a uint_32 is fine. There is no deliberate reason why. We can change it if it causes you an issue.
Regards.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.