[perl #32039] Chained goto &sub drops data too early.
[p5sagit/p5-mst-13.2.git] / t / op / goto.t
index 96bb8dd..3b92123 100755 (executable)
@@ -2,7 +2,16 @@
 
 # "This IS structured code.  It's just randomly structured."
 
-print "1..16\n";
+BEGIN {
+    chdir 't' if -d 't';
+    @INC = qw(. ../lib);
+}
+
+print "1..47\n";
+
+require "test.pl";
+
+$purpose; # update per test, and include in print ok's !
 
 while ($?) {
     $foo = 1;
@@ -29,7 +38,7 @@ label4:
 print "#2\t:$foo: == 4\n";
 if ($foo == 4) {print "ok 2\n";} else {print "not ok 2\n";}
 
-$PERL = ($^O eq 'MSWin32') ? '.\perl' : './perl';
+$PERL = ($^O eq 'MSWin32') ? '.\perl' : ($^O eq 'MacOS') ? $^X : ($^O eq 'NetWare') ? 'perl' : './perl';
 $CMD = qq[$PERL -e "goto foo;" 2>&1 ];
 $x = `$CMD`;
 
@@ -57,7 +66,9 @@ FINALE:
 print "ok 13\n";
 
 # does goto LABEL handle block contexts correctly?
-
+$purpose = 'handles block contexts correctly (does scope-hopping)';
+# note that this scope-hopping differs from last & next,
+# which always go up-scope strictly.
 my $cond = 1;
 for (1) {
     if ($cond == 1) {
@@ -67,27 +78,190 @@ for (1) {
     elsif ($cond == 0) {
       OTHER:
        $cond = 2;
-       print "ok 14\n";
+       print "ok 14 - $purpose\n";
        goto THIRD;
     }
     else {
       THIRD:
-       print "ok 15\n";
+       print "ok 15 - $purpose\n";
     }
 }
 print "ok 16\n";
+
+# Does goto work correctly within a for(;;) loop?
+#  (BUG ID 20010309.004)
+
+$purpose = 'goto inside a for(;;) loop body from inside the body';
+for(my $i=0;!$i++;) {
+  my $x=1;
+  goto label;
+  label: print (defined $x?"ok ": "not ok ", "17 - $purpose\n")
+}
+
+# Does goto work correctly going *to* a for(;;) loop?
+#  (make sure it doesn't skip the initializer)
+
+$purpose = 'goto a for(;;) loop, from outside (does initializer)';
+my ($z, $y) = (0);
+FORL1: for($y="ok 18 - $purpose\n"; $z;) {print $y; goto TEST19}
+($y,$z) = ("not ok 18 - $purpose\n", 1);
+goto FORL1;
+
+# Even from within the loop?
+TEST19: $z = 0;
+$purpose = 'goto a for(;;) loop, from inside (does initializer)';
+FORL2: for($y="ok 19 - $purpose\n"; 1;) {
+  if ($z) {
+    print $y;
+    last;
+  }
+  ($y, $z) = ("not ok 19 - $purpose\n", 1);
+  goto FORL2;
+}
+
+# Does goto work correctly within a try block?
+#  (BUG ID 20000313.004)
+$purpose = 'works correctly within a try block';
+my $ok = 0;
+eval {
+  my $variable = 1;
+  goto LABEL20;
+  LABEL20: $ok = 1 if $variable;
+};
+print ($ok&&!$@ ? "ok 20" : "not ok 20", " - $purpose\n");
+
+# And within an eval-string?
+$purpose = 'works correctly within an eval string';
+$ok = 0;
+eval q{
+  my $variable = 1;
+  goto LABEL21;
+  LABEL21: $ok = 1 if $variable;
+};
+print ($ok&&!$@ ? "ok" : "not ok", " 21 - $purpose\n");
+
+
+# Test that goto works in nested eval-string
+$purpose = 'works correctly in a nested eval string';
+$ok = 0;
+{eval q{
+  eval q{
+    goto LABEL22;
+  };
+  $ok = 0;
+  last;
+
+  LABEL22: $ok = 1;
+};
+$ok = 0 if $@;
+}
+print ($ok ? "ok" : "not ok", " 22 - $purpose\n");
+
+{
+    my $false = 0;
+
+    $ok = 0;
+    { goto A; A: $ok = 1 } continue { }
+    print "not " unless $ok;
+    print "ok 23 - #20357 goto inside /{ } continue { }/ loop\n";
+
+    $ok = 0;
+    { do { goto A; A: $ok = 1 } while $false }
+    print "not " unless $ok;
+    print "ok 24 - #20154 goto inside /do { } while ()/ loop\n";
+
+    $ok = 0;
+    foreach(1) { goto A; A: $ok = 1 } continue { };
+    print "not " unless $ok;
+    print "ok 25 - goto inside /foreach () { } continue { }/ loop\n";
+
+    $ok = 0;
+    sub a {
+       A: { if ($false) { redo A; B: $ok = 1; redo A; } }
+       goto B unless $r++
+    }
+    a();
+    print "not " unless $ok;
+    print "ok 26 - #19061 loop label wiped away by goto\n";
+
+    $ok = 0;
+    for ($p=1;$p && goto A;$p=0) { A: $ok = 1 }
+    print "not " unless $ok;
+    print "ok 27 - weird case of goto and for(;;) loop\n";
+}
+
+# bug #9990 - don't prematurely free the CV we're &going to.
+
+sub f1 {
+    my $x;
+    goto sub { $x; print "ok 28 - don't prematurely free CV\n" }
+}
+f1();
+
+# bug #22181 - this used to coredump or make $x undefined, due to
+# erroneous popping of the inner BLOCK context
+
+for ($i=0; $i<2; $i++) {
+    my $x = 1;
+    goto LABEL29;
+    LABEL29:
+    print "not " if !defined $x || $x != 1;
+}
+print "ok 29 - goto in for(;;) with continuation\n";
+
+# bug #22299 - goto in require doesn't find label
+
+open my $f, ">goto01.pm" or die;
+print $f <<'EOT';
+package goto01;
+goto YYY;
+die;
+YYY: print "OK\n";
+1;
+EOT
+close $f;
+
+curr_test(30);
+my $r = runperl(prog => 'use goto01; print qq[DONE\n]');
+is($r, "OK\nDONE\n", "goto within use-d file"); 
+unlink "goto01.pm";
+
+# test for [perl #24108]
+sub i_return_a_label {
+    print "ok 31 - i_return_a_label called\n";
+    return "returned_label";
+}
+eval { goto +i_return_a_label; };
+print "not ";
+returned_label : print "ok 32 - done to returned_label\n";
+
+# [perl #29708] - goto &foo could leave foo() at depth two with
+# @_ == PL_sv_undef, causing a coredump
+
+
+my $r = runperl(
+    prog =>
+       'sub f { return if $d; $d=1; my $a=sub {goto &f}; &$a; f() } f(); print qq(ok\n)',
+    stderr => 1
+    );
+print "not " if $r ne "ok\n";
+print "ok 33 - avoid pad without an \@_\n";
+
+goto moretests;
 exit;
 
 bypass:
-print "ok 5\n";
+$purpose = 'eval "goto $x"';
+print "ok 5 - $purpose\n";
 
 # Test autoloading mechanism.
 
 sub two {
     ($pack, $file, $line) = caller;    # Should indicate original call stats.
+    $purpose = 'autoloading mechanism.';
     print "@_ $pack $file $line" eq "1 2 3 main $FILE $LINE"
-       ? "ok 7\n"
-       : "not ok 7\n";
+       ? "ok 7 - $purpose\n"
+       : "not ok 7 - $purpose\n";
 }
 
 sub one {
@@ -101,9 +275,11 @@ $FILE = __FILE__;
 $LINE = __LINE__ + 1;
 &one(1,2,3);
 
+$purpose = 'goto NOWHERE sets $@';
 $wherever = NOWHERE;
 eval { goto $wherever };
-print $@ =~ /Can't find label NOWHERE/ ? "ok 8\n" : "not ok 8\n";
+print $@ =~ /Can't find label NOWHERE/
+ ? "ok 8 - $purpose\n" : "not ok 8 - $purpose\n"; #'
 
 # see if a modified @_ propagates
 {
@@ -124,3 +300,119 @@ auto("ok 12\n");
 
 $wherever = FINALE;
 goto $wherever;
+
+moretests:
+# test goto duplicated labels.
+{
+    my $z = 0;
+    $purpose = "catch goto middle of foreach";
+    eval {
+       $z = 0;
+       for (0..1) {
+         L4: # not outer scope
+           $z += 10;
+           last;
+       }
+       goto L4 if $z == 10;
+       last;
+    };
+    print ($@ =~ /Can't "goto" into the middle of a foreach loop/ #'
+          ? "ok" : "not ok", " 34 - $purpose\n");    
+
+    $z = 0;
+    # ambiguous label resolution (outer scope means endless loop!)
+    $purpose = "prefer same scope (loop body) to outer scope (loop entry)";
+  L1:
+    for my $x (0..1) {
+       $z += 10;
+       print $z == 10 ? "" : "not ", "ok 35 - $purpose\n";
+       goto L1 unless $x;
+       $z += 10;
+      L1:
+       print $z == 10 ? "" : "not ", "ok 36 - $purpose\n";
+       last;
+    }
+
+    $purpose = "prefer this scope (block body) to outer scope (block entry)";
+    $z = 0;
+  L2: 
+    { 
+       $z += 10;
+       print $z == 10 ? "" : "not ", "ok 37 - $purpose\n";
+       goto L2 if $z == 10;
+       $z += 10;
+      L2:
+       print $z == 10 ? "" : "not ", "ok 38 - $purpose\n";
+    }
+
+
+    { 
+       $purpose = "prefer this scope to inner scope";
+       $z = 0;
+       while (1) {
+         L3: # not inner scope
+           $z += 10;
+           last;
+       }
+       print $z == 10 ? "": "not ", "ok 39 - $purpose\n";
+       goto L3 if $z == 10;
+       $z += 10;
+      L3: # this scope !
+       print $z == 10 ? "" : "not ", "ok 40 - $purpose\n";
+    }
+
+  L4: # not outer scope
+    { 
+       $purpose = "prefer this scope to inner,outer scopes";
+       $z = 0;
+       while (1) {
+         L4: # not inner scope
+           $z += 1;
+           last;
+       }
+       print $z == 1 ? "": "not ", "ok 41 - $purpose\n";
+       goto L4 if $z == 1;
+       $z += 10;
+      L4: # this scope !
+       print $z == 1 ? "": "not ", "ok 42 - $purpose\n";
+    }
+
+    {
+       $purpose = "same label, multiple times in same scope (choose 1st)";
+       my $tnum = 43;
+       my $loop;
+       for $x (0..1) { 
+         L2: # without this, fails 1 (middle) out of 3 iterations
+           $z = 0;
+         L2: 
+           $z += 10;
+           print $z == 10 ? "": "not ", "ok $tnum - $purpose\n";
+           $tnum++;
+           goto L2 if $z == 10 and not $loop++;
+       }
+    }
+}
+
+# deep recursion with gotos eventually caused a stack reallocation
+# which messed up buggy internals that didn't expect the stack to move
+
+sub recurse1 {
+    unshift @_, "x";
+    goto &recurse2;
+}
+sub recurse2 {
+    $x = shift;
+    $_[0] ? +1 + recurse1($_[0] - 1) : 0
+}
+print "not " unless recurse1(500) == 500;
+print "ok 46 - recursive goto &foo\n";
+
+# [perl #32039] Chained goto &sub drops data too early. 
+
+sub a32039 { @_=("foo"); goto &b32039; }
+sub b32039 { goto &c32039; }
+sub c32039 { print $_[0] eq 'foo' ? "" : "not ", "ok 47 - chained &goto\n" }
+a32039();
+
+
+