This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Yes, you guessed it -- a typos fixed
[perl5.git] / scope.c
diff --git a/scope.c b/scope.c
index 59085ce..3f48609 100644 (file)
--- a/scope.c
+++ b/scope.c
@@ -1,21 +1,36 @@
-/* $RCSfile: op.c,v $$Revision: 4.1 $$Date: 92/08/07 17:19:16 $
+/*    scope.c
  *
- *    Copyright (c) 1991, Larry Wall
+ *    Copyright (c) 1991-1994, Larry Wall
  *
  *    You may distribute under the terms of either the GNU General Public
  *    License or the Artistic License, as specified in the README file.
  *
- * $Log:       op.c,v $
+ */
+
+/*
+ * "For the fashion of Minas Tirith was such that it was built on seven
+ * levels..."
  */
 
 #include "EXTERN.h"
 #include "perl.h"
 
+SV**
+stack_grow(sp, p, n)
+SV** sp;
+SV** p;
+int n;
+{
+    stack_sp = sp;
+    av_extend(stack, (p - stack_base) + (n) + 128);
+    return stack_sp;
+}
+
 I32
 cxinc()
 {
     cxstack_max = cxstack_max * 3 / 2;
-    Renew(cxstack, cxstack_max, CONTEXT);
+    Renew(cxstack, cxstack_max + 1, CONTEXT);  /* XXX should fix CXINC macro */
     return cxstack_ix + 1;
 }
 
@@ -54,8 +69,18 @@ void
 pop_scope()
 {
     I32 oldsave = scopestack[--scopestack_ix];
-    if (savestack_ix > oldsave)
-       leave_scope(oldsave);
+    LEAVE_SCOPE(oldsave);
+}
+
+void
+markstack_grow()
+{
+    I32 oldmax = markstack_max - markstack;
+    I32 newmax = oldmax * 3 / 2;
+
+    Renew(markstack, newmax, I32);
+    markstack_ptr = markstack + oldmax;
+    markstack_max = markstack + newmax;
 }
 
 void
@@ -73,8 +98,12 @@ free_tmps()
     while (tmps_ix > myfloor) {      /* clean up after last statement */
        SV* sv = tmps_stack[tmps_ix];
        tmps_stack[tmps_ix--] = Nullsv;
-       if (sv)
-           sv_free(sv);                /* note, can modify tmps_ix!!! */
+       if (sv) {
+#ifdef DEBUGGING
+           SvTEMP_off(sv);
+#endif
+           SvREFCNT_dec(sv);           /* note, can modify tmps_ix!!! */
+       }
     }
 }
 
@@ -91,12 +120,25 @@ GV *gv;
     SSPUSHINT(SAVEt_SV);
 
     sv = GvSV(gv) = NEWSV(0,0);
-    if (SvTYPE(osv) >= SVt_PVMG && SvMAGIC(sv)) {
+    if (SvTYPE(osv) >= SVt_PVMG && SvMAGIC(osv) && SvTYPE(osv) != SVt_PVGV) {
        sv_upgrade(sv, SvTYPE(osv));
+       if (SvGMAGICAL(osv)) {
+           MAGIC* mg;
+           bool oldtainted = tainted;
+           mg_get(osv);
+           if (tainting && tainted && (mg = mg_find(osv, 't'))) {
+               SAVESPTR(mg->mg_obj);
+               mg->mg_obj = osv;
+           }
+           SvFLAGS(osv) |= (SvFLAGS(osv) &
+               (SVp_IOK|SVp_NOK|SVp_POK)) >> PRIVSHIFT;
+           tainted = oldtainted;
+       }
        SvMAGIC(sv) = SvMAGIC(osv);
-       localizing = TRUE;
+       SvFLAGS(sv) |= SvMAGICAL(osv);
+       localizing = 1;
        SvSETMAGIC(sv);
-       localizing = FALSE;
+       localizing = 0;
     }
     return sv;
 }
@@ -110,7 +152,7 @@ GV *gv;
     GP *ogp = GvGP(gv);
 
     SSCHECK(3);
-    SSPUSHPTR(gv);
+    SSPUSHPTR(SvREFCNT_inc(gv));
     SSPUSHPTR(ogp);
     SSPUSHINT(SAVEt_GP);
 
@@ -136,12 +178,25 @@ SV **sptr;
     SSPUSHINT(SAVEt_SVREF);
 
     sv = *sptr = NEWSV(0,0);
