This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
integrate change#2159 from mainline
[perl5.git] / op.c
diff --git a/op.c b/op.c
index 0ee2e5e..fcb5f0e 100644 (file)
--- a/op.c
+++ b/op.c
 #include "EXTERN.h"
 #include "perl.h"
 
+#ifdef PERL_OBJECT
+#define CHECKCALL this->*check
+#else
+#define CHECKCALL *check
+#endif
+
 /*
  * In the following definition, the ", Nullop" is just to make the compiler
  * think the expression is of the right type: croak actually does a Siglongjmp.
  */
 #define CHECKOP(type,o) \
-    ((op_mask && op_mask[type])                                        \
+    ((PL_op_mask && PL_op_mask[type])                                  \
      ? ( op_free((OP*)o),                                      \
         croak("%s trapped by operation mask", op_desc[type]),  \
         Nullop )                                               \
-     : (*check[type])((OP*)o))
+     : (CHECKCALL[type])((OP*)o))
+
+#define PAD_MAX 999999999
 
+static bool scalar_mod_type _((OP *o, I32 type));
+#ifndef PERL_OBJECT
 static I32 list_assignment _((OP *o));
 static void bad_type _((I32 n, char *t, char *name, OP *kid));
 static OP *modkids _((OP *o, I32 type));
 static OP *no_fh_allowed _((OP *o));
-static bool scalar_mod_type _((OP *o, I32 type));
 static OP *scalarboolean _((OP *o));
 static OP *too_few_arguments _((OP *o, char* name));
 static OP *too_many_arguments _((OP *o, char* name));
 static void null _((OP* o));
 static PADOFFSET pad_findlex _((char* name, PADOFFSET newoff, U32 seq,
-       CV* startcv, I32 cx_ix));
+       CV* startcv, I32 cx_ix, I32 saweval));
 static OP *newDEFSVOP _((void));
 static OP *new_logop _((I32 type, I32 flags, OP **firstp, OP **otherp));
+#endif
 
-static char*
+STATIC char*
 gv_ename(GV *gv)
 {
     SV* tmpsv = sv_newmortal();
     gv_efullname3(tmpsv, gv, Nullch);
-    return SvPV(tmpsv,na);
+    return SvPV(tmpsv,PL_na);
 }
 
-static OP *
+STATIC OP *
 no_fh_allowed(OP *o)
 {
     yyerror(form("Missing comma after first argument to %s function",
@@ -59,21 +69,21 @@ no_fh_allowed(OP *o)
     return o;
 }
 
-static OP *
+STATIC OP *
 too_few_arguments(OP *o, char *name)
 {
     yyerror(form("Not enough arguments for %s", name));
     return o;
 }
 
-static OP *
+STATIC OP *
 too_many_arguments(OP *o, char *name)
 {
     yyerror(form("Too many arguments for %s", name));
     return o;
 }
 
-static void
+STATIC void
 bad_type(I32 n, char *t, char *name, OP *kid)
 {
     yyerror(form("Type of arg %d to %s must be %s (not %s)",
@@ -84,17 +94,17 @@ void
 assertref(OP *o)
 {
     int type = o->op_type;
-    if (type != OP_AELEM && type != OP_HELEM) {
+    if (type != OP_AELEM && type != OP_HELEM && type != OP_GELEM) {
        yyerror(form("Can't use subscript on %s", op_desc[type]));
        if (type == OP_ENTERSUB || type == OP_RV2HV || type == OP_PADHV) {
            dTHR;
            SV *msg = sv_2mortal(
                        newSVpvf("(Did you mean $ or @ instead of %c?)\n",
                                 type == OP_ENTERSUB ? '&' : '%'));
-           if (in_eval & 2)
+           if (PL_in_eval & 2)
                warn("%_", msg);
-           else if (in_eval)
-               sv_catsv(GvSV(errgv), msg);
+           else if (PL_in_eval)
+               sv_catsv(GvSV(PL_errgv), msg);
            else
                PerlIO_write(PerlIO_stderr(), SvPVX(msg), SvCUR(msg));
        }
@@ -118,15 +128,16 @@ pad_allocmy(char *name)
        }
        croak("Can't use global %s in \"my\"",name);
     }
-    if (dowarn && AvFILLp(comppad_name) >= 0) {
-       SV **svp = AvARRAY(comppad_name);
-       for (off = AvFILLp(comppad_name); off > comppad_name_floor; off--) {
+    if (PL_dowarn && AvFILLp(PL_comppad_name) >= 0) {
+       SV **svp = AvARRAY(PL_comppad_name);
+       for (off = AvFILLp(PL_comppad_name); off > PL_comppad_name_floor; off--) {
            if ((sv = svp[off])
-               && sv != &sv_undef
-               && SvIVX(sv) == 999999999       /* var is in open scope */
+               && sv != &PL_sv_undef
+               && (SvIVX(sv) == PAD_MAX || SvIVX(sv) == 0)
                && strEQ(name, SvPVX(sv)))
            {
-               warn("\"my\" variable %s masks earlier declaration in same scope", name);
+               warn("\"my\" variable %s masks earlier declaration in same %s",
+                       name, (SvIVX(sv) == PAD_MAX ? "scope" : "statement"));
                break;
            }
        }
@@ -135,30 +146,30 @@ pad_allocmy(char *name)
     sv = NEWSV(1102,0);
     sv_upgrade(sv, SVt_PVNV);
     sv_setpv(sv, name);
-    if (in_my_stash) {
+    if (PL_in_my_stash) {
        if (*name != '$')
            croak("Can't declare class for non-scalar %s in \"my\"",name);
        SvOBJECT_on(sv);
        (void)SvUPGRADE(sv, SVt_PVMG);
-       SvSTASH(sv) = (HV*)SvREFCNT_inc(in_my_stash);
-       sv_objcount++;
+       SvSTASH(sv) = (HV*)SvREFCNT_inc(PL_in_my_stash);
+       PL_sv_objcount++;
     }
-    av_store(comppad_name, off, sv);
-    SvNVX(sv) = (double)999999999;
+    av_store(PL_comppad_name, off, sv);
+    SvNVX(sv) = (double)PAD_MAX;
     SvIVX(sv) = 0;                     /* Not yet introduced--see newSTATEOP */
-    if (!min_intro_pending)
-       min_intro_pending = off;
-    max_intro_pending = off;
+    if (!PL_min_intro_pending)
+       PL_min_intro_pending = off;
+    PL_max_intro_pending = off;
     if (*name == '@')
-       av_store(comppad, off, (SV*)newAV());
+       av_store(PL_comppad, off, (SV*)newAV());
     else if (*name == '%')
-       av_store(comppad, off, (SV*)newHV());
-    SvPADMY_on(curpad[off]);
+       av_store(PL_comppad, off, (SV*)newHV());
+    SvPADMY_on(PL_curpad[off]);
     return off;
 }
 
-static PADOFFSET
-pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
+STATIC PADOFFSET
+pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix, I32 saweval)
 {
     dTHR;
     CV *cv;
@@ -166,20 +177,19 @@ pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
     SV *sv;
     register I32 i;
     register PERL_CONTEXT *cx;
-    int saweval;
 
     for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
        AV *curlist = CvPADLIST(cv);
        SV **svp = av_fetch(curlist, 0, FALSE);
        AV *curname;
 
-       if (!svp || *svp == &sv_undef)
+       if (!svp || *svp == &PL_sv_undef)
            continue;
        curname = (AV*)*svp;
        svp = AvARRAY(curname);
        for (off = AvFILLp(curname); off > 0; off--) {
            if ((sv = svp[off]) &&
-               sv != &sv_undef &&
+               sv != &PL_sv_undef &&
                seq <= SvIVX(sv) &&
                seq > I_32(SvNVX(sv)) &&
                strEQ(SvPVX(sv), name))
@@ -204,40 +214,50 @@ pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
                    newoff = pad_alloc(OP_PADSV, SVs_PADMY);
                    sv_upgrade(namesv, SVt_PVNV);
                    sv_setpv(namesv, name);
-                   av_store(comppad_name, newoff, namesv);
-                   SvNVX(namesv) = (double)curcop->cop_seq;
-                   SvIVX(namesv) = 999999999;  /* A ref, intro immediately */
+                   av_store(PL_comppad_name, newoff, namesv);
+                   SvNVX(namesv) = (double)PL_curcop->cop_seq;
+                   SvIVX(namesv) = PAD_MAX;    /* A ref, intro immediately */
                    SvFAKE_on(namesv);          /* A ref, not a real var */
-                   if (CvANON(compcv) || SvTYPE(compcv) == SVt_PVFM) {
+                   if (SvOBJECT(svp[off])) {   /* A typed var */
+                       SvOBJECT_on(namesv);
+                       (void)SvUPGRADE(namesv, SVt_PVMG);
+                       SvSTASH(namesv) = (HV*)SvREFCNT_inc((SV*)SvSTASH(svp[off]));
+                       PL_sv_objcount++;
+                   }
+                   if (CvANON(PL_compcv) || SvTYPE(PL_compcv) == SVt_PVFM) {
                        /* "It's closures all the way down." */
-                       CvCLONE_on(compcv);
+                       CvCLONE_on(PL_compcv);
                        if (cv == startcv) {
-                           if (CvANON(compcv))
+                           if (CvANON(PL_compcv))
                                oldsv = Nullsv; /* no need to keep ref */
                        }
                        else {
                            CV *bcv;
                            for (bcv = startcv;
                                 bcv && bcv != cv && !CvCLONE(bcv);
-                                bcv = CvOUTSIDE(bcv)) {
+                                bcv = CvOUTSIDE(bcv))
+                           {
                                if (CvANON(bcv))
                                    CvCLONE_on(bcv);
                                else {
-                                   if (dowarn && !CvUNIQUE(cv))
+                                   if (PL_dowarn
+                                       && !CvUNIQUE(bcv) && !CvUNIQUE(cv))
+                                   {
                                        warn(
                                          "Variable \"%s\" may be unavailable",
                                             name);
+                                   }
                                    break;
                                }
                            }
                        }
                    }
-                   else if (!CvUNIQUE(compcv)) {
-                       if (dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
+                   else if (!CvUNIQUE(PL_compcv)) {
+                       if (PL_dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
                            warn("Variable \"%s\" will not stay shared", name);
                    }
                }
-               av_store(comppad, newoff, SvREFCNT_inc(oldsv));
+               av_store(PL_comppad, newoff, SvREFCNT_inc(oldsv));
                return newoff;
            }
        }
@@ -248,20 +268,20 @@ pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
      * XXX This will also probably interact badly with eval tree caching.
      */
 
-    saweval = 0;
     for (i = cx_ix; i >= 0; i--) {
        cx = &cxstack[i];
-       switch (cx->cx_type) {
+       switch (CxTYPE(cx)) {
        default:
            if (i == 0 && saweval) {
                seq = cxstack[saweval].blk_oldcop->cop_seq;
-               return pad_findlex(name, newoff, seq, main_cv, 0);
+               return pad_findlex(name, newoff, seq, PL_main_cv, -1, saweval);
            }
            break;
        case CXt_EVAL:
            switch (cx->blk_eval.old_op_type) {
            case OP_ENTEREVAL:
-               saweval = i;
+               if (CxREALEVAL(cx))
+                   saweval = i;
                break;
            case OP_REQUIRE:
                /* require must have its own scope */
@@ -272,12 +292,12 @@ pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
            if (!saweval)
                return 0;
            cv = cx->blk_sub.cv;
-           if (debstash && CvSTASH(cv) == debstash) {  /* ignore DB'* scope */
+           if (PL_debstash && CvSTASH(cv) == PL_debstash) {    /* ignore DB'* scope */
                saweval = i;    /* so we know where we were called from */
                continue;
            }
            seq = cxstack[saweval].blk_oldcop->cop_seq;
-           return pad_findlex(name, newoff, seq, cv, i-1);
+           return pad_findlex(name, newoff, seq, cv, i-1, saweval);
        }
     }
 
@@ -291,8 +311,10 @@ pad_findmy(char *name)
     I32 off;
     I32 pendoff = 0;
     SV *sv;
-    SV **svp = AvARRAY(comppad_name);
-    U32 seq = cop_seqmax;
+    SV **svp = AvARRAY(PL_comppad_name);
+    U32 seq = PL_cop_seqmax;
+    PERL_CONTEXT *cx;
+    CV *outside;
 
 #ifdef USE_THREADS
     /*
@@ -308,9 +330,9 @@ pad_findmy(char *name)
 #endif /* USE_THREADS */
 
     /* The one we're looking for is probably just before comppad_name_fill. */
-    for (off = AvFILLp(comppad_name); off > 0; off--) {
+    for (off = AvFILLp(PL_comppad_name); off > 0; off--) {
        if ((sv = svp[off]) &&
-           sv != &sv_undef &&
+           sv != &PL_sv_undef &&
            (!SvIVX(sv) ||
             (seq <= SvIVX(sv) &&
              seq > I_32(SvNVX(sv)))) &&
@@ -322,12 +344,24 @@ pad_findmy(char *name)
        }
     }
 
+    outside = CvOUTSIDE(PL_compcv);
+
+    /* Check if if we're compiling an eval'', and adjust seq to be the
+     * eval's seq number.  This depends on eval'' having a non-null
+     * CvOUTSIDE() while it is being compiled.  The eval'' itself is
+     * identified by CvUNIQUE being set and CvGV being null. */
+    if (outside && CvUNIQUE(PL_compcv) && !CvGV(PL_compcv) && cxstack_ix >= 0) {
+       cx = &cxstack[cxstack_ix];
+       if (CxREALEVAL(cx))
+           seq = cx->blk_oldcop->cop_seq;
+    }
+
     /* See if it's in a nested scope */
-    off = pad_findlex(name, 0, seq, CvOUTSIDE(compcv), cxstack_ix);
+    off = pad_findlex(name, 0, seq, outside, cxstack_ix, 0);
     if (off) {
        /* If there is a pending local definition, this new alias must die */
        if (pendoff)
-           SvIVX(AvARRAY(comppad_name)[off]) = seq;
+           SvIVX(AvARRAY(PL_comppad_name)[off]) = seq;
        return off;             /* pad_findlex returns 0 for failure...*/
     }
     return NOT_IN_PAD;         /* ...but we return NOT_IN_PAD for failure */
@@ -337,18 +371,18 @@ void
 pad_leavemy(I32 fill)
 {
     I32 off;
-    SV **svp = AvARRAY(comppad_name);
+    SV **svp = AvARRAY(PL_comppad_name);
     SV *sv;
-    if (min_intro_pending && fill < min_intro_pending) {
-       for (off = max_intro_pending; off >= min_intro_pending; off--) {
-           if ((sv = svp[off]) && sv != &sv_undef)
+    if (PL_min_intro_pending && fill < PL_min_intro_pending) {
+       for (off = PL_max_intro_pending; off >= PL_min_intro_pending; off--) {
+           if ((sv = svp[off]) && sv != &PL_sv_undef)
                warn("%s never introduced", SvPVX(sv));
        }
     }
     /* "Deintroduce" my variables that are leaving with this scope. */
-    for (off = AvFILLp(comppad_name); off > fill; off--) {
-       if ((sv = svp[off]) && sv != &sv_undef && SvIVX(sv) == 999999999)
-           SvIVX(sv) = cop_seqmax;
+    for (off = AvFILLp(PL_comppad_name); off > fill; off--) {
+       if ((sv = svp[off]) && sv != &PL_sv_undef && SvIVX(sv) == PAD_MAX)
+           SvIVX(sv) = PL_cop_seqmax;
     }
 }
 
@@ -359,43 +393,43 @@ pad_alloc(I32 optype, U32 tmptype)
     SV *sv;
     I32 retval;
 
-    if (AvARRAY(comppad) != curpad)
+    if (AvARRAY(PL_comppad) != PL_curpad)
        croak("panic: pad_alloc");
-    if (pad_reset_pending)
+    if (PL_pad_reset_pending)
        pad_reset();
     if (tmptype & SVs_PADMY) {
        do {
-           sv = *av_fetch(comppad, AvFILLp(comppad) + 1, TRUE);
+           sv = *av_fetch(PL_comppad, AvFILLp(PL_comppad) + 1, TRUE);
        } while (SvPADBUSY(sv));                /* need a fresh one */
-       retval = AvFILLp(comppad);
+       retval = AvFILLp(PL_comppad);
     }
     else {
-       SV **names = AvARRAY(comppad_name);
-       SSize_t names_fill = AvFILLp(comppad_name);
+       SV **names = AvARRAY(PL_comppad_name);
+       SSize_t names_fill = AvFILLp(PL_comppad_name);
        for (;;) {
            /*
             * "foreach" index vars temporarily become aliases to non-"my"
             * values.  Thus we must skip, not just pad values that are
             * marked as current pad values, but also those with names.
             */
-           if (++padix <= names_fill &&
-                  (sv = names[padix]) && sv != &sv_undef)
+           if (++PL_padix <= names_fill &&
+                  (sv = names[PL_padix]) && sv != &PL_sv_undef)
                continue;
-           sv = *av_fetch(comppad, padix, TRUE);
+           sv = *av_fetch(PL_comppad, PL_padix, TRUE);
            if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)))
                break;
        }
-       retval = padix;
+       retval = PL_padix;
     }
     SvFLAGS(sv) |= tmptype;
-    curpad = AvARRAY(comppad);
+    PL_curpad = AvARRAY(PL_comppad);
 #ifdef USE_THREADS
     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx alloc %ld for %s\n",
-                         (unsigned long) thr, (unsigned long) curpad,
+                         (unsigned long) thr, (unsigned long) PL_curpad,
                          (long) retval, op_name[optype]));
 #else
     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx alloc %ld for %s\n",
-                         (unsigned long) curpad,
+                         (unsigned long) PL_curpad,
                          (long) retval, op_name[optype]));
 #endif /* USE_THREADS */
     return (PADOFFSET)retval;
@@ -407,59 +441,59 @@ pad_sv(PADOFFSET po)
     dTHR;
 #ifdef USE_THREADS
     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx sv %d\n",
-                         (unsigned long) thr, (unsigned long) curpad, po));
+                         (unsigned long) thr, (unsigned long) PL_curpad, po));
 #else
     if (!po)
        croak("panic: pad_sv po");
     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx sv %d\n",
-                         (unsigned long) curpad, po));
+                         (unsigned long) PL_curpad, po));
 #endif /* USE_THREADS */
-    return curpad[po];         /* eventually we'll turn this into a macro */
+    return PL_curpad[po];              /* eventually we'll turn this into a macro */
 }
 
 void
 pad_free(PADOFFSET po)
 {
     dTHR;
-    if (!curpad)
+    if (!PL_curpad)
        return;
-    if (AvARRAY(comppad) != curpad)
+    if (AvARRAY(PL_comppad) != PL_curpad)
        croak("panic: pad_free curpad");
     if (!po)
        croak("panic: pad_free po");
 #ifdef USE_THREADS
     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx free %d\n",
-                         (unsigned long) thr, (unsigned long) curpad, po));
+                         (unsigned long) thr, (unsigned long) PL_curpad, po));
 #else
     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx free %d\n",
