ld/testsuite/ld-elfvers/vers.exp

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