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