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

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

Описание

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

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

Реализация Polyspace

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

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

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

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

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