ld/testsuite/ld-elfvers/vers.exp

   1 # Expect script for ld-version tests
   2 #   Copyright (C) 1997-2020 Free Software Foundation, Inc.
   3 #
   4 # This file is part of the GNU Binutils.
   5 #
   6 # This program is free software; you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; if not, write to the Free Software
  18 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  19 # MA 02110-1301, USA.
  20 #
  21 # Written by Eric Youngdale (eric@andante.jic.com)
  22
  23 #
  24
  25 # Check to see if the C compiler works
  26 if { ![check_compiler_available] } {
  27     return
  28 }
  29
  30 # This test can only be run on a couple of ELF platforms.
  31 # Square bracket expressions seem to confuse istarget.
  32 # This is similar to the test that is used in ld-shared, BTW.
  33 if { ![istarget hppa*64*-*-hpux*]
  34      && ![istarget hppa*-*-linux*]
  35      && ![istarget i?86-*-sysv4*]
  36      && ![istarget i?86-*-unixware]
  37      && ![istarget i?86-*-elf*]
  38      && ![istarget i?86-*-linux*]
  39      && ![istarget i?86-*-gnu*]
  40      && ![istarget ia64-*-elf*]
  41      && ![istarget ia64-*-linux*]
  42      && ![istarget m68k-*-linux*]
  43      && ![istarget mips*-*-irix5*]
  44      && ![istarget powerpc*-*-elf*]
  45      && ![istarget powerpc*-*-linux*]
  46      && ![istarget powerpc*-*-sysv4*]
  47      && ![istarget sparc*-*-elf]
  48      && ![istarget sparc*-*-solaris2*]
  49      && ![istarget sparc*-*-linux*]
  50      && ![istarget aarch64*-*-linux*]
  51      && ![istarget arm*-*-linux*]
  52      && ![istarget mips*-*-linux*]
  53      && ![istarget alpha*-*-linux*]
  54      && ![istarget s390*-*-linux*]
  55      && ![istarget sh\[34\]*-*-linux*]
  56      && ![istarget x86_64-*-linux*] } {
  57     return
  58 }
  59
  60 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
  61     return
  62 }
  63
  64 set diff diff
  65 set tmpdir tmpdir
  66 set VOBJDUMP_FLAGS --private-headers
  67 set DOBJDUMP_FLAGS --dynamic-syms
  68 set SOBJDUMP_FLAGS --syms
  69 set shared "--shared --no-undefined-version"
  70 set script --version-script
  71
  72 # Old version of GCC for MIPS default to enabling -fpic
  73 # and get confused if it is used on the command line.
  74 if { [istarget mips*-*-*] && ! [at_least_gcc_version 4 3] } then {
  75     set picflag ""
  76 } else {
  77     # Unfortunately, the gcc argument is -fpic and the cc argument is
  78     # -KPIC.  We have to try both.
  79     set picflag "-fpic"
  80     send_log "$CC $picflag\n"
  81     verbose "$CC $picflag"
  82     catch "exec $CC $picflag" exec_output
  83     send_log "$exec_output\n"
  84     verbose "--" "$exec_output"
  85     if { [string match "*illegal option*" $exec_output]
  86          || [string match "*option ignored*" $exec_output]
  87          || [string match "*unrecognized option*" $exec_output]
  88          || [string match "*passed to ld*" $exec_output] } {
  89         set picflag "-KPIC"
  90     }
  91 }
  92
  93 switch -glob $target_triplet {
  94     ia64-*-* { set as_options "-x" }
  95     sparc-*-* { set as_options "-Av9a" }
  96     default { set as_options "" }
  97 }
  98
  99 proc test_ar { test lib object expect } {
 100     global ar
 101     global nm
 102     global tmpdir
 103     global srcdir
 104     global subdir
 105     global diff
 106
 107     verbose -log "$ar -cr $tmpdir/$lib $tmpdir/$object"
 108     catch "exec $ar -cr $tmpdir/$lib $tmpdir/$object" exec_output
 109     set exec_output [prune_warnings $exec_output]
 110     if ![string match "" $exec_output] {
 111         verbose -log "$exec_output"
 112         unresolved "$test"
 113         return
 114     }
 115
 116     set cmd "$nm --print-armap $tmpdir/$lib | grep \\\ in\\\  | egrep VERS\\\|bar\\\|foo | grep -v ^\\\\. | sort > $tmpdir/nm.out"
 117     verbose -log $cmd
 118     catch "exec $cmd" exec_output
 119     if [string match "" $exec_output] then {
 120         catch "exec sort $srcdir/$subdir/$expect | $diff $tmpdir/nm.out -" exec_output
 121         set exec_output [prune_warnings $exec_output]
 122         if [string match "" $exec_output] then {
 123             pass $test
 124             return
 125         } else {
 126             verbose -log "$exec_output"
 127             fail "$test"
 128             return
 129         }
 130     } else {
 131         verbose -log "$exec_output"
 132         fail "$test"
 133     }
 134 }
 135
 136 #
 137 # objdump_emptysymstuff
 138 #       Check non-dynamic symbols and make sure there are none with '@'.
 139 #
 140 proc objdump_emptysymstuff { objdump object } {
 141     global SOBJDUMP_FLAGS
 142     global version_output
 143     global diff
 144
 145     if ![info exists SOBJDUMP_FLAGS] { set SOBJDUMP_FLAGS "" }
 146
 147     verbose -log "$objdump $SOBJDUMP_FLAGS $object | sed -n /\@/p"
 148
 149     catch "exec $objdump $SOBJDUMP_FLAGS $object | sed -n /\@/p" exec_output
 150     set exec_output [prune_warnings $exec_output]
 151     if [string match "" $exec_output] then {
 152 # We shouldn't get anything here.
 153         return 1
 154     } else {
 155 # it is not normal to come here - we have no output to compare.
 156         verbose -log "$exec_output"
 157         verbose -log "objdump_emptysymstuff: did not expect any output from objdump"
 158         return 0
 159     }
 160
 161 }
 162
 163 #
 164 # objdump_emptydynsymstuff
 165 #       Check dynamic symbols and make sure there are none with '@'.
 166 #
 167 proc objdump_emptydynsymstuff { objdump object } {
 168     global DOBJDUMP_FLAGS
 169     global version_output
 170     global diff
 171
 172     if ![info exists VOBJDUMP_FLAGS] { set VOBJDUMP_FLAGS "" }
 173
 174     verbose -log "$objdump $DOBJDUMP_FLAGS $object | sed -n /VERS/p\\\;/show/p"
 175
 176     catch "exec $objdump $DOBJDUMP_FLAGS $object | sed -n /VERS/p\\\;/show/p" exec_output
 177     set exec_output [prune_warnings $exec_output]
 178     if [string match "" $exec_output] then {
 179 # We shouldn't get anything here.
 180         return 1
 181     } else { if [string match "*objdump: *: not a dynamic object" $exec_output] then {
 182         return 1
 183     } else {
 184 # it is not normal to come here - we have no output to compare.
 185         verbose -log "$exec_output"
 186         verbose -log "objdump_emptydynsymstuff: did not expect any output from objdump"
 187         return 0
 188     } }
 189 }
 190
 191 #
 192 # objdump_emptyverstuff
 193 #       Make sure there is no version information
 194 #
 195 proc objdump_emptyverstuff { objdump object } {
 196     global VOBJDUMP_FLAGS
 197     global version_output
 198     global diff
 199     global tmpdir
 200
 201     if {[which $objdump] == 0} then {
 202         perror "$objdump does not exist"
 203         return 0
 204     }
 205
 206     if ![info exists VOBJDUMP_FLAGS] { set VOBJDUMP_FLAGS "" }
 207
 208     verbose -log "$objdump $VOBJDUMP_FLAGS $object | sed -n /Version/,\\\$p > $tmpdir/objdump.out"
 209
 210     catch "exec $objdump $VOBJDUMP_FLAGS $object | sed -n /Version/,\\\$p" exec_output
 211     set exec_output [prune_warnings $exec_output]
 212     if [string match "" $exec_output] then {
 213 # it is normal to fail here - we have no output to compare.
 214         return 1
 215     } else { if { [string match "*libc*" $exec_output] } then {
 216 # this probably means that there is version information in libc, so we
 217 # can't really perform this test.
 218         return 1
 219     } else {
 220         verbose -log "$exec_output"
 221         verbose -log "objdump_emptyverstuff: did not expect any output from objdump"
 222         return 0
 223     } }
 224
 225 }
 226
 227 #
 228 # objdump_symstuff
 229 #       Dump non-dynamic symbol stuff and make sure that it is sane.
 230 #
 231 proc objdump_symstuff { objdump object expectfile } {
 232     global SOBJDUMP_FLAGS
 233     global version_output
 234     global diff
 235     global tmpdir
 236
 237     if ![info exists SOBJDUMP_FLAGS] { set SOBJDUMP_FLAGS "" }
 238
 239     set cmd "$objdump $SOBJDUMP_FLAGS $object | sed -n {s/^\\(\[0-9a-f\]* *\\)\\(\[gw\]\\)\\( *\\)\\(\[FO\]\\)/\\1\\2\\4\\3/;/\@/p} | sort -k 5 > $tmpdir/objdump.out"
 240     verbose -log $cmd
 241     catch "exec $cmd" exec_output
 242     set exec_output [prune_warnings $exec_output]
 243     if [string match "" $exec_output] then {
 244
 245 # Now do a line-by-line comparison to effectively diff the darned things
 246 # The stuff coming from the expectfile is actually a regex, so we can
 247 # skip over the actual addresses and so forth.  This is currently very
 248 # simpleminded - it expects a one-to-one correspondence in terms of line
 249 # numbers.
 250
 251         if [file exists $expectfile] then {
 252             set file_a [open $expectfile r]
 253         } else {
 254             perror "$expectfile doesn't exist"
 255             return 0
 256         }
 257
 258         if [file exists $tmpdir/objdump.out] then {
 259             set file_b [open $tmpdir/objdump.out r]
 260         } else {
 261             perror "$tmpdir/objdump.out doesn't exist"
 262             return 0
 263         }
 264
 265         verbose "# Diff'ing: $expectfile $tmpdir/objdump.out" 2
 266
 267         set eof -1
 268         set differences 0
 269
 270         while { [gets $file_a line] != $eof } {
 271             if [regexp "^#.*$" $line] then {
 272                 continue
 273             } else {
 274                 lappend list_a $line
 275             }
 276         }
 277         close $file_a
 278
 279         while { [gets $file_b line] != $eof } {
 280             if [regexp {\.text.* \.[^ ]*$} $line] then {
 281                 # Discard defined powerpc64 dot-symbols
 282                 continue
 283             } else {
 284                 lappend list_b $line
 285             }
 286         }
 287         close $file_b
 288
 289         for { set i 0 } { $i < [llength $list_a] } { incr i } {
 290             set line_a [lindex $list_a $i]
 291             set line_b [lindex $list_b $i]
 292
 293
 294             verbose "\t$expectfile: $i: $line_a" 3
 295             verbose "\t/tmp/objdump.out: $i: $line_b" 3
 296             if [regexp $line_a $line_b] then {
 297                 continue
 298             } else {
 299                 verbose -log "\t$expectfile: $i: $line_a"
 300                 verbose -log "\t$tmpdir/objdump.out: $i: $line_b"
 301
 302                 return 0
 303             }
 304         }
 305
 306         if { [llength $list_a] != [llength $list_b] } {
 307             verbose -log "Line count"
 308             return 0
 309         }
 310
 311         if $differences<1 then {
 312             return 1
 313         }
 314
 315         return 0
 316     } else {
 317         verbose -log "$exec_output"
 318         return 0
 319     }
 320
 321 }
 322
 323 #
 324 # objdump_dymsymstuff
 325 #       Dump dynamic symbol stuff and make sure that it is sane.
 326 #
 327 proc objdump_dynsymstuff { objdump object expectfile } {
 328     global DOBJDUMP_FLAGS
 329     global version_output
 330     global diff
 331     global tmpdir
 332
 333     if ![info exists DOBJDUMP_FLAGS] { set DOBJDUMP_FLAGS "" }
 334
 335     set cmd "$objdump $DOBJDUMP_FLAGS $object | sed -n /VERS/p\\\;/show/p | sort | uniq > $tmpdir/objdump.out"
 336     verbose -log $cmd
 337     catch "exec $cmd" exec_output
 338     set exec_output [prune_warnings $exec_output]
 339     if [string match "" $exec_output] then {
 340
 341 # Now do a line-by-line comparison to effectively diff the darned things
 342 # The stuff coming from the expectfile is actually a regex, so we can
 343 # skip over the actual addresses and so forth.  This is currently very
 344 # simpleminded - it expects a one-to-one correspondence in terms of line
 345 # numbers.
 346
 347         if [file exists $expectfile] then {
 348             set file_a [open $expectfile r]
 349         } else {
 350             warning "$expectfile doesn't exist"
 351             return 0
 352         }
 353
 354         if [file exists $tmpdir/objdump.out] then {
 355             set file_b [open $tmpdir/objdump.out r]
 356         } else {
 357             fail "$tmpdir/objdump.out doesn't exist"
 358             return 0
 359         }
 360
 361         verbose "# Diff'ing: $expectfile $tmpdir/objdump.out" 2
 362
 363         set eof -1
 364         set differences 0
 365
 366         while { [gets $file_a line] != $eof } {
 367             if [regexp "^#.*$" $line] then {
 368                 continue
 369             } else {
 370                 lappend list_a $line
 371             }
 372         }
 373         close $file_a
 374
 375         while { [gets $file_b line] != $eof } {
 376             if [regexp {\.text.* \.[^ ]*$} $line] then {
 377                 # Discard defined powerpc64 dot-symbols
 378                 continue
 379             } else {
 380                 lappend list_b $line
 381             }
 382         }
 383         close $file_b
 384
 385         # Support empty files.
 386         if { ![info exists list_a] } then {
 387             if { ![info exists list_b] } then {
 388                 return 1
 389             }
 390             verbose -log "\t$tmpdir/objdump.out: $list_b"
 391             return 0
 392         }
 393
 394         for { set i 0 } { $i < [llength $list_b] } { incr i } {
 395             set line_b [lindex $list_b $i]
 396
 397 # The tests are rigged so that we should never export a symbol with the
 398 # word 'hide' in it.  Thus we just search for it, and bail if we find it.
 399             if [regexp "hide" $line_b] then {
 400                 verbose -log "\t$tmpdir/objdump.out: $i: $line_b"
 401
 402                 return 0
 403             }
 404
 405             verbose "\t$expectfile: $i: $line_b" 3
 406
 407             # We can't assume that the sort is consistent across
 408             # systems, so we must check each regexp.  When we find a
 409             # regexp, we null it out, so we don't match it twice.
 410             for { set j 0 } { $j < [llength $list_a] } { incr j } {
 411                 set line_a [lindex $list_a $j]
 412
 413                 if [regexp $line_a $line_b] then {
 414                     lreplace $list_a $j $j "CAN NOT MATCH"
 415                     break
 416                 }
 417             }
 418
 419             if { $j >= [llength $list_a] } {
 420                 verbose -log "\t$tmpdir/objdump.out: $i: $line_b"
 421
 422                 return 0
 423             }
 424         }
 425
 426         if { [llength $list_a] != [llength $list_b] } {
 427             verbose -log "Line count"
 428             return 0
 429         }
 430
 431         if $differences<1 then {
 432             return 1
 433         }
 434
 435         return 0
 436     } else {
 437         verbose -log "$exec_output"
 438         return 0
 439     }
 440
 441 }
 442
 443 #
 444 # objdump_versionstuff
 445 #       Dump version definitions/references and make sure that it is sane.
 446 #
 447 proc objdump_versionstuff { objdump object expectfile } {
 448     global VOBJDUMP_FLAGS
 449     global version_output
 450     global diff
 451     global tmpdir
 452
 453     if {[which $objdump] == 0} then {
 454         perror "$objdump does not exist"
 455         return 0
 456     }
 457
 458     if ![info exists VOBJDUMP_FLAGS] { set VOBJDUMP_FLAGS "" }
 459
 460     verbose -log "$objdump $VOBJDUMP_FLAGS $object | sed -n /Version/,\\\$p > $tmpdir/objdump.out"
 461
 462     catch "exec $objdump $VOBJDUMP_FLAGS $object | sed -n /Version/,\\\$p > $tmpdir/objdump.out" exec_output
 463     set exec_output [prune_warnings $exec_output]
 464     if [string match "" $exec_output] then {
 465
 466         # It's OK if there are extra lines in the actual output; they
 467         # may come from version information in libc.  We require that
 468         # every line in EXPECTFILE appear in the output in any order.
 469
 470         set f2 [open $expectfile r]
 471         while { [gets $f2 l2] != -1 } {
 472             if { ![regexp "^#.*$" $l2] } then {
 473                 set f1 [open $tmpdir/objdump.out r]
 474                 while { [gets $f1 l1] != -1 } {
 475                     if { [string match $l2 $l1] } then {
 476                         break
 477                     }
 478                 }
 479                 close $f1
 480
 481                 if { ![string match $l2 $l1] } then {
 482                     verbose -log "Did not find \"$l2\""
 483                     set f1 [open $tmpdir/objdump.out r]
 484                     while { [gets $f1 l1] != -1 } {
 485                         verbose -log $l1
 486                     }
 487                     close $f1
 488                     close $f2
 489                     return 0
 490                 }
 491             }
 492         }
 493         close $f2
 494         return 1
 495     } else {
 496         verbose -log "$exec_output"
 497         return 0
 498     }
 499 }
 500
 501 proc build_binary { shared pic test source libname other mapfile verexp versymexp symexp ldargs } {
 502     global ld
 503     global srcdir
 504     global subdir
 505     global exec_output
 506     global host_triplet
 507     global tmpdir
 508     global as
 509     global as_options
 510     global objdump
 511     global CC
 512     global CFLAGS
 513     global script
 514
 515     if ![ld_compile "$CC -S $pic $CFLAGS" $srcdir/$subdir/$source $tmpdir/$libname.s]     {
 516         unresolved "$test"
 517         return
 518     }
 519
 520     if ![ld_assemble $as "$as_options $tmpdir/$libname.s" $tmpdir/$libname.o ]     {
 521         unresolved "$test"
 522         return
 523     }
 524
 525     set other_lib ""
 526     if ![string match "" $other] then {
 527         foreach o $other {
 528             set other_lib "$other_lib $tmpdir/$o"
 529         }
 530     }
 531
 532     if [string match "" $mapfile] then {
 533         set script_arg ""
 534     } else {
 535         set script_arg "$script $srcdir/$subdir/$mapfile"
 536     }
 537
 538     if {![ld_link $ld $tmpdir/$libname.so "$shared $tmpdir/$libname.o $other_lib $script_arg $ldargs"]}     {
 539         fail "$test"
 540         return
 541     }
 542
 543     if {![objdump_versionstuff $objdump $tmpdir/$libname.so $srcdir/$subdir/$verexp ]}     {
 544         fail "$test"
 545         return
 546     }
 547
 548     if {![objdump_dynsymstuff $objdump $tmpdir/$libname.so $srcdir/$subdir/$versymexp ]}     {
 549         fail "$test"
 550         return
 551     }
 552
 553     if [string match "" $symexp] then {
 554         if {![objdump_emptysymstuff $objdump $tmpdir/$libname.o ]}     {
 555             fail "$test"
 556             return
 557         }
 558     } else {
 559         if {![objdump_symstuff $objdump $tmpdir/$libname.o $srcdir/$subdir/$symexp ]}     {
 560             fail "$test"
 561             return
 562         }
 563     }
 564
 565     pass $test
 566
 567 }
 568
 569 proc build_executable { test source libname other mapfile verexp versymexp symexp } {
 570   build_binary "" "" $test $source $libname $other $mapfile $verexp $versymexp $symexp ""
 571 }
 572
 573 proc build_vers_lib_no_pic { test source libname other mapfile verexp versymexp symexp } {
 574   global shared
 575   # Make sure that PLT is used since PLT is expected.
 576   global PLT_CFLAGS
 577   build_binary "$shared -z notext" $PLT_CFLAGS $test $source $libname $other $mapfile $verexp $versymexp $symexp ""
 578 }
 579
 580 proc build_vers_lib_pic { test source libname other mapfile verexp versymexp symexp } {
 581   global picflag
 582   global shared
 583   build_binary $shared $picflag $test $source $libname $other $mapfile $verexp $versymexp $symexp ""
 584 }
 585
 586 proc build_vers_lib_pic_flags { test source libname other mapfile verexp versymexp symexp ldargs } {
 587   global picflag
 588   global shared
 589   build_binary $shared $picflag $test $source $libname $other $mapfile $verexp $versymexp $symexp $ldargs
 590 }
 591
 592 proc test_ldfail { test flag source execname other mapfile whyfail } {
 593     global srcdir
 594     global subdir
 595     global exec_output
 596     global host_triplet
 597     global tmpdir
 598     global as
 599     global as_options
 600     global objdump
 601     global CC
 602     global CFLAGS
 603     global script
 604
 605     if [string match "" $other] then {
 606         set other_lib ""
 607     } else {
 608         set other_lib $tmpdir/$other
 609     }
 610
 611     if ![ld_compile "$CC -S $flag $CFLAGS" $srcdir/$subdir/$source $tmpdir/$execname.s]     {
 612         unresolved "$test"
 613         return
 614     }
 615
 616     if ![ld_assemble $as "$as_options $tmpdir/$execname.s" $tmpdir/$execname.o ]     {
 617         unresolved "$test"
 618         return
 619     }
 620
 621     verbose -log "This link should fail because of $whyfail"
 622
 623     if [string match "" $mapfile] then {
 624         set script_arg ""
 625     } else {
 626         set script_arg "-Wl,$script $srcdir/$subdir/$mapfile"
 627     }
 628
 629     if {![ld_link $CC $tmpdir/$execname "$tmpdir/$execname.o $other_lib $script_arg"]}     {
 630         pass "$test"
 631         return
 632     }
 633     fail "$test"
 634 }
 635
 636 proc test_asfail { test flag source execname whyfail } {
 637     global srcdir
 638     global subdir
 639     global tmpdir
 640     global as
 641     global CC
 642     global CFLAGS
 643
 644     if ![ld_compile "$CC -S $flag $CFLAGS" $srcdir/$subdir/$source $tmpdir/$execname.s]     {
 645         unresolved "$test"
 646         return
 647     }
 648
 649     verbose -log "This assemble should fail because of $whyfail"
 650     catch "exec $as -o $tmpdir/$execname.o $tmpdir/$execname.s" exec_output
 651     set exec_output [prune_warnings $exec_output]
 652     if [string match "" $exec_output] then {
 653         fail "$test"
 654         return
 655     }
 656     verbose -log "$exec_output"
 657     pass "$test"
 658 }
 659
 660 proc test_strip_vers_lib { test srclib libname verexp versymexp } {
 661     global strip
 662     global srcdir
 663     global subdir
 664     global exec_output
 665     global host_triplet
 666     global tmpdir
 667     global objdump
 668
 669     if {! [file exists $tmpdir/$srclib] } then {
 670         fail "$test ($tmpdir/$srclib does not exist)"
 671         return
 672     }
 673     verbose -log "cp $tmpdir/$srclib $tmpdir/$libname.so"
 674     exec cp $tmpdir/$srclib $tmpdir/$libname.so
 675
 676     verbose -log "$strip $tmpdir/$libname.so"
 677     catch "exec $strip $tmpdir/$libname.so" exec_output
 678     if [string match "" $exec_output] then {
 679
 680 # If strip went OK, then run the usual tests on the thing to make sure that
 681 # it is sane.
 682         if {![objdump_versionstuff $objdump $tmpdir/$libname.so $srcdir/$subdir/$verexp ]}     {
 683             fail "$test"
 684             return
 685         }
 686
 687         if {![objdump_dynsymstuff $objdump $tmpdir/$libname.so $srcdir/$subdir/$versymexp ]}     {
 688             fail "$test"
 689             return
 690         }
 691
 692     } else {
 693         verbose -log "$exec_output"
 694         fail "$test"
 695         return
 696     }
 697     pass $test
 698 }
 699
 700
 701 proc build_exec { test source execname flags solibname verexp versymexp symexp } {
 702     global srcdir
 703     global subdir
 704     global exec_output
 705     global host_triplet
 706     global tmpdir
 707     global as
 708     global as_options
 709     global objdump
 710     global CC
 711     global CFLAGS
 712
 713     set shared "--shared --no-undefined-version"
 714     set script --version-script
 715     if ![ld_compile "$CC -S $CFLAGS" $srcdir/$subdir/$source $tmpdir/$execname.s]     {
 716         unresolved "$test"
 717         return
 718     }
 719
 720     if ![ld_assemble $as "$as_options $tmpdir/$execname.s" $tmpdir/$execname.o ]     {
 721         unresolved "$test"
 722         return
 723     }
 724
 725     if [string match "" $solibname] then {
 726         set solibname_lib ""
 727     } else {
 728         set solibname_lib $tmpdir/$solibname
 729     }
 730
 731     if {![ld_link $CC $tmpdir/$execname "$flags $tmpdir/$execname.o $solibname_lib"]}     {
 732         fail "$test"
 733         return
 734     }
 735
 736     if [string match "" $verexp] then {
 737 #
 738 # Make sure we get nothing back.
 739 #
 740         if {![objdump_emptyverstuff $objdump $tmpdir/$execname ]}     {
 741             fail "$test"
 742             return
 743         }
 744     } else {
 745         if {![objdump_versionstuff $objdump $tmpdir/$execname $srcdir/$subdir/$verexp ]}     {
 746             fail "$test"
 747             return
 748         }
 749     }
 750
 751     if [string match "" $versymexp] then {
 752         if {![objdump_emptydynsymstuff $objdump $tmpdir/$execname ]}     {
 753             fail "$test"
 754             return
 755         }
 756     } else {
 757         if {![objdump_dynsymstuff $objdump $tmpdir/$execname $srcdir/$subdir/$versymexp ]}     {
 758             fail "$test"
 759             return
 760         }
 761     }
 762
 763     if [string match "" $symexp] then {
 764         if {![objdump_emptysymstuff $objdump $tmpdir/$execname.o ]}     {
 765             fail "$test"
 766             return
 767         }
 768     } else {
 769         if {![objdump_symstuff $objdump $tmpdir/$execname.o $srcdir/$subdir/$symexp ]}     {
 770             fail "$test"
 771             return
 772         }
 773     }
 774
 775     pass $test
 776 }
 777
 778 if { [istarget x86_64-*-linux*] \
 779      || [istarget arm*-*-*] \
 780      || ( [istarget mips*-*-linux*] && [at_least_gcc_version 4 3] ) } {
 781     # x86_64, ARM and newer MIPS toolchains do not like non-pic shared libraries
 782     set pic "yes"
 783 } else {
 784     set pic "no"
 785 }
 786
 787 #
 788 # Basic test - build a library with versioned symbols.
 789 #
 790 build_vers_lib_pic "vers1" vers1.c vers1 "" vers1.map vers1.ver vers1.dsym vers1.sym
 791
 792
 793 #
 794 # Test #2 - build a library, and link it against the library we built in step
 795 # 1.
 796 #
 797 build_vers_lib_pic "vers2" vers2.c vers2 vers1.so vers2.map vers2.ver vers2.dsym ""
 798
 799 #
 800 # Test #3 - build an executable, and link it against vers1.so.
 801 #
 802 build_exec "vers3" vers3.c vers3 "-Wl,--no-as-needed" vers1.so vers3.ver vers3.dsym ""
 803
 804 #
 805 # Test #4 - Make sure a version implicitly defined in an executable
 806 # causes a version node to be created.  Verify this both with and without
 807 # --export-dynamic.
 808 #
 809
 810 # This test fails on MIPS.  On the MIPS we must put foo in the dynamic
 811 # symbol table, which the test does not expect.
 812 setup_xfail "mips*-*-*"
 813 build_exec "vers4" vers4.c vers4 "" "" "" "" vers4.sym
 814
 815 build_exec "vers4a" vers4.c vers4a "-Wl,-export-dynamic" "" vers4a.ver vers4a.dsym vers4a.sym
 816
 817 # Verify that --no-export-dynamic undoes the effect of --export-dynamic.
 818 setup_xfail "mips*-*-*"
 819 build_exec "vers4b" vers4.c vers4b "-Wl,-export-dynamic -Wl,--no-export-dynamic" "" "" "" vers4.sym
 820
 821
 822 #
 823 # Try multiple definitions foo@BAR and foo@@BAR and make sure the linker
 824 # complains.
 825 #
 826 test_ldfail "vers5" "" vers5.c vers5 "" "" "multiple definition of foo@VERS_1.2"
 827
 828 #
 829 #
 830 # Now build a test that should reference a bunch of versioned symbols.
 831 # All of them should be correctly referenced.
 832 #
 833 build_exec "vers6" vers6.c vers6 "-Wl,--no-as-needed" vers1.so vers6.ver vers6.dsym vers6.sym
 834
 835 #
 836 # Another test to verify that something made local via 'local' is truly not
 837 # accessible.
 838 #
 839 if [string match "yes" $pic] then {
 840     xfail "vers7a"
 841     xfail "vers7"
 842 } else {
 843     build_vers_lib_no_pic "vers7a" vers7a.c vers7a "" vers7.map vers7a.ver vers7a.dsym vers7a.sym
 844
 845     test_ldfail "vers7" "" vers7.c vers7 vers7a.so "" "undefined reference to hide_a"
 846 }
 847
 848
 849 #
 850 # This test is designed to verify that we can pass a linker script on the
 851 # command line as if it were a normal .o file.
 852 #
 853 catch "exec cp $srcdir/$subdir/vers8.map $tmpdir/" ignore_output
 854 build_vers_lib_pic "vers8" vers1.c vers8 vers8.map "" vers8.ver vers1.dsym vers1.sym
 855
 856 #
 857 # This test tries to make sure that version references to versioned symbols
 858 # don't collide with default definitions with the same symbol.
 859 #
 860 build_exec "vers9" vers9.c vers9 "-Wl,-export-dynamic" "" vers9.ver vers9.dsym vers9.sym
 861
 862
 863 #
 864 # Try and use a non-existant version node.  The linker should fail with
 865 # an error message.
 866 #
 867 test_ldfail "vers10" "-DDO_TEST10" vers1.c vers10 "" "vers1.map --shared" "invalid version"
 868
 869 #
 870 # Try and some things the assembler should complain about.
 871 #
 872 test_asfail "vers11" "-DDO_TEST11" vers1.c vers11 "no @ in symver"
 873
 874 test_asfail "vers12" "-DDO_TEST12" vers1.c vers12 "extern version definition"
 875
 876 #
 877 # Put a shared library in an archive library, and make sure the global
 878 # archive symbol table is sane.
 879 #
 880 test_ar "ar with versioned solib" vers13.a vers1.so vers13.asym
 881
 882 #
 883 # Strip a shared library, and make sure we didn't screw something up in there.
 884 #
 885 test_strip_vers_lib "vers14" vers1.so vers14 vers1.ver vers1.dsym
 886
 887
 888 #
 889 # Build another test with some versioned symbols.  Here we are going to
 890 # try and override something from the library, and we shouldn't get
 891 # any errors.
 892 #
 893 build_exec "vers15" vers15.c vers15 "-Wl,--no-as-needed" vers1.so vers15.ver vers15.dsym vers15.sym
 894
 895 #
 896 # Test that when we override a versioned symbol from the library this
 897 # symbol appears in the dynamic symbol table of the executable.
 898 #
 899 build_vers_lib_pic "vers16a" vers16a.c vers16a "" vers16.map vers16a.ver vers16a.dsym ""
 900 build_exec "vers16" vers16.c vers16 "-Wl,--no-as-needed" vers16a.so "" vers16.dsym ""
 901
 902 # Test a weak versioned symbol.
 903 build_vers_lib_pic "vers17" vers17.c vers17 "" vers17.map vers17.ver vers17.dsym ""
 904 build_vers_lib_pic "vers18" vers18.c vers18 vers17.so vers18.map vers18.ver vers18.dsym vers18.sym
 905 build_exec "vers19" vers19.c vers19 "-Wl,--no-as-needed,-rpath,.,-rpath-link,." vers18.so vers19.ver vers19.dsym ""
 906
 907 build_vers_lib_no_pic "vers20a" vers20.c vers20a "" vers20.map vers20a.ver vers20.dsym ""
 908 if {! [file exists $tmpdir/vers20a.so] } then {
 909     fail "Building vers20a.so"
 910 } else {
 911     exec cp $tmpdir/vers20a.so $tmpdir/vers20b.so
 912     build_vers_lib_no_pic "vers20" vers20.c vers20 "vers20a.so vers20b.so" vers20.map vers20.ver vers20.dsym ""
 913 }
 914
 915 # Test .symver override.
 916 build_vers_lib_pic "vers21" vers21.c vers21 "" vers21.map vers21.ver vers21.dsym vers21.sym
 917
 918 # Test moving default definition from one DSO to another.
 919 build_vers_lib_pic "vers22a" vers22a.c vers22a "" vers22.map vers22a.ver vers22a.dsym vers22a.sym
 920 build_vers_lib_pic "vers22b" vers22b.c vers22b "" vers22.map vers22b.ver vers22b.dsym ""
 921 build_vers_lib_pic "vers22" vers22.c vers22 "vers22a.so vers22b.so" "" vers22.ver vers22.dsym ""
 922
 923 # Test versioned definitions in different files.
 924 if [string match "yes" $pic] then {
 925     xfail "vers23a"
 926     xfail "vers23b"
 927     xfail "vers23c"
 928     xfail "vers23d"
 929     xfail "vers23"
 930 } else {
 931     build_vers_lib_no_pic "vers23a" vers23a.c vers23a "" vers23a.map vers23a.ver vers23a.dsym vers23a.sym
 932     build_vers_lib_no_pic "vers23b" vers23b.c vers23b "" vers23b.map vers23b.ver vers23b.dsym ""
 933     build_vers_lib_no_pic "vers23c" vers23b.c vers23c "vers23a.so" vers23b.map vers23c.ver vers23b.dsym ""
 934     build_exec "vers23d" vers23.c vers23d "-Wl,--no-as-needed tmpdir/vers23a.so tmpdir/vers23c.so" "" vers23.ver vers23d.dsym ""
 935     build_exec "vers23" vers23.c vers23 "-Wl,--no-as-needed tmpdir/vers23a.so tmpdir/vers23b.o tmpdir/vers23b.so" "" vers23.ver vers23.dsym ""
 936 }
 937
 938 # Test .symver x,x@VERS.0
 939 set as_pic_flags ""
 940 if [istarget sparc*-*-*] {
 941   set as_pic_flags "-K PIC"
 942 }
 943 run_ld_link_tests [list "\"vers24a\"
 944                          \"-shared --version-script $srcdir/$subdir/vers24.map\" \"\"
 945                          \"$as_pic_flags $as_options\" {vers24a.c vers24b.c} { { readelf -Wrs vers24.rd } }
 946                          \"libvers24a.so\" \"-fpic\""]
 947 run_ld_link_tests [list "\"vers24b\"
 948                          \"-shared --version-script $srcdir/$subdir/vers24.map\" \"\"
 949                          \"$as_pic_flags $as_options\" {vers24b.c vers24a.c} { { readelf -Wrs vers24.rd } }
 950                          \"libvers24b.so\" \"-fpic\""]
 951 run_ld_link_tests [list "\"vers24c\"
 952                          \"-shared --version-script $srcdir/$subdir/vers24.map\" \"\"
 953                          \"$as_pic_flags $as_options\" {vers24c.c} { { readelf -Wrs vers24.rd } }
 954                          \"libvers24c.so\" \"-fpic\""]
 955
 956 # Test versioned definition vs. normal definition in different files.
 957 if [string match "yes" $pic] then {
 958     xfail "vers25a"
 959     xfail "vers25b1"
 960     xfail "vers25b2"
 961 } else {
 962     build_vers_lib_no_pic "vers25a" vers25a.c vers25a "" vers25a.map vers25a.ver vers25a.dsym ""
 963     build_vers_lib_no_pic "vers25b1" vers25b.c vers25b1 "vers25a.o vers25a.so" "" vers25b.ver vers25b.dsym ""
 964     build_vers_lib_no_pic "vers25b2" vers25b.c vers25b2 "vers25a.so vers25a.o" "" vers25b.ver vers25b.dsym ""
 965 }
 966
 967 build_vers_lib_pic "vers26a" vers26a.c vers26a "" vers26a.map vers26a.ver vers26a.dsym ""
 968 build_vers_lib_pic "vers26b1" vers26b.c vers26b1 "" "" vers26b.ver vers26b.dsym ""
 969 build_vers_lib_pic "vers26b2" vers26b.c vers26b2 "vers26a.so vers26b1.so vers26a.o" "" vers26b.ver vers26b.dsym ""
 970 if [string match "yes" $pic] then {
 971     xfail "vers26b3"
 972 } else {
 973     build_vers_lib_no_pic "vers26b3" vers26b.c vers26b3 "vers26a.so vers26b1.so vers26a.o" "" vers26b.ver vers26b.dsym ""
 974 }
 975
 976 # Test versioned definition vs. hidden definition in different files.
 977 if [string match "yes" $pic] then {
 978     xfail "vers27a"
 979     xfail "vers27b"
 980     xfail "vers27c1"
 981     xfail "vers27c2"
 982     xfail "vers27d1"
 983     xfail "vers27d2"
 984     xfail "vers27d3"
 985     xfail "vers27d4"
 986     xfail "vers27d5"
 987 } else {
 988     build_vers_lib_no_pic "vers27a" vers27a.c vers27a "" vers27a.map vers27a.ver vers27a.dsym ""
 989     build_vers_lib_no_pic "vers27b" vers27b.c vers27b "" "" vers27b.ver vers27b.dsym ""
 990     build_vers_lib_no_pic "vers27c1" vers27c.c vers27c1 "vers27b.o vers27a.so" "" vers27c.ver vers27c.dsym ""
 991     build_vers_lib_no_pic "vers27c2" vers27c.c vers27c2 "vers27a.so vers27b.o" "" vers27c.ver vers27c.dsym ""
 992     build_vers_lib_pic "vers27d1" vers27d1.c vers27d1 "" vers27a.map vers27d.ver vers27d.dsym vers27d.sym
 993     build_vers_lib_pic "vers27d2" vers27d2.c vers27d2 "" "" vers27b.ver vers27b.dsym ""
 994     build_executable "vers27d3" vers27d3.c vers27d3 "vers27b.o vers27d2.so vers27d1.so" "" vers27b.ver vers27b.dsym ""
 995     build_vers_lib_pic "vers27d4" vers27d2.c vers27d4 "vers27a.so" "" vers27d4.ver vers27d4.dsym ""
 996     build_executable "vers27d5" vers27d3.c vers27d5 "vers27d4.so vers27b.o vers27a.so" "" vers27b.ver vers27b.dsym ""
 997 }
 998
 999 # Test weak versioned definition vs. strong definition in different
1000 # files.
1001 build_vers_lib_pic "vers28a" vers28a.c vers28a "" "" vers28a.ver vers28a.dsym ""
1002 build_vers_lib_pic "vers28b" vers28b.c vers28b "" vers28b.map vers28b.ver vers28b.dsym ""
1003 build_vers_lib_pic "vers28c" vers28c.c vers28c "vers28b.so vers28a.so" "" vers28c.ver vers28c.dsym ""
1004 build_vers_lib_pic_flags "vers29" vers29.c vers29 "" "" vers29.ver vers29.dsym "" "--default-symver"
1005
1006 # Test #30 - test handling of symbol names global, local and extern in the
1007 # version script.
1008 build_vers_lib_pic "vers30" vers30.c vers30 "" vers30.map vers30.ver vers30.dsym ""
1009
1010 # Test #31 -- quoted strings in version sections.
1011 build_vers_lib_pic "vers31" vers31.c vers31 "" vers31.map vers31.ver vers31.dsym ""
1012
1013 # Test #32 -- linker --defsym
1014 build_vers_lib_pic "vers32a" vers32a.c vers32a "" vers32.map vers32a.ver vers32a.dsym ""
1015 build_vers_lib_pic_flags "vers32b" vers32b.c vers32b "vers32a.so" vers32.map vers32b.ver vers32b.dsym "" "--defsym foo=0"