Klocwork CWARN.SIGNEDBIT на неподписанные символ

Question

У меня есть C++ код, который содержит:

struct Struct 
{ 
    uint8_t varA : 1; 
    uint8_t varB : 1; 
    uint8_t varC : 1; 
}; 

Когда я бегу Klocwork 10 на нем, я получаю предупреждение:

CWARN.SIGNEDBIT (4:Review) Analyze 
Bit field 'varA' has one bit and is signed 

И то же самое для других переменных в этой структуре. uint8_t is unsigned char typedef. Когда я пытаюсь использовать подписанный char, тогда я получаю сообщение об ошибке, а не предупреждение, как здесь. Использование unsigned int решает проблему, но я хочу использовать char.

Мой вопрос: Почему это предупреждение появляется и как его решить?

Answer 1

Похоже, что это ошибка Klocwork 10, я добавлю это как исключение из тестового выхода. Спасибо за ответ

Answer 2

KlocWork может собирать здесь гниды.
Бит-поля должны быть целочисленного типа, а не типа символа.

Попробуйте объявить битовые поля как unsigned int.

Компилятор должен упаковать бит в наименьший тип данных, который может содержать все биты.

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

Answer 3

Эта проблема (FP) исправлена ​​на версии Klocwork 2017.1. Обновление Klocwork от v10 до v12 для проверки.