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