-                         (unsigned long) curpad, po));
+                         (unsigned long) PL_curpad, po));
 #endif /* USE_THREADS */
-    if (curpad[po] && curpad[po] != &sv_undef)
-       SvPADTMP_off(curpad[po]);
-    if ((I32)po < padix)
-       padix = po - 1;
+    if (PL_curpad[po] && PL_curpad[po] != &PL_sv_undef)
+       SvPADTMP_off(PL_curpad[po]);
+    if ((I32)po < PL_padix)
+       PL_padix = po - 1;
 }
 
 void
 pad_swipe(PADOFFSET po)
 {
     dTHR;
-    if (AvARRAY(comppad) != curpad)
+    if (AvARRAY(PL_comppad) != PL_curpad)
        croak("panic: pad_swipe curpad");
     if (!po)
        croak("panic: pad_swipe po");
 #ifdef USE_THREADS
     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx swipe %d\n",
-                         (unsigned long) thr, (unsigned long) curpad, po));
+                         (unsigned long) thr, (unsigned long) PL_curpad, po));
 #else
     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx swipe %d\n",
-                         (unsigned long) curpad, po));
+                         (unsigned long) PL_curpad, po));
 #endif /* USE_THREADS */
-    SvPADTMP_off(curpad[po]);
-    curpad[po] = NEWSV(1107,0);
-    SvPADTMP_on(curpad[po]);
-    if ((I32)po < padix)
-       padix = po - 1;
+    SvPADTMP_off(PL_curpad[po]);
+    PL_curpad[po] = NEWSV(1107,0);
+    SvPADTMP_on(PL_curpad[po]);
+    if ((I32)po < PL_padix)
+       PL_padix = po - 1;
 }
 
 /* XXX pad_reset() is currently disabled because it results in serious bugs.
@@ -475,24 +509,24 @@ pad_reset(void)
     dTHR;
     register I32 po;
 
-    if (AvARRAY(comppad) != curpad)
+    if (AvARRAY(PL_comppad) != PL_curpad)
        croak("panic: pad_reset curpad");
 #ifdef USE_THREADS
     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx reset\n",
-                         (unsigned long) thr, (unsigned long) curpad));
+                         (unsigned long) thr, (unsigned long) PL_curpad));
 #else
     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx reset\n",
-                         (unsigned long) curpad));
+                         (unsigned long) PL_curpad));
 #endif /* USE_THREADS */
-    if (!tainting) {   /* Can't mix tainted and non-tainted temporaries. */
-       for (po = AvMAX(comppad); po > padix_floor; po--) {
-           if (curpad[po] && !SvIMMORTAL(curpad[po]))
-               SvPADTMP_off(curpad[po]);
+    if (!PL_tainting) {        /* Can't mix tainted and non-tainted temporaries. */
+       for (po = AvMAX(PL_comppad); po > PL_padix_floor; po--) {
+           if (PL_curpad[po] && !SvIMMORTAL(PL_curpad[po]))
+               SvPADTMP_off(PL_curpad[po]);
        }
-       padix = padix_floor;
+       PL_padix = PL_padix_floor;
     }
 #endif
-    pad_reset_pending = FALSE;
+    PL_pad_reset_pending = FALSE;
 }
 
 #ifdef USE_THREADS
@@ -505,10 +539,10 @@ find_threadsv(char *name)
     PADOFFSET key;
     SV **svp;
     /* We currently only handle names of a single character */
-    p = strchr(threadsv_names, *name);
+    p = strchr(PL_threadsv_names, *name);
     if (!p)
        return NOT_IN_PAD;
-    key = p - threadsv_names;
+    key = p - PL_threadsv_names;
     svp = av_fetch(thr->threadsv, key, FALSE);
     if (!svp) {
        SV *sv = NEWSV(0, 0);
@@ -529,13 +563,18 @@ find_threadsv(char *name)
        case '&':
        case '`':
        case '\'':
-           sawampersand = TRUE;
+           PL_sawampersand = TRUE;
            SvREADONLY_on(sv);
            /* FALL THROUGH */
+
+       /* XXX %! tied to Errno.pm needs to be added here.
+        * See gv_fetchpv(). */
+       /* case '!': */
+
        default:
            sv_magic(sv, 0, 0, name, 1); 
        }
-       DEBUG_L(PerlIO_printf(PerlIO_stderr(),
+       DEBUG_S(PerlIO_printf(PerlIO_stderr(),
                              "find_threadsv: new SV %p for $%s%c\n",
                              sv, (*name < 32) ? "^" : "",
                              (*name < 32) ? toCTRL(*name) : *name));
@@ -569,12 +608,17 @@ op_free(OP *o)
        o->op_targ = 0; /* Was holding hints. */
        break;
 #ifdef USE_THREADS
+    case OP_ENTERITER:
+       if (!(o->op_flags & OPf_SPECIAL))
+           break;
+       /* FALL THROUGH */
     case OP_THREADSV:
        o->op_targ = 0; /* Was holding index into thr->threadsv AV. */
        break;
 #endif /* USE_THREADS */
     default:
-       if (!(o->op_flags & OPf_REF) || (check[o->op_type] != ck_ftst))
+       if (!(o->op_flags & OPf_REF)
+           || (check[o->op_type] != FUNC_NAME_TO_PTR(ck_ftst)))
            break;
        /* FALL THROUGH */
     case OP_GVSV:
@@ -605,6 +649,7 @@ op_free(OP *o)
        /* FALL THROUGH */
     case OP_PUSHRE:
     case OP_MATCH:
+    case OP_QR:
        ReREFCNT_dec(cPMOPo->op_pmregexp);
        break;
     }
@@ -615,7 +660,7 @@ op_free(OP *o)
     Safefree(o);
 }
 
-static void
+STATIC void
 null(OP *o)
 {
     if (o->op_type != OP_NULL && o->op_type != OP_THREADSV && o->op_targ > 0)
@@ -664,18 +709,18 @@ scalarkids(OP *o)
     return o;
 }
 
-static OP *
+STATIC OP *
 scalarboolean(OP *o)
 {
-    if (dowarn &&
+    if (PL_dowarn &&
        o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
        dTHR;
-       line_t oldline = curcop->cop_line;
+       line_t oldline = PL_curcop->cop_line;
 
-       if (copline != NOLINE)
-           curcop->cop_line = copline;
+       if (PL_copline != NOLINE)
+           PL_curcop->cop_line = PL_copline;
        warn("Found = in conditional, should be ==");
-       curcop->cop_line = oldline;
+       PL_curcop->cop_line = oldline;
     }
     return scalar(o);
 }
@@ -686,7 +731,7 @@ scalar(OP *o)
     OP *kid;
 
     /* assumes no premature commitment */
-    if (!o || (o->op_flags & OPf_WANT) || error_count
+    if (!o || (o->op_flags & OPf_WANT) || PL_error_count
         || o->op_type == OP_RETURN)
        return o;
 
@@ -711,6 +756,7 @@ scalar(OP *o)
        }
        /* FALL THROUGH */
     case OP_MATCH:
+    case OP_QR:
     case OP_SUBST:
     case OP_NULL:
     default:
@@ -729,7 +775,7 @@ scalar(OP *o)
            else
                scalar(kid);
        }
-       WITH_THR(curcop = &compiling);
+       WITH_THR(PL_curcop = &PL_compiling);
        break;
     case OP_SCOPE:
     case OP_LINESEQ:
@@ -740,7 +786,7 @@ scalar(OP *o)
            else
                scalar(kid);
        }
-       WITH_THR(curcop = &compiling);
+       WITH_THR(PL_curcop = &PL_compiling);
        break;
     }
     return o;
@@ -754,7 +800,7 @@ scalarvoid(OP *o)
     SV* sv;
 
     /* assumes no premature commitment */
