Linux c编程一站式学习笔记(04), debug

#include <stdio.h>

void foo(void)
{
int i;
printf("%d\n",i);
i = 777;
}

int main(void)
{
foo();
foo();
return 0;
}

这个是"linuxc一站式学习"中的一个小程序，主要是为了讲局部变量的初始化。
但是也有bug分析的哲学在里面，首先，执行这个程序的结果是(gcc编译器):
0
777

看到这个初学者有可能会产上想法说是i被初始化为0，局部变量函数调用结束不会释放。
二者两个都与c99标准不对称



其实如果大家用gcc编译时全部命令会有提示的，如上图
将程序稍微修改之后

#include <stdio.h>

void foo(void)
{
int i;
printf("%d\n",i);
i = 777;
}

int main(void)
{
foo();
printf("HelloWorld!\n");
foo();
return 0;
}

这次输出结果不一样。
这个例子很简单，主要是就是想说一下debug的逻辑思维，也就是充分和必要。
看到777和0只是c99标准关于局部变量规定的必要条件，而不是充分条件。