隐式声明所有变量为volatile

Question

gcc是否有一个选项来禁用未显式定义为volatile的全局变量的读/写优化？

我的团队正在耗尽我们的嵌入式C项目的程序内存，该项目使用gcc构建。当我启用优化以减少代码大小时，代码不再像预期的那样工作，因为我们没有在我们应该使用的地方使用volatile关键字。也就是说，我能够通过声明在ISRs Volatile中访问的几个变量来解决呈现的问题。然而，我并不确定这些是我需要声明volatile的唯一变量，我只是还没有注意到其他的bug。

我听说“一些编译器”有一个标志来隐式地声明所有的东西都是volatile的，但我应该抵制这种诱惑，因为它是“思想的替代品”（参见https://barrgroup.com/embedded-systems/how-to/c-volater-keyword）。

是的，但思想是昂贵的。尽管在注释部分尝试说服我不要这样做，但我希望有一个快速的解决方法，在不破坏应用程序的情况下减少代码大小。

Answer 1

你是说除了-o0以外的东西吗？

我认为，黑GCC做一个快速实验并不是太难。在gcc/c/c-decl.c中的grokdeclarator中的这个位置可能是为感兴趣的storage_class值无条件注入volator限定符（在您的情况下可能是csc_none、csc_extern、csc_static)的好位置。

/* It's a variable.  */
/* An uninitialized decl with `extern' is a reference.  */
int extern_ref = !initialized && storage_class == csc_extern;

type = c_build_qualified_type (type, type_quals, orig_qual_type,
                   orig_qual_indirect);

实验应该告诉您，从性能/代码大小的角度来看，这是否可行，如果可行，您可能希望将其作为适当的上游补丁提交。