Add test case from RT#54758.
[perl.git] / t / op / sort.t
1 #!./perl
2
3 BEGIN {
4     chdir 't' if -d 't';
5     @INC = qw(. ../lib); require 'test.pl';
6 }
7 use warnings;
8 plan( tests => 144 );
9
10 # these shouldn't hang
11 {
12     no warnings;
13     sort { for ($_ = 0;; $_++) {} } @a;
14     sort { while(1) {}            } @a;
15     sort { while(1) { last; }     } @a;
16     sort { while(0) { last; }     } @a;
17
18     # Change 26011: Re: A surprising segfault
19     map scalar(sort(+())), ('')x68;
20 }
21
22 sub Backwards { $a lt $b ? 1 : $a gt $b ? -1 : 0 }
23 sub Backwards_stacked($$) { my($a,$b) = @_; $a lt $b ? 1 : $a gt $b ? -1 : 0 }
24 sub Backwards_other { $a lt $b ? 1 : $a gt $b ? -1 : 0 }
25
26 my $upperfirst = 'A' lt 'a';
27
28 # Beware: in future this may become hairier because of possible
29 # collation complications: qw(A a B b) can be sorted at least as
30 # any of the following
31 #
32 #       A a B b
33 #       A B a b
34 #       a b A B
35 #       a A b B
36 #
37 # All the above orders make sense.
38 #
39 # That said, EBCDIC sorts all small letters first, as opposed
40 # to ASCII which sorts all big letters first.
41
42 @harry = ('dog','cat','x','Cain','Abel');
43 @george = ('gone','chased','yz','punished','Axed');
44
45 $x = join('', sort @harry);
46 $expected = $upperfirst ? 'AbelCaincatdogx' : 'catdogxAbelCain';
47
48 cmp_ok($x,'eq',$expected,'upper first 1');
49
50 $x = join('', sort( Backwards @harry));
51 $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
52
53 cmp_ok($x,'eq',$expected,'upper first 2');
54
55 $x = join('', sort( Backwards_stacked @harry));
56 $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
57
58 cmp_ok($x,'eq',$expected,'upper first 3');
59
60 $x = join('', sort @george, 'to', @harry);
61 $expected = $upperfirst ?
62     'AbelAxedCaincatchaseddoggonepunishedtoxyz' :
63     'catchaseddoggonepunishedtoxyzAbelAxedCain' ;
64
65 cmp_ok($x,'eq',$expected,'upper first 4');
66 $" = ' ';
67 @a = ();
68 @b = reverse @a;
69 cmp_ok("@b",'eq',"",'reverse 1');
70
71 @a = (1);
72 @b = reverse @a;
73 cmp_ok("@b",'eq',"1",'reverse 2');
74
75 @a = (1,2);
76 @b = reverse @a;
77 cmp_ok("@b",'eq',"2 1",'reverse 3');
78
79 @a = (1,2,3);
80 @b = reverse @a;
81 cmp_ok("@b",'eq',"3 2 1",'reverse 4');
82
83 @a = (1,2,3,4);
84 @b = reverse @a;
85 cmp_ok("@b",'eq',"4 3 2 1",'reverse 5');
86
87 @a = (10,2,3,4);
88 @b = sort {$a <=> $b;} @a;
89 cmp_ok("@b",'eq',"2 3 4 10",'sort numeric');
90
91 $sub = 'Backwards';
92 $x = join('', sort $sub @harry);
93 $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
94
95 cmp_ok($x,'eq',$expected,'sorter sub name in var 1');
96
97 $sub = 'Backwards_stacked';
98 $x = join('', sort $sub @harry);
99 $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
100
101 cmp_ok($x,'eq',$expected,'sorter sub name in var 2');
102
103 # literals, combinations
104
105 @b = sort (4,1,3,2);
106 cmp_ok("@b",'eq','1 2 3 4','just sort');
107
108
109 @b = sort grep { $_ } (4,1,3,2);
110 cmp_ok("@b",'eq','1 2 3 4','grep then sort');
111
112
113 @b = sort map { $_ } (4,1,3,2);
114 cmp_ok("@b",'eq','1 2 3 4','map then sort');
115
116
117 @b = sort reverse (4,1,3,2);
118 cmp_ok("@b",'eq','1 2 3 4','reverse then sort');
119
120
121
122 sub twoface { no warnings 'redefine'; *twoface = sub { $a <=> $b }; &twoface }
123 eval { @b = sort twoface 4,1,3,2 };
124 cmp_ok("@b",'eq','1 2 3 4','redefine sort sub inside the sort sub');
125
126
127 eval { no warnings 'redefine'; *twoface = sub { &Backwards } };
128 ok(!$@,"redefining sort subs outside the sort \$@=[$@]");
129
130 eval { @b = sort twoface 4,1,3,2 };
131 cmp_ok("@b",'eq','4 3 2 1','twoface redefinition');
132
133 {
134   no warnings 'redefine';
135   *twoface = sub { *twoface = *Backwards_other; $a <=> $b };
136 }
137
138 eval { @b = sort twoface 4,1,9,5 };
139 ok(($@ eq "" && "@b" eq "1 4 5 9"),'redefinition should not take effect during the sort');
140
141 {
142   no warnings 'redefine';
143   *twoface = sub {
144                  eval 'sub twoface { $a <=> $b }';
145                  die($@ eq "" ? "good\n" : "bad\n");
146                  $a <=> $b;
147                };
148 }
149 eval { @b = sort twoface 4,1 };
150 cmp_ok(substr($@,0,4), 'eq', 'good', 'twoface eval');
151
152 eval <<'CODE';
153     my @result = sort main'Backwards 'one', 'two';
154 CODE
155 cmp_ok($@,'eq','',q(old skool package));
156
157 eval <<'CODE';
158     # "sort 'one', 'two'" should not try to parse "'one" as a sort sub
159     my @result = sort 'one', 'two';
160 CODE
161 cmp_ok($@,'eq','',q(one is not a sub));
162
163 {
164   my $sortsub = \&Backwards;
165   my $sortglob = *Backwards;
166   my $sortglobr = \*Backwards;
167   my $sortname = 'Backwards';
168   @b = sort $sortsub 4,1,3,2;
169   cmp_ok("@b",'eq','4 3 2 1','sortname 1');
170   @b = sort $sortglob 4,1,3,2;
171   cmp_ok("@b",'eq','4 3 2 1','sortname 2');
172   @b = sort $sortname 4,1,3,2;
173   cmp_ok("@b",'eq','4 3 2 1','sortname 3');
174   @b = sort $sortglobr 4,1,3,2;
175   cmp_ok("@b",'eq','4 3 2 1','sortname 4');
176 }
177
178 {
179   my $sortsub = \&Backwards_stacked;
180   my $sortglob = *Backwards_stacked;
181   my $sortglobr = \*Backwards_stacked;
182   my $sortname = 'Backwards_stacked';
183   @b = sort $sortsub 4,1,3,2;
184   cmp_ok("@b",'eq','4 3 2 1','sortname 5');
185   @b = sort $sortglob 4,1,3,2;
186   cmp_ok("@b",'eq','4 3 2 1','sortname 6');
187   @b = sort $sortname 4,1,3,2;
188   cmp_ok("@b",'eq','4 3 2 1','sortname 7');
189   @b = sort $sortglobr 4,1,3,2;
190   cmp_ok("@b",'eq','4 3 2 1','sortname 8');
191 }
192
193 {
194   local $sortsub = \&Backwards;
195   local $sortglob = *Backwards;
196   local $sortglobr = \*Backwards;
197   local $sortname = 'Backwards';
198   @b = sort $sortsub 4,1,3,2;
199   cmp_ok("@b",'eq','4 3 2 1','sortname local 1');
200   @b = sort $sortglob 4,1,3,2;
201   cmp_ok("@b",'eq','4 3 2 1','sortname local 2');
202   @b = sort $sortname 4,1,3,2;
203   cmp_ok("@b",'eq','4 3 2 1','sortname local 3');
204   @b = sort $sortglobr 4,1,3,2;
205   cmp_ok("@b",'eq','4 3 2 1','sortname local 4');
206 }
207
208 {
209   local $sortsub = \&Backwards_stacked;
210   local $sortglob = *Backwards_stacked;
211   local $sortglobr = \*Backwards_stacked;
212   local $sortname = 'Backwards_stacked';
213   @b = sort $sortsub 4,1,3,2;
214   cmp_ok("@b",'eq','4 3 2 1','sortname local 5');
215   @b = sort $sortglob 4,1,3,2;
216   cmp_ok("@b",'eq','4 3 2 1','sortname local 6');
217   @b = sort $sortname 4,1,3,2;
218   cmp_ok("@b",'eq','4 3 2 1','sortname local 7');
219   @b = sort $sortglobr 4,1,3,2;
220   cmp_ok("@b",'eq','4 3 2 1','sortname local 8');
221 }
222
223 ## exercise sort builtins... ($a <=> $b already tested)
224 @a = ( 5, 19, 1996, 255, 90 );
225 @b = sort {
226     my $dummy;          # force blockness
227     return $b <=> $a
228 } @a;
229 cmp_ok("@b",'eq','1996 255 90 19 5','force blockness');
230
231 $x = join('', sort { $a cmp $b } @harry);
232 $expected = $upperfirst ? 'AbelCaincatdogx' : 'catdogxAbelCain';
233 cmp_ok($x,'eq',$expected,'a cmp b');
234
235 $x = join('', sort { $b cmp $a } @harry);
236 $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
237 cmp_ok($x,'eq',$expected,'b cmp a');
238
239 {
240     use integer;
241     @b = sort { $a <=> $b } @a;
242     cmp_ok("@b",'eq','5 19 90 255 1996','integer a <=> b');
243
244     @b = sort { $b <=> $a } @a;
245     cmp_ok("@b",'eq','1996 255 90 19 5','integer b <=> a');
246
247     $x = join('', sort { $a cmp $b } @harry);
248     $expected = $upperfirst ? 'AbelCaincatdogx' : 'catdogxAbelCain';
249     cmp_ok($x,'eq',$expected,'integer a cmp b');
250
251     $x = join('', sort { $b cmp $a } @harry);
252     $expected = $upperfirst ? 'xdogcatCainAbel' : 'CainAbelxdogcat';
253     cmp_ok($x,'eq',$expected,'integer b cmp a');
254
255 }
256
257
258
259 $x = join('', sort { $a <=> $b } 3, 1, 2);
260 cmp_ok($x,'eq','123',q(optimized-away comparison block doesn't take any other arguments away with it));
261
262 # test sorting in non-main package
263 package Foo;
264 @a = ( 5, 19, 1996, 255, 90 );
265 @b = sort { $b <=> $a } @a;
266 main::cmp_ok("@b",'eq','1996 255 90 19 5','not in main:: 1');
267
268
269 @b = sort main::Backwards_stacked @a;
270 main::cmp_ok("@b",'eq','90 5 255 1996 19','not in main:: 2');
271
272
273 # check if context for sort arguments is handled right
274
275
276 sub test_if_list {
277     my $gimme = wantarray;
278     main::is($gimme,1,'wantarray 1');
279
280
281 }
282 my $m = sub { $a <=> $b };
283
284 sub cxt_one { sort $m test_if_list() }
285 cxt_one();
286 sub cxt_two { sort { $a <=> $b } test_if_list() }
287 cxt_two();
288 sub cxt_three { sort &test_if_list() }
289 cxt_three();
290
291 sub test_if_scalar {
292     my $gimme = wantarray;
293     main::is(!($gimme or !defined($gimme)),1,'wantarray 2');
294
295
296 }
297
298 $m = \&test_if_scalar;
299 sub cxt_four { sort $m 1,2 }
300 @x = cxt_four();
301 sub cxt_five { sort { test_if_scalar($a,$b); } 1,2 }
302 @x = cxt_five();
303 sub cxt_six { sort test_if_scalar 1,2 }
304 @x = cxt_six();
305
306 # test against a reentrancy bug
307 {
308     package Bar;
309     sub compare { $a cmp $b }
310     sub reenter { my @force = sort compare qw/a b/ }
311 }
312 {
313     my($def, $init) = (0, 0);
314     @b = sort {
315         $def = 1 if defined $Bar::a;
316         Bar::reenter() unless $init++;
317         $a <=> $b
318     } qw/4 3 1 2/;
319     main::cmp_ok("@b",'eq','1 2 3 4','reenter 1');
320
321     main::ok(!$def,'reenter 2');
322 }
323
324
325 {
326     sub routine { "one", "two" };
327     @a = sort(routine(1));
328     main::cmp_ok("@a",'eq',"one two",'bug id 19991001.003');
329 }
330
331
332 #my $test = 59;
333 sub ok { main::cmp_ok($_[0],'eq',$_[1],$_[2]);
334 #    print "not " unless $_[0] eq $_[1];
335 #    print "ok $test - $_[2]\n";
336 #    print "#[$_[0]] ne [$_[1]]\n" unless $_[0] eq $_[1];
337 #    $test++;
338 }
339
340 # check for in-place optimisation of @a = sort @a
341 {
342     my ($r1,$r2,@a);
343     our @g;
344     @g = (3,2,1); $r1 = \$g[2]; @g = sort @g; $r2 = \$g[0];
345     ok "$r1-@g", "$r2-1 2 3", "inplace sort of global";
346
347     @a = qw(b a c); $r1 = \$a[1]; @a = sort @a; $r2 = \$a[0];
348     ok "$r1-@a", "$r2-a b c", "inplace sort of lexical";
349
350     @g = (2,3,1); $r1 = \$g[1]; @g = sort { $b <=> $a } @g; $r2 = \$g[0];
351     ok "$r1-@g", "$r2-3 2 1", "inplace reversed sort of global";
352
353     @g = (2,3,1);
354     $r1 = \$g[1]; @g = sort { $a<$b?1:$a>$b?-1:0 } @g; $r2 = \$g[0];
355     ok "$r1-@g", "$r2-3 2 1", "inplace custom sort of global";
356
357     sub mysort { $b cmp $a };
358     @a = qw(b c a); $r1 = \$a[1]; @a = sort mysort @a; $r2 = \$a[0];
359     ok "$r1-@a", "$r2-c b a", "inplace sort with function of lexical";
360
361     use Tie::Array;
362     my @t;
363     tie @t, 'Tie::StdArray';
364
365     @t = qw(b c a); @t = sort @t;
366     ok "@t", "a b c", "inplace sort of tied array";
367
368     @t = qw(b c a); @t = sort mysort @t;
369     ok "@t", "c b a", "inplace sort of tied array with function";
370
371     #  [perl #29790] don't optimise @a = ('a', sort @a) !
372
373     @g = (3,2,1); @g = ('0', sort @g);
374     ok "@g", "0 1 2 3", "un-inplace sort of global";
375     @g = (3,2,1); @g = (sort(@g),'4');
376     ok "@g", "1 2 3 4", "un-inplace sort of global 2";
377
378     @a = qw(b a c); @a = ('x', sort @a);
379     ok "@a", "x a b c", "un-inplace sort of lexical";
380     @a = qw(b a c); @a = ((sort @a), 'x');
381     ok "@a", "a b c x", "un-inplace sort of lexical 2";
382
383     @g = (2,3,1); @g = ('0', sort { $b <=> $a } @g);
384     ok "@g", "0 3 2 1", "un-inplace reversed sort of global";
385     @g = (2,3,1); @g = ((sort { $b <=> $a } @g),'4');
386     ok "@g", "3 2 1 4", "un-inplace reversed sort of global 2";
387
388     @g = (2,3,1); @g = ('0', sort { $a<$b?1:$a>$b?-1:0 } @g);
389     ok "@g", "0 3 2 1", "un-inplace custom sort of global";
390     @g = (2,3,1); @g = ((sort { $a<$b?1:$a>$b?-1:0 } @g),'4');
391     ok "@g", "3 2 1 4", "un-inplace custom sort of global 2";
392
393     @a = qw(b c a); @a = ('x', sort mysort @a);
394     ok "@a", "x c b a", "un-inplace sort with function of lexical";
395     @a = qw(b c a); @a = ((sort mysort @a),'x');
396     ok "@a", "c b a x", "un-inplace sort with function of lexical 2";
397
398     # RT#54758. Git 62b40d2474e7487e6909e1872b6bccdf812c6818
399     my @m; push @m, 0 for 1 .. 1024; $#m; @m = sort @m;
400     main::pass("in-place sorting segfault");
401 }
402
403 # Test optimisations of reversed sorts. As we now guarantee stability by
404 # default, # optimisations which do not provide this are bogus.
405
406 {
407     package Oscalar;
408     use overload (qw("" stringify 0+ numify fallback 1));
409
410     sub new {
411         bless [$_[1], $_[2]], $_[0];
412     }
413
414     sub stringify { $_[0]->[0] }
415
416     sub numify { $_[0]->[1] }
417 }
418
419 sub generate {
420     my $count = 0;
421     map {new Oscalar $_, $count++} qw(A A A B B B C C C);
422 }
423
424 my @input = &generate;
425 my @output = sort @input;
426 ok join(" ", map {0+$_} @output), "0 1 2 3 4 5 6 7 8", "Simple stable sort";
427
428 @input = &generate;
429 @input = sort @input;
430 ok join(" ", map {0+$_} @input), "0 1 2 3 4 5 6 7 8",
431     "Simple stable in place sort";
432
433 # This won't be very interesting
434 @input = &generate;
435 @output = sort {$a <=> $b} @input;
436 ok "@output", "A A A B B B C C C", 'stable $a <=> $b sort';
437
438 @input = &generate;
439 @output = sort {$a cmp $b} @input;
440 ok join(" ", map {0+$_} @output), "0 1 2 3 4 5 6 7 8", 'stable $a cmp $b sort';
441
442 @input = &generate;
443 @input = sort {$a cmp $b} @input;
444 ok join(" ", map {0+$_} @input), "0 1 2 3 4 5 6 7 8",
445     'stable $a cmp $b in place sort';
446
447 @input = &generate;
448 @output = sort {$b cmp $a} @input;
449 ok join(" ", map {0+$_} @output), "6 7 8 3 4 5 0 1 2", 'stable $b cmp $a sort';
450
451 @input = &generate;
452 @input = sort {$b cmp $a} @input;
453 ok join(" ", map {0+$_} @input), "6 7 8 3 4 5 0 1 2",
454     'stable $b cmp $a in place sort';
455
456 @input = &generate;
457 @output = reverse sort @input;
458 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0", "Reversed stable sort";
459
460 @input = &generate;
461 @input = reverse sort @input;
462 ok join(" ", map {0+$_} @input), "8 7 6 5 4 3 2 1 0",
463     "Reversed stable in place sort";
464
465 @input = &generate;
466 my $output = reverse sort @input;
467 ok $output, "CCCBBBAAA", "Reversed stable sort in scalar context";
468
469
470 @input = &generate;
471 @output = reverse sort {$a cmp $b} @input;
472 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0",
473     'reversed stable $a cmp $b sort';
474
475 @input = &generate;
476 @input = reverse sort {$a cmp $b} @input;
477 ok join(" ", map {0+$_} @input), "8 7 6 5 4 3 2 1 0",
478     'revesed stable $a cmp $b in place sort';
479
480 @input = &generate;
481 $output = reverse sort {$a cmp $b} @input;
482 ok $output, "CCCBBBAAA", 'Reversed stable $a cmp $b sort in scalar context';
483
484 @input = &generate;
485 @output = reverse sort {$b cmp $a} @input;
486 ok join(" ", map {0+$_} @output), "2 1 0 5 4 3 8 7 6",
487     'reversed stable $b cmp $a sort';
488
489 @input = &generate;
490 @input = reverse sort {$b cmp $a} @input;
491 ok join(" ", map {0+$_} @input), "2 1 0 5 4 3 8 7 6",
492     'revesed stable $b cmp $a in place sort';
493
494 @input = &generate;
495 $output = reverse sort {$b cmp $a} @input;
496 ok $output, "AAABBBCCC", 'Reversed stable $b cmp $a sort in scalar context';
497
498 sub stuff {
499     # Something complex enough to defeat any constant folding optimiser
500     $$ - $$;
501 }
502
503 @input = &generate;
504 @output = reverse sort {stuff || $a cmp $b} @input;
505 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0",
506     'reversed stable complex sort';
507
508 @input = &generate;
509 @input = reverse sort {stuff || $a cmp $b} @input;
510 ok join(" ", map {0+$_} @input), "8 7 6 5 4 3 2 1 0",
511     'revesed stable complex in place sort';
512
513 @input = &generate;
514 $output = reverse sort {stuff || $a cmp $b } @input;
515 ok $output, "CCCBBBAAA", 'Reversed stable complex sort in scalar context';
516
517 sub sortr {
518     reverse sort @_;
519 }
520
521 @output = sortr &generate;
522 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0",
523     'reversed stable sort return list context';
524 $output = sortr &generate;
525 ok $output, "CCCBBBAAA",
526     'reversed stable sort return scalar context';
527
528 sub sortcmpr {
529     reverse sort {$a cmp $b} @_;
530 }
531
532 @output = sortcmpr &generate;
533 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0",
534     'reversed stable $a cmp $b sort return list context';
535 $output = sortcmpr &generate;
536 ok $output, "CCCBBBAAA",
537     'reversed stable $a cmp $b sort return scalar context';
538
539 sub sortcmprba {
540     reverse sort {$b cmp $a} @_;
541 }
542
543 @output = sortcmprba &generate;
544 ok join(" ", map {0+$_} @output), "2 1 0 5 4 3 8 7 6",
545     'reversed stable $b cmp $a sort return list context';
546 $output = sortcmprba &generate;
547 ok $output, "AAABBBCCC",
548 'reversed stable $b cmp $a sort return scalar context';
549
550 sub sortcmprq {
551     reverse sort {stuff || $a cmp $b} @_;
552 }
553
554 @output = sortcmpr &generate;
555 ok join(" ", map {0+$_} @output), "8 7 6 5 4 3 2 1 0",
556     'reversed stable complex sort return list context';
557 $output = sortcmpr &generate;
558 ok $output, "CCCBBBAAA",
559     'reversed stable complex sort return scalar context';
560
561 # And now with numbers
562
563 sub generate1 {
564     my $count = 'A';
565     map {new Oscalar $count++, $_} 0, 0, 0, 1, 1, 1, 2, 2, 2;
566 }
567
568 # This won't be very interesting
569 @input = &generate1;
570 @output = sort {$a cmp $b} @input;
571 ok "@output", "A B C D E F G H I", 'stable $a cmp $b sort';
572
573 @input = &generate1;
574 @output = sort {$a <=> $b} @input;
575 ok "@output", "A B C D E F G H I", 'stable $a <=> $b sort';
576
577 @input = &generate1;
578 @input = sort {$a <=> $b} @input;
579 ok "@input", "A B C D E F G H I", 'stable $a <=> $b in place sort';
580
581 @input = &generate1;
582 @output = sort {$b <=> $a} @input;
583 ok "@output", "G H I D E F A B C", 'stable $b <=> $a sort';
584
585 @input = &generate1;
586 @input = sort {$b <=> $a} @input;
587 ok "@input", "G H I D E F A B C", 'stable $b <=> $a in place sort';
588
589 # test that optimized {$b cmp $a} and {$b <=> $a} remain stable
590 # (new in 5.9) without overloading
591 { no warnings;
592 @b = sort { $b <=> $a } @input = qw/5first 6first 5second 6second/;
593 ok "@b" , "6first 6second 5first 5second", "optimized {$b <=> $a} without overloading" ;
594 @input = sort {$b <=> $a} @input;
595 ok "@input" , "6first 6second 5first 5second","inline optimized {$b <=> $a} without overloading" ;
596 };
597
598 # These two are actually doing string cmp on 0 1 and 2
599 @input = &generate1;
600 @output = reverse sort @input;
601 ok "@output", "I H G F E D C B A", "Reversed stable sort";
602
603 @input = &generate1;
604 @input = reverse sort @input;
605 ok "@input", "I H G F E D C B A", "Reversed stable in place sort";
606
607 @input = &generate1;
608 $output = reverse sort @input;
609 ok $output, "IHGFEDCBA", "Reversed stable sort in scalar context";
610
611 @input = &generate1;
612 @output = reverse sort {$a <=> $b} @input;
613 ok "@output", "I H G F E D C B A", 'reversed stable $a <=> $b sort';
614
615 @input = &generate1;
616 @input = reverse sort {$a <=> $b} @input;
617 ok "@input", "I H G F E D C B A", 'revesed stable $a <=> $b in place sort';
618
619 @input = &generate1;
620 $output = reverse sort {$a <=> $b} @input;
621 ok $output, "IHGFEDCBA", 'reversed stable $a <=> $b sort in scalar context';
622
623 @input = &generate1;
624 @output = reverse sort {$b <=> $a} @input;
625 ok "@output", "C B A F E D I H G", 'reversed stable $b <=> $a sort';
626
627 @input = &generate1;
628 @input = reverse sort {$b <=> $a} @input;
629 ok "@input", "C B A F E D I H G", 'revesed stable $b <=> $a in place sort';
630
631 @input = &generate1;
632 $output = reverse sort {$b <=> $a} @input;
633 ok $output, "CBAFEDIHG", 'reversed stable $b <=> $a sort in scalar context';
634
635 @input = &generate1;
636 @output = reverse sort {stuff || $a <=> $b} @input;
637 ok "@output", "I H G F E D C B A", 'reversed stable complex sort';
638
639 @input = &generate1;
640 @input = reverse sort {stuff || $a <=> $b} @input;
641 ok "@input", "I H G F E D C B A", 'revesed stable complex in place sort';
642
643 @input = &generate1;
644 $output = reverse sort {stuff || $a <=> $b} @input;
645 ok $output, "IHGFEDCBA", 'reversed stable complex sort in scalar context';
646
647 sub sortnumr {
648     reverse sort {$a <=> $b} @_;
649 }
650
651 @output = sortnumr &generate1;
652 ok "@output", "I H G F E D C B A",
653     'reversed stable $a <=> $b sort return list context';
654 $output = sortnumr &generate1;
655 ok $output, "IHGFEDCBA", 'reversed stable $a <=> $b sort return scalar context';
656
657 sub sortnumrba {
658     reverse sort {$b <=> $a} @_;
659 }
660
661 @output = sortnumrba &generate1;
662 ok "@output", "C B A F E D I H G",
663     'reversed stable $b <=> $a sort return list context';
664 $output = sortnumrba &generate1;
665 ok $output, "CBAFEDIHG", 'reversed stable $b <=> $a sort return scalar context';
666
667 sub sortnumrq {
668     reverse sort {stuff || $a <=> $b} @_;
669 }
670
671 @output = sortnumrq &generate1;
672 ok "@output", "I H G F E D C B A",
673     'reversed stable complex sort return list context';
674 $output = sortnumrq &generate1;
675 ok $output, "IHGFEDCBA", 'reversed stable complex sort return scalar context';
676
677 @output = reverse (sort(qw(C A B)), 0);
678 ok "@output", "0 C B A", 'reversed sort with trailing argument';
679
680 @output = reverse (0, sort(qw(C A B)));
681 ok "@output", "C B A 0", 'reversed sort with leading argument';
682
683 eval { @output = sort {goto sub {}} 1,2; };
684 $fail_msg = q(Can't goto subroutine outside a subroutine);
685 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'goto subr outside subr');
686
687
688
689 sub goto_sub {goto sub{}}
690 eval { @output = sort goto_sub 1,2; };
691 $fail_msg = q(Can't goto subroutine from a sort sub);
692 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'goto subr from a sort sub');
693
694
695
696 eval { @output = sort {goto label} 1,2; };
697 $fail_msg = q(Can't "goto" out of a pseudo block);
698 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'goto out of a pseudo block 1');
699
700
701
702 sub goto_label {goto label}
703 label: eval { @output = sort goto_label 1,2; };
704 $fail_msg = q(Can't "goto" out of a pseudo block);
705 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'goto out of a pseudo block 2');
706
707
708
709 sub self_immolate {undef &self_immolate; $a<=>$b}
710 eval { @output = sort self_immolate 1,2,3 };
711 $fail_msg = q(Can't undef active subroutine);
712 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'undef active subr');
713
714
715
716 {
717     my $failed = 0;
718
719     sub rec {
720         my $n = shift;
721         if (!defined($n)) {  # No arg means we're being called by sort()
722             return 1;
723         }
724         if ($n<5) { rec($n+1); }
725         else { () = sort rec 1,2; }
726
727         $failed = 1 if !defined $n;
728     }
729
730     rec(1);
731     main::ok(!$failed, "sort from active sub");
732 }
733
734 # $a and $b are set in the package the sort() is called from,
735 # *not* the package the sort sub is in. This is longstanding
736 # de facto behaviour that shouldn't be broken.
737 package main;
738 my $answer = "good";
739 () = sort OtherPack::foo 1,2,3,4;
740
741 {
742     package OtherPack;
743     no warnings 'once';
744     sub foo {
745         $answer = "something was unexpectedly defined or undefined" if
746         defined($a) || defined($b) || !defined($main::a) || !defined($main::b);
747         $main::a <=> $main::b;
748     }
749 }
750
751 main::cmp_ok($answer,'eq','good','sort subr called from other package');
752
753
754 # Bug 36430 - sort called in package2 while a
755 # sort in package1 is active should set $package2::a/b.
756
757 $answer = "good";
758 my @list = sort { A::min(@$a) <=> A::min(@$b) }
759   [3, 1, 5], [2, 4], [0];
760
761 main::cmp_ok($answer,'eq','good','bug 36430');
762
763 package A;
764 sub min {
765   my @list = sort {
766     $answer = '$a and/or $b are not defined ' if !defined($a) || !defined($b);
767     $a <=> $b;
768   } @_;
769   $list[0];
770 }
771
772 # Bug 7567 - an array shouldn't be modifiable while it's being
773 # sorted in-place.
774 eval { @a=(1..8); @a = sort { @a = (0) } @a; };
775
776 $fail_msg = q(Modification of a read-only value attempted);
777 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'bug 7567');
778
779
780
781 # Sorting shouldn't increase the refcount of a sub
782 sub foo {(1+$a) <=> (1+$b)}
783 my $refcnt = &Internals::SvREFCNT(\&foo);
784 @output = sort foo 3,7,9;
785 package Foo;
786 ok($refcnt, &Internals::SvREFCNT(\&foo), "sort sub refcnt");
787 $fail_msg = q(Modification of a read-only value attempted);
788 # Sorting a read-only array in-place shouldn't be allowed
789 my @readonly = (1..10);
790 Internals::SvREADONLY(@readonly, 1);
791 eval { @readonly = sort @readonly; };
792 main::cmp_ok(substr($@,0,length($fail_msg)),'eq',$fail_msg,'in-place sort of read-only array');
793
794
795
796
797 # Using return() should be okay even in a deeper context
798 @b = sort {while (1) {return ($a <=> $b)} } 1..10;
799 ok("@b", "1 2 3 4 5 6 7 8 9 10", "return within loop");
800
801 # Using return() should be okay even if there are other items
802 # on the stack at the time.
803 @b = sort {$_ = ($a<=>$b) + do{return $b<=> $a}} 1..10;
804 ok("@b", "10 9 8 7 6 5 4 3 2 1", "return with SVs on stack");
805
806 # As above, but with a sort sub rather than a sort block.
807 sub ret_with_stacked { $_ = ($a<=>$b) + do {return $b <=> $a} }
808 @b = sort ret_with_stacked 1..10;
809 ok("@b", "10 9 8 7 6 5 4 3 2 1", "return with SVs on stack");