在调试信息/反汇编中识别 volatile 声明

Question

我正在寻找一种创造性的解决方案，以确保传递给特定宏的变量在 C 语言中使用 volatile 类型声明，并使用 TMS470 编译器。意思：

好方法：

volatile int   *_p_reg;
VOLATILE_MACRO(_p_reg);

编译失败：

int   *_p_reg;
VOLATILE_MACRO(_p_reg);

我希望在编译后执行验证，这意味着检查反汇编或调试信息并识别那些调用。 我似乎在调试信息中找不到任何 volatile 的证据。

有什么想法吗？

谢谢！

Answer 1

我不希望有，但当然这完全取决于编译器。

您当然可以重新构建它，以便宏完成整个定义，即

#define VOLATILE_MACRO(t, p) volatile t p

并像这样使用它：

VOLATILE_MACRO(int, _p_reg);

当然，这可能不适合你。

Answer 2

使用 gcc 扩展的两种可能的解决方案。运行时版本使用__builtin_types_compatible_p 和assert。编译时版本类似，但使用 hack 来获取在编译时触发的静态断言（尽管带有相当神秘的错误消息）：

运行时

#include <stdio.h>
#include <assert.h>

#define VOLATILE_MACRO(p) \
    assert (__builtin_types_compatible_p(typeof(p), typeof(volatile int *)))

int main()
{
    volatile int * x;
    int * y;

    VOLATILE_MACRO(x);  // <<< OK
    VOLATILE_MACRO(y);  // <<< run-time error

    return 0;
}

编译时

#include <stdio.h>
#include <assert.h>

#define A                      BUILD_NAME(__LINE__)
#define BUILD_NAME(line)       BUILD_NAME2(line)
#define BUILD_NAME2(line)      assert_ ## line
#define STATIC_ASSERT(test)    typedef char A[(test) ? 1 : -1]

#define VOLATILE_MACRO(p) \
    STATIC_ASSERT (__builtin_types_compatible_p(typeof(p), typeof(volatile int *)))

int main()
{
    volatile int * x;
    int * y;

    VOLATILE_MACRO(x);  // <<< OK
    VOLATILE_MACRO(y);  // <<< compile error

    return 0;
}

请注意，如果您需要支持其他 volatile 类型，则可以使用多个链接的 __builtin_types_compatible_p 测试简单地扩展宏，例如

#define VOLATILE_MACRO(p) \
    assert (__builtin_types_compatible_p(typeof(p), typeof(volatile int *)) ||
            __builtin_types_compatible_p(typeof(p), typeof(volatile short *)))