Question

我花了很长时间才追查我的代码中有一个由/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还是其他部分）可以分析我的代码并告诉我我在哪里比较函数指针，比如上面的代码？

Answer 1

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

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

然而，有这样一个工具。铛，整洁。您可以编写自己的检查以进行铿锵，如果您按照this blog进行检查，这实际上非常简单。具体来说，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);

或接近这种效果。

有没有办法为函数指针比较生成警告？

1 个答案: