禁止来自外部库的UndefinedBehaviorManitizer警告

Question

我有一个UndefinedBehaviorManitizer版本(-fsanitize=undefined(，我正试图在我无法控制的外部库中抑制UB的警告。clang/gcc文档提到了__attribute__((no_sanitize("undefined")))，但令我惊讶的是，这个属性似乎并没有抑制来自子例程的警告。

简单示例：

//__attribute__((no_sanitize("shift"))) // this correctly suppresses the warning
int bar() {
return 1 << 64;
}
__attribute__((no_sanitize("shift"))) // this does not
int foo() {
return bar();
}
int main() {
foo();
return 0;
}

既然这个属性似乎不起作用，我该如何抑制这个警告？我可以从我的UBSan构建中删除整个目标，但这似乎非常严厉。

Answer 1

Clang有大量应用属性的杂注：

#pragma clang attribute push (__attribute__((no_sanitize("undefined"))), apply_to=function)
// ...
#pragma clang attribute pop

在您的示例中，将标头封装在这些标头中将禁用检查：

#pragma clang attribute push (__attribute__((no_sanitize("undefined"))), apply_to=function)
#include <boost/ptr_container/ptr_vector.hpp>
#pragma clang attribute pop
struct Foo{};
void bar()
{
boost::ptr_vector<boost::nullable<Foo>> v;
v.push_back(nullptr);
v.push_back(new Foo);
}
int main()
{
bar();
}