MISRA C++:2008 Rule 5-0-17

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

Описание

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

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

Реализация Polyspace

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

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

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

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

Группа: Выражения
Категория: необходимый

Введенный в R2013b