c - gcc -O3 标志会导致警告 -O2 不会

Question

我正在构建一个相当复杂的应用程序，使用 -O0 构建时没有任何错误/警告。然而，当我尝试 -O3 时，我得到了一些令人费解的问题。例如:

1: static pinfo_t* pinfo[2] = { &gv1, &gv2 }; // GLOBAL
2: 
3: int i;
4: int x = sizeof(pinfo);
5: 
6: for (i = 0; i < x; i ++)
7:    if (pinfo[i]->id == NO_ID)
8:        printf("%s\n", pinfo[i]->name);

请注意，编译器 (gcc v4.3.2) 使用 -O0(也使用 O1 和 O2)成功构建了它。但是对于 -O3，编译器正确地将第 7 行定位为潜在问题，导致行错误:

error: array subscript is above array bounds

很公平，但是当我注释掉第 7 行时，第 8 行没有问题，这也应该被标记!

感谢任何帮助!

Answer 1

关于警告和优化级别，在 GCC 中，在优化过程中分析代码时会生成一些警告，因此当未启用这些过程时，也不会发出这些警告。这是一个长期存在的问题，但到目前为止，它还没有在任何人的 TODO 列表中传播得足够高。