-    if (SvTYPE(osv) >= SVt_PVMG && SvMAGIC(sv)) {
+    if (SvTYPE(osv) >= SVt_PVMG && SvMAGIC(osv) && SvTYPE(osv) != SVt_PVGV) {
        sv_upgrade(sv, SvTYPE(osv));
+       if (SvGMAGICAL(osv)) {
+           MAGIC* mg;
+           bool oldtainted = tainted;
+           mg_get(osv);
+           if (tainting && tainted && (mg = mg_find(osv, 't'))) {
+               SAVESPTR(mg->mg_obj);
+               mg->mg_obj = osv;
+           }
+           SvFLAGS(osv) |= (SvFLAGS(osv) &
+               (SVp_IOK|SVp_NOK|SVp_POK)) >> PRIVSHIFT;
+           tainted = oldtainted;
+       }
        SvMAGIC(sv) = SvMAGIC(osv);
-       localizing = TRUE;
+       SvFLAGS(sv) |= SvMAGICAL(osv);
+       localizing = 1;
        SvSETMAGIC(sv);
-       localizing = FALSE;
+       localizing = 0;
     }
     return sv;
 }
@@ -197,6 +252,16 @@ int *intp;
 }
 
 void
+save_long(longp)
+long *longp;
+{
+    SSCHECK(3);
+    SSPUSHLONG(*longp);
+    SSPUSHPTR(longp);
+    SSPUSHINT(SAVEt_LONG);
+}
+
+void
 save_I32(intp)
 I32 *intp;
 {
@@ -207,6 +272,29 @@ I32 *intp;
 }
 
 void
+save_iv(ivp)
+IV *ivp;
+{
+    SSCHECK(3);
+    SSPUSHIV(*ivp);
+    SSPUSHPTR(ivp);
+    SSPUSHINT(SAVEt_IV);
+}
+
+/* Cannot use save_sptr() to store a char* since the SV** cast will
+ * force word-alignment and we'll miss the pointer.
+ */
+void
+save_pptr(pptr)
+char **pptr;
+{
+    SSCHECK(3);
+    SSPUSHPTR(*pptr);
+    SSPUSHPTR(pptr);
+    SSPUSHINT(SAVEt_PPTR);
+}
+
+void
 save_sptr(sptr)
 SV **sptr;
 {
@@ -230,7 +318,7 @@ save_hptr(hptr)
 HV **hptr;
 {
     SSCHECK(3);
-    SSPUSHINT(*hptr);
+    SSPUSHPTR(*hptr);
     SSPUSHPTR(hptr);
     SSPUSHINT(SAVEt_HPTR);
 }
@@ -240,12 +328,61 @@ save_aptr(aptr)
 AV **aptr;
 {
     SSCHECK(3);
-    SSPUSHINT(*aptr);
+    SSPUSHPTR(*aptr);
     SSPUSHPTR(aptr);
     SSPUSHINT(SAVEt_APTR);
 }
 
 void
+save_freesv(sv)
+SV *sv;
+{
+    SSCHECK(2);
+    SSPUSHPTR(sv);
+    SSPUSHINT(SAVEt_FREESV);
+}
+
+void
+save_freeop(op)
+OP *op;
+{
+    SSCHECK(2);
+    SSPUSHPTR(op);
+    SSPUSHINT(SAVEt_FREEOP);
+}
+
+void
+save_freepv(pv)
+char *pv;
+{
+    SSCHECK(2);
+    SSPUSHPTR(pv);
+    SSPUSHINT(SAVEt_FREEPV);
+}
+
+void
+save_clearsv(svp)
+SV** svp;
+{
+    SSCHECK(2);
+    SSPUSHLONG((long)(svp-curpad));
+    SSPUSHINT(SAVEt_CLEARSV);
+}
+
+void
+save_delete(hv,key,klen)
+HV *hv;
+char *key;
+I32 klen;
+{
+    SSCHECK(4);
+    SSPUSHINT(klen);
+    SSPUSHPTR(key);
+    SSPUSHPTR(hv);
+    SSPUSHINT(SAVEt_DELETE);
+}
+
+void
 save_list(sarg,maxsarg)
 register SV **sarg;
 I32 maxsarg;
@@ -264,6 +401,17 @@ I32 maxsarg;
 }
 
 void
