+- MISRA Discussion Forums (https://forum.misra.org.uk)
+-- Forum: MISRA C (https://forum.misra.org.uk/forumdisplay.php?fid=4)
+--- Forum: MISRA C:2012 and MISRA C:2023 guidelines (https://forum.misra.org.uk/forumdisplay.php?fid=21)
+---- Forum: 8.10 The essential type model (https://forum.misra.org.uk/forumdisplay.php?fid=165)
+---- Thread: Explain deviation requirement (/showthread.php?tid=1689)
Explain deviation requirement - Gabriel - 18-06-2024
Hello, could someone explain the following deviation requirement:
"This deviation permit shall only be applied if the compiler's implementation has been verified to be consistent with the code generator's configuration (implicit or explicit)."
It is mentiond in rule 10.3, 10.4 and 10.8.
How to prove that this can be fullfilled? Could you refer to autocode?
Thanks!
RE: Explain deviation requirement - misra-c - 31-07-2024
This means that the permit can only be used when it can be shown that the implicit conversion given by the compiler is the same as the implicit conversion that the code generator is expecting.
It should be easy enough to work out what the compiler is doing.
For the code generator I can see two different way:
1) Checking the configuration, if there is a way to configure the behaviour of and when/if implicit conversions are used;
2) Finding documentation for the code generator that describes the behaviour.
If neither of these are possible, then the permit cannot be used to justify a non-compliance.