Как да потискам грешките на PC-Lint за инициализация в стил C99 на членове на структура?

Доколкото мога да преценя, този синтаксис:

My_Value test[] =
{
    {
        .bits.a = 2,
        .bits.b = 3,
        .bits.c = 2,
        .bits.d = 3,
    },
    {
        .bits.a = 1,
        .bits.b = 1,
        .bits.c = 1,
        .bits.d = 0,
    },
};

е валиден в C99 (и C11). Гледайки в раздел 6.7.8 на стандарта, нещото, предшестващо = в инициализатор, е списък-обозначител, който е последователност от един или повече обозначителиs. .bits.a е валиден в този контекст.

Очевидно PC-Lint не поддържа този синтаксис. (Може да искате да уведомите поддържащите, освен ако вече не се поддържа в по-късна версия.)

Като заобиколно решение, ако го промените на това:

My_Value test[] =
{   
    { .bits =
        {   
            .a = 2,
            .b = 3,
            .c = 2,
            .d = 3,
        },
    },
    { .bits =
        {   
            .a = 1,
            .b = 1,
            .c = 1,
            .d = 0,
        },
    },
};

все още е валиден C (и може би по-ясен) и въз основа на това, което току-що написахте в коментар, PC-Lint го приема.

(Ако искате да сте още по-ясни, може да помислите за добавяне на [0] = и [1] = обозначители.)

АКТУАЛИЗАЦИЯ: Цитирам нов коментар:

Добрите хора от софтуера Gimpel отговориха, заявявайки, че „това изглежда е грешка“ и работят за коригирането й.

Не съм сигурен за въпроса за поддръжка на C99 и 8.00x, тъй като имам инсталиран 9.00k. Но 9.00k не харесва вашата форма на инициализация на обединение, но Visual Studio няма проблем.

Но в случая на Jacchim Pileborg той просто излъчва Info 708: union initialization, докато може да е по-безопасно да се изключи.

Както е отбелязано в коментарите, не искате да премахнете напълно глобално тези типове грешки, така че -e133 и -e10 няма да решат проблемите ви.

Така че използвайки формуляра на Йоахим, мога да използвам макрос да го потисна така:

typedef union
{
    struct
    {
        unsigned int a : 4;
        unsigned int b : 4;
        unsigned int c : 4;
        unsigned int d : 4;
    } bits;
    unsigned short value;
} My_Value;

#define MY_UNION(A,B,C,D) /*lint -save -e708*/{{.a=(A),.b=(B),.c=(C),.d=(D)}}/*lint -restore*/

int main(void)
{
    My_Value test[] =
    {
        MY_UNION(2, 3, 2, 1),
        MY_UNION(1, 2, 3, 4)
    };

    return 0;
}

Грозно, но тъй като нямате какво да правите командите на lint, към които да се придържате, тъй като всичко е анонимно, вие ether трябва да поставите вградени команди изрично или чрез макрос.