在gcc中禁用if（0）消除

Question

如果（0）块，我如何防止GCC消除里面的代码？

当我使用Visual Studio时，我的调试技巧之一是在程序中放入如下代码：

if (0)
    do_some_debug_printing_and_checking();

然后，当遇到断点时，我单击do_some_debug_printing_and_checking（）行，选择“设置下一个语句”并强制执行。

当我使用gcc/gdb作为后端时，“setnext语句”不再有效，因为gcc只是从if（0）语句中删除代码。

我当然使用-O0标志来禁用优化。我也尝试过-fno-dce-fno-tree-dce标志来显式禁用死代码消除，但没有效果：if（0）的内容只是不存在于二进制文件中，我不能使用set Next语句跳转到其中。

有没有什么好方法告诉gcc禁用if（0）内容的消除？

编辑：

感谢"附加变量"解决方案，但有2件事我不喜欢它：

1. 这仍然是一行额外的代码
2. 当我构建发布版本并确实希望那些调试内容消失时，它不会自动优化。当然我可以使用#ifdef-s，但这需要更多额外的行

真的，绝对没有办法让海湾合作委员会保留那个死代码？

Answer 1

我不会依赖gcc编译器标志来完成这项工作。编译器标志可以在不同版本的gcc之间更改，也可以在不同的编译器之间更改。您可能会发现自己需要在六个月内在Visual C中调试相同的代码。。。

@CharlesBailey为如何使用extern变量提供了一个很好的建议。这里有一个替代方案，它不需要将变量暴露于整个模块或保存在静态存储中。

在if语句的作用域中声明临时变量易失性：

if (volatile bool dbg = false)
{
  do_some_debug_printing_and_checking();
}

这使得临时变量的范围非常狭窄。volatile限定符不允许编译器对变量进行任何假设，也不允许优化分支。

需要记住的一点是，变量总是分配在堆栈上，并且会一直保留在堆栈上，直到函数退出。这种方法和extern方法都应该工作，但是有稍微不同的（可能可以忽略不计）权衡。

如果您愿意使用宏来帮助解决这个问题，那么您可以在将代码发布到生产环境时轻松禁用临时变量：

#ifndef IS_DEBUGGING
#  define IS_DEBUGGING 0
#endif

#if IS_DEBUGGING
#  define TMP_DBG_FLAG volatile bool dbg_flag = false
#else
#  define TMP_DBG_FLAG false
#endif

然后声明你的if声明如下：

if ( TMP_DBG_FLAG )
{
  do_some_debug_printing_and_checking();
}

当您将IS_DEBUGGING定义为1时，本地变量将被创建、声明为volatile并保留。当您将IS_debugation定义为0时，宏将扩展为常量false，编译器将优化分支。对于extern方法也可以做类似的事情。

这几行额外的代码，但它们与您使用TMP_DBG_FLAG的次数无关。该代码也比使用大量的ifdef可读性强得多。宏可以更安全一点（通过将__LINE__的值附加到宏上），但这需要三个宏，而且可能没有必要：

#if IS_DEBUGGING
// paste symbols 'x' and 'y' together
#  define TMP_DBG_FLAG_SYMCAT0(x,y) x ## y

// need one level of indirection to expand __LINE__...
#  define TMP_DBG_FLAG_SYMCAT(x,y) TMP_DBG_FLAG_SYMCAT0(x,y)

#  define TMP_DBG_FLAG volatile bool TMP_DBG_FLAG_SYMCAT(dbg_flag_,__LINE__) = false
#else
#  define TMP_DBG_FLAG false
#endif

Answer 2

最简单的方法是使检查依赖于（比如说）一个具有外部链接的变量。

例如。

extern bool debug;
if (debug)
    do_some_debug_printing_and_checking();

在命名空间范围的某处：

bool debug = false;