Commit | Line | Data |
---|---|---|
adfe19db MHM |
1 | #!/usr/bin/perl -w |
2 | ################################################################################ | |
3 | # | |
4 | # mktodo.pl -- generate baseline and todo files | |
5 | # | |
6 | ################################################################################ | |
7 | # | |
b2049988 | 8 | # Version 3.x, Copyright (C) 2004-2013, Marcus Holland-Moritz. |
adfe19db MHM |
9 | # Version 2.x, Copyright (C) 2001, Paul Marquess. |
10 | # Version 1.x, Copyright (C) 1999, Kenneth Albanowski. | |
11 | # | |
12 | # This program is free software; you can redistribute it and/or | |
13 | # modify it under the same terms as Perl itself. | |
14 | # | |
15 | ################################################################################ | |
16 | ||
17 | use strict; | |
18 | use Getopt::Long; | |
19 | use Data::Dumper; | |
20 | use IO::File; | |
21 | use IO::Select; | |
ba120f6f | 22 | use Config; |
0c96388f | 23 | use Time::HiRes qw( gettimeofday tv_interval ); |
adfe19db | 24 | |
3d7c117d | 25 | require './devel/devtools.pl'; |
adfe19db | 26 | |
0c96388f | 27 | our %opt = ( |
ac18778d | 28 | blead => 0, # ? Is this perl blead |
0c96388f MHM |
29 | debug => 0, |
30 | base => 0, | |
31 | verbose => 0, | |
ba120f6f | 32 | check => 1, |
f59197b8 | 33 | todo => "", # If no --todo, this is a blead perl |
ba120f6f | 34 | shlib => 'blib/arch/auto/Devel/PPPort/PPPort.so', |
0c96388f | 35 | ); |
adfe19db MHM |
36 | |
37 | GetOptions(\%opt, qw( | |
ac18778d | 38 | perl=s todo=s blead version=s shlib=s debug base verbose check! |
adfe19db MHM |
39 | )) or die; |
40 | ||
0c96388f MHM |
41 | identify(); |
42 | ||
43 | print "\n", ident_str(), "\n\n"; | |
44 | ||
adfe19db MHM |
45 | my $fullperl = `which $opt{perl}`; |
46 | chomp $fullperl; | |
47 | ||
0c96388f MHM |
48 | $ENV{SKIP_SLOW_TESTS} = 1; |
49 | ||
c0a15b19 | 50 | regen_Makefile(); |
adfe19db | 51 | |
b2049988 MHM |
52 | my %stdsym = map { ($_ => 1) } qw ( |
53 | strlen | |
54 | snprintf | |
55 | strcmp | |
56 | memcpy | |
57 | strncmp | |
58 | memmove | |
59 | memcmp | |
60 | tolower | |
61 | exit | |
62 | memset | |
63 | vsnprintf | |
64 | siglongjmp | |
65 | sprintf | |
66 | ); | |
67 | ||
adfe19db | 68 | my %sym; |
ba120f6f | 69 | for (`$Config{nm} $fullperl`) { |
adfe19db MHM |
70 | chomp; |
71 | /\s+T\s+(\w+)\s*$/ and $sym{$1}++; | |
72 | } | |
73 | keys %sym >= 50 or die "less than 50 symbols found in $fullperl\n"; | |
74 | ||
c0a15b19 | 75 | my %todo = %{load_todo($opt{todo}, $opt{version})} if $opt{todo}; |
adfe19db MHM |
76 | my @recheck; |
77 | ||
ba120f6f MHM |
78 | my $symmap = get_apicheck_symbol_map(); |
79 | ||
adfe19db MHM |
80 | for (;;) { |
81 | my $retry = 1; | |
ba120f6f | 82 | my $trynm = 1; |
adfe19db | 83 | regen_apicheck(); |
ba120f6f | 84 | |
adfe19db | 85 | retry: |
c0a15b19 | 86 | my(@new, @already_in_sym, %seen); |
ba120f6f MHM |
87 | |
88 | my $r = run(qw(make)); | |
f59197b8 KW |
89 | $r->{didnotrun} and die "couldn't run make: $!\n" . |
90 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
ba120f6f | 91 | |
ac18778d KW |
92 | # If there were warnings, we ask the user before continuing when creating |
93 | # the base files of blead. This leads to a potential early exit when things | |
94 | # aren't working right. | |
95 | if ($opt{blead} && $opt{base}) { | |
96 | undef $opt{blead}; # Only warn once. | |
97 | if (@{$r->{stderr}}) { | |
98 | print STDERR "Warnings and errors from compiling blead:\n"; | |
99 | print STDERR @{$r->{stderr}}; | |
100 | ask_or_quit("\nUnexpected warnings when compiling blead can lead to" | |
101 | . " wrong results. Please examine the above list.\n" | |
102 | . "Shall I proceed?"); | |
103 | } | |
104 | else { | |
105 | print STDERR "blead compiled without warnings nor errors.\n" | |
106 | . "Proceeding with everything else\n"; | |
107 | } | |
108 | } | |
109 | ||
adfe19db MHM |
110 | for my $l (@{$r->{stderr}}) { |
111 | if ($l =~ /_DPPP_test_(\w+)/) { | |
112 | if (!$seen{$1}++) { | |
113 | my @s = grep { exists $sym{$_} } $1, "Perl_$1", "perl_$1"; | |
114 | if (@s) { | |
c0a15b19 | 115 | push @already_in_sym, [$1, "E (@s)"]; |
adfe19db MHM |
116 | } |
117 | else { | |
118 | push @new, [$1, "E"]; | |
119 | } | |
120 | } | |
121 | } | |
ba120f6f MHM |
122 | } |
123 | ||
124 | if ($r->{status} == 0) { | |
125 | my @u; | |
126 | my @usym; | |
127 | ||
128 | if ($trynm) { | |
129 | @u = eval { find_undefined_symbols($fullperl, $opt{shlib}) }; | |
130 | warn "warning: $@" if $@; | |
131 | $trynm = 0; | |
132 | } | |
133 | ||
134 | unless (@u) { | |
135 | $r = run(qw(make test)); | |
f59197b8 KW |
136 | $r->{didnotrun} and die "couldn't run make test: $!\n" . |
137 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
ba120f6f MHM |
138 | $r->{status} == 0 and last; |
139 | ||
140 | for my $l (@{$r->{stderr}}) { | |
141 | if ($l =~ /undefined symbol: (\w+)/) { | |
142 | push @u, $1; | |
143 | } | |
144 | } | |
145 | } | |
146 | ||
147 | for my $u (@u) { | |
148 | for my $m (keys %{$symmap->{$u}}) { | |
149 | if (!$seen{$m}++) { | |
150 | my $pl = $m; | |
151 | $pl =~ s/^[Pp]erl_//; | |
152 | my @s = grep { exists $sym{$_} } $pl, "Perl_$pl", "perl_$pl"; | |
153 | push @new, [$m, @s ? "U (@s)" : "U"]; | |
154 | } | |
adfe19db MHM |
155 | } |
156 | } | |
157 | } | |
ba120f6f | 158 | |
c0a15b19 | 159 | @new = grep !$todo{$_->[0]}, @new; |
ba120f6f | 160 | |
adfe19db | 161 | unless (@new) { |
c0a15b19 | 162 | @new = grep !$todo{$_->[0]}, @already_in_sym; |
adfe19db | 163 | } |
ba120f6f | 164 | |
adfe19db MHM |
165 | unless (@new) { |
166 | if ($retry > 0) { | |
167 | $retry--; | |
c0a15b19 | 168 | regen_Makefile(); |
adfe19db MHM |
169 | goto retry; |
170 | } | |
171 | print Dumper($r); | |
172 | die "no new TODO symbols found..."; | |
173 | } | |
ba120f6f | 174 | |
0c96388f MHM |
175 | # don't recheck undefined symbols reported by the dynamic linker |
176 | push @recheck, map { $_->[0] } grep { $_->[1] !~ /^U/ } @new; | |
ba120f6f | 177 | |
adfe19db | 178 | for (@new) { |
c0a15b19 KW |
179 | display_sym('new', @$_); |
180 | $todo{$_->[0]} = $_->[1]; | |
adfe19db | 181 | } |
0c96388f | 182 | |
c0a15b19 | 183 | write_todo($opt{todo}, $opt{version}, \%todo); |
ba120f6f | 184 | } |
0c96388f | 185 | |
ba120f6f MHM |
186 | if ($opt{check}) { |
187 | my $ifmt = '%' . length(scalar @recheck) . 'd'; | |
188 | my $t0 = [gettimeofday]; | |
b2049988 | 189 | |
ba120f6f MHM |
190 | RECHECK: for my $i (0 .. $#recheck) { |
191 | my $sym = $recheck[$i]; | |
c0a15b19 | 192 | my $cur = delete $todo{$sym}; |
b2049988 | 193 | |
c0a15b19 | 194 | display_sym('chk', $sym, $cur, sprintf(" [$ifmt/$ifmt, ETA %s]", |
ba120f6f | 195 | $i + 1, scalar @recheck, eta($t0, $i, scalar @recheck))); |
b2049988 | 196 | |
c0a15b19 | 197 | write_todo($opt{todo}, $opt{version}, \%todo); |
b2049988 | 198 | |
ba120f6f MHM |
199 | if ($cur eq "E (Perl_$sym)") { |
200 | # we can try a shortcut here | |
201 | regen_apicheck($sym); | |
b2049988 | 202 | |
ba120f6f | 203 | my $r = run(qw(make test)); |
b2049988 | 204 | |
ba120f6f | 205 | if (!$r->{didnotrun} && $r->{status} == 0) { |
c0a15b19 | 206 | display_sym('del', $sym, $cur); |
ba120f6f MHM |
207 | next RECHECK; |
208 | } | |
209 | } | |
b2049988 | 210 | |
ba120f6f | 211 | # run the full test |
c0a15b19 | 212 | regen_Makefile(); |
b2049988 | 213 | |
0c96388f | 214 | my $r = run(qw(make test)); |
b2049988 | 215 | |
f59197b8 KW |
216 | $r->{didnotrun} and die "couldn't run make test: $!\n" . |
217 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
b2049988 | 218 | |
ba120f6f | 219 | if ($r->{status} == 0) { |
c0a15b19 | 220 | display_sym('del', $sym, $cur); |
ba120f6f MHM |
221 | } |
222 | else { | |
c0a15b19 | 223 | $todo{$sym} = $cur; |
0c96388f | 224 | } |
adfe19db MHM |
225 | } |
226 | } | |
227 | ||
c0a15b19 | 228 | write_todo($opt{todo}, $opt{version}, \%todo); |
adfe19db MHM |
229 | |
230 | run(qw(make realclean)); | |
231 | ||
232 | exit 0; | |
233 | ||
c0a15b19 | 234 | sub display_sym |
ba120f6f MHM |
235 | { |
236 | my($what, $sym, $reason, $extra) = @_; | |
237 | $extra ||= ''; | |
238 | my %col = ( | |
239 | 'new' => 'bold red', | |
240 | 'chk' => 'bold magenta', | |
241 | 'del' => 'bold green', | |
242 | ); | |
243 | $what = colored("$what symbol", $col{$what}); | |
244 | ||
245 | printf "[%s] %s %-30s # %s%s\n", | |
246 | $opt{version}, $what, $sym, $reason, $extra; | |
247 | } | |
248 | ||
c0a15b19 | 249 | sub regen_Makefile |
adfe19db | 250 | { |
ba120f6f | 251 | my @mf_arg = ('--with-apicheck', 'OPTIMIZE=-O0 -w'); |
adfe19db MHM |
252 | push @mf_arg, qw( DEFINE=-DDPPP_APICHECK_NO_PPPORT_H ) if $opt{base}; |
253 | ||
254 | # just to be sure | |
255 | run(qw(make realclean)); | |
f59197b8 KW |
256 | my $r = run($fullperl, "Makefile.PL", @mf_arg); |
257 | unless ($r->{status} == 0) { | |
258 | die "cannot run Makefile.PL: $!\n" . | |
259 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
260 | } | |
adfe19db MHM |
261 | } |
262 | ||
263 | sub regen_apicheck | |
264 | { | |
265 | unlink qw(apicheck.c apicheck.o); | |
0c96388f MHM |
266 | runtool({ out => '/dev/null' }, $fullperl, 'apicheck_c.PL', map { "--api=$_" } @_) |
267 | or die "cannot regenerate apicheck.c\n"; | |
adfe19db MHM |
268 | } |
269 | ||
270 | sub load_todo | |
271 | { | |
272 | my($file, $expver) = @_; | |
273 | ||
274 | if (-e $file) { | |
275 | my $f = new IO::File $file or die "cannot open $file: $!\n"; | |
276 | my $ver = <$f>; | |
277 | chomp $ver; | |
278 | if ($ver eq $expver) { | |
279 | my %sym; | |
280 | while (<$f>) { | |
281 | chomp; | |
282 | /^(\w+)\s+#\s+(.*)/ or goto nuke_file; | |
283 | exists $sym{$1} and goto nuke_file; | |
284 | $sym{$1} = $2; | |
285 | } | |
286 | return \%sym; | |
287 | } | |
288 | ||
289 | nuke_file: | |
290 | undef $f; | |
291 | unlink $file or die "cannot remove $file: $!\n"; | |
292 | } | |
293 | ||
294 | return {}; | |
295 | } | |
296 | ||
297 | sub write_todo | |
298 | { | |
299 | my($file, $ver, $sym) = @_; | |
300 | my $f; | |
301 | ||
302 | $f = new IO::File ">$file" or die "cannot open $file: $!\n"; | |
303 | $f->print("$ver\n"); | |
304 | ||
55179e46 KW |
305 | # Dictionary ordering, with only alphanumerics |
306 | for (sort dictionary_order keys %$sym) { | |
adfe19db MHM |
307 | $f->print(sprintf "%-30s # %s\n", $_, $sym->{$_}); |
308 | } | |
309 | } | |
310 | ||
ba120f6f MHM |
311 | sub find_undefined_symbols |
312 | { | |
313 | my($perl, $shlib) = @_; | |
314 | ||
315 | my $ps = read_sym(file => $perl, options => [qw( --defined-only )]); | |
316 | my $ls = read_sym(file => $shlib, options => [qw( --undefined-only )]); | |
317 | ||
318 | my @undefined; | |
319 | ||
320 | for my $sym (keys %$ls) { | |
321 | unless (exists $ps->{$sym}) { | |
322 | if ($sym !~ /\@/ and $sym !~ /^_/) { | |
b2049988 | 323 | push @undefined, $sym unless $stdsym{$sym}; |
ba120f6f MHM |
324 | } |
325 | } | |
326 | } | |
327 | ||
328 | return @undefined; | |
329 | } | |
330 | ||
331 | sub read_sym | |
332 | { | |
333 | my %opt = ( options => [], @_ ); | |
334 | ||
335 | my $r = run($Config{nm}, @{$opt{options}}, $opt{file}); | |
336 | ||
337 | if ($r->{didnotrun} or $r->{status}) { | |
f59197b8 KW |
338 | die "cannot run $Config{nm}" . |
339 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
ba120f6f MHM |
340 | } |
341 | ||
342 | my %sym; | |
343 | ||
344 | for (@{$r->{stdout}}) { | |
345 | chomp; | |
346 | my($adr, $fmt, $sym) = /^\s*([[:xdigit:]]+)?\s+([ABCDGINRSTUVW?-])\s+(\S+)\s*$/i | |
347 | or die "cannot parse $Config{nm} output:\n[$_]\n"; | |
348 | $sym{$sym} = { format => $fmt }; | |
349 | $sym{$sym}{address} = $adr if defined $adr; | |
350 | } | |
351 | ||
352 | return \%sym; | |
353 | } | |
354 | ||
355 | sub get_apicheck_symbol_map | |
356 | { | |
49ef49fe CBW |
357 | my $r; |
358 | ||
359 | while (1) { | |
f59197b8 KW |
360 | |
361 | # Create apicheck.i | |
49ef49fe CBW |
362 | $r = run(qw(make apicheck.i)); |
363 | ||
f59197b8 | 364 | # Quit the loop if it succeeded |
49ef49fe CBW |
365 | last unless $r->{didnotrun} or $r->{status}; |
366 | ||
f59197b8 | 367 | # Get the list of macros that it failed on |
49ef49fe CBW |
368 | my %sym = map { /error: macro "(\w+)" (?:requires|passed) \d+ argument/ ? ($1 => 'A') : () } |
369 | @{$r->{stderr}}; | |
370 | ||
371 | if (keys %sym) { | |
55179e46 | 372 | for my $s (sort dictionary_order keys %sym) { |
c0a15b19 KW |
373 | display_sym('new', $s, $sym{$s}); |
374 | $todo{$s} = $sym{$s}; | |
49ef49fe | 375 | } |
c0a15b19 | 376 | write_todo($opt{todo}, $opt{version}, \%todo); |
49ef49fe CBW |
377 | regen_apicheck(); |
378 | } | |
f59197b8 | 379 | else { # It failed for some other reason: give up |
49ef49fe CBW |
380 | die "cannot run make apicheck.i ($r->{didnotrun} / $r->{status}):\n". |
381 | join('', @{$r->{stdout}})."\n---\n".join('', @{$r->{stderr}}); | |
382 | } | |
ba120f6f MHM |
383 | } |
384 | ||
385 | my $fh = IO::File->new('apicheck.i') | |
386 | or die "cannot open apicheck.i: $!"; | |
387 | ||
388 | local $_; | |
389 | my %symmap; | |
390 | my $cur; | |
391 | ||
392 | while (<$fh>) { | |
393 | next if /^#/; | |
394 | if (defined $cur) { | |
395 | for my $sym (/\b([A-Za-z_]\w+)\b/g) { | |
396 | $symmap{$sym}{$cur}++; | |
397 | } | |
398 | undef $cur if /^}$/; | |
399 | } | |
400 | else { | |
401 | /_DPPP_test_(\w+)/ and $cur = $1; | |
402 | } | |
403 | } | |
404 | ||
405 | return \%symmap; | |
406 | } |