1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
|
# Expect script for linker support of STB_GNU_UNIQUE symbols
#
# Copyright 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
# Contributed by Red Hat.
#
# This file is part of the GNU Binutils.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
# MA 02110-1301, USA.
#
# Written by Nick Clifton <nickc@redhat.com>
# Adapted for unique checking by Mark J. Wielaard <mjw@redhat.com>
# STB_GNU_UNIQUE support has only been implemented for the ix86, x86_64,
# arm, powerpc, and sparc so far.
if {!(([istarget "i?86-*-*"]
|| [istarget "x86_64-*-*"]
|| [istarget "arm-*-*"]
|| [istarget "powerpc*-*-*"]
|| [istarget "sparc*-*-*"])
&& ([istarget "*-*-elf*"]
|| [istarget "*-*-nacl*"]
|| (([istarget "*-*-linux*"]
|| [istarget "*-*-gnu*"])
&& ![istarget "*-*-*aout*"]
&& ![istarget "*-*-*oldld*"]))) } {
verbose "UNIQUE tests not run - target does not support UNIQUE"
return
}
# We need a native system. FIXME: Strictly speaking this
# is not true, we just need to know how to create a fully
# linked executable, including the C and Z libraries, using
# the linker that is under test.
if ![isnative] {
verbose "UNIQUE tests not run - not a native toolchain"
return
}
# We need a working compiler. (Strictly speaking this is
# not true, we could use target specific assembler files).
if { [which $CC] == 0 } {
verbose "UNIQUE tests not run - no compiler available"
return
}
# A procedure to check the OS/ABI field in the ELF header of a binary file.
proc check_osabi { binary_file expected_osabi } {
global READELF
global READELFFLAGS
catch "exec $READELF $READELFFLAGS --file-header $binary_file > readelf.out" got
if ![string match "" $got] then {
verbose "proc check_osabi: Readelf produced unexpected out processing $binary_file: $got"
return 0
}
if { ![regexp "\n\[ \]*OS/ABI:\[ \]*(.+)\n\[ \]*ABI" \
[file_contents readelf.out] nil osabi] } {
verbose "proc check_osabi: Readelf failed to extract an ELF header from $binary_file"
return 0
}
if { $osabi == $expected_osabi } {
return 1
}
verbose "Expected OSABI: $expected_osabi, Obtained osabi: $osabi"
return 0
}
# A procedure to confirm that a file contains the UNIQUE symbol.
# Returns -1 upon error, 0 if the symbol was not found and 1 if it was found.
proc contains_unique_symbol { binary_file } {
global READELF
global READELFFLAGS
catch "exec $READELF $READELFFLAGS --symbols $binary_file > readelf.out" got
if ![string match "" $got] then {
verbose "proc contains_unique_symbol: Readelf produced unexpected out processing $binary_file: $got"
return -1
}
# Look for a line like this:
# 54: 0000000000400474 4 OBJECT UNIQUE DEFAULT 13 a
if { ![regexp ".*\[ \]*OBJECT\[ \]+UNIQUE\[ \]+DEFAULT\[ \]+\[UND0-9\]+\[ \]+\[ab\]\n" [file_contents readelf.out]] } {
return 0
}
return 1
}
set fails 0
# Create object file containing unique symbol.
if ![ld_compile "$CC -c" "$srcdir/$subdir/unique.s" "tmpdir/unique.o"] {
fail "Could not create a unique object"
set fails [expr $fails + 1]
}
# Create object file NOT containing unique symbol.
if ![ld_compile "$CC -c" "$srcdir/$subdir/unique_empty.s" "tmpdir/unique_empty.o"] {
fail "Could not create a non-unique object"
set fails [expr $fails + 1]
}
# Create pic object file containing unique symbol.
if ![ld_compile "$CC -c -fPIC" "$srcdir/$subdir/unique_shared.s" "tmpdir/unique_shared.o"] {
fail "Could not create a pic unique object"
set fails [expr $fails + 1]
}
# Create executable containing unique symbol.
if ![default_ld_link $ld "tmpdir/unique_prog" "tmpdir/unique.o"] {
fail "Could not link a unique executable"
set fails [expr $fails + 1]
}
# Create shared library containing unique symbol.
if ![ld_simple_link $ld "tmpdir/libunique_shared.so" "-shared tmpdir/unique_shared.o"] {
fail "Could not create a shared library containing an unique symbol"
set fails [expr $fails + 1]
}
# Create executable NOT containing unique symbol linked against library.
if ![default_ld_link $ld "tmpdir/unique_shared_prog" "-Ltmpdir tmpdir/unique_empty.o -Bdynamic -lunique_shared -rpath ./tmpdir"] {
fail "Could not link a dynamic executable"
set fails [expr $fails + 1]
}
if { $fails != 0 } {
return
}
# Check the object file.
if {! [check_osabi tmpdir/unique.o {UNIX - GNU}]} {
fail "Object containing unique does not have an OS/ABI field of GNU"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/unique.o] != 1} {
fail "Object containing unique does not contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking unique object"
}
# Check the executable.
if {! [check_osabi tmpdir/unique_prog {UNIX - GNU}]} {
fail "Executable containing unique does not have an OS/ABI field of GNU"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/unique_prog] != 1} {
fail "Executable containing unique does not contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking unique executable"
}
# Check the empty object file.
if {! [check_osabi tmpdir/unique_empty.o {UNIX - System V}]} {
fail "Object NOT containing unique does not have an OS/ABI field of System V"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/unique_empty.o] == 1} {
fail "Object NOT containing unique does contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking empty unique object"
}
# Check the unique PIC file.
if {! [check_osabi tmpdir/unique_shared.o {UNIX - GNU}]} {
fail "PIC Object containing unique does not have an OS/ABI field of GNU"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/unique_shared.o] != 1} {
fail "PIC Object containing unique does not contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking unique PIC object"
}
# Check the unique shared library.
if {! [check_osabi tmpdir/libunique_shared.so {UNIX - GNU}]} {
fail "Shared library containing unique does not have an OS/ABI field of GNU"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/libunique_shared.so] != 1} {
fail "Shared library containing unique does not contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking unique PIC object"
}
# Check the empty executable linked against unique shared library.
if {! [check_osabi tmpdir/unique_shared_prog {UNIX - System V}]} {
fail "Executable NOT containing unique does not have an OS/ABI field of System V"
set fails [expr $fails + 1]
}
if {[contains_unique_symbol tmpdir/unique_shared_prog] == 1} {
fail "Executable NOT containing unique does contain an UNIQUE symbol"
set fails [expr $fails + 1]
}
if { $fails == 0 } {
pass "Checking shared empty executable"
}
# Clean up, unless we are being verbose, in which case we leave the files available.
if { $verbose < 1 } {
remote_file host delete "tmpdir/unique_empty.o"
remote_file host delete "tmpdir/unique.o"
remote_file host delete "tmpdir/unique_shared.o"
remote_file host delete "tmpdir/libunique_shared.so"
remote_file host delete "tmpdir/unique_prog"
remote_file host delete "tmpdir/unique_shared_prog"
}
|
