AUTOSAR C++14 Rule M5-0-18

>, > =, <, < = не должны применяться к объектам типа указателя, кроме тех случаев, когда они указывают на один и тот же массив

Описание

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

>, > =, <, < = не применяется к объектам типа указателя, кроме тех случаев, когда они указывают на один и тот же массив.

Реализация Polyspace

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

Проверка игнорирует смещения, показывая нарушение при использовании реляционных операторов с типами указателей.

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

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

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

Группа: Выражения
Категория: Необходимый, Автоматизированный
Введенный в R2019a