-    if (!o || (o->op_flags & OPf_WANT) == OPf_WANT_LIST || error_count
+    if (!o || (o->op_flags & OPf_WANT) == OPf_WANT_LIST || PL_error_count
         || o->op_type == OP_RETURN)
        return o;
 
@@ -768,6 +814,10 @@ scalarvoid(OP *o)
     case OP_REPEAT:
        if (o->op_flags & OPf_STACKED)
            break;
+       goto func_ops;
+    case OP_SUBSTR:
+       if (o->op_private == 4)
+           break;
        /* FALL THROUGH */
     case OP_GVSV:
     case OP_WANTARRAY:
@@ -784,7 +834,6 @@ scalarvoid(OP *o)
     case OP_HEX:
     case OP_OCT:
     case OP_LENGTH:
-    case OP_SUBSTR:
     case OP_VEC:
     case OP_INDEX:
     case OP_RINDEX:
@@ -837,6 +886,7 @@ scalarvoid(OP *o)
     case OP_GGRNAM:
     case OP_GGRGID:
     case OP_GETLOGIN:
+      func_ops:
        if (!(o->op_private & OPpLVAL_INTRO))
            useless = op_desc[o->op_type];
        break;
@@ -852,12 +902,12 @@ scalarvoid(OP *o)
 
     case OP_NEXTSTATE:
     case OP_DBSTATE:
-       WITH_THR(curcop = ((COP*)o));           /* for warning below */
+       WITH_THR(PL_curcop = ((COP*)o));                /* for warning below */
        break;
 
     case OP_CONST:
        sv = cSVOPo->op_sv;
-       if (dowarn) {
+       if (PL_dowarn) {
            useless = "a constant";
            if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
                useless = 0;
@@ -891,7 +941,7 @@ scalarvoid(OP *o)
 
     case OP_NULL:
        if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
-           WITH_THR(curcop = ((COP*)o));       /* for warning below */
+           WITH_THR(PL_curcop = ((COP*)o));    /* for warning below */
        if (o->op_flags & OPf_STACKED)
            break;
        /* FALL THROUGH */
@@ -924,7 +974,7 @@ scalarvoid(OP *o)
        }
        break;
     }
-    if (useless && dowarn)
+    if (useless && PL_dowarn)
        warn("Useless use of %s in void context", useless);
     return o;
 }
@@ -946,7 +996,7 @@ list(OP *o)
     OP *kid;
 
     /* assumes no premature commitment */
-    if (!o || (o->op_flags & OPf_WANT) || error_count
+    if (!o || (o->op_flags & OPf_WANT) || PL_error_count
         || o->op_type == OP_RETURN)
        return o;
 
@@ -965,6 +1015,7 @@ list(OP *o)
        break;
     default:
     case OP_MATCH:
+    case OP_QR:
     case OP_SUBST:
     case OP_NULL:
        if (!(o->op_flags & OPf_KIDS))
@@ -986,7 +1037,7 @@ list(OP *o)
            else
                list(kid);
        }
-       WITH_THR(curcop = &compiling);
+       WITH_THR(PL_curcop = &PL_compiling);
        break;
     case OP_SCOPE:
     case OP_LINESEQ:
@@ -996,7 +1047,7 @@ list(OP *o)
            else
                list(kid);
        }
-       WITH_THR(curcop = &compiling);
+       WITH_THR(PL_curcop = &PL_compiling);
        break;
     case OP_REQUIRE:
        /* all requires must return a boolean value */
@@ -1023,10 +1074,10 @@ scalarseq(OP *o)
                    scalarvoid(kid);
                }
            }
-           curcop = &compiling;
+           PL_curcop = &PL_compiling;
        }
        o->op_flags &= ~OPf_PARENS;
-       if (hints & HINT_BLOCK_SCOPE)
+       if (PL_hints & HINT_BLOCK_SCOPE)
            o->op_flags |= OPf_PARENS;
     }
     else
@@ -1034,7 +1085,7 @@ scalarseq(OP *o)
     return o;
 }
 
-static OP *
+STATIC OP *
 modkids(OP *o, I32 type)
 {
     OP *kid;
@@ -1045,8 +1096,6 @@ modkids(OP *o, I32 type)
     return o;
 }
 
-static I32 modcount;
-
 OP *
 mod(OP *o, I32 type)
 {
@@ -1054,23 +1103,23 @@ mod(OP *o, I32 type)
     OP *kid;
     SV *sv;
 
-    if (!o || error_count)
+    if (!o || PL_error_count)
        return o;
 
     switch (o->op_type) {
     case OP_UNDEF:
-       modcount++;
+       PL_modcount++;
        return o;
     case OP_CONST:
        if (!(o->op_private & (OPpCONST_ARYBASE)))
            goto nomod;
-       if (eval_start && eval_start->op_type == OP_CONST) {
-           compiling.cop_arybase = (I32)SvIV(((SVOP*)eval_start)->op_sv);
-           eval_start = 0;
+       if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
+           PL_compiling.cop_arybase = (I32)SvIV(((SVOP*)PL_eval_start)->op_sv);
+           PL_eval_start = 0;
        }
        else if (!type) {
-           SAVEI32(compiling.cop_arybase);
-           compiling.cop_arybase = 0;
+           SAVEI32(PL_compiling.cop_arybase);
+           PL_compiling.cop_arybase = 0;
        }
        else if (type == OP_REFGEN)
            goto nomod;
@@ -1123,7 +1172,7 @@ mod(OP *o, I32 type)
     case OP_I_SUBTRACT:
        if (!(o->op_flags & OPf_STACKED))
            goto nomod;
-       modcount++;
+       PL_modcount++;
        break;
        
     case OP_COND_EXPR:
@@ -1136,7 +1185,7 @@ mod(OP *o, I32 type)
        if (!type && cUNOPo->op_first->op_type != OP_GV)
            croak("Can't localize through a reference");
        if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
-           modcount = 10000;
+           PL_modcount = 10000;
            return o;           /* Treat \(@foo) like ordinary list. */
        }
        /* FALL THROUGH */
@@ -1152,7 +1201,7 @@ mod(OP *o, I32 type)
     case OP_DBSTATE:
     case OP_REFGEN:
     case OP_CHOMP:
-       modcount = 10000;
+       PL_modcount = 10000;
        break;
     case OP_RV2SV:
        if (!type && cUNOPo->op_first->op_type != OP_GV)
@@ -1161,30 +1210,30 @@ mod(OP *o, I32 type)
        /* FALL THROUGH */
     case OP_GV:
     case OP_AV2ARYLEN:
-       hints |= HINT_BLOCK_SCOPE;
+       PL_hints |= HINT_BLOCK_SCOPE;
     case OP_SASSIGN:
     case OP_AELEMFAST:
-       modcount++;
+       PL_modcount++;
        break;
 
     case OP_PADAV:
     case OP_PADHV:
-       modcount = 10000;
+       PL_modcount = 10000;
        if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
            return o;           /* Treat \(@foo) like ordinary list. */
        if (scalar_mod_type(o, type))
            goto nomod;
        /* FALL THROUGH */
     case OP_PADSV:
-       modcount++;
+       PL_modcount++;
        if (!type)
            croak("Can't localize lexical variable %s",
-               SvPV(*av_fetch(comppad_name, o->op_targ, 4), na));
+               SvPV(*av_fetch(PL_comppad_name, o->op_targ, 4), PL_na));
        break;
 
 #ifdef USE_THREADS
     case OP_THREADSV:
-       modcount++;     /* XXX ??? */
+       PL_modcount++;  /* XXX ??? */
        break;
 #endif /* USE_THREADS */
 
@@ -1194,10 +1243,14 @@ mod(OP *o, I32 type)
     case OP_KEYS:
        if (type != OP_SASSIGN)
            goto nomod;
+       goto lvalue_func;
+    case OP_SUBSTR:
+       if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
+           goto nomod;
        /* FALL THROUGH */
     case OP_POS:
     case OP_VEC:
-    case OP_SUBSTR:
+      lvalue_func:
        pad_free(o->op_targ);
        o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
        assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
