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