Question

如何让GCC检查共享对象库是否为头文件中声明的所有函数提供了定义？鉴于下面的示例，我如何在编译步骤中验证'mylib.h'和'mylib.c'是“兼容的”而没有可执行文件（种类）以它真正链接的方式测试库和标题既？

mylib.h：

#ifndef MYLIB_H
#define MYLIB_H

int test(int);

#endif

mylib.c：

#include "mylib.h"

int test_(int arg) { // Note: The definition here, does not fit the declaration!
    return arg * 2;
}

main.c中：

#include <stdio.h>
#include "mylib.h"

int main(int argc, char* argv[]) {
    printf("%d\n", test(42));
    return 0;
}

我想要一些警告，如果某个应用程序使用了，那么头文件可以导致未定义的引用与共享对象文件（编辑的措辞为澄清），但它如下：

gcc -c -fPIC -o mylib.o mylib.c gcc -shared -Wl,--no-undefined,--no-allow-shlib-undefined -o libmylib.so mylib.o # no error/warning here! gcc -L ./ -o main main.o -lmylib main.o: In function `main': main.c:(.text+0x15): undefined reference to `test' collect2: error: ld returned 1 exit status

如图所示，我尝试使用正确的链接器选项'-Wl， - no-undefined， - no-allow-shlib-undefined'但它没有帮助，即使使用与此处所示相同的选项：Force GCC to notify about undefined references in shared libraries

gcc -fPIC -shared -Wl,-soname,libmylib.so -Wl,--no-undefined -o libmylib.so mylib.c

- 这意味着，我无法重现链接问题的答案！ -

修改

通过讨论，我理解像--no-allow-shlib-undefined这样的选项针对不同的情况，即，如果共享对象调用/引用某些其他库和引用是未定义的，则发出警告。无论如何，前面提到的解决方法是进行一些小测试，警告未定义的引用：

测试ref.c：

#include "mylib.h" int main(int argc, char* argv[]) { test(0); }

，如果编译和链接，则会给出所需的警告：

gcc -L . -o test-ref-noexec test-ref.c -lmylib /tmp/ccF4ob56.o: In function `main': test-ref.c:(.text+0x15): undefined reference to `test' collect2: error: ld returned 1 exit status

注意：重点是没有必要执行二进制文件，因此提供给函数的参数根本不重要。从这个意义上说，我假设（d）GCC /链接器可以对某个定义的头文件进行这种检查，或者警告任何未定义的引用等。

为了完整起见，我使用以下设置：

uname -a Linux ubuntu 4.4.0-96-generic #119-Ubuntu SMP Tue Sep 12 14:59:54 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.0-6ubuntu1~16.04.4' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.4)

如何检查共享对象库是否提供头文件的所有引用？

0 个答案: