Exponenta Banner

Predefined macro used as an object

Вы используете стандартные библиотечные макросы, такие как assert и errno как объекты

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

Описание

Этот дефект возникает, когда вы используете определенные идентификаторы способом, который требует, чтобы базовый объект присутствовал. Эти идентификаторы определены как макросы. Стандарт C не позволяет вам переопределять их как объекты. Вы используете идентификаторы таким образом, чтобы макро-расширение идентификаторов не могло произойти.

Например, вы ссылаетесь на внешнюю переменную errno:

extern int errno;
Однако errno происходит не как переменная, а как макрос.

Дефект применяется к этим макросам: assert, errno, math_errhandling, setjmp, va_arg, va_copy, va_end, и va_start. Чекер ищет дефект только в исходных файлах (не в файлах заголовков).

Риск

Стандарт C11 (раздел 7.1.4) позволяет вам переопределять большинство макросов как объекты. Чтобы получить доступ к объекту, а не к макросу в исходном файле, вы делаете одно из следующего:

  • Переопределите идентификатор как внешнюю переменную или функцию.

  • Для функциональных макросов заключайте имя идентификатора в круглые скобки.

Если вы пытаетесь использовать эти стратегии для макросов, которые не могут быть переопределены как объекты, возникает ошибка.

Зафиксировать

Не используйте идентификаторы таким образом, чтобы макро-расширение было подавлено.

  • Не пересматривайте идентификаторы как внешние переменные или функции.

  • Для функциональных макросов не заключайте имя макроса в круглые скобки.

Примеры

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

#include<assert.h>
typedef void (*err_handler_func)(int);

extern void demo_handle_err(err_handler_func, int);

void func(int err_code) {
    extern void assert(int);   
    demo_handle_err(&(assert), err_code);
}

В этом примере assert макрос переопределяется как внешняя функция. Когда передан как аргумент к demo_handle_err, идентификатор assert заключено в круглые скобки, что подавляет использование assert макрос.

Коррекция - Использование assert как макрос

Одной из возможных коррекций является непосредственное использование assert макрос из assert.h. Другая реализация функции demo_handle_err непосредственно использует assert макрос вместо взятия адреса assert функция.

#include<assert.h>
void demo_handle_err(int err_code) {
    assert(err_code == 0);                   
}

void func(int err_code) {
    demo_handle_err(err_code);          
}

Информация о результатах

Группа: Программирование
Язык: C | C++
По умолчанию: On для рукописного кода, off для сгенерированного кода
Синтаксис командной строки : MACRO_USED_AS_OBJECT
Влияние: Низкое

См. также

|

Темы

Введенный в R2018a

Документация Polyspace Bug Finder

Поддержка