AUTOSAR C++14 Rule M5-0-17

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

Описание

Управляйте определением

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

Реализация Polyspace

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

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: Выражения

Введенный в R2019a