5

当使用带有 -flto 的 clang 3.5.0 并与共享库链接时，共享库中的调用似乎与从主对象operator delete调用的符号解析顺序不同。operator new例子：

共享.cpp：

void deleteIt(int* ptr) {
  delete ptr;
}

主.cpp：

#include <cstdlib>
#include <new>

void* operator new(size_t size) {
  void* result = std::malloc(size);
  if (result == nullptr) {
    throw std::bad_alloc();
  }
  return result;
}

void operator delete(void* ptr) noexcept {
  std::free(ptr);
}

void deleteIt(int* ptr);

int main() {
  deleteIt(new int);
  return 0;
}

当我构建它并通过 valgrind 运行它时，会发生以下情况：

$ clang++ -std=c++11 -g -O3 -flto -fuse-ld=gold -fPIC -shared shared.cpp -o libshared.so
$ clang++ -std=c++11 -g -O3 -flto -fuse-ld=gold main.cpp -L. -lshared -o main
$ LD_LIBRARY_PATH=. valgrind --quiet ./main
==20557== Mismatched free() / delete / delete []
==20557==    at 0x4C2B6D0: operator delete(void*) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==20557==    by 0x4009F7: main (main.cpp:19)
==20557==  Address 0x5a03040 is 0 bytes inside a block of size 4 alloc'd
==20557==    at 0x4C29F90: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==20557==    by 0x4009EA: operator new (main.cpp:5)
==20557==    by 0x4009EA: main (main.cpp:19)
==20557==

你可以看到它正在寻找 valgrind's operator delete，但使用operator newfrom main.cpp。相比之下，与 gcc 完全相同的构建（只需替换clang++为g++）工作正常。任何想法为什么，或如何解决它？

编辑：符号导入和导出，按照@Deduplicator 的要求。

$ objdump -T main | c++filt | grep operator
0000000000400990 g    DF .text  0000000000000033  Base        operator new(unsigned long)
0000000000000000      DF *UND*  0000000000000000  Base        operator delete(void*)
$ objdump -T libshared.so | c++filt | grep operator
0000000000000000      DF *UND*  0000000000000000  GLIBCXX_3.4 operator delete(void*)
4

1 回答 1

5

查看object-dump，很明显operator delete(void*)不是由 导出的main。

$ objdump -T main | c++filt | grep operator
0000000000400990 g    DF .text  0000000000000033  Base        operator new(unsigned long)
0000000000000000      DF *UND*  0000000000000000  Base        operator delete(void*)

看到operator delete(void*)存储的部分是*UND*：它不存在！

现在，这对于 clang 来说是一个明显的失败，可能会产生一个很好的错误报告，因为我们已经有了一个最小的测试用例。

现在，如何迫使铿锵保留和出口operator delete(void*)作为创可贴？
答案是查看可能的属性，有一个很好的：

used
这个属性，附加到一个函数，意味着必须为该函数发出代码，即使看起来该函数没有被引用。例如，当仅在内联汇编中引用该函数时，这很有用。当应用于 C++ 类模板的成员函数时，该属性还意味着如果类本身被实例化，则该函数被实例化。

把它放在代码中：

void operator delete(void* ptr) noexcept  __attribute__((used)) {

瞧，clang 不再不恰当地修剪它。

于 2014-09-18T22:49:50.857 回答