AUTOSAR C++14 Rule M5-0-18

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

Описание

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

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

Реализация Polyspace

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

Средство проверки игнорирует броски при показе нарушения на использовании оператора отношения с типами указателей.

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

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

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

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

Введенный в R2019a