Значение выражения и его персистентных побочных эффектов должно быть тем же самым согласно всем разрешенным порядкам оценки
Значение выражения и его персистентных побочных эффектов должно быть тем же самым согласно всем разрешенным порядкам оценки.
Если выражение приводит к различным значениям в зависимости от порядка оценки, ее значение становится заданным реализацией.
Выражение может иметь различные значения при следующих условиях:
Та же переменная изменяется несколько раз в выражении, или и считана и записана.
Выражение позволяет больше чем один порядок оценки.
Поэтому это правило запрещает выражения, где переменная изменяется несколько раз и может вызвать различные результаты согласно различным порядкам оценки.
Значение 'XX' зависит от порядка оценки. Значение энергозависимых 'XX' зависит от порядка оценки из-за нескольких доступов.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
Группа: побочные эффекты |
Категория: необходимый |
Категория AGC: необходимый |
Check MISRA C:2012 (-misra3)
| MISRA C:2012 Dir 4.9
| MISRA C:2012 Rule 13.1
| MISRA C:2012 Rule 13.3
| MISRA C:2012 Rule 13.4