@@ -1211,7 +1264,7 @@ mod(OP *o, I32 type)
        if (type == OP_ENTERSUB &&
             !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
            o->op_private |= OPpLVAL_DEFER;
-       modcount++;
+       PL_modcount++;
        break;
 
     case OP_SCOPE:
@@ -1241,6 +1294,7 @@ mod(OP *o, I32 type)
     else if (!type) {
        o->op_private |= OPpLVAL_INTRO;
        o->op_flags &= ~OPf_SPECIAL;
+       PL_hints |= HINT_BLOCK_SCOPE;
     }
     else if (type != OP_GREPSTART && type != OP_ENTERSUB)
        o->op_flags |= OPf_REF;
@@ -1283,6 +1337,9 @@ scalar_mod_type(OP *o, I32 type)
     case OP_CONCAT:
     case OP_SUBST:
     case OP_TRANS:
+    case OP_READ:
+    case OP_SYSREAD:
+    case OP_RECV:
     case OP_ANDASSIGN: /* may work later */
     case OP_ORASSIGN:  /* may work later */
        return TRUE;
@@ -1307,7 +1364,7 @@ ref(OP *o, I32 type)
 {
     OP *kid;
 
-    if (!o || error_count)
+    if (!o || PL_error_count)
        return o;
 
     switch (o->op_type) {
@@ -1393,7 +1450,7 @@ my(OP *o)
     OP *kid;
     I32 type;
 
-    if (!o || error_count)
+    if (!o || PL_error_count)
        return o;
 
     type = o->op_type;
@@ -1428,7 +1485,7 @@ bind_match(I32 type, OP *left, OP *right)
 {
     OP *o;
 
-    if (dowarn &&
+    if (PL_dowarn &&
        (left->op_type == OP_RV2AV ||
         left->op_type == OP_RV2HV ||
         left->op_type == OP_PADAV ||
@@ -1474,7 +1531,7 @@ OP *
 scope(OP *o)
 {
     if (o) {
-       if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || tainting) {
+       if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
            o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
            o->op_type = OP_LEAVE;
            o->op_ppaddr = ppaddr[OP_LEAVE];
@@ -1497,27 +1554,37 @@ scope(OP *o)
     return o;
 }
 
+void
+save_hints(void)
+{
+    SAVEI32(PL_hints);
+    SAVESPTR(GvHV(PL_hintgv));
+    GvHV(PL_hintgv) = newHVhv(GvHV(PL_hintgv));
+    SAVEFREESV(GvHV(PL_hintgv));
+}
+
 int
 block_start(int full)
 {
     dTHR;
-    int retval = savestack_ix;
-    SAVEI32(comppad_name_floor);
+    int retval = PL_savestack_ix;
+
+    SAVEI32(PL_comppad_name_floor);
     if (full) {
-       if ((comppad_name_fill = AvFILLp(comppad_name)) > 0)
-           comppad_name_floor = comppad_name_fill;
+       if ((PL_comppad_name_fill = AvFILLp(PL_comppad_name)) > 0)
+           PL_comppad_name_floor = PL_comppad_name_fill;
        else
-           comppad_name_floor = 0;
-    }
-    SAVEI32(min_intro_pending);
-    SAVEI32(max_intro_pending);
-    min_intro_pending = 0;
-    SAVEI32(comppad_name_fill);
-    SAVEI32(padix_floor);
-    padix_floor = padix;
-    pad_reset_pending = FALSE;
-    SAVEI32(hints);
-    hints &= ~HINT_BLOCK_SCOPE;
+           PL_comppad_name_floor = 0;
+    }
+    SAVEI32(PL_min_intro_pending);
+    SAVEI32(PL_max_intro_pending);
+    PL_min_intro_pending = 0;
+    SAVEI32(PL_comppad_name_fill);
+    SAVEI32(PL_padix_floor);
+    PL_padix_floor = PL_padix;
+    PL_pad_reset_pending = FALSE;
+    SAVEHINTS();
+    PL_hints &= ~HINT_BLOCK_SCOPE;
     return retval;
 }
 
@@ -1525,18 +1592,18 @@ OP*
 block_end(I32 floor, OP *seq)
 {
     dTHR;
-    int needblockscope = hints & HINT_BLOCK_SCOPE;
+    int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
     OP* retval = scalarseq(seq);
     LEAVE_SCOPE(floor);
-    pad_reset_pending = FALSE;
+    PL_pad_reset_pending = FALSE;
     if (needblockscope)
-       hints |= HINT_BLOCK_SCOPE; /* propagate out */
-    pad_leavemy(comppad_name_fill);
-    cop_seqmax++;
+       PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
+    pad_leavemy(PL_comppad_name_fill);
+    PL_cop_seqmax++;
     return retval;
 }
 
-static OP *
+STATIC OP *
 newDEFSVOP(void)
 {
 #ifdef USE_THREADS
@@ -1544,7 +1611,7 @@ newDEFSVOP(void)
     o->op_targ = find_threadsv("_");
     return o;
 #else
-    return newSVREF(newGVOP(OP_GV, 0, defgv));
+    return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
 #endif /* USE_THREADS */
 }
 
@@ -1552,29 +1619,29 @@ void
 newPROG(OP *o)
 {
     dTHR;
-    if (in_eval) {
-       eval_root = newUNOP(OP_LEAVEEVAL, ((in_eval & 4) ? OPf_SPECIAL : 0), o);
-       eval_start = linklist(eval_root);
-       eval_root->op_next = 0;
-       peep(eval_start);
+    if (PL_in_eval) {
+       PL_eval_root = newUNOP(OP_LEAVEEVAL, ((PL_in_eval & 4) ? OPf_SPECIAL : 0), o);
+       PL_eval_start = linklist(PL_eval_root);
+       PL_eval_root->op_next = 0;
+       peep(PL_eval_start);
     }
     else {
        if (!o)
            return;
-       main_root = scope(sawparens(scalarvoid(o)));
-       curcop = &compiling;
-       main_start = LINKLIST(main_root);
-       main_root->op_next = 0;
-       peep(main_start);
-       compcv = 0;
+       PL_main_root = scope(sawparens(scalarvoid(o)));
+       PL_curcop = &PL_compiling;
+       PL_main_start = LINKLIST(PL_main_root);
+       PL_main_root->op_next = 0;
+       peep(PL_main_start);
+       PL_compcv = 0;
 
        /* Register with debugger */
        if (PERLDB_INTER) {
            CV *cv = perl_get_cv("DB::postponed", FALSE);
            if (cv) {
                dSP;
-               PUSHMARK(sp);
-               XPUSHs((SV*)compiling.cop_filegv);
+               PUSHMARK(SP);
+               XPUSHs((SV*)PL_compiling.cop_filegv);
                PUTBACK;
                perl_call_sv((SV*)cv, G_DISCARD);
            }
@@ -1588,15 +1655,15 @@ localize(OP *o, I32 lex)
     if (o->op_flags & OPf_PARENS)
        list(o);
     else {
-       if (dowarn && bufptr > oldbufptr && bufptr[-1] == ',') {
+       if (PL_dowarn && PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == ',') {
            char *s;
-           for (s = bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
+           for (s = PL_bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
            if (*s == ';' || *s == '=')
                warn("Parens missing around \"%s\" list", lex ? "my" : "local");
        }
     }
-    in_my = FALSE;
-    in_my_stash = Nullhv;
+    PL_in_my = FALSE;
+    PL_in_my_stash = Nullhv;
     if (lex)
        return my(o);
     else
@@ -1632,7 +1699,7 @@ fold_constants(register OP *o)
     if (opargs[type] & OA_TARGET)
        o->op_targ = pad_alloc(type, SVs_PADTMP);
 
-    if ((opargs[type] & OA_OTHERINT) && (hints & HINT_INTEGER))
+    if ((opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER))
        o->op_ppaddr = ppaddr[type = ++(o->op_type)];
 
     if (!(opargs[type] & OA_FOLDCONST))
@@ -1654,7 +1721,7 @@ fold_constants(register OP *o)
            goto nope;
     }
 
-    if (error_count)
+    if (PL_error_count)
        goto nope;              /* Don't try to run w/ errors */
 
     for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
@@ -1669,9 +1736,9 @@ fold_constants(register OP *o)
 
     curop = LINKLIST(o);
     o->op_next = 0;
-    op = curop;
-    runops();
-    sv = *(stack_sp--);
+    PL_op = curop;
+    CALLRUNOPS();
+    sv = *(PL_stack_sp--);
     if (o->op_targ && sv == PAD_SV(o->op_targ))        /* grab pad temp? */
        pad_swipe(o->op_targ);
     else if (SvTEMP(sv)) {                     /* grab mortal temp? */
@@ -1682,9 +1749,12 @@ fold_constants(register OP *o)
     if (type == OP_RV2GV)
        return newGVOP(OP_GV, 0, (GV*)sv);
     else {
-       if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK) {
+       /* try to smush double to int, but don't smush -2.0 to -2 */
+       if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK &&
+           type != OP_NEGATE)
+       {
            IV iv = SvIV(sv);
-           if ((double)iv == SvNV(sv)) {       /* can we smush double to int */
+           if ((double)iv == SvNV(sv)) {
                SvREFCNT_dec(sv);
                sv = newSViv(iv);
            }
@@ -1698,7 +1768,7 @@ fold_constants(register OP *o)
     if (!(opargs[type] & OA_OTHERINT))
        return o;
 
-    if (!(hints & HINT_INTEGER)) {
+    if (!(PL_hints & HINT_INTEGER)) {
        if (type == OP_DIVIDE || !(o->op_flags & OPf_KIDS))
            return o;
 
@@ -1723,24 +1793,24 @@ gen_constant_list(register OP *o)
 {
     dTHR;
     register OP *curop;
-    I32 oldtmps_floor = tmps_floor;
+    I32 oldtmps_floor = PL_tmps_floor;
 
     list(o);
-    if (error_count)
+    if (PL_error_count)
        return o;               /* Don't attempt to run with errors */
 
-    op = curop = LINKLIST(o);
+    PL_op = curop = LINKLIST(o);
     o->op_next = 0;
     pp_pushmark(ARGS);
-    runops();
-    op = curop;
+    CALLRUNOPS();
+    PL_op = curop;
     pp_anonlist(ARGS);
-    tmps_floor = oldtmps_floor;
+    PL_tmps_floor = oldtmps_floor;
 
     o->op_type = OP_RV2AV;
     o->op_ppaddr = ppaddr[OP_RV2AV];
     curop = ((UNOP*)o)->op_first;
-    ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*stack_sp--));
+    ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*PL_stack_sp--));
     op_free(curop);
     linklist(o);
     return list(o);
@@ -1822,7 +1892,7 @@ append_list(I32 type, LISTOP *first, LISTOP *last)
     first->op_last = last->op_last;
     first->op_children += last->op_children;
     if (first->op_children)
-       last->op_flags |= OPf_KIDS;
+       first->op_flags |= OPf_KIDS;
 
     Safefree(last);
     return (OP*)first;
@@ -1943,12 +2013,6 @@ newUNOP(I32 type, I32 flags, OP *first)
     unop->op_first = first;
     unop->op_flags = flags | OPf_KIDS;
     unop->op_private = 1 | (flags >> 8);
-#if 1
-    if(type == OP_STUDY && first->op_type == OP_MATCH) {
-       first->op_type = OP_PUSHRE;
-       first->op_ppaddr = ppaddr[OP_PUSHRE];
-    }
-#endif
     unop = (UNOP*) CHECKOP(type, unop);
     if (unop->op_next)
        return (OP*)unop;
@@ -2066,13 +2130,16 @@ newPMOP(I32 type, I32 flags)
     pmop->op_flags = flags;
     pmop->op_private = 0 | (flags >> 8);
 
-    if (hints & HINT_LOCALE)
-       pmop->op_pmpermflags = (pmop->op_pmflags |= PMf_LOCALE);
+    if (PL_hints & HINT_RE_TAINT)
+       pmop->op_pmpermflags |= PMf_RETAINT;
+    if (PL_hints & HINT_LOCALE)
+       pmop->op_pmpermflags |= PMf_LOCALE;
+    pmop->op_pmflags = pmop->op_pmpermflags;
 
     /* link into pm list */
-    if (type != OP_TRANS && curstash) {
-       pmop->op_pmnext = HvPMROOT(curstash);
-       HvPMROOT(curstash) = pmop;
+    if (type != OP_TRANS && PL_curstash) {
+       pmop->op_pmnext = HvPMROOT(PL_curstash);
+       HvPMROOT(PL_curstash) = pmop;
     }
 
     return (OP*)pmop;
@@ -2081,13 +2148,15 @@ newPMOP(I32 type, I32 flags)
 OP *
 pmruntime(OP *o, OP *expr, OP *repl)
 {
+    dTHR;
     PMOP *pm;
     LOGOP *rcop;
+    I32 repl_has_vars = 0;
 
     if (o->op_type == OP_TRANS)
        return pmtrans(o, expr, repl);
 
-    hints |= HINT_BLOCK_SCOPE;
+    PL_hints |= HINT_BLOCK_SCOPE;
     pm = (PMOP*)o;
 
     if (expr->op_type == OP_CONST) {
@@ -2099,25 +2168,29 @@ pmruntime(OP *o, OP *expr, OP *repl)
            p = SvPV(pat, plen);
            pm->op_pmflags |= PMf_SKIPWHITE;
        }
-       pm->op_pmregexp = pregcomp(p, p + plen, pm);
+       pm->op_pmregexp = CALLREGCOMP(p, p + plen, pm);
        if (strEQ("\\s+", pm->op_pmregexp->precomp))
            pm->op_pmflags |= PMf_WHITE;
        op_free(expr);
     }
     else {
-       if (pm->op_pmflags & PMf_KEEP)
-           expr = newUNOP(OP_REGCMAYBE,0,expr);
+       if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
+           expr = newUNOP((!(PL_hints & HINT_RE_EVAL) 
+                           ? OP_REGCRESET
+                           : OP_REGCMAYBE),0,expr);
 
        Newz(1101, rcop, 1, LOGOP);
        rcop->op_type = OP_REGCOMP;
        rcop->op_ppaddr = ppaddr[OP_REGCOMP];
        rcop->op_first = scalar(expr);
-       rcop->op_flags |= OPf_KIDS;
+       rcop->op_flags |= ((PL_hints & HINT_RE_EVAL) 
+                          ? (OPf_SPECIAL | OPf_KIDS)
+                          : OPf_KIDS);
        rcop->op_private = 1;
        rcop->op_other = o;
 
        /* establish postfix order */
-       if (pm->op_pmflags & PMf_KEEP) {
+       if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
            LINKLIST(expr);
            rcop->op_next = expr;
            ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
@@ -2137,7 +2210,7 @@ pmruntime(OP *o, OP *expr, OP *repl)
 #ifdef USE_THREADS
        else if (repl->op_type == OP_THREADSV
                 && strchr("&`'123456789+",
-                          threadsv_names[repl->op_targ]))
+                          PL_threadsv_names[repl->op_targ]))
        {
            curop = 0;
        }
@@ -2149,13 +2222,15 @@ pmruntime(OP *o, OP *expr, OP *repl)
            for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
                if (opargs[curop->op_type] & OA_DANGEROUS) {
 #ifdef USE_THREADS
-                   if (curop->op_type == OP_THREADSV
-                       && strchr("&`'123456789+", curop->op_private)) {
-                       break;
+                   if (curop->op_type == OP_THREADSV) {
+                       repl_has_vars = 1;
+                       if (strchr("&`'123456789+", curop->op_private))
+                           break;
                    }
 #else
                    if (curop->op_type == OP_GV) {
                        GV *gv = ((GVOP*)curop)->op_gv;
+                       repl_has_vars = 1;
                        if (strchr("&`'123456789+", *GvENAME(gv)))
                            break;
                    }
@@ -2173,20 +2248,29 @@ pmruntime(OP *o, OP *expr, OP *repl)
                             curop->op_type == OP_PADAV ||
                             curop->op_type == OP_PADHV ||
                             curop->op_type == OP_PADANY) {
-                            /* is okay */
+                       repl_has_vars = 1;
                    }
+                   else if (curop->op_type == OP_PUSHRE)
+                       ; /* Okay here, dangerous in newASSIGNOP */
                    else
                        break;
                }
                lastop = curop;
            }
        }
-       if (curop == repl) {
+       if (curop == repl
+           && !(repl_has_vars 
+                && (!pm->op_pmregexp 
+                    || pm->op_pmregexp->reganch & ROPT_EVAL_SEEN))) {
            pm->op_pmflags |= PMf_CONST;        /* const for long enough */
            pm->op_pmpermflags |= PMf_CONST;    /* const for long enough */
            prepend_elem(o->op_type, scalar(repl), o);
        }
        else {
+           if (curop == repl && !pm->op_pmregexp) { /* Has variables. */
+               pm->op_pmflags |= PMf_MAYBE_CONST;
+               pm->op_pmpermflags |= PMf_MAYBE_CONST;
+           }
            Newz(1101, rcop, 1, LOGOP);
            rcop->op_type = OP_SUBSTCONT;
            rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
@@ -2266,23 +2350,24 @@ package(OP *o)
     dTHR;
     SV *sv;
 
-    save_hptr(&curstash);
-    save_item(curstname);
+    save_hptr(&PL_curstash);
+    save_item(PL_curstname);
     if (o) {
        STRLEN len;
        char *name;
        sv = cSVOPo->op_sv;
        name = SvPV(sv, len);
-       curstash = gv_stashpvn(name,len,TRUE);
-       sv_setpvn(curstname, name, len);
+       PL_curstash = gv_stashpvn(name,len,TRUE);
+       sv_setpvn(PL_curstname, name, len);
        op_free(o);
     }
     else {
-       sv_setpv(curstname,"<none>");
-       curstash = Nullhv;
+       sv_setpv(PL_curstname,"<none>");
+       PL_curstash = Nullhv;
     }
-    copline = NOLINE;
-    expect = XSTATE;
+    PL_hints |= HINT_BLOCK_SCOPE;
+    PL_copline = NOLINE;
+    PL_expect = XSTATE;
 }
 
 void
@@ -2357,8 +2442,8 @@ utilize(int aver, I32 floor, OP *version, OP *id, OP *arg)
                newSTATEOP(0, Nullch, veop)),
            newSTATEOP(0, Nullch, imop) ));
 
-    copline = NOLINE;
-    expect = XSTATE;
+    PL_copline = NOLINE;
+    PL_expect = XSTATE;
 }
 
 OP *
@@ -2369,7 +2454,7 @@ newSLICEOP(I32 flags, OP *subscript, OP *listval)
            list(force_list(listval)) );
 }
 
-static I32
+STATIC I32
 list_assignment(register OP *o)
 {
     if (!o)
@@ -2421,11 +2506,12 @@ newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
     }
 
     if (list_assignment(left)) {
-       modcount = 0;
-       eval_start = right;     /* Grandfathering $[ assignment here.  Bletch.*/
+       dTHR;
+       PL_modcount = 0;
+       PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
        left = mod(left, OP_AASSIGN);
-       if (eval_start)
-           eval_start = 0;
+       if (PL_eval_start)
+           PL_eval_start = 0;
        else {
            op_free(left);
            op_free(right);
@@ -2436,27 +2522,26 @@ newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
                list(force_list(left)) );
        o->op_private = 0 | (flags >> 8);
        if (!(left->op_private & OPpLVAL_INTRO)) {
-           static int generation = 100;
            OP *curop;
            OP *lastop = o;
-           generation++;
+           PL_generation++;
            for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
                if (opargs[curop->op_type] & OA_DANGEROUS) {
                    if (curop->op_type == OP_GV) {
                        GV *gv = ((GVOP*)curop)->op_gv;
-                       if (gv == defgv || SvCUR(gv) == generation)
+                       if (gv == PL_defgv || SvCUR(gv) == PL_generation)
                            break;
-                       SvCUR(gv) = generation;
+                       SvCUR(gv) = PL_generation;
                    }
                    else if (curop->op_type == OP_PADSV ||
                             curop->op_type == OP_PADAV ||
                             curop->op_type == OP_PADHV ||
                             curop->op_type == OP_PADANY) {
-                       SV **svp = AvARRAY(comppad_name);
+                       SV **svp = AvARRAY(PL_comppad_name);
                        SV *sv = svp[curop->op_targ];
-                       if (SvCUR(sv) == generation)
+                       if (SvCUR(sv) == PL_generation)
                            break;
-                       SvCUR(sv) = generation; /* (SvCUR not used any more) */
+                       SvCUR(sv) = PL_generation;      /* (SvCUR not used any more) */
                    }
                    else if (curop->op_type == OP_RV2CV)
                        break;
@@ -2467,6 +2552,14 @@ newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
                        if (lastop->op_type != OP_GV)   /* funny deref? */
                            break;
                    }
+                   else if (curop->op_type == OP_PUSHRE) {
+                       if (((PMOP*)curop)->op_pmreplroot) {
+                           GV *gv = (GV*)((PMOP*)curop)->op_pmreplroot;
+                           if (gv == PL_defgv || SvCUR(gv) == PL_generation)
+                               break;
+                           SvCUR(gv) = PL_generation;
+                       }       
+                   }
                    else
                        break;
                }
@@ -2500,12 +2593,12 @@ newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
                    }
                }
                else {
-                   if (modcount < 10000 &&
+                   if (PL_modcount < 10000 &&
                      ((LISTOP*)right)->op_last->op_type == OP_CONST)
                    {
                        SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
                        if (SvIVX(sv) == 0)
-                           sv_setiv(sv, modcount+1);
+                           sv_setiv(sv, PL_modcount+1);
                    }
                }
            }
@@ -2519,11 +2612,11 @@ newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
        return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
     }
     else {
-       eval_start = right;     /* Grandfathering $[ assignment here.  Bletch.*/
+       PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
        o = newBINOP(OP_SASSIGN, flags,
            scalar(right), mod(scalar(left), OP_SASSIGN) );
-       if (eval_start)
-           eval_start = 0;
+       if (PL_eval_start)
+           PL_eval_start = 0;
        else {
            op_free(o);
            return Nullop;
@@ -2540,7 +2633,7 @@ newSTATEOP(I32 flags, char *label, OP *o)
     register COP *cop;
 
     Newz(1101, cop, 1, COP);
-    if (PERLDB_LINE && curcop->cop_line && curstash != debstash) {
+    if (PERLDB_LINE && PL_curcop->cop_line && PL_curstash != PL_debstash) {
        cop->op_type = OP_DBSTATE;
        cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
     }
@@ -2557,23 +2650,23 @@ newSTATEOP(I32 flags, char *label, OP *o)
 
     if (label) {
        cop->cop_label = label;
-       hints |= HINT_BLOCK_SCOPE;
+       PL_hints |= HINT_BLOCK_SCOPE;
     }
     cop->cop_seq = seq;
-    cop->cop_arybase = curcop->cop_arybase;
+    cop->cop_arybase = PL_curcop->cop_arybase;
 
-    if (copline == NOLINE)
-        cop->cop_line = curcop->cop_line;
+    if (PL_copline == NOLINE)
+        cop->cop_line = PL_curcop->cop_line;
     else {
-        cop->cop_line = copline;
-        copline = NOLINE;
+        cop->cop_line = PL_copline;
+        PL_copline = NOLINE;
     }
-    cop->cop_filegv = (GV*)SvREFCNT_inc(curcop->cop_filegv);
-    cop->cop_stash = curstash;
+    cop->cop_filegv = (GV*)SvREFCNT_inc(PL_curcop->cop_filegv);
+    cop->cop_stash = PL_curstash;
 
-    if (PERLDB_LINE && curstash != debstash) {
-       SV **svp = av_fetch(GvAV(curcop->cop_filegv),(I32)cop->cop_line, FALSE);
-       if (svp && *svp != &sv_undef && !SvIOK(*svp)) {
+    if (PERLDB_LINE && PL_curstash != PL_debstash) {
+       SV **svp = av_fetch(GvAV(PL_curcop->cop_filegv),(I32)cop->cop_line, FALSE);
+       if (svp && *svp != &PL_sv_undef && !SvIOK(*svp)) {
            (void)SvIOK_on(*svp);
            SvIVX(*svp) = 1;
            SvSTASH(*svp) = (HV*)cop;
@@ -2591,19 +2684,19 @@ intro_my(void)
     SV *sv;
     I32 i;
 
-    if (! min_intro_pending)
-       return cop_seqmax;
+    if (! PL_min_intro_pending)
+       return PL_cop_seqmax;
 
-    svp = AvARRAY(comppad_name);
-    for (i = min_intro_pending; i <= max_intro_pending; i++) {
-       if ((sv = svp[i]) && sv != &sv_undef && !SvIVX(sv)) {
-           SvIVX(sv) = 999999999;      /* Don't know scope end yet. */
-           SvNVX(sv) = (double)cop_seqmax;
+    svp = AvARRAY(PL_comppad_name);
+    for (i = PL_min_intro_pending; i <= PL_max_intro_pending; i++) {
+       if ((sv = svp[i]) && sv != &PL_sv_undef && !SvIVX(sv)) {
+           SvIVX(sv) = PAD_MAX;        /* Don't know scope end yet. */
+           SvNVX(sv) = (double)PL_cop_seqmax;
        }
     }
-    min_intro_pending = 0;
-    comppad_name_fill = max_intro_pending;     /* Needn't search higher */
-    return cop_seqmax++;
+    PL_min_intro_pending = 0;
+    PL_comppad_name_fill = PL_max_intro_pending;       /* Needn't search higher */
+    return PL_cop_seqmax++;
 }
 
 OP *
@@ -2612,7 +2705,7 @@ newLOGOP(I32 type, I32 flags, OP *first, OP *other)
     return new_logop(type, flags, &first, &other);
 }
 
-static OP *
+STATIC OP *
 new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
 {
     dTHR;
@@ -2641,7 +2734,7 @@ new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
        }
     }
     if (first->op_type == OP_CONST) {
-       if (dowarn && (first->op_private & OPpCONST_BARE))
+       if (PL_dowarn && (first->op_private & OPpCONST_BARE))
            warn("Probable precedence problem on %s", op_desc[type]);
        if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
            op_free(first);
@@ -2660,7 +2753,7 @@ new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
        else
            scalar(other);
     }
-    else if (dowarn && (first->op_flags & OPf_KIDS)) {
+    else if (PL_dowarn && (first->op_flags & OPf_KIDS)) {
        OP *k1 = ((UNOP*)first)->op_first;
        OP *k2 = k1->op_sibling;
        OPCODE warnop = 0;
@@ -2669,7 +2762,7 @@ new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
        case OP_NULL:
            if (k2 && k2->op_type == OP_READLINE
                  && (k2->op_flags & OPf_STACKED)
-                 && (k1->op_type == OP_RV2SV || k1->op_type == OP_PADSV))
+                 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR)) 
                warnop = k2->op_type;
            break;
 
@@ -2681,13 +2774,13 @@ new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
            break;
        }
        if (warnop) {
-           line_t oldline = curcop->cop_line;
-           curcop->cop_line = copline;
+           line_t oldline = PL_curcop->cop_line;
+           PL_curcop->cop_line = PL_copline;
            warn("Value of %s%s can be \"0\"; test with defined()",
                 op_desc[warnop],
                 ((warnop == OP_READLINE || warnop == OP_GLOB)
                  ? " construct" : "() operator"));
-           curcop->cop_line = oldline;
+           PL_curcop->cop_line = oldline;
        }
     }
 
@@ -2831,6 +2924,24 @@ newLOOPOP(I32 flags, I32 debuggable, OP *expr, OP *block)
            || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
            expr = newUNOP(OP_DEFINED, 0,
                newASSIGNOP(0, newDEFSVOP(), 0, expr) );
+       } else if (expr->op_flags & OPf_KIDS) {
+           OP *k1 = ((UNOP*)expr)->op_first;
+           OP *k2 = (k1) ? k1->op_sibling : NULL;
+           switch (expr->op_type) {
+             case OP_NULL: 
+               if (k2 && k2->op_type == OP_READLINE
+                     && (k2->op_flags & OPf_STACKED)
+                     && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR)) 
+                   expr = newUNOP(OP_DEFINED, 0, expr);
+               break;                                
+
+             case OP_SASSIGN:
+               if (k1->op_type == OP_READDIR
+                     || k1->op_type == OP_GLOB
+                     || k1->op_type == OP_EACH)
+                   expr = newUNOP(OP_DEFINED, 0, expr);
+               break;
+           }
        }
     }
 
@@ -2866,6 +2977,24 @@ newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *b
                 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
        expr = newUNOP(OP_DEFINED, 0,
            newASSIGNOP(0, newDEFSVOP(), 0, expr) );
+    } else if (expr && (expr->op_flags & OPf_KIDS)) {
+       OP *k1 = ((UNOP*)expr)->op_first;
+       OP *k2 = (k1) ? k1->op_sibling : NULL;
+       switch (expr->op_type) {
+         case OP_NULL: 
+           if (k2 && k2->op_type == OP_READLINE
+                 && (k2->op_flags & OPf_STACKED)
+                 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR)) 
+               expr = newUNOP(OP_DEFINED, 0, expr);
+           break;                                
+
+         case OP_SASSIGN:
+           if (k1->op_type == OP_READDIR
+                 || k1->op_type == OP_GLOB
+                 || k1->op_type == OP_EACH)
+               expr = newUNOP(OP_DEFINED, 0, expr);
+           break;
+       }
     }
 
     if (!block)
@@ -2876,7 +3005,7 @@ newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *b
     if (expr) {
        cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
        if ((line_t)whileline != NOLINE) {
-           copline = whileline;
+           PL_copline = whileline;
            cont = append_elem(OP_LINESEQ, cont,
                               newSTATEOP(0, Nullch, Nullop));
        }
@@ -2886,7 +3015,7 @@ newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *b
     redo = LINKLIST(listop);
 
     if (expr) {
-       copline = whileline;
+       PL_copline = whileline;
        scalar(listop);
        o = new_logop(OP_AND, 0, &expr, &listop);
        if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
@@ -2958,21 +3087,53 @@ newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont
        padoff = find_threadsv("_");
        iterflags |= OPf_SPECIAL;
 #else
-       sv = newGVOP(OP_GV, 0, defgv);
+       sv = newGVOP(OP_GV, 0, PL_defgv);
 #endif
     }
     if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
-       expr = scalar(ref(expr, OP_ITER));
+       expr = mod(force_list(scalar(ref(expr, OP_ITER))), OP_GREPSTART);
+       iterflags |= OPf_STACKED;
+    }
+    else if (expr->op_type == OP_NULL &&
+             (expr->op_flags & OPf_KIDS) &&
+             ((BINOP*)expr)->op_first->op_type == OP_FLOP)
+    {
+       /* Basically turn for($x..$y) into the same as for($x,$y), but we
+        * set the STACKED flag to indicate that these values are to be
+        * treated as min/max values by 'pp_iterinit'.
+        */
+       UNOP* flip = (UNOP*)((UNOP*)((BINOP*)expr)->op_first)->op_first;
+       CONDOP* range = (CONDOP*) flip->op_first;
+       OP* left  = range->op_first;
+       OP* right = left->op_sibling;
+       LISTOP* listop;
+
+       range->op_flags &= ~OPf_KIDS;
+       range->op_first = Nullop;
+
+       listop = (LISTOP*)newLISTOP(OP_LIST, 0, left, right);
+       listop->op_first->op_next = range->op_true;
+       left->op_next = range->op_false;
+       right->op_next = (OP*)listop;
+       listop->op_next = listop->op_first;
+
+       op_free(expr);
+       expr = (OP*)(listop);
+        null(expr);
        iterflags |= OPf_STACKED;
     }
+    else {
+        expr = mod(force_list(expr), OP_GREPSTART);
+    }
+
+
     loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
-       append_elem(OP_LIST, mod(force_list(expr), OP_GREPSTART),
-                   scalar(sv))));
+                              append_elem(OP_LIST, expr, scalar(sv))));
     assert(!loop->op_next);
     Renew(loop, 1, LOOP);
     loop->op_targ = padoff;
     wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
-    copline = forline;
+    PL_copline = forline;
     return newSTATEOP(0, label, wop);
 }
 
@@ -2987,7 +3148,7 @@ newLOOPEX(I32 type, OP *label)
            o = newOP(type, OPf_SPECIAL);
        else {
            o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
-                                       ? SvPVx(((SVOP*)label)->op_sv, na)
+                                       ? SvPVx(((SVOP*)label)->op_sv, PL_na)
                                        : ""));
        }
        op_free(label);
