MISRA C ++:2008 правил 5-0-17

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

Описание

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

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

Реализация Polyspace

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

Обменивайтесь сообщениями в отчете

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

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

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

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

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

Введенный в R2013b