MISRA C++:2008 Rule 5-2-7

Объект с типом указателя не должен преобразовываться в несвязанный тип указателя, прямо или косвенно

Описание

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

Объект с типом указателя не должен преобразовываться в несвязанный тип указателя, прямо или косвенно.

Реализация Polyspace

Проверка помечает все преобразования указателей, в том числе между указателем на struct объект и указатель на первый представитель того же struct тип.

Косвенные преобразования из типа указателя в тип, не являющийся указателем, не обнаруживаются.

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

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

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

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