Exponenta Banner
exponenta event banner

MISRA C:2012 Rule 11.4

Преобразование не должно быть выполнено между указателем на объект и целочисленным типом

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

Описание

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

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

Объяснение

Преобразование между целыми числами и указателями может вызвать ошибки или неопределенное поведение.

  • Если целое число брошено к указателю, получившийся указатель может быть неправильно выровнен. Неправильное выравнивание вызывает неопределенное поведение.

  • Если указатель брошен к целому числу, получившееся значение может быть вне позволенной области значений для целочисленного типа.

Реализация Polyspace

Броски или неявные преобразования из NULL или (void*)0 не генерируйте предупреждение.

Обменивайтесь сообщениями в отчете

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

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

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

Примеры

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

#include <stdbool.h>

typedef unsigned char      uint8_t;
typedef          char      char_t;
typedef unsigned short     uint16_t;
typedef signed   int       int32_t;

typedef _Bool bool_t;
uint8_t *PORTA = (uint8_t *) 0x0002;            /* Non-compliant */

void foo(void) {

    char_t c = 1;
    char_t *pc = &c;                              /* Compliant */


    uint16_t ui16   = 7U;
    uint16_t *pui16 = &ui16;                      /* Compliant */
    pui16 = (uint16_t *) ui16;                    /* Non-compliant */


    uint16_t *p;
    int32_t addr = (int32_t) p;                  /* Non-compliant */
    bool_t b = (bool_t) p;                       /* Non-compliant */
    enum etag { A, B } e = ( enum etag ) p;      /* Non-compliant */
}

В этом примере правило нарушено когда:

  • Целочисленный 0x0002 брошен к указателю.

    Если целое число задает абсолютный адрес, более распространено присвоить адрес указателю в заголовочном файле. Чтобы избежать отмечаемого присвоения, можно затем исключить файлы заголовков из кодирования проверки правил. Для получения дополнительной информации смотрите Do not generate results for (-do-not-generate-results-for).

  • Указатель p брошен к целочисленным типам, таким как int32_t, bool_t или enum etag.

Правило не нарушено когда адрес &ui16 присвоен указателю.

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

Группа: преобразования типа указателя
Категория: консультация
Категория AGC: консультация
Язык: C90, C99

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

| | |

Темы

Введенный в R2014b

Документация Polyspace Code Prover
Поддержка