@@ -2997,7 +3158,7 @@ newLOOPEX(I32 type, OP *label)
            label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
        o = newUNOP(type, OPf_STACKED, label);
     }
-    hints |= HINT_BLOCK_SCOPE;
+    PL_hints |= HINT_BLOCK_SCOPE;
     return o;
 }
 
@@ -3023,8 +3184,8 @@ cv_undef(CV *cv)
 #endif /* USE_THREADS */
        ENTER;
 
-       SAVESPTR(curpad);
-       curpad = 0;
+       SAVESPTR(PL_curpad);
+       PL_curpad = 0;
 
        if (!CvCLONED(cv))
            op_free(CvROOT(cv));
@@ -3046,11 +3207,11 @@ cv_undef(CV *cv)
                SV* sv = svp ? *svp : Nullsv;
                if (!sv)
                    continue;
-               if (sv == (SV*)comppad_name)
-                   comppad_name = Nullav;
-               else if (sv == (SV*)comppad) {
-                   comppad = Nullav;
-                   curpad = Null(SV**);
+               if (sv == (SV*)PL_comppad_name)
+                   PL_comppad_name = Nullav;
+               else if (sv == (SV*)PL_comppad) {
+                   PL_comppad = Nullav;
+                   PL_curpad = Null(SV**);
                }
                SvREFCNT_dec(sv);
            }
@@ -3061,7 +3222,7 @@ cv_undef(CV *cv)
 }
 
 #ifdef DEBUG_CLOSURES
