Exponenta Banner

MISRA C:2012 Rule 22.5

Указатель на FILE объект не должен быть разыменован

расширьте все на странице

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

Указатель на FILE объект не должен быть разыменован.

Объяснение

Стандарт утверждает что адрес FILE объект, используемый, чтобы управлять потоком, может быть значительным. Копирование, что объектная сила не дает то же поведение. Это правило гарантирует, что вы не можете выполнить такую копию.

Непосредственно управление FILE объектная сила быть несовместимым с ее использованием в качестве потокового указателя.

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

развернуть все

#include <stdio.h>

void func(void) {
    FILE *pf1;
    FILE *pf2;
    FILE f3;

    pf2 = pf1;        /* Compliant */
    f3 = *pf2;        /* Non-compliant */
    pf2->_flags=0;    /* Non-compliant */
 }

В этом примере правило нарушено когда FILE* указатель pf2 разыменовывается.

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

Группа: ресурсы
Категория: обязательный
Категория AGC: обязательный

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b

Смотрите также

Темы

Введенный в R2015b

Документация Polyspace Code Prover

Поддержка