Почему gcc не ругается на неинициализированные массивы и структуры?

0

2

main.c:

struct s
{
	int x;
};

int main()
{
	int i;
	int a[8];
	struct s z;

	return i + a[7] + z.x;
}

Делаю:

$ gcc main.c -Wall
main.c: In function ‘main’:
main.c:12: warning: ‘i’ is used uninitialized in this function

Можно было бы подумать что массивы и структуры инициализируются нулями по умолчанию.
Но если убрать i из возвращаемой суммы, то будет вот что:

$ gcc main.c -Wall
main.c: In function ‘main’:
main.c:8: warning: unused variable ‘i’
$ ./a.out
$ echo $?
196

Так какого хрена gcc не ругается?!

Ссылка

←	long poll и лимит открытых сокетов. Как?

Кириллица, fold и cut в bash-скриптах

→

Можно было бы подумать что массивы и структуры инициализируются нулями по умолчанию.

Только если они глобальные. В тех, что в стеке (как в данном случае), будет мусор.

beastie ★★★★★
(20.02.13 23:49:07 MSK)
Последнее исправление: beastie 20.02.13 23:49:56 MSK (всего исправлений: 1)

Ссылка

используй scan-build из clang - он обругает такие места

~~wota~~ ★★
(21.02.13 00:03:41 MSK)

Ссылка

Valgrind любит находить такое

nerdogeek ★
(21.02.13 00:18:08 MSK)

Ссылка

Потому что ты теоретически можешь передать неинициализированный массив или структуру в некую функцию другого модуля, который ее проинициализирует как надо. Компилятор естественно не знает, что произойдет при вызове, но знает, что это возможно. Поэтому автоматическая инициализация это потенциальный оверхед. Инициализируй сам = { 0 }.

anonymous
(21.02.13 00:20:40 MSK)

Так какого хрена gcc не ругается?!

These warnings occur for individual uninitialized or clobbered elements of structure, union or array variables as well as for variables that are uninitialized or clobbered as a whole. They do not occur for variables or elements declared volatile. Because these warnings depend on optimization, the exact variables or elements for which there are warnings depends on the precise optimization options and version of GCC used.

$ gcc -Wall main.c 
$ gcc -Wall -O1 main.c 
main.c: In function ‘main’:
main.c:13:10: warning: ‘a[7]’ is used uninitialized in this function [-Wuninitialized]
main.c:13:17: warning: ‘z.x’ is used uninitialized in this function [-Wuninitialized]

i-rinat ★★★★★
(21.02.13 00:25:59 MSK)