Странность с va_copy

[vitus_wagner]

Вот такую странную картину я тут наблюдаю:

Debian testing, gcc 8.2.0. Имеется вот такой C-шный код:

static void log (int elevel,  const char *fmt, va_list args)
{
 bool write_to_file, write_to_stderr, write_somewhere_else;
 va_list error_args, std_args;
.... здесь вычисляем куда надо писать
if (write_to_file && write_to_stderr) 
  va_copy(std_args,args);

.... некоторое количество кода, заведомо не меняющего флагов write_to
if (write_to_file) {
   vfprintf(f,fmt, args);
}
if (write_to_stderr) {
   if (write_to_file) {
      vfprintf(stderr, fmt, std_args);
   } else {
      vfprintf(stderr,fmt,args);
   }
   ffush(stderr);
}

В 64-битной системе компилятор кушает этот код без вопросов. В 32-битной ругается

error: ‘std_args’ may be used uninitialized in this function [-Werror=maybe-uninitialized]
vfprintf(stderr, fmt, std_args);

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

Comments

[qkowlew]

Может быть разница в реализации макросов.
У меня было как-то ещё в эпоху PDP-11 и "Ленинградского Си" анекдотическое.

if (условие) функция();

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

if (условие) { функция(); }

компилировалось как ожидалось и работало правильно.

[vitus_wagner]

Ну да, а все эта фигня вокруг varargs (теперь stdargs) она как раз на махровых макросах и сделана.

[vitus_wagner]

Посмотрел выдачу препроцессора. Хрен там. Раскрвыается va_copy просто в __builtin_va_copy.
А vfprintf вообще не макрос.

Еще интереснее - результат препроцессирования данной функции в 32-битной среде (где ругается) и в 64-битной) вообще никак не различается.

[livelight]

А вот тех, кто пишет такой развесистый макрос, не окружив его собственными скобками соответствующей формы, надо бить канделябрами.

[vitus_wagner]

Скобки нифига не помогают.


И макрос не такой уж развесистый.

[livelight]

Раз ручное окружение вызова макроса фигурными скобками помогает - значит, макрос обязан сам в себя включать эти фигурные скобки, чтобы гарантированно сохранять синтаксическую целостность своего тела.

К счастью, конфликтов, когда в одних контекстах надо бы окружать фигурными скобками, а в других - круглыми, в Си не бывает. По крайней мере, я таких примеров не встречал.

[vitus_wagner]

Это в куковлевском случае помогает. В моем - не помогает.

[livelight]

А ещё в куковлевском примере с финальным ";" могут быть проблемы, если после if с макросом идёт else. Вот эта болезнь языка препроцессора не имеет хорошего лекарства, кроме опять же ручного окружения if-блока и else-блока в собственные фигурные скобки.

Ну и вообще врождённых болезней у языка препроцессора много :)

[yurikhan]

Ну каноническое решение против else выглядит как

#define DO_SOMETHING(x) \
    do { \
        do_something_one(x); \
        do_something_two(x); \
    } while (0)

// …

if (condition)
    DO_SOMETHING(y);
else
    do_something_three(y);

[livelight]

Точно, было такое лекарство. Хотя назвать его "хорошим" язык не поворачивается :)

[yurikhan]

Ну, оно невкусное, да. В общем-то как и большинство лекарств.

[zevaka_derevnia]

Вот - только хотел написать. Старое и давно известное средство.