GCC优化标志中断代码

gcc optimization flag break code

本文关键字：代码 中断 标志 优化 GCC      更新时间：2023-10-16

当没有设置优化标志时，此代码运行良好:

#include <cstdio>
int main(){
  float *ptr = ({float var[10] = {1,2,3,4,5,6,7,8,9,10}; var;});
  float *ptr1 = ({float var[10]; for(int i_=0;i_<10;i_++)var[i_]=i_+1; var;});
  float *ptr2 = ({float var[10]; var[4]=5; var;});
  printf("n value = %f %f %f",ptr[4],ptr1[4],ptr2[4]);
}

按预期返回5 5 5。但是当设置了优化标志时，它返回5 0 5。

ptr1有问题的东西有关的循环。为什么?也许是个bug?

我使用的是最新的4.8.0，经过测试的x64、x86以及其他版本。

您正在使用GNU语言扩展，因此让我们查看GNU文档:

在语句表达式中，在语句内创建的任何临时都将在该语句结束时销毁。

var每次都被销毁，并且指向其第一个元素的指针(即表达式返回的元素)对解引用是不安全的。

var所指向的值是在堆栈上分配的。然而，var的作用域是它所包含的括号。设置一个指向var的指针会导致未定义的行为。正如您所看到的，在大多数情况下，到您打印堆栈中的值时，它们并没有改变。但是，这可能会随着不同的优化设置而改变。这不是一个bug。这就是未定义行为的本质。

相关文章：