exponenta event banner

Правило AUTOSAR C++ 14 M5-0-17

Вычитание между указателями должно применяться только к указателям, которые адресуют элементы одного и того же массива

Описание

Определение правила

Вычитание между указателями должно применяться только к указателям, которые адресуют элементы одного и того же массива.

Внедрение Polyspace

Используйте средство поиска ошибок для этой проверки. Средство проверки правил выполняет те же проверки, что и Subtraction or comparison between pointers to different arrays. Программа проверки кода может не обнаружить некоторые нарушения.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Проверить информацию

Группа: Выражения
Категория: Обязательно, Автоматизировано
Представлен в R2019a