よしのです
-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