The safety manuals for several MPC57xx microcontrollers contain an assumption regarding decorated storage transactions:
Assumption:[SM_280] Decorated storage transactions on the SRAM are limited to readmodify-write at least for the safety core.
Am I correct to assume that decorated storage instructions are not normally emitted by a C compiler such as the gcc version that is part of S32 studio for Power or Windriver Diab? It requires the use of (inline) assembly or compiler specific intrinsics correct?
If not then how can I make sure that the software application that we are building complies with this assumption.
Thanks in advance for any insight regarding this topic.