有什么方法可以为函数指针比较生成警告?

Any way to generate warnings for function-pointer comparisons?

本文关键字：比较 警告 指针 函数 方法 什么      更新时间：2023-10-16

我花了很长时间才发现我的代码中有一个错误是由/OPT:ICF触发的：

由于/OPT：ICF 可能导致将相同的地址分配给不同的函数或只读数据成员(使用/Gy 编译的 const 变量)，因此它可以破坏依赖于函数的唯一地址或只读数据成员的程序。

(我一直在存储和比较函数指针以实现相等，当链接器抛弃相同的函数时，它会中断。

现在我需要找到我可能做过这样事情的每一个地方。

测试用例当然是微不足道的：

//MSVC: /Gy /link /OPT:ICF
int test1(void) { return 0; }
int test2(void) { return 0; }
int main(void) { return test1 == test2; }

我尝试过-Wall、-Wextra、-Weverything、-pedantic等，但没有一个生成警告。

是否有任何编译器选项或工具(无论是Visual C++，GCC，Clang还是其他的一部分)可以分析我的代码并告诉我在哪里将函数指针相互比较，如上面的代码所示？

是否有任何编译器选项或工具(无论是Visual C++，GCC，Clang还是其他的一部分)可以分析我的代码并告诉我在哪里比较函数指针，就像上面的代码一样？

我不确定是否存在这样的编译器选项。

但是，有这样一个工具。 叮叮当当整。您可以编写自己的检查来检查clang-tidy，如果您关注此博客，实际上非常容易。具体来说，AST已经带有一堆匹配器，它们应该可以处理您想要的用例。

这样的事情似乎有效：

binaryOperator(
anyOf(hasOperatorName("=="), hasOperatorName("!=")),
hasLHS(ignoringImpCasts(declRefExpr(hasType(functionType())))),
hasRHS(ignoringImpCasts(declRefExpr(hasType(functionType())))))

哪个标记了 OP 中的示例：

fp.cxx:3:25: note: "root" binds here
int main(void) { return test1 == test2; }
^~~~~~~~~~~~~~

这专门适用于 OP 情况，但实际上您必须更明确地匹配所有其他可能的情况：

const auto AnyFunc = ignoringImpCasts(declRefExpr(hasType(anyOf(
functionType(),
pointsTo(functionType()),
references(functionType())))));
Finder->AddMatcher(binaryOperator(
anyOf(hasOperatorName("=="), hasOperatorName("!=")),
hasLHS(AnyFunc),
hasRHS(AnyFunc)).bind("op"), this);

或者接近这种效果的东西。

相关文章：