[C-safe-secure-studygroup] Homework - rule 13.1
Clive Pygott
clivepygott at gmail.com
Fri Oct 26 12:33:54 BST 2018
Hi
For MISRA C:12 rule 13.1, the concern is that the order in which side
effects are applied is unspecified, so there are circumstances where the
programmer cannot know what the behaviour of this code will be. Also the
same code may have different behaviour when compiled for a different
platform, or indeed within the same program.
If one wanted a more permissive version of this rule something like ‘*An
initializer list with side effects shall leave the program in the same
state, under all permitted orders of application of the side effects’ *–
but this is a far harder property to evaluate.
For safety we definitely want it in some form
Clive
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.trustable.io/pipermail/c-safe-secure-studygroup/attachments/20181026/6bcfc657/attachment.html>
More information about the C-safe-secure-studygroup
mailing list