c++ - 为什么 -fsanitize=undefined 导致 "undefined reference to typeinfo"？

Question

以下测试用例，从真实世界的应用程序中缩减而来，无法与 -fsanitize=undefined 链接(使用 GCC 6.1.1)，但没有它也能正常链接。谁能告诉我为什么？

似乎与Qt/QObject、-fvisibility=hidden、-fsanitize=undefined的组合有关，但问题到底出在哪里超越我。

lib1.h:

#include <QObject>

class MyObject : public QObject
{
public:
    MyObject (QObject * parent = nullptr);
    ~MyObject ();

    void myMethod ();
};

lib1.cc:

#include "lib1.h"

#define EXPORT __attribute__((visibility("default")))

EXPORT MyObject::MyObject (QObject * parent) : QObject (parent)
{
}

EXPORT MyObject::~MyObject ()
{
}

EXPORT void MyObject::myMethod ()
{
}

lib2.cc:

#include "lib1.h"

void test (MyObject * object)
{
    object->myMethod ();
}

构建步骤:

LIBFLAGS="-fPIC -shared -Wall -Wl,-z,defs"
QTFLAGS="-I/usr/include/qt -I/usr/include/qt/QtCore -lQt5Core"

g++ -fsanitize=undefined -fvisibility=hidden \
 ${QTFLAGS} ${LIBFLAGS} lib1.cc -o lib1.so

g++ -fsanitize=undefined \
 ${QTFLAGS} ${LIBFLAGS} lib1.so lib2.cc -o lib2.so

构建输出(来自最后一步):

/tmp/ccY7PHv4.o:(.data.rel+0x18): undefined reference to `typeinfo for MyObject'
collect2: error: ld returned 1 exit status

Answer 1

所问实际问题的答案是，-fsanitize=undefined 实际上是一组 sanitizer ，包括 vptr sanitizer 。

https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html

vptr sanitizer 被清楚地标记为需要 RTTI，其他答案已经描述了为什么它不可用。

要运行除 vptr 之外的所有测试，您可以说

-fsanitize=undefined -fno-sanitize=vptr