Skip to content

Commit d5024ea

Browse files
author
Ubuntu
committed
Fix format
1 parent d078cd6 commit d5024ea

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

MISRA.md

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,14 @@ _Ref 11.3.1_
3838

3939
- MISRA C:2012 Rule 11.3: A cast shall not be performed between a pointer to object
4040
type and a pointer to a different object type.
41-
The rule requires not to cast a pointer to object into a pointer to a different object to prevent undefined behavior due to incorrectly aligned. To support static memory allocation, FreeRTOS creates static type kernel objects which are aliases for kernel object type with prefix "Static" for data hiding purpose. A static kernel object type is guaranteed to have the same size and alignment with kernel object, which is checked by configASSERT. Static kernel object types include StaticEventGroup_t, StaticQueue_t, StaticStreamBuffer_t, StaticTimer_t and StaticTask_t.
41+
The rule requires not to cast a pointer to object into a pointer to a
42+
different object to prevent undefined behavior due to incorrectly aligned.
43+
To support static memory allocation, FreeRTOS creates static type kernel
44+
objects which are aliases for kernel object type with prefix "Static" for
45+
data hiding purpose. A static kernel object type is guaranteed to have the
46+
same size and alignment with kernel object, which is checked by configASSERT.
47+
Static kernel object types include StaticEventGroup_t, StaticQueue_t,
48+
StaticStreamBuffer_t, StaticTimer_t and StaticTask_t.
4249

4350

4451
### MISRA configuration

0 commit comments

Comments
 (0)