+save_destructor(f,p)
+void (*f) _((void*));
+void* p;
+{
+    SSCHECK(3);
+    SSPUSHDPTR(f);
+    SSPUSHPTR(p);
+    SSPUSHINT(SAVEt_DESTRUCTOR);
+}
+
+void
 leave_scope(base)
 I32 base;
 {
@@ -275,58 +423,91 @@ I32 base;
     register void* ptr;
 
     if (base < -1)
-       fatal("panic: corrupt saved stack index");
+       croak("panic: corrupt saved stack index");
     while (savestack_ix > base) {
        switch (SSPOPINT) {
        case SAVEt_ITEM:                        /* normal string */
            value = (SV*)SSPOPPTR;
            sv = (SV*)SSPOPPTR;
            sv_replace(sv,value);
+           localizing = 2;
            SvSETMAGIC(sv);
+           localizing = 0;
            break;
         case SAVEt_SV:                         /* scalar reference */
            value = (SV*)SSPOPPTR;
            gv = (GV*)SSPOPPTR;
            sv = GvSV(gv);
-           if (SvTYPE(sv) >= SVt_PVMG)
+           if (SvTYPE(sv) >= SVt_PVMG && SvMAGIC(sv) &&
+               SvTYPE(sv) != SVt_PVGV)
+           {
+               (void)SvUPGRADE(value, SvTYPE(sv));
+               SvMAGIC(value) = SvMAGIC(sv);
+               SvFLAGS(value) |= SvMAGICAL(sv);
+               SvMAGICAL_off(sv);
                SvMAGIC(sv) = 0;
-            sv_free(sv);
-            GvSV(gv) = sv = value;
-           SvSETMAGIC(sv);
+           }
+            SvREFCNT_dec(sv);
+            GvSV(gv) = value;
+           localizing = 2;
+           SvSETMAGIC(value);
+           localizing = 0;
             break;
         case SAVEt_SVREF:                      /* scalar reference */
            ptr = SSPOPPTR;
            sv = *(SV**)ptr;
-           if (SvTYPE(sv) >= SVt_PVMG)
+           value = (SV*)SSPOPPTR;
+           if (SvTYPE(sv) >= SVt_PVMG && SvMAGIC(sv) &&
+               SvTYPE(sv) != SVt_PVGV)
+           {
+               (void)SvUPGRADE(value, SvTYPE(sv));
+               SvMAGIC(value) = SvMAGIC(sv);
+               SvFLAGS(value) |= SvMAGICAL(sv);
+               SvMAGICAL_off(sv);
                SvMAGIC(sv) = 0;
-            sv_free(sv);
-           *(SV**)ptr = sv = (SV*)SSPOPPTR;
-           SvSETMAGIC(sv);
+           }
+            SvREFCNT_dec(sv);
+           *(SV**)ptr = value;
+           localizing = 2;
+           SvSETMAGIC(value);
+           localizing = 0;
             break;
         case SAVEt_AV:                         /* array reference */
            av = (AV*)SSPOPPTR;
            gv = (GV*)SSPOPPTR;
-            av_free(GvAV(gv));
+            SvREFCNT_dec(GvAV(gv));
             GvAV(gv) = av;
             break;
         case SAVEt_HV:                         /* hash reference */
            hv = (HV*)SSPOPPTR;
            gv = (GV*)SSPOPPTR;
-            (void)hv_free(GvHV(gv), FALSE);
+            SvREFCNT_dec(GvHV(gv));
             GvHV(gv) = hv;
             break;
        case SAVEt_INT:                         /* int reference */
            ptr = SSPOPPTR;
            *(int*)ptr = (int)SSPOPINT;
            break;
+       case SAVEt_LONG:                        /* long reference */
+           ptr = SSPOPPTR;
+           *(long*)ptr = (long)SSPOPLONG;
+           break;
        case SAVEt_I32:                         /* I32 reference */
            ptr = SSPOPPTR;
            *(I32*)ptr = (I32)SSPOPINT;
            break;
+       case SAVEt_IV:                          /* IV reference */
+           ptr = SSPOPPTR;
+           *(IV*)ptr = (IV)SSPOPIV;
+           break;
        case SAVEt_SPTR:                        /* SV* reference */
            ptr = SSPOPPTR;
            *(SV**)ptr = (SV*)SSPOPPTR;
            break;
+       case SAVEt_PPTR:                        /* char* reference */
+           ptr = SSPOPPTR;
+           *(char**)ptr = (char*)SSPOPPTR;
+           break;
        case SAVEt_HPTR:                        /* HV* reference */
            ptr = SSPOPPTR;
            *(HV**)ptr = (HV*)SSPOPPTR;
@@ -344,9 +525,177 @@ I32 base;
            gv = (GV*)SSPOPPTR;
             gp_free(gv);
             GvGP(gv) = (GP*)ptr;
+           SvREFCNT_dec(gv);
             break;
+       case SAVEt_FREESV:
+           ptr = SSPOPPTR;
+           SvREFCNT_dec((SV*)ptr);
+           break;
+       case SAVEt_FREEOP:
+           ptr = SSPOPPTR;
+           curpad = AvARRAY(comppad);
+           op_free((OP*)ptr);
+           break;
+       case SAVEt_FREEPV:
+           ptr = SSPOPPTR;
+           Safefree((char*)ptr);
+           break;
+       case SAVEt_CLEARSV:
+           ptr = (void*)&curpad[SSPOPLONG];
+           sv = *(SV**)ptr;
+           if (SvREFCNT(sv) <= 1) { /* Can clear pad variable in place. */
+               if (SvTHINKFIRST(sv)) {
+                   if (SvREADONLY(sv))
+                       croak("panic: leave_scope clearsv");
+                   if (SvROK(sv))
+                       sv_unref(sv);
+               }
+               if (SvMAGICAL(sv))
+                   mg_free(sv);
+
+               switch (SvTYPE(sv)) {
+               case SVt_NULL:
+                   break;
+               case SVt_PVAV:
+                   av_clear((AV*)sv);
+                   break;
+               case SVt_PVHV:
+                   hv_clear((HV*)sv);
+                   break;
+               case SVt_PVCV:
+                   sub_generation++;
+                   cv_undef((CV*)sv);
+                   break;
+               default:
+                   if (SvPOK(sv) && SvLEN(sv))
+                       (void)SvOOK_off(sv);
+                   (void)SvOK_off(sv);
+                   break;
+               }
+           }
+           else {      /* Someone has a claim on this, so abandon it. */
+               U32 padflags = SvFLAGS(sv) & (SVs_PADBUSY|SVs_PADMY|SVs_PADTMP);
+               SvREFCNT_dec(sv);       /* Cast current value to the winds. */
+               switch (SvTYPE(sv)) {   /* Console ourselves with a new value */
+               case SVt_PVAV:  *(SV**)ptr = (SV*)newAV();      break;
+               case SVt_PVHV:  *(SV**)ptr = (SV*)newHV();      break;
+               default:        *(SV**)ptr = NEWSV(0,0);        break;
+               }
+               SvFLAGS(*(SV**)ptr) |= padflags; /* preserve pad nature */
+           }
+           break;
+       case SAVEt_DELETE:
+           ptr = SSPOPPTR;
+           hv = (HV*)ptr;
+           ptr = SSPOPPTR;
+           (void)hv_delete(hv, (char*)ptr, (U32)SSPOPINT, G_DISCARD);
+           Safefree(ptr);
+           break;
+       case SAVEt_DESTRUCTOR:
+           ptr = SSPOPPTR;
+           (*SSPOPDPTR)(ptr);
+           break;
+       case SAVEt_REGCONTEXT:
+           {
+               I32 delta = SSPOPINT;
+               savestack_ix -= delta;  /* regexp must have croaked */
+           }
+           break;
        default:
-           fatal("panic: leave_scope inconsistency");
+           croak("panic: leave_scope inconsistency");
        }
     }
 }
