OGT 様、Yoshino 様 謎が解けました。ありがとうございました。 On Mon, Aug 17, 2020 at 1:00 AM YOSHINO Yoshihito <yy.y.ja.jp@gmail.com> wrote:

よしのです -O0 でもコンパイル時に計算してるらしい

$ echo -e "#include<math.h>\n#include<stdio.h>\nint main(){\nconst double d = sqrt(4.0);\nprintf(\"\%lf\\\\n\", d);}" | env SOURCE_DATE_EPOCH=1597590000 gcc -W -Wall -O0 -c -o without_libm.o -xc - $ echo -e "#include<math.h>\n#include<stdio.h>\nint main(){\nconst double d = 2.0;\nprintf(\"\%lf\\\\n\", d);}" | env SOURCE_DATE_EPOCH=1597590000 gcc -W -Wall -O0 -c -o without_libm_2.o -xc - $ diff -qs without_libm.o without_libm_2.o ファイル without_libm.o と without_libm_2.o は同一です $

$ echo -e "#include<math.h>\n#include<stdlib.h>\n#include<stdio.h>\nint main(int argc, char **argv){\nif (argc < 2) exit(1);\nconst double d = sqrt(strtod(argv[1], NULL));\nprintf(\"\%lf\\\\n\", d);}" | env SOURCE_DATE_EPOCH=1597590000 gcc -W -Wall -O0 -o without_libm -xc - /usr/bin/ld: /tmp/ccPLXWsj.o: in function `main': :(.text+0x38): undefined reference to `sqrt' collect2: error: ld returned 1 exit status $ echo -e "#include<math.h>\n#include<stdlib.h>\n#include<stdio.h>\nint main(int argc, char **argv){\nif (argc < 2) exit(1);\nconst double d = sqrt(strtod(argv[1], NULL));\nprintf(\"\%lf\\\\n\", d);}" | env SOURCE_DATE_EPOCH=1597590000 gcc -W -Wall -O0 -o with_libm -xc - -lm $ ./with_libm 4.0 2.000000 $ ./with_libm 9.0 3.000000 $

-- YOSHINO Yoshihito <yy.y.ja.jp@gmail.com>

On Sun, Aug 16, 2020 at 10:57 PM Yosuke Otsuki <y.otsuki30@gmail.com> wrote:

...

Debian User と Debian 開発者の皆様

お世話になっております。オオツキです。 自分で調査してみましたがわからなかったので、ご存知の方がいらっしゃれば教えていただきたいです。

まず、以下の bash script を実行すると、私の環境ではスクリプトに続くようになりました。 * run.sh #!/bin/bash

dpkg -l | grep gcc dpkg -l | grep binutils

echo "==================================" echo -e "#include<math.h>\n#include<stdio.h>\nint main(){\nconst double

d = sqrt(4.0);\nprintf(\"\%lf\", d);}" > main.c

...

gcc -o without_libm main.c ldd without_libm readelf -a without_libm | grep libm ./without_libm echo "-----------------------------------" gcc -o with_libm main.c -lm ldd with_libm readelf -a with_libm | grep libm ./without_libm

* 実行結果 + dpkg -l + grep gcc ii gcc 4:8.3.0-1 amd64 GNU C compiler ii gcc-8 8.3.0-6 amd64 GNU C compiler ii gcc-8-base:amd64 8.3.0-6 amd64 GCC, the GNU Compiler Collection (base package) ii gccgo-8 8.3.0-6 amd64 GNU Go compiler ii gccgo-go 2:1.11~1 amd64 Go programming language -- gccgo ii libgcc-8-dev:amd64 8.3.0-6 amd64 GCC support library (development files) ii libgcc1:amd64 1:8.3.0-6 amd64 GCC support library ii linux-compiler-gcc-8-x86 4.19.118-2+deb10u1 amd64 Compiler for Linux on x86 (meta-package) + dpkg -l + grep binutils ii binutils 2.31.1-16 amd64 GNU assembler, linker and binary utilities ii binutils-common:amd64 2.31.1-16 amd64 Common files for the GNU assembler, linker and binary utilities ii binutils-x86-64-linux-gnu 2.31.1-16 amd64 GNU binary utilities, for x86-64-linux-gnu target ii libbinutils:amd64 2.31.1-16 amd64 GNU binary utilities (private shared library) + echo ================================== ================================== + echo -e '#include<math.h>\n#include<stdio.h>\nint main(){\nconst double d = sqrt(4.0);\nprintf("\%lf", d);}' + gcc -o without_libm main.c + ldd without_libm linux-vdso.so.1 (0x00007ffc85995000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f02236d9000) /lib64/ld-linux-x86-64.so.2 (0x00007f02238b7000) + grep libm + readelf -a without_libm + ./without_libm 2.000000+ echo ----------------------------------- ----------------------------------- + gcc -o with_libm main.c -lm + ldd with_libm linux-vdso.so.1 (0x00007ffec8def000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fb5a8ff8000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb5a8e37000) /lib64/ld-linux-x86-64.so.2 (0x00007fb5a9198000) + grep libm + readelf -a with_libm 0x0000000000000001 (NEEDED) Shared library: [libm.so.6] + ./without_libm 2.000000

libm から数学関数の sqrt() を読んでいます。

以前は、libm を明示的にリンクしないと、リンク時にエラーだったと記憶しているのですが、使用した環境ではこのオプションが不要でした。 おそらく、自動的に libm がリンクされているのだろうと考えて名前解決がどうなっているのか見てみたところ、オプションを与えない場合 dyanmic section に libm がありませんでした。 libm のリンクを明示的にしない場合、どのようにして sqrt() が呼び出されているのでしょうか？

よろしくおねがいします。 _______________________________________________ debian-devel mailing list debian-devel@debian.or.jp https://lists.debian.or.jp/mailman/listinfo/debian-devel