Exponenta 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 назначается указателю.

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

Группа: Преобразования типов указателей
Категория: Консультационные
Категория СМЖЛ: Консультационная

См. также

| | |

Темы

Введенный в R2014b

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

Поддержка