+
+#ifdef DEBUGGING
+void
+cx_dump(cx)
+CONTEXT* cx;
+{
+    fprintf(stderr, "CX %d = %s\n", cx - cxstack, block_type[cx->cx_type]);
+    if (cx->cx_type != CXt_SUBST) {
+       fprintf(stderr, "BLK_OLDSP = %ld\n", (long)cx->blk_oldsp);
+       fprintf(stderr, "BLK_OLDCOP = 0x%lx\n", (long)cx->blk_oldcop);
+       fprintf(stderr, "BLK_OLDMARKSP = %ld\n", (long)cx->blk_oldmarksp);
+       fprintf(stderr, "BLK_OLDSCOPESP = %ld\n", (long)cx->blk_oldscopesp);
+       fprintf(stderr, "BLK_OLDRETSP = %ld\n", (long)cx->blk_oldretsp);
+       fprintf(stderr, "BLK_OLDPM = 0x%lx\n", (long)cx->blk_oldpm);
+       fprintf(stderr, "BLK_GIMME = %s\n", cx->blk_gimme ? "LIST" : "SCALAR");
+    }
+    switch (cx->cx_type) {
+    case CXt_NULL:
+    case CXt_BLOCK:
+       break;
+    case CXt_SUB:
+       fprintf(stderr, "BLK_SUB.CV = 0x%lx\n",
+               (long)cx->blk_sub.cv);
+       fprintf(stderr, "BLK_SUB.GV = 0x%lx\n",
+               (long)cx->blk_sub.gv);
+       fprintf(stderr, "BLK_SUB.DFOUTGV = 0x%lx\n",
+               (long)cx->blk_sub.dfoutgv);
+       fprintf(stderr, "BLK_SUB.OLDDEPTH = %ld\n",
+               (long)cx->blk_sub.olddepth);
+       fprintf(stderr, "BLK_SUB.HASARGS = %d\n",
+               (int)cx->blk_sub.hasargs);
+       break;
+    case CXt_EVAL:
+       fprintf(stderr, "BLK_EVAL.OLD_IN_EVAL = %ld\n",
+               (long)cx->blk_eval.old_in_eval);
+       fprintf(stderr, "BLK_EVAL.OLD_OP_TYPE = %s (%s)\n",
+               op_name[cx->blk_eval.old_op_type],
+               op_desc[cx->blk_eval.old_op_type]);
+       fprintf(stderr, "BLK_EVAL.OLD_NAME = %s\n",
+               cx->blk_eval.old_name);
+       fprintf(stderr, "BLK_EVAL.OLD_EVAL_ROOT = 0x%lx\n",
+               (long)cx->blk_eval.old_eval_root);
+       break;
+
+    case CXt_LOOP:
+       fprintf(stderr, "BLK_LOOP.LABEL = %s\n",
+               cx->blk_loop.label);
+       fprintf(stderr, "BLK_LOOP.RESETSP = %ld\n",
+               (long)cx->blk_loop.resetsp);
+       fprintf(stderr, "BLK_LOOP.REDO_OP = 0x%lx\n",
+               (long)cx->blk_loop.redo_op);
+       fprintf(stderr, "BLK_LOOP.NEXT_OP = 0x%lx\n",
+               (long)cx->blk_loop.next_op);
+       fprintf(stderr, "BLK_LOOP.LAST_OP = 0x%lx\n",
+               (long)cx->blk_loop.last_op);
+       fprintf(stderr, "BLK_LOOP.ITERIX = %ld\n",
+               (long)cx->blk_loop.iterix);
+       fprintf(stderr, "BLK_LOOP.ITERARY = 0x%lx\n",
+               (long)cx->blk_loop.iterary);
+       fprintf(stderr, "BLK_LOOP.ITERVAR = 0x%lx\n",
+               (long)cx->blk_loop.itervar);
+       if (cx->blk_loop.itervar)
+           fprintf(stderr, "BLK_LOOP.ITERSAVE = 0x%lx\n",
+               (long)cx->blk_loop.itersave);
+       break;
+
+    case CXt_SUBST:
+       fprintf(stderr, "SB_ITERS = %ld\n",
+               (long)cx->sb_iters);
+       fprintf(stderr, "SB_MAXITERS = %ld\n",
+               (long)cx->sb_maxiters);
+       fprintf(stderr, "SB_SAFEBASE = %ld\n",
+               (long)cx->sb_safebase);
+       fprintf(stderr, "SB_ONCE = %ld\n",
+               (long)cx->sb_once);
+       fprintf(stderr, "SB_ORIG = %s\n",
+               cx->sb_orig);
+       fprintf(stderr, "SB_DSTR = 0x%lx\n",
+               (long)cx->sb_dstr);
+       fprintf(stderr, "SB_TARG = 0x%lx\n",
+               (long)cx->sb_targ);
+       fprintf(stderr, "SB_S = 0x%lx\n",
+               (long)cx->sb_s);
+       fprintf(stderr, "SB_M = 0x%lx\n",
+               (long)cx->sb_m);
+       fprintf(stderr, "SB_STREND = 0x%lx\n",
+               (long)cx->sb_strend);
+       fprintf(stderr, "SB_SUBBASE = 0x%lx\n",
+               (long)cx->sb_subbase);
+       break;
+    }
+}
+#endif