Warning in gcc

А он вроде и не должен. У меня тоже не показывает.

А разве должен показыать? splint говорит

foo.c: (in function main) foo.c:7:11: Unallocated storage str passed as out parameter to strcpy: str An rvalue is used that may not be initialized to a value on some execution path. (Use -usedef to inhibit warning)

Finished checking --- 1 code warning

Так это не совсем правильно: мы взяли и записали строку фиг знает куда. Или я что-то не понимаю?

П.С.: оффтоп конечно, но компилятор из visual studio пишет предупреждение

Компилятор ничего не знает про действие функции strcpy.

Не надо ждать от компилятора слишком много, С/C++ программист в каждый
момент времени должен четко осознавать что он делает и к чему это может
привести => важен самоконтроль. В данном случае твой код корректен с
точки зрения синтаксиса и семантики, нет ни каких подозрительных
преоброзований и прочих неоднозначных конструкций, поэтому гусь и
молчит, однако в твоем коде имеет место быть логическая ошибка, которую
gcc ( будучи тупым транслятором ) увы не в состоянии распознать.

> баян?
Да

сорри :)) можно и так результат тот же:

#include <stdlib.h>

int main()
{
   char* str;
   str = "1234567890";

   return (EXIT_SUCCESS);
}

Внимательно читаем документацию на gcc.

Для получения предупреждений об использовании неинициализированной
переменной надо включить -Wuninitialized. Эта опция автоматически
будет включена и при -Wall. Однако, если почитать описание для
-Wuninitialized там будет написано:

-Wuninitialized
These warnings are possible only in optimizing compilation,
because they require data flow information that is computed
only when optimizing. If you don't specify -O, you simply
won't get these warnings.

То есть компилировать надо gcc -Wall -O 1.c и тогда ты получишь
предупреждение:

1.c:6: warning: `str' might be used uninitialized in this function

в принципе, я так и думал, но как теперь объяснить это коллегам-пользователям винды, которым VS пишет warning? :) Скажешь про [sp]lint - не поймут ведь :)

Спасибо за ответ

Большое спасибо!

2 aton :

> Не надо ждать от компилятора слишком много...

Согласен ;-)
Но эту ошибку он может найтию и находит (см мой пост выше).

> int main()
> {
>   char* str;
>   str = "1234567890";
>
>   return (EXIT_SUCCESS);
>}

Тут все хорошо

> коллегам-пользователям винды, которым VS пишет warning? 
Всегда инициализируй переменную во время объявления