代码文件为：

#include <stdio.h>
#include <stdlib.h>

typedef struct {
    int a[2];
    double d;
} struct_t;

double fun(int i) {
    volatile struct_t s;
    s.d = 3.14;
    s.a[i] = 1073741824; /* Possibly out of bounds */
    return s.d; /* Should be 3.14 */
}

int main(int argc, char *argv[]) {
    int i = 0;
    if (argc >= 2)
	i = atoi(argv[1]);
    double d = fun(i);
    printf("fun(%d) --> %.10f\n", i, d);
    return 0;
}

在Linux环境下运行结果为：

在main函数，argc表示整型数,用来统计你运行程序时送给的命令行参数的个数；argv[]字符数组存储所有的参数。atoi将字符串转换成整型数。
struct结构体先给数组a分配两个int型(32)的存储单元，然后分配一个double(64)型的存储单元。

输入./a.out时，argv=1,double d = fun(0);s.a[0]=1073741824<2 147 483 647,没有超出范围，这时函数返回的值就是3.14；
输入./a.out 1时，argv=2,i被赋予atoiargv[1]的值，即i的值等于第二个参数值；i=1，double d = fun(1)，s.a[1]=1073741824;这时返回值是3.14;
当输入的第二个参数值大于1的时候，就开始出现问题了。i=2时，double d = fun(2),s.a[2]=1073741824;但是s中只给数组分配了两个int型的存储单元，此时实际上s.a[2]已经出现了越界，占用的是分配给d存储单元的部分位置(32位)，则d的值就发生了改变，当i=3时，亦然；不过根据小端模式，s.a[2]占用的是d的低32位，s.a[3]占用的是d的高32位(包含了11位的阶码)，所以s.a[3]影响的程度更大。