| # Expect script for ld-visibility tests |
| # Copyright (C) 2000-2021 Free Software Foundation, Inc. |
| # |
| # This file is part of the GNU Binutils. |
| # |
| # This program is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 3 of the License, or |
| # (at your option) any later version. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with this program; if not, write to the Free Software |
| # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, |
| # MA 02110-1301, USA. |
| # |
| # Written by Ian Lance Taylor (ian@cygnus.com) |
| # and H.J. Lu (hjl@gnu.org) |
| # |
| |
| # Make sure that ld can generate ELF shared libraries with visibility. |
| |
| # Check to see if the C compiler works |
| if { ![check_compiler_available] } { |
| return |
| } |
| |
| # This test can only be run on a couple of ELF platforms. |
| # Square bracket expressions seem to confuse istarget. |
| if { ![istarget hppa*64*-*-hpux*] \ |
| && ![istarget hppa*-*-linux*] \ |
| && ![istarget i?86-*-linux*] \ |
| && ![istarget i?86-*-gnu*] \ |
| && ![istarget *-*-nacl*] \ |
| && ![istarget ia64-*-linux*] \ |
| && ![istarget m68k-*-linux*] \ |
| && ![istarget mips*-*-linux*] \ |
| && ![istarget powerpc*-*-linux*] \ |
| && ![istarget arm*-*-linux*] \ |
| && ![istarget alpha*-*-linux*] \ |
| && ![istarget sparc*-*-linux*] \ |
| && ![istarget s390*-*-linux*] \ |
| && ![istarget sh\[34\]*-*-linux*] \ |
| && ![istarget x86_64-*-linux*] } { |
| return |
| } |
| |
| set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]] |
| foreach t $test_list { |
| # We need to strip the ".d", but can leave the dirname. |
| verbose [file rootname $t] |
| run_dump_test [file rootname $t] |
| } |
| |
| set tmpdir tmpdir |
| set SHCFLAG "" |
| set shared_needs_pic "no" |
| set COMPRESS_LDFLAG "-Wl,--compress-debug-sections=zlib-gabi" |
| |
| if [istarget arm*-*-linux*] { |
| # On ARM section anchors can change the symbol pre-emptability for |
| # non-PIC shared libraries, causing these tests to fail. Turn section |
| # anchors off. |
| set SHCFLAG "-fno-section-anchors" |
| |
| # On targets that have MOVW the compiler will emit relocations which |
| # the linker doesn't support when compiling -shared without -fpic. The |
| # test to find out whether we want to XFAIL the non-PIC tests requires |
| # a compile - so we pre-calculate it here. We also note that this can |
| # only affect arm*-*-*eabi* targets as the old ABI doesn't support v7. |
| if [istarget arm*-*-*eabi*] { |
| set file [open $tmpdir/movw-detect.c w] |
| puts $file "void foo(void) { __asm (\"movw r0, #0\"); }" |
| close $file |
| if [run_host_cmd_yesno "$CC_FOR_TARGET" "$CFLAGS_FOR_TARGET -c $tmpdir/movw-detect.c -o $tmpdir/movw-detect.o"] { |
| set shared_needs_pic "yes" |
| } |
| } |
| } |
| |
| set support_protected "no" |
| |
| if { [istarget *-*-linux*] |
| || [istarget *-*-nacl*] |
| || [istarget *-*-gnu*] } { |
| if [ld_compile "$CC_FOR_TARGET -g -DPROTECTED_CHECK" $srcdir/$subdir/main.c $tmpdir/main.o] { |
| if [ld_link $CC_FOR_TARGET $tmpdir/main "$tmpdir/main.o"] { |
| catch "exec $tmpdir/main" support_protected |
| } |
| } |
| } |
| |
| # The test procedure. |
| proc visibility_test { visibility progname testname main sh1 sh2 dat args } { |
| global CC_FOR_TARGET |
| global srcdir |
| global subdir |
| global exec_output |
| global link_output |
| global host_triplet |
| global tmpdir |
| |
| if [llength $args] { set shldflags [lindex $args 0] } else { set shldflags "" } |
| |
| # Build the shared library. |
| set shared -shared |
| if { [is_elf_format] && [check_shared_lib_support] } { |
| append shared " -Wl,-z,notext" |
| } |
| if {![ld_link $CC_FOR_TARGET $tmpdir/$progname.so "$shared $shldflags $tmpdir/$sh1 $tmpdir/$sh2"]} { |
| if { [ string match $visibility "hidden_undef" ] |
| && [regexp "undefined reference to \`\.?visibility\'" $link_output] |
| && [regexp "undefined reference to \`visibility_var\'" $link_output] } { |
| pass "$testname" |
| } else { if { [ string match $visibility "protected_undef" ] |
| && [regexp "undefined reference to \`\.?visibility\'" $link_output] |
| && [regexp "undefined reference to \`visibility_var\'" $link_output] } { |
| pass "$testname" |
| } else { |
| fail "$testname" |
| }} |
| return |
| } |
| |
| # Link against the shared library. Use -rpath so that the |
| # dynamic linker can locate the shared library at runtime. |
| set rpath $tmpdir |
| if ![ld_link $CC_FOR_TARGET $tmpdir/$progname "-Wl,-rpath,$rpath $tmpdir/$main $tmpdir/$progname.so"] { |
| if { [ string match $visibility "hidden" ] |
| && [regexp "undefined reference to \`\.?visibility\'" $link_output] |
| && [regexp "undefined reference to \`visibility_var\'" $link_output] } { |
| pass "$testname" |
| } else { if { [ string match $visibility "hidden_undef_def" ] |
| && [regexp "undefined reference to \`\.?visibility\'" $link_output] |
| && [regexp "undefined reference to \`visibility_def\'" $link_output] |
| && [regexp "undefined reference to \`\.?visibility_func\'" $link_output] |
| && [regexp "undefined reference to \`visibility_var\'" $link_output] } { |
| pass "$testname" |
| } else { |
| fail "$testname" |
| }} |
| return |
| } |
| |
| if { [ string match $visibility "hidden" ] |
| || [ string match $visibility "hidden_undef" ] |
| || [ string match $visibility "protected_undef" ] } { |
| fail "$testname" |
| } |
| |
| if ![isnative] { |
| unsupported "$testname" |
| return |
| } |
| |
| # Run the resulting program |
| send_log "$tmpdir/$progname >$tmpdir/$progname.out\n" |
| verbose "$tmpdir/$progname >$tmpdir/$progname.out" |
| catch "exec $tmpdir/$progname >$tmpdir/$progname.out" exec_output |
| if ![string match "" $exec_output] then { |
| send_log "$exec_output\n" |
| verbose "$exec_output" |
| fail "$testname" |
| return |
| } |
| |
| send_log "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat\n" |
| verbose "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat" |
| catch "exec diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat" exec_output |
| set exec_output [prune_warnings $exec_output] |
| |
| if {![string match "" $exec_output]} then { |
| send_log "$exec_output\n" |
| verbose "$exec_output" |
| fail "$testname" |
| return |
| } |
| |
| pass "$testname" |
| } |
| |
| proc visibility_run {visibility} { |
| global CC_FOR_TARGET |
| global SHCFLAG |
| global srcdir |
| global subdir |
| global tmpdir |
| global picflag |
| global target_triplet |
| global support_protected |
| global shared_needs_pic |
| global PLT_CFLAGS |
| global NOPIE_CFLAGS |
| global COMPRESS_LDFLAG |
| global NOSANITIZE_CFLAGS |
| global NOLTO_CFLAGS |
| |
| if [ string match $visibility "hidden" ] { |
| set VSBCFLAG "-DHIDDEN_TEST" |
| } else { if [ string match $visibility "hidden_normal" ] { |
| set VSBCFLAG "-DHIDDEN_NORMAL_TEST" |
| } else { if [ string match $visibility "hidden_undef" ] { |
| set VSBCFLAG "-DHIDDEN_UNDEF_TEST" |
| } else { if [ string match $visibility "hidden_undef_def" ] { |
| set VSBCFLAG "-DHIDDEN_UNDEF_TEST -DDSO_DEFINE_TEST" |
| } else { if [ string match $visibility "hidden_weak" ] { |
| set VSBCFLAG "-DHIDDEN_WEAK_TEST" |
| } else { if [ string match $visibility "protected" ] { |
| set VSBCFLAG "-DPROTECTED_TEST" |
| } else { if [ string match $visibility "protected_undef" ] { |
| set VSBCFLAG "-DPROTECTED_UNDEF_TEST" |
| } else { if [ string match $visibility "protected_undef_def" ] { |
| set VSBCFLAG "-DPROTECTED_UNDEF_TEST -DDSO_DEFINE_TEST" |
| } else { if [ string match $visibility "protected_weak" ] { |
| set VSBCFLAG "-DPROTECTED_WEAK_TEST" |
| } else { |
| set VSBCFLAG "" |
| }}}}}}}}} |
| |
| # Ensure we always start with a clean slate, for the "file exists" |
| # tests below. |
| remote_file host delete $tmpdir/sh1p.o $tmpdir/sh2p.o $tmpdir/sh1np.o $tmpdir/sh2np.o |
| |
| if { [istarget powerpc*-*-linux*] \ |
| || ( [istarget mips*-*-linux*] && [at_least_gcc_version 4 3] )} { |
| # Testing non-PIC libraries is a waste of effort on any target. |
| # If you don't pass -fpic or -fPIC to gcc, gcc will assume quite |
| # reasonably that you are not compiling for a shared library. |
| # It can then make optimisations that result in shared library |
| # functions and variables not being overridable. Newer versions |
| # of gcc are more likely to do this. |
| } else { |
| # Compile the main program. Make sure that PLT is used since PLT |
| # is expected. |
| if ![ld_compile "$CC_FOR_TARGET -g $PLT_CFLAGS $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS" $srcdir/$subdir/main.c $tmpdir/mainnp.o] { |
| unsupported "visibility ($visibility) (non PIC)" |
| unsupported "visibility ($visibility)" |
| } else { |
| # The shared library is composed of two files. First compile them |
| # without using -fpic. That should work on an ELF system, |
| # although it will be less efficient because the dynamic linker |
| # will need to do more relocation work. However, note that not |
| # using -fpic will cause some of the tests to return different |
| # results. Make sure that PLT is used since PLT is expected. |
| if { ![ld_compile "$CC_FOR_TARGET -g $NOPIE_CFLAGS $PLT_CFLAGS $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS" $srcdir/$subdir/sh1.c $tmpdir/sh1np.o] |
| || ![ld_compile "$CC_FOR_TARGET -g $NOPIE_CFLAGS $PLT_CFLAGS $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS" $srcdir/$subdir/sh2.c $tmpdir/sh2np.o] } { |
| unsupported "visibility ($visibility) (non PIC)" |
| } else { |
| # SunOS non PIC shared libraries don't permit some cases of |
| # overriding. |
| if { [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] } { |
| if [ string match $support_protected "no" ] { |
| setup_xfail $target_triplet |
| } |
| } |
| |
| # Non-pic code uses name binding rules for applications to |
| # reference variables by gp-relative relocs, which can't be |
| # used with overridable symbols. |
| if { ![ string match $visibility "hidden_undef" ] |
| && ![ string match $visibility "protected_undef" ] } { |
| setup_xfail "ia64-*-linux*" |
| setup_xfail "alpha*-*-linux*" |
| } |
| if { ![ string match $visibility "hidden" ] |
| && ![ string match $visibility "hidden_undef" ] |
| && ![ string match $visibility "hidden_undef_def" ] |
| && ![ string match $visibility "protected_undef" ] } { |
| setup_xfail "s390x-*-linux*" |
| if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } { |
| setup_xfail "sparc*-*-linux*" |
| } |
| } |
| if { [is_elf64 $tmpdir/mainnp.o] } { |
| setup_xfail "x86_64-*-linux*" |
| } |
| setup_xfail "x86_64-*-linux-gnux32" |
| if { ![istarget hppa*64*-*-linux*] } { |
| setup_xfail "hppa*-*-linux*" |
| } |
| if [ string match $shared_needs_pic "yes" ] { |
| setup_xfail "arm*-*-linux*" |
| } |
| |
| visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb |
| |
| # Test ELF shared library relocations with a non-zero load |
| # address for the library. Near as I can tell, the R_*_RELATIVE |
| # relocations for various targets are broken in the case where |
| # the load address is not zero (which is the default). |
| if { [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] } { |
| if [ string match $support_protected "no" ] { |
| setup_xfail $target_triplet |
| } |
| } |
| if { [ string match $visibility "hidden_normal" ] |
| || [ string match $visibility "hidden_weak" ] |
| || [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] |
| || [ string match $visibility "protected_weak" ] |
| || [ string match $visibility "normal" ] } { |
| setup_xfail "powerpc-*-linux*" |
| setup_xfail "s390x-*-linux*" |
| if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } { |
| setup_xfail "sparc*-*-linux*" |
| } |
| } |
| if { ![ string match $visibility "hidden_undef" ] |
| && ![ string match $visibility "protected_undef" ] } { |
| setup_xfail "ia64-*-linux*" |
| setup_xfail "alpha*-*-linux*" |
| setup_xfail "mips*-*-linux*" |
| } |
| if { [is_elf64 $tmpdir/mainnp.o] } { |
| setup_xfail "x86_64-*-linux*" |
| } |
| setup_xfail "x86_64-*-linux-gnux32" |
| if { ![istarget hppa*64*-*-linux*] } { |
| setup_xfail "hppa*-*-linux*" |
| } |
| if [ string match $shared_needs_pic "yes" ] { |
| setup_xfail "arm*-*-linux*" |
| } |
| |
| visibility_test $visibility vnp "visibility ($visibility) (non PIC, load offset)" \ |
| mainnp.o sh1np.o sh2np.o elfvsb \ |
| "-Wl,-T,$srcdir/$subdir/elf-offset.ld,--hash-style=sysv" |
| } |
| |
| # Now compile the code using -fpic. |
| |
| if { ![ld_compile "$CC_FOR_TARGET -g $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o] |
| || ![ld_compile "$CC_FOR_TARGET -g $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } { |
| unsupported "visibility ($visibility)" |
| } else { |
| if { [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] } { |
| if [ string match $support_protected "no" ] { |
| setup_xfail $target_triplet |
| } |
| } |
| visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb $COMPRESS_LDFLAG |
| } |
| }} |
| |
| if { [istarget powerpc*-*-linux*] } { |
| # Don't bother. |
| } else { |
| # Now do the same tests again, but this time compile main.c PIC. |
| if ![ld_compile "$CC_FOR_TARGET -g $SHCFLAG $VSBCFLAG $NOSANITIZE_CFLAGS $NOLTO_CFLAGS -DSHARED $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] { |
| unsupported "visibility ($visibility) (PIC main, non PIC so)" |
| unsupported "visibility ($visibility) (PIC main)" |
| } else { |
| if { [ remote_file host exists $tmpdir/sh1np.o ] |
| && [ remote_file host exists $tmpdir/sh2np.o ] } { |
| # SunOS non PIC shared libraries don't permit some cases of |
| # overriding. |
| if { [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] } { |
| if [ string match $support_protected "no" ] { |
| setup_xfail $target_triplet |
| } |
| } |
| if { ![ string match $visibility "hidden_undef" ] |
| && ![ string match $visibility "protected_undef" ] } { |
| setup_xfail "ia64-*-linux*" |
| setup_xfail "alpha*-*-linux*" |
| } |
| if { ![ string match $visibility "hidden" ] |
| && ![ string match $visibility "hidden_undef" ] |
| && ![ string match $visibility "hidden_undef_def" ] |
| && ![ string match $visibility "protected_undef" ] } { |
| setup_xfail "s390x-*-linux*" |
| if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } { |
| setup_xfail "sparc*-*-linux*" |
| } |
| } |
| if { [is_elf64 $tmpdir/mainp.o] } { |
| setup_xfail "x86_64-*-linux*" |
| } |
| setup_xfail "x86_64-*-linux-gnux32" |
| if { ![istarget hppa*64*-*-linux*] } { |
| setup_xfail "hppa*-*-linux*" |
| } |
| if [ string match $shared_needs_pic "yes" ] { |
| setup_xfail "arm*-*-linux*" |
| } |
| |
| visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb |
| } else { |
| unsupported "visibility (PIC main, non PIC so)" |
| } |
| |
| if { [ remote_file host exists $tmpdir/sh1p.o ] |
| && [ remote_file host exists $tmpdir/sh2p.o ] } { |
| if { [ string match $visibility "protected" ] |
| || [ string match $visibility "protected_undef_def" ] } { |
| if [ string match $support_protected "no" ] { |
| setup_xfail $target_triplet |
| } |
| } |
| visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb |
| } else { |
| unsupported "visibility ($visibility) (PIC main)" |
| } |
| }} |
| } |
| |
| # Old version of GCC for MIPS default to enabling -fpic |
| # and get confused if it is used on the command line. |
| if { [istarget mips*-*-*] && ! [at_least_gcc_version 4 3] } then { |
| set picflag "" |
| } else { |
| # Unfortunately, the gcc argument is -fpic and the cc argument is |
| # -KPIC. We have to try both. |
| set picflag "-fpic" |
| send_log "$CC_FOR_TARGET $picflag\n" |
| verbose "$CC_FOR_TARGET $picflag" |
| catch "exec $CC_FOR_TARGET $picflag" exec_output |
| send_log "$exec_output\n" |
| verbose "--" "$exec_output" |
| if { [string match "*illegal option*" $exec_output] \ |
| || [string match "*option ignored*" $exec_output] \ |
| || [string match "*unrecognized option*" $exec_output] \ |
| || [string match "*passed to ld*" $exec_output] } { |
| set picflag "-KPIC" |
| } |
| } |
| verbose "Using $picflag to compile PIC code" |
| |
| visibility_run hidden |
| visibility_run hidden_normal |
| visibility_run hidden_undef |
| visibility_run hidden_undef_def |
| visibility_run hidden_weak |
| visibility_run protected |
| visibility_run protected_undef |
| visibility_run protected_undef_def |
| visibility_run protected_weak |
| visibility_run normal |
| |
| if { ![ld_compile "$CC_FOR_TARGET -g $NOSANITIZE_CFLAGS $NOLTO_CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } { |
| unsupported "common hidden symbol" |
| } else { |
| if ![ld_link $ld tmpdir/common "tmpdir/common.o"] { |
| fail "common hidden symbol" |
| } else { |
| pass "common hidden symbol" |
| } |
| } |
| |
| if { ![ld_compile "$CC_FOR_TARGET -g $NOSANITIZE_CFLAGS $NOLTO_CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } { |
| unsupported "weak hidden symbol" |
| } else { |
| if { ![ld_compile "$CC_FOR_TARGET -g $NOSANITIZE_CFLAGS $NOLTO_CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } { |
| unsupported "weak hidden symbol" |
| } else { |
| if ![ld_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] { |
| fail "weak hidden symbol" |
| } else { |
| if ![ld_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] { |
| fail "weak hidden symbol DSO last" |
| } else { |
| pass "weak hidden symbol DSO last" |
| } |
| if ![ld_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] { |
| fail "weak hidden symbol DSO first" |
| } else { |
| pass "weak hidden symbol DSO first" |
| } |
| } |
| } |
| } |