-static void
+STATIC void
 cv_dump(cv)
 CV* cv;
 {
@@ -3076,13 +3237,13 @@ CV* cv;
     PerlIO_printf(Perl_debug_log, "\tCV=0x%lx (%s), OUTSIDE=0x%lx (%s)\n",
                  cv,
                  (CvANON(cv) ? "ANON"
-                  : (cv == main_cv) ? "MAIN"
-                  : CvUNIQUE(outside) ? "UNIQUE"
+                  : (cv == PL_main_cv) ? "MAIN"
+                  : CvUNIQUE(cv) ? "UNIQUE"
                   : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
                  outside,
                  (!outside ? "null"
                   : CvANON(outside) ? "ANON"
-                  : (outside == main_cv) ? "MAIN"
+                  : (outside == PL_main_cv) ? "MAIN"
                   : CvUNIQUE(outside) ? "UNIQUE"
                   : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
 
@@ -3106,7 +3267,7 @@ CV* cv;
 }
 #endif /* DEBUG_CLOSURES */
 
-static CV *
+STATIC CV *
 cv_clone2(CV *proto, CV *outside)
 {
     dTHR;
@@ -3125,12 +3286,12 @@ cv_clone2(CV *proto, CV *outside)
     assert(!CvUNIQUE(proto));
 
     ENTER;
-    SAVESPTR(curpad);
-    SAVESPTR(comppad);
-    SAVESPTR(comppad_name);
-    SAVESPTR(compcv);
+    SAVESPTR(PL_curpad);
+    SAVESPTR(PL_comppad);
+    SAVESPTR(PL_comppad_name);
+    SAVESPTR(PL_compcv);
 
-    cv = compcv = (CV*)NEWSV(1104,0);
+    cv = PL_compcv = (CV*)NEWSV(1104,0);
     sv_upgrade((SV *)cv, SvTYPE(proto));
     CvCLONED_on(cv);
     if (CvANON(proto))
@@ -3152,34 +3313,34 @@ cv_clone2(CV *proto, CV *outside)
     if (SvPOK(proto))
        sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
 
-    comppad_name = newAV();
+    PL_comppad_name = newAV();
     for (ix = fname; ix >= 0; ix--)
-       av_store(comppad_name, ix, SvREFCNT_inc(pname[ix]));
+       av_store(PL_comppad_name, ix, SvREFCNT_inc(pname[ix]));
 
-    comppad = newAV();
+    PL_comppad = newAV();
 
     comppadlist = newAV();
     AvREAL_off(comppadlist);
-    av_store(comppadlist, 0, (SV*)comppad_name);
-    av_store(comppadlist, 1, (SV*)comppad);
+    av_store(comppadlist, 0, (SV*)PL_comppad_name);
+    av_store(comppadlist, 1, (SV*)PL_comppad);
     CvPADLIST(cv) = comppadlist;
-    av_fill(comppad, AvFILLp(protopad));
-    curpad = AvARRAY(comppad);
+    av_fill(PL_comppad, AvFILLp(protopad));
+    PL_curpad = AvARRAY(PL_comppad);
 
     av = newAV();           /* will be @_ */
     av_extend(av, 0);
-    av_store(comppad, 0, (SV*)av);
+    av_store(PL_comppad, 0, (SV*)av);
     AvFLAGS(av) = AVf_REIFY;
 
     for (ix = fpad; ix > 0; ix--) {
        SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
-       if (namesv && namesv != &sv_undef) {
+       if (namesv && namesv != &PL_sv_undef) {
            char *name = SvPVX(namesv);    /* XXX */
            if (SvFLAGS(namesv) & SVf_FAKE) {   /* lexical from outside? */
                I32 off = pad_findlex(name, ix, SvIVX(namesv),
-                                     CvOUTSIDE(cv), cxstack_ix);
+                                     CvOUTSIDE(cv), cxstack_ix, 0);
                if (!off)
-                   curpad[ix] = SvREFCNT_inc(ppad[ix]);
+                   PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
                else if (off != ix)
                    croak("panic: cv_clone: %s", name);
            }
@@ -3197,13 +3358,13 @@ cv_clone2(CV *proto, CV *outside)
                    sv = NEWSV(0,0);
                if (!SvPADBUSY(sv))
                    SvPADMY_on(sv);
-               curpad[ix] = sv;
+               PL_curpad[ix] = sv;
            }
        }
        else {
            SV* sv = NEWSV(0,0);
            SvPADTMP_on(sv);
-           curpad[ix] = sv;
+           PL_curpad[ix] = sv;
        }
     }
 
@@ -3212,7 +3373,7 @@ cv_clone2(CV *proto, CV *outside)
     for (ix = fpad; ix > 0; ix--) {
        SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
        if (namesv
-           && namesv != &sv_undef
+           && namesv != &PL_sv_undef
            && !(SvFLAGS(namesv) & SVf_FAKE)
            && *SvPVX(namesv) == '&'
            && CvCLONE(ppad[ix]))
@@ -3221,7 +3382,7 @@ cv_clone2(CV *proto, CV *outside)
            SvREFCNT_dec(ppad[ix]);
            CvCLONE_on(kid);
            SvPADMY_on(kid);
-           curpad[ix] = (SV*)kid;
+           PL_curpad[ix] = (SV*)kid;
        }
     }
 
@@ -3270,16 +3431,27 @@ cv_ckproto(CV *cv, GV *gv, char *p)
 SV *
 cv_const_sv(CV *cv)
 {
-    OP *o;
-    SV *sv;
-
     if (!cv || !SvPOK(cv) || SvCUR(cv))
        return Nullsv;
+    return op_const_sv(CvSTART(cv), cv);
+}
 
-    sv = Nullsv;
-    for (o = CvSTART(cv); o; o = o->op_next) {
+SV *
+op_const_sv(OP *o, CV *cv)
+{
+    SV *sv = Nullsv;
+
+    if(!o)
+       return Nullsv;
+    if(o->op_type == OP_LINESEQ && cLISTOPo->op_first) 
+       o = cLISTOPo->op_first->op_sibling;
+
+    for (; o; o = o->op_next) {
        OPCODE type = o->op_type;
-       
+
+       if(sv && o->op_next == o) 
+           return sv;
        if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
            continue;
        if (type == OP_LEAVESUB || type == OP_RETURN)
@@ -3288,7 +3460,7 @@ cv_const_sv(CV *cv)
            return Nullsv;
        if (type == OP_CONST)
            sv = cSVOPo->op_sv;
-       else if (type == OP_PADSV) {
+       else if (type == OP_PADSV && cv) {
            AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
            sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
            if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
@@ -3306,10 +3478,11 @@ CV *
 newSUB(I32 floor, OP *o, OP *proto, OP *block)
 {
     dTHR;
-    char *name = o ? SvPVx(cSVOPo->op_sv, na) : Nullch;
-    GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
-    char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, na) : Nullch;
-    register CV *cv;
+    char *name = o ? SvPVx(cSVOPo->op_sv, PL_na) : Nullch;
+    GV *gv = gv_fetchpv(name ? name : "__ANON__",
+                       GV_ADDMULTI | (block ? 0 : GV_NOINIT), SVt_PVCV);
+    char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, PL_na) : Nullch;
+    register CV *cv=0;
     I32 ix;
 
     if (o)
@@ -3317,6 +3490,23 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
     if (proto)
        SAVEFREEOP(proto);
 
+    if (SvTYPE(gv) != SVt_PVGV) {      /* Prototype now, and had
+                                          maximum a prototype before. */
+       if (SvTYPE(gv) > SVt_NULL) {
+           if (!SvPOK((SV*)gv) && !(SvIOK((SV*)gv) && SvIVX((SV*)gv) == -1))
+               warn("Runaway prototype");
+           cv_ckproto((CV*)gv, NULL, ps);
+       }
+       if (ps)
+           sv_setpv((SV*)gv, ps);
+       else
+           sv_setiv((SV*)gv, -1);
+       SvREFCNT_dec(PL_compcv);
+       cv = PL_compcv = NULL;
+       PL_sub_generation++;
+       goto noblock;
+    }
+
     if (!name || GvCVGEN(gv))
        cv = Nullcv;
     else if (cv = GvCV(gv)) {
@@ -3324,24 +3514,26 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
        /* already defined (or promised)? */
        if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
            SV* const_sv;
+           bool const_changed = TRUE;
            if (!block) {
                /* just a "sub foo;" when &foo is already defined */
-               SAVEFREESV(compcv);
+               SAVEFREESV(PL_compcv);
                goto done;
            }
            /* ahem, death to those who redefine active sort subs */
-           if (curstack == sortstack && sortcop == CvSTART(cv))
+           if (PL_curstackinfo->si_type == PERLSI_SORT && PL_sortcop == CvSTART(cv))
                croak("Can't redefine active sort subroutine %s", name);
-           const_sv = cv_const_sv(cv);
-           if (const_sv || dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
+           if(const_sv = cv_const_sv(cv))
+               const_changed = sv_cmp(const_sv, op_const_sv(block, Nullcv));
+           if ((const_sv && const_changed) || PL_dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
                                        && HvNAME(GvSTASH(CvGV(cv)))
                                        && strEQ(HvNAME(GvSTASH(CvGV(cv))),
                                                 "autouse"))) {
-               line_t oldline = curcop->cop_line;
-               curcop->cop_line = copline;
+               line_t oldline = PL_curcop->cop_line;
+               PL_curcop->cop_line = PL_copline;
                warn(const_sv ? "Constant subroutine %s redefined"
                     : "Subroutine %s redefined", name);
-               curcop->cop_line = oldline;
+               PL_curcop->cop_line = oldline;
            }
            SvREFCNT_dec(cv);
            cv = Nullcv;
@@ -3349,36 +3541,38 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
     }
     if (cv) {                          /* must reuse cv if autoloaded */
        cv_undef(cv);
-       CvFLAGS(cv) = CvFLAGS(compcv);
-       CvOUTSIDE(cv) = CvOUTSIDE(compcv);
-       CvOUTSIDE(compcv) = 0;
-       CvPADLIST(cv) = CvPADLIST(compcv);
-       CvPADLIST(compcv) = 0;
-       if (SvREFCNT(compcv) > 1) /* XXX Make closures transit through stub. */
-           CvOUTSIDE(compcv) = (CV*)SvREFCNT_inc((SV*)cv);
-       SvREFCNT_dec(compcv);
+       CvFLAGS(cv) = CvFLAGS(PL_compcv);
+       CvOUTSIDE(cv) = CvOUTSIDE(PL_compcv);
+       CvOUTSIDE(PL_compcv) = 0;
+       CvPADLIST(cv) = CvPADLIST(PL_compcv);
+       CvPADLIST(PL_compcv) = 0;
+       if (SvREFCNT(PL_compcv) > 1) /* XXX Make closures transit through stub. */
+           CvOUTSIDE(PL_compcv) = (CV*)SvREFCNT_inc((SV*)cv);
+       SvREFCNT_dec(PL_compcv);
     }
     else {
-       cv = compcv;
+       cv = PL_compcv;
        if (name) {
            GvCV(gv) = cv;
            GvCVGEN(gv) = 0;
-           sub_generation++;
+           PL_sub_generation++;
        }
     }
     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
-    CvFILEGV(cv) = curcop->cop_filegv;
-    CvSTASH(cv) = curstash;
+    CvFILEGV(cv) = PL_curcop->cop_filegv;
+    CvSTASH(cv) = PL_curstash;
 #ifdef USE_THREADS
     CvOWNER(cv) = 0;
-    New(666, CvMUTEXP(cv), 1, perl_mutex);
-    MUTEX_INIT(CvMUTEXP(cv));
+    if (!CvMUTEXP(cv)) {
+       New(666, CvMUTEXP(cv), 1, perl_mutex);
+       MUTEX_INIT(CvMUTEXP(cv));
+    }
 #endif /* USE_THREADS */
 
     if (ps)
        sv_setpv((SV*)cv, ps);
 
-    if (error_count) {
+    if (PL_error_count) {
        op_free(block);
        block = Nullop;
        if (name) {
@@ -3387,31 +3581,32 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
            if (strEQ(s, "BEGIN")) {
                char *not_safe =
                    "BEGIN not safe after errors--compilation aborted";
-               if (in_eval & 4)
+               if (PL_in_eval & 4)
                    croak(not_safe);
                else {
                    /* force display of errors found but not reported */
                    sv_catpv(ERRSV, not_safe);
-                   croak("%s", SvPVx(ERRSV, na));
+                   croak("%s", SvPVx(ERRSV, PL_na));
                }
            }
        }
     }
     if (!block) {
-       copline = NOLINE;
+      noblock:
+       PL_copline = NOLINE;
        LEAVE_SCOPE(floor);
        return cv;
     }
 
-    if (AvFILLp(comppad_name) < AvFILLp(comppad))
-       av_store(comppad_name, AvFILLp(comppad), Nullsv);
+    if (AvFILLp(PL_comppad_name) < AvFILLp(PL_comppad))
+       av_store(PL_comppad_name, AvFILLp(PL_comppad), Nullsv);
 
     if (CvCLONE(cv)) {
-       SV **namep = AvARRAY(comppad_name);
-       for (ix = AvFILLp(comppad); ix > 0; ix--) {
+       SV **namep = AvARRAY(PL_comppad_name);
+       for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
            SV *namesv;
 
-           if (SvIMMORTAL(curpad[ix]))
+           if (SvIMMORTAL(PL_curpad[ix]))
                continue;
            /*
             * The only things that a clonable function needs in its
@@ -3419,26 +3614,26 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
             * The rest are created anew during cloning.
             */
            if (!((namesv = namep[ix]) != Nullsv &&
-                 namesv != &sv_undef &&
+                 namesv != &PL_sv_undef &&
                  (SvFAKE(namesv) ||
                   *SvPVX(namesv) == '&')))
            {
-               SvREFCNT_dec(curpad[ix]);
-               curpad[ix] = Nullsv;
+               SvREFCNT_dec(PL_curpad[ix]);
+               PL_curpad[ix] = Nullsv;
            }
        }
     }
     else {
        AV *av = newAV();                       /* Will be @_ */
        av_extend(av, 0);
-       av_store(comppad, 0, (SV*)av);
+       av_store(PL_comppad, 0, (SV*)av);
        AvFLAGS(av) = AVf_REIFY;
 
-       for (ix = AvFILLp(comppad); ix > 0; ix--) {
-           if (SvIMMORTAL(curpad[ix]))
+       for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
+           if (SvIMMORTAL(PL_curpad[ix]))
                continue;
-           if (!SvPADMY(curpad[ix]))
-               SvPADTMP_on(curpad[ix]);
+           if (!SvPADMY(PL_curpad[ix]))
+               SvPADTMP_on(PL_curpad[ix]);
        }
     }
 
@@ -3450,7 +3645,7 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
     if (name) {
        char *s;
 
-       if (PERLDB_SUBLINE && curstash != debstash) {
+       if (PERLDB_SUBLINE && PL_curstash != PL_debstash) {
            SV *sv = NEWSV(0,0);
            SV *tmpstr = sv_newmortal();
            GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
@@ -3458,15 +3653,15 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
            HV *hv;
 
            sv_setpvf(sv, "%_:%ld-%ld",
-                   GvSV(curcop->cop_filegv),
-                   (long)subline, (long)curcop->cop_line);
+                   GvSV(PL_curcop->cop_filegv),
+                   (long)PL_subline, (long)PL_curcop->cop_line);
            gv_efullname3(tmpstr, gv, Nullch);
-           hv_store(GvHV(DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
+           hv_store(GvHV(PL_DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
            hv = GvHVn(db_postponed);
            if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
                  && (cv = GvCV(db_postponed))) {
                dSP;
-               PUSHMARK(sp);
+               PUSHMARK(SP);
                XPUSHs(tmpstr);
                PUTBACK;
                perl_call_sv((SV*)cv, G_DISCARD);
@@ -3478,40 +3673,40 @@ newSUB(I32 floor, OP *o, OP *proto, OP *block)
        else
            s = name;
        if (strEQ(s, "BEGIN")) {
-           I32 oldscope = scopestack_ix;
+           I32 oldscope = PL_scopestack_ix;
            ENTER;
-           SAVESPTR(compiling.cop_filegv);
-           SAVEI16(compiling.cop_line);
-           SAVEI32(perldb);
-           save_svref(&rs);
-           sv_setsv(rs, nrs);
-
-           if (!beginav)
-               beginav = newAV();
+           SAVESPTR(PL_compiling.cop_filegv);
+           SAVEI16(PL_compiling.cop_line);
+           save_svref(&PL_rs);
+           sv_setsv(PL_rs, PL_nrs);
+
+           if (!PL_beginav)
+               PL_beginav = newAV();
            DEBUG_x( dump_sub(gv) );
-           av_push(beginav, (SV *)cv);
+           av_push(PL_beginav, (SV *)cv);
            GvCV(gv) = 0;
-           call_list(oldscope, beginav);
+           call_list(oldscope, PL_beginav);
 
-           curcop = &compiling;
+           PL_curcop = &PL_compiling;
            LEAVE;
        }
-       else if (strEQ(s, "END") && !error_count) {
-           if (!endav)
-               endav = newAV();
-           av_unshift(endav, 1);
-           av_store(endav, 0, (SV *)cv);
+       else if (strEQ(s, "END") && !PL_error_count) {
+           if (!PL_endav)
+               PL_endav = newAV();
+           av_unshift(PL_endav, 1);
+           av_store(PL_endav, 0, (SV *)cv);
            GvCV(gv) = 0;
        }
-       else if (strEQ(s, "INIT") && !error_count) {
-           if (!initav)
-               initav = newAV();
-           av_push(initav, SvREFCNT_inc(cv));
+       else if (strEQ(s, "INIT") && !PL_error_count) {
+           if (!PL_initav)
+               PL_initav = newAV();
+           av_push(PL_initav, SvREFCNT_inc(cv));
+           GvCV(gv) = 0;
        }
     }
 
   done:
-    copline = NOLINE;
+    PL_copline = NOLINE;
     LEAVE_SCOPE(floor);
     return cv;
 }
@@ -3520,31 +3715,31 @@ void
 newCONSTSUB(HV *stash, char *name, SV *sv)
 {
     dTHR;
-    U32 oldhints = hints;
-    HV *old_cop_stash = curcop->cop_stash;
-    HV *old_curstash = curstash;
-    line_t oldline = curcop->cop_line;
-    curcop->cop_line = copline;
+    U32 oldhints = PL_hints;
+    HV *old_cop_stash = PL_curcop->cop_stash;
+    HV *old_curstash = PL_curstash;
+    line_t oldline = PL_curcop->cop_line;
+    PL_curcop->cop_line = PL_copline;
 
-    hints &= ~HINT_BLOCK_SCOPE;
+    PL_hints &= ~HINT_BLOCK_SCOPE;
     if(stash)
-       curstash = curcop->cop_stash = stash;
+       PL_curstash = PL_curcop->cop_stash = stash;
 
     newSUB(
-       MY_start_subparse(FALSE, 0),
+       start_subparse(FALSE, 0),
        newSVOP(OP_CONST, 0, newSVpv(name,0)),
-       newSVOP(OP_CONST, 0, &sv_no),   /* SvPV(&sv_no) == "" -- GMB */
+       newSVOP(OP_CONST, 0, &PL_sv_no),        /* SvPV(&PL_sv_no) == "" -- GMB */
        newSTATEOP(0, Nullch, newSVOP(OP_CONST, 0, sv))
     );
 
-    hints = oldhints;
-    curcop->cop_stash = old_cop_stash;
-    curstash = old_curstash;
-    curcop->cop_line = oldline;
+    PL_hints = oldhints;
+    PL_curcop->cop_stash = old_cop_stash;
+    PL_curstash = old_curstash;
+    PL_curcop->cop_line = oldline;
 }
 
 CV *
-newXS(char *name, void (*subaddr) (CV *), char *filename)
+newXS(char *name, void (*subaddr) (CV * _CPERLproto), char *filename)
 {
     dTHR;
     GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
@@ -3558,13 +3753,14 @@ newXS(char *name, void (*subaddr) (CV *), char *filename)
        }
        else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
            /* already defined (or promised) */
-           if (dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
+           if (PL_dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
                            && HvNAME(GvSTASH(CvGV(cv)))
                            && strEQ(HvNAME(GvSTASH(CvGV(cv))), "autouse"))) {
-               line_t oldline = curcop->cop_line;
-               curcop->cop_line = copline;
+               line_t oldline = PL_curcop->cop_line;
+               if (PL_copline != NOLINE)
+                   PL_curcop->cop_line = PL_copline;
                warn("Subroutine %s redefined",name);
-               curcop->cop_line = oldline;
+               PL_curcop->cop_line = oldline;
            }
            SvREFCNT_dec(cv);
            cv = 0;
@@ -3579,7 +3775,7 @@ newXS(char *name, void (*subaddr) (CV *), char *filename)
        if (name) {
            GvCV(gv) = cv;
            GvCVGEN(gv) = 0;
-           sub_generation++;
+           PL_sub_generation++;
        }
     }
     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
@@ -3598,22 +3794,23 @@ newXS(char *name, void (*subaddr) (CV *), char *filename)
        else
            s = name;
        if (strEQ(s, "BEGIN")) {
-           if (!beginav)
-               beginav = newAV();
-           av_push(beginav, (SV *)cv);
+           if (!PL_beginav)
+               PL_beginav = newAV();
+           av_push(PL_beginav, (SV *)cv);
            GvCV(gv) = 0;
        }
        else if (strEQ(s, "END")) {
-           if (!endav)
-               endav = newAV();
-           av_unshift(endav, 1);
-           av_store(endav, 0, (SV *)cv);
+           if (!PL_endav)
+               PL_endav = newAV();
+           av_unshift(PL_endav, 1);
+           av_store(PL_endav, 0, (SV *)cv);
            GvCV(gv) = 0;
        }
        else if (strEQ(s, "INIT")) {
-           if (!initav)
-               initav = newAV();
-           av_push(initav, (SV *)cv);
+           if (!PL_initav)
+               PL_initav = newAV();
+           av_push(PL_initav, (SV *)cv);
+           GvCV(gv) = 0;
        }
     }
     else
@@ -3632,29 +3829,29 @@ newFORM(I32 floor, OP *o, OP *block)
     I32 ix;
 
     if (o)
-       name = SvPVx(cSVOPo->op_sv, na);
+       name = SvPVx(cSVOPo->op_sv, PL_na);
     else
        name = "STDOUT";
     gv = gv_fetchpv(name,TRUE, SVt_PVFM);
     GvMULTI_on(gv);
     if (cv = GvFORM(gv)) {
-       if (dowarn) {
-           line_t oldline = curcop->cop_line;
+       if (PL_dowarn) {
+           line_t oldline = PL_curcop->cop_line;
 
-           curcop->cop_line = copline;
+           PL_curcop->cop_line = PL_copline;
            warn("Format %s redefined",name);
-           curcop->cop_line = oldline;
+           PL_curcop->cop_line = oldline;
        }
        SvREFCNT_dec(cv);
     }
-    cv = compcv;
+    cv = PL_compcv;
     GvFORM(gv) = cv;
     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
-    CvFILEGV(cv) = curcop->cop_filegv;
+    CvFILEGV(cv) = PL_curcop->cop_filegv;
 
-    for (ix = AvFILLp(comppad); ix > 0; ix--) {
-       if (!SvPADMY(curpad[ix]) && !SvIMMORTAL(curpad[ix]))
-           SvPADTMP_on(curpad[ix]);
+    for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
+       if (!SvPADMY(PL_curpad[ix]) && !SvIMMORTAL(PL_curpad[ix]))
+           SvPADTMP_on(PL_curpad[ix]);
     }
 
     CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
@@ -3662,7 +3859,7 @@ newFORM(I32 floor, OP *o, OP *block)
     CvROOT(cv)->op_next = 0;
     peep(CvSTART(cv));
     op_free(o);
-    copline = NOLINE;
+    PL_copline = NOLINE;
     LEAVE_SCOPE(floor);
 }
 
@@ -3694,7 +3891,7 @@ oopsAV(OP *o)
     case OP_PADSV:
        o->op_type = OP_PADAV;
        o->op_ppaddr = ppaddr[OP_PADAV];
-       return ref(newUNOP(OP_RV2AV, 0, scalar(o)), OP_RV2AV);
+       return ref(o, OP_RV2AV);
        
     case OP_RV2SV:
        o->op_type = OP_RV2AV;
@@ -3717,7 +3914,7 @@ oopsHV(OP *o)
     case OP_PADAV:
        o->op_type = OP_PADHV;
        o->op_ppaddr = ppaddr[OP_PADHV];
-       return ref(newUNOP(OP_RV2HV, 0, scalar(o)), OP_RV2HV);
+       return ref(o, OP_RV2HV);
 
     case OP_RV2SV:
     case OP_RV2AV:
@@ -3806,8 +4003,8 @@ ck_anoncode(OP *o)
     SvIVX(name) = -1;
     SvNVX(name) = 1;
     ix = pad_alloc(o->op_type, SVs_PADMY);
-    av_store(comppad_name, ix, name);
-    av_store(comppad, ix, cSVOPo->op_sv);
+    av_store(PL_comppad_name, ix, name);
+    av_store(PL_comppad, ix, cSVOPo->op_sv);
     SvPADMY_on(cSVOPo->op_sv);
     cSVOPo->op_sv = Nullsv;
     cSVOPo->op_targ = ix;
@@ -3817,7 +4014,7 @@ ck_anoncode(OP *o)
 OP *
 ck_bitop(OP *o)
 {
-    o->op_private = hints;
+    o->op_private = PL_hints;
     return o;
 }
 
@@ -3890,7 +4087,7 @@ ck_eof(OP *o)
 OP *
 ck_eval(OP *o)
 {
-    hints |= HINT_BLOCK_SCOPE;
+    PL_hints |= HINT_BLOCK_SCOPE;
     if (o->op_flags & OPf_KIDS) {
        SVOP *kid = (SVOP*)cUNOPo->op_first;
 
@@ -3926,7 +4123,7 @@ ck_eval(OP *o)
        op_free(o);
        o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
     }
-    o->op_targ = (PADOFFSET)hints;
+    o->op_targ = (PADOFFSET)PL_hints;
     return o;
 }
 
@@ -3973,14 +4170,53 @@ ck_rvconst(register OP *o)
     dTHR;
     SVOP *kid = (SVOP*)cUNOPo->op_first;
 
-    o->op_private |= (hints & HINT_STRICT_REFS);
+    o->op_private |= (PL_hints & HINT_STRICT_REFS);
     if (kid->op_type == OP_CONST) {
        char *name;
        int iscv;
        GV *gv;
+       SV *kidsv = kid->op_sv;
 
-       name = SvPV(kid->op_sv, na);
-       if ((hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
+       /* Is it a constant from cv_const_sv()? */
+       if (SvROK(kidsv) && SvREADONLY(kidsv)) {
+           SV *rsv = SvRV(kidsv);
+           int svtype = SvTYPE(rsv);
+           char *badtype = Nullch;
+
+           switch (o->op_type) {
+           case OP_RV2SV:
+               if (svtype > SVt_PVMG)
+                   badtype = "a SCALAR";
+               break;
+           case OP_RV2AV:
+               if (svtype != SVt_PVAV)
+                   badtype = "an ARRAY";
+               break;
+           case OP_RV2HV:
+               if (svtype != SVt_PVHV) {
+                   if (svtype == SVt_PVAV) {   /* pseudohash? */
+                       SV **ksv = av_fetch((AV*)rsv, 0, FALSE);
+                       if (ksv && SvROK(*ksv)
+                           && SvTYPE(SvRV(*ksv)) == SVt_PVHV)
+                       {
+                               break;
+                       }
+                   }
+                   badtype = "a HASH";
+               }
+               break;
+           case OP_RV2CV:
+               if (svtype != SVt_PVCV)
+                   badtype = "a CODE";
+               break;
+           }
+           if (badtype)
+               croak("Constant is not %s reference", badtype);
+           return o;
+       }
+       name = SvPV(kidsv, PL_na);
+
+       if ((PL_hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
            char *badthing = Nullch;
            switch (o->op_type) {
            case OP_RV2SV:
@@ -4038,12 +4274,12 @@ ck_ftst(OP *o)
     if (o->op_flags & OPf_REF)
        return o;
 
-    if (o->op_flags & OPf_KIDS) {
+    if (o->op_flags & OPf_KIDS && cUNOPo->op_first->op_type != OP_STUB) {
        SVOP *kid = (SVOP*)cUNOPo->op_first;
 
        if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
            OP *newop = newGVOP(type, OPf_REF,
-               gv_fetchpv(SvPVx(kid->op_sv, na), TRUE, SVt_PVIO));
+               gv_fetchpv(SvPVx(kid->op_sv, PL_na), TRUE, SVt_PVIO));
            op_free(o);
            return newop;
        }
@@ -4107,10 +4343,10 @@ ck_fun(OP *o)
            case OA_AVREF:
                if (kid->op_type == OP_CONST &&
                  (kid->op_private & OPpCONST_BARE)) {
-                   char *name = SvPVx(((SVOP*)kid)->op_sv, na);
+                   char *name = SvPVx(((SVOP*)kid)->op_sv, PL_na);
                    OP *newop = newAVREF(newGVOP(OP_GV, 0,
                        gv_fetchpv(name, TRUE, SVt_PVAV) ));
-                   if (dowarn)
+                   if (PL_dowarn)
                        warn("Array @%s missing the @ in argument %ld of %s()",
                            name, (long)numargs, op_desc[type]);
                    op_free(kid);
@@ -4125,10 +4361,10 @@ ck_fun(OP *o)
            case OA_HVREF:
                if (kid->op_type == OP_CONST &&
                  (kid->op_private & OPpCONST_BARE)) {
-                   char *name = SvPVx(((SVOP*)kid)->op_sv, na);
+                   char *name = SvPVx(((SVOP*)kid)->op_sv, PL_na);
                    OP *newop = newHVREF(newGVOP(OP_GV, 0,
                        gv_fetchpv(name, TRUE, SVt_PVHV) ));
-                   if (dowarn)
+                   if (PL_dowarn)
                        warn("Hash %%%s missing the %% in argument %ld of %s()",
                            name, (long)numargs, op_desc[type]);
                    op_free(kid);
@@ -4152,15 +4388,19 @@ ck_fun(OP *o)
                }
                break;
            case OA_FILEREF:
-               if (kid->op_type != OP_GV) {
+               if (kid->op_type != OP_GV && kid->op_type != OP_RV2GV) {
                    if (kid->op_type == OP_CONST &&
                      (kid->op_private & OPpCONST_BARE)) {
                        OP *newop = newGVOP(OP_GV, 0,
-                           gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, na), TRUE,
+                           gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, PL_na), TRUE,
                                        SVt_PVIO) );
                        op_free(kid);
                        kid = newop;
                    }
+                   else if (kid->op_type == OP_READLINE) {
+                       /* neophyte patrol: open(<FH>), close(<FH>) etc. */
+                       bad_type(numargs, "HANDLE", op_desc[o->op_type], kid);
+                   }
                    else {
                        kid->op_sibling = 0;
                        kid = newUNOP(OP_RV2GV, 0, scalar(kid));
@@ -4258,7 +4498,7 @@ ck_grep(OP *o)
     else
        scalar(kid);
     o = ck_fun(o);
-    if (error_count)
+    if (PL_error_count)
        return o;
     kid = cLISTOPo->op_first->op_sibling;
     if (kid->op_type != OP_NULL)
@@ -4288,6 +4528,8 @@ ck_index(OP *o)
 {
     if (o->op_flags & OPf_KIDS) {
        OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
+       if (kid)
+           kid = kid->op_sibling;                      /* get past "big" */
        if (kid && kid->op_type == OP_CONST)
            fbm_compile(((SVOP*)kid)->op_sv, 0);
     }
@@ -4346,7 +4588,7 @@ ck_listiob(OP *o)
 
     o->op_private = 0;
 #ifdef USE_LOCALE
-    if (hints & HINT_LOCALE)
+    if (PL_hints & HINT_LOCALE)
        o->op_private |= OPpLOCALE;
 #endif
 
@@ -4360,7 +4602,7 @@ ck_fun_locale(OP *o)
 
     o->op_private = 0;
 #ifdef USE_LOCALE
-    if (hints & HINT_LOCALE)
+    if (PL_hints & HINT_LOCALE)
        o->op_private |= OPpLOCALE;
 #endif
 
@@ -4372,7 +4614,7 @@ ck_scmp(OP *o)
 {
     o->op_private = 0;
 #ifdef USE_LOCALE
-    if (hints & HINT_LOCALE)
+    if (PL_hints & HINT_LOCALE)
        o->op_private |= OPpLOCALE;
 #endif
 
@@ -4463,9 +4705,9 @@ ck_shift(OP *o)
        
        op_free(o);
 #ifdef USE_THREADS
-       if (!CvUNIQUE(compcv)) {
+       if (!CvUNIQUE(PL_compcv)) {
            argop = newOP(OP_PADAV, OPf_REF);
-           argop->op_targ = 0;         /* curpad[0] is @_ */
+           argop->op_targ = 0;         /* PL_curpad[0] is @_ */
        }
        else {
            argop = newUNOP(OP_RV2AV, 0,
@@ -4474,8 +4716,8 @@ ck_shift(OP *o)
        }
 #else
        argop = newUNOP(OP_RV2AV, 0,
-           scalar(newGVOP(OP_GV, 0, !CvUNIQUE(compcv) ?
-                          defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
+           scalar(newGVOP(OP_GV, 0, !CvUNIQUE(PL_compcv) ?
+                          PL_defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
 #endif /* USE_THREADS */
        return newUNOP(type, 0, scalar(argop));
     }
@@ -4487,7 +4729,7 @@ ck_sort(OP *o)
 {
     o->op_private = 0;
 #ifdef USE_LOCALE
-    if (hints & HINT_LOCALE)
+    if (PL_hints & HINT_LOCALE)
        o->op_private |= OPpLOCALE;
 #endif
 
@@ -4606,12 +4848,12 @@ ck_subr(OP *o)
            cv = GvCVu(tmpop->op_sv);
            if (cv && SvPOK(cv) && !(o->op_private & OPpENTERSUB_AMPER)) {
                namegv = CvANON(cv) ? (GV*)tmpop->op_sv : CvGV(cv);
-               proto = SvPV((SV*)cv, na);
+               proto = SvPV((SV*)cv, PL_na);
            }
        }
     }
-    o->op_private |= (hints & HINT_STRICT_REFS);
-    if (PERLDB_SUB && curstash != debstash)
+    o->op_private |= (PL_hints & HINT_STRICT_REFS);
+    if (PERLDB_SUB && PL_curstash != PL_debstash)
        o->op_private |= OPpENTERSUB_DB;
     while (o2 != cvop) {
        if (proto) {
@@ -4665,8 +4907,12 @@ ck_subr(OP *o)
                        bad_type(arg, "sub", gv_ename(namegv), o2);
                    goto wrapref;
                case '$':
-                   if (o2->op_type != OP_RV2SV && o2->op_type != OP_PADSV)
+                   if (o2->op_type != OP_RV2SV
+                       && o2->op_type != OP_PADSV
+                       && o2->op_type != OP_THREADSV)
+                   {
                        bad_type(arg, "scalar", gv_ename(namegv), o2);
+                   }
                    goto wrapref;
                case '@':
                    if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
@@ -4694,7 +4940,7 @@ ck_subr(OP *o)
            default:
              oops:
                croak("Malformed prototype for %s: %s",
-                       gv_ename(namegv), SvPV((SV*)cv, na));
+                       gv_ename(namegv), SvPV((SV*)cv, PL_na));
            }
        }
        else
@@ -4742,18 +4988,18 @@ peep(register OP *o)
        return;
     ENTER;
     SAVEOP();
-    SAVESPTR(curcop);
+    SAVESPTR(PL_curcop);
     for (; o; o = o->op_next) {
        if (o->op_seq)
            break;
-       if (!op_seqmax)
-           op_seqmax++;
-       op = o;
+       if (!PL_op_seqmax)
+           PL_op_seqmax++;
+       PL_op = o;
        switch (o->op_type) {
        case OP_NEXTSTATE:
        case OP_DBSTATE:
-           curcop = ((COP*)o);         /* for warnings */
-           o->op_seq = op_seqmax++;
+           PL_curcop = ((COP*)o);              /* for warnings */
+           o->op_seq = PL_op_seqmax++;
            break;
 
        case OP_CONCAT:
@@ -4766,17 +5012,17 @@ peep(register OP *o)
        case OP_QUOTEMETA:
            if (o->op_next && o->op_next->op_type == OP_STRINGIFY)
                null(o->op_next);
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            break;
        case OP_STUB:
            if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
-               o->op_seq = op_seqmax++;
+               o->op_seq = PL_op_seqmax++;
                break; /* Scalar stub must produce undef.  List stub is noop */
            }
            goto nothin;
        case OP_NULL:
            if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
-               curcop = ((COP*)o);
+               PL_curcop = ((COP*)o);
            goto nothin;
        case OP_SCALAR:
        case OP_LINESEQ:
@@ -4786,7 +5032,7 @@ peep(register OP *o)
                oldop->op_next = o->op_next;
                continue;
            }
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            break;
 
        case OP_GV:
@@ -4803,11 +5049,11 @@ peep(register OP *o)
                OP* pop = o->op_next->op_next;
                IV i;
                if (pop->op_type == OP_CONST &&
-                   (op = pop->op_next) &&
+                   (PL_op = pop->op_next) &&
                    pop->op_next->op_type == OP_AELEM &&
                    !(pop->op_next->op_private &
                      (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF)) &&
-                   (i = SvIV(((SVOP*)pop)->op_sv) - compiling.cop_arybase)
+                   (i = SvIV(((SVOP*)pop)->op_sv) - PL_compiling.cop_arybase)
                                <= 255 &&
                    i >= 0)
                {
@@ -4823,67 +5069,52 @@ peep(register OP *o)
                    GvAVn(((GVOP*)o)->op_gv);
                }
            }
-           o->op_seq = op_seqmax++;
-           break;
-
-       case OP_PADAV:
-           if (o->op_next->op_type == OP_RV2AV
-               && (o->op_next->op_flags && OPf_REF))
-           {
-               null(o->op_next);
-               o->op_next = o->op_next->op_next;
-           }
-           break;
-       
-       case OP_PADHV:
-           if (o->op_next->op_type == OP_RV2HV
-               && (o->op_next->op_flags && OPf_REF))
-           {
-               null(o->op_next);
-               o->op_next = o->op_next->op_next;
-           }
+           o->op_seq = PL_op_seqmax++;
            break;
 
        case OP_MAPWHILE:
        case OP_GREPWHILE:
        case OP_AND:
        case OP_OR:
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            while (cLOGOP->op_other->op_type == OP_NULL)
                cLOGOP->op_other = cLOGOP->op_other->op_next;
            peep(cLOGOP->op_other);
            break;
 
        case OP_COND_EXPR:
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            peep(cCONDOP->op_true);
            peep(cCONDOP->op_false);
            break;
 
        case OP_ENTERLOOP:
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            peep(cLOOP->op_redoop);
            peep(cLOOP->op_nextop);
            peep(cLOOP->op_lastop);
            break;
 
+       case OP_QR:
        case OP_MATCH:
        case OP_SUBST:
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            peep(cPMOP->op_pmreplstart);
            break;
 
        case OP_EXEC:
-           o->op_seq = op_seqmax++;
-           if (dowarn && o->op_next && o->op_next->op_type == OP_NEXTSTATE) {
+           o->op_seq = PL_op_seqmax++;
+           if (PL_dowarn && o->op_next && o->op_next->op_type == OP_NEXTSTATE) {
                if (o->op_next->op_sibling &&
+                       o->op_next->op_sibling->op_type != OP_EXIT &&
+                       o->op_next->op_sibling->op_type != OP_WARN &&
                        o->op_next->op_sibling->op_type != OP_DIE) {
-                   line_t oldline = curcop->cop_line;
+                   line_t oldline = PL_curcop->cop_line;
 
-                   curcop->cop_line = ((COP*)o->op_next)->cop_line;
+                   PL_curcop->cop_line = ((COP*)o->op_next)->cop_line;
                    warn("Statement unlikely to be reached");
                    warn("(Maybe you meant system() when you said exec()?)\n");
-                   curcop->cop_line = oldline;
+                   PL_curcop->cop_line = oldline;
                }
            }
            break;
@@ -4903,7 +5134,7 @@ peep(register OP *o)
            rop = (UNOP*)((BINOP*)o)->op_first;
            if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
                break;
-           lexname = *av_fetch(comppad_name, rop->op_first->op_targ, TRUE);
+           lexname = *av_fetch(PL_comppad_name, rop->op_first->op_targ, TRUE);
            if (!SvOBJECT(lexname))
                break;
            fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
@@ -4914,7 +5145,7 @@ peep(register OP *o)
            indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
            if (!indsvp) {
                croak("No such field \"%s\" in variable %s of type %s",
-                     key, SvPV(lexname, na), HvNAME(SvSTASH(lexname)));
+                     key, SvPV(lexname, PL_na), HvNAME(SvSTASH(lexname)));
            }
            ind = SvIV(*indsvp);
            if (ind < 1)
@@ -4929,7 +5160,7 @@ peep(register OP *o)
        }
 
        default:
-           o->op_seq = op_seqmax++;
+           o->op_seq = PL_op_seqmax++;
            break;
        }
        oldop = o;