op.c

   1 /*    op.c
   2  *
   3  *    Copyright (c) 1991-1999, Larry Wall
   4  *
   5  *    You may distribute under the terms of either the GNU General Public
   6  *    License or the Artistic License, as specified in the README file.
   7  *
   8  */
   9
  10 /*
  11  * "You see: Mr. Drogo, he married poor Miss Primula Brandybuck.  She was
  12  * our Mr. Bilbo's first cousin on the mother's side (her mother being the
  13  * youngest of the Old Took's daughters); and Mr. Drogo was his second
  14  * cousin.  So Mr. Frodo is his first *and* second cousin, once removed
  15  * either way, as the saying is, if you follow me."  --the Gaffer
  16  */
  17
  18 #include "EXTERN.h"
  19 #define PERL_IN_OP_C
  20 #include "perl.h"
  21 #include "keywords.h"
  22
  23 /* #define PL_OP_SLAB_ALLOC */
  24
  25 /* XXXXXX testing */
  26 #ifdef USE_ITHREADS
  27 #  define OP_REFCNT_LOCK                NOOP
  28 #  define OP_REFCNT_UNLOCK              NOOP
  29 #  define OpREFCNT_set(o,n)             ((o)->op_targ = (n))
  30 #  define OpREFCNT_dec(o)               (--(o)->op_targ)
  31 #else
  32 #  define OP_REFCNT_LOCK                NOOP
  33 #  define OP_REFCNT_UNLOCK              NOOP
  34 #  define OpREFCNT_set(o,n)             NOOP
  35 #  define OpREFCNT_dec(o)               0
  36 #endif
  37
  38 #ifdef PL_OP_SLAB_ALLOC
  39 #define SLAB_SIZE 8192
  40 static char    *PL_OpPtr  = NULL;
  41 static int     PL_OpSpace = 0;
  42 #define NewOp(m,var,c,type) do { if ((PL_OpSpace -= c*sizeof(type)) >= 0)     \
  43                               var =  (type *)(PL_OpPtr -= c*sizeof(type));    \
  44                              else                                             \
  45                               var = (type *) Slab_Alloc(m,c*sizeof(type));    \
  46                            } while (0)
  47
  48 STATIC void *
  49 S_Slab_Alloc(pTHX_ int m, size_t sz)
  50 {
  51  Newz(m,PL_OpPtr,SLAB_SIZE,char);
  52  PL_OpSpace = SLAB_SIZE - sz;
  53  return PL_OpPtr += PL_OpSpace;
  54 }
  55
  56 #else
  57 #define NewOp(m, var, c, type) Newz(m, var, c, type)
  58 #endif
  59 /*
  60  * In the following definition, the ", Nullop" is just to make the compiler
  61  * think the expression is of the right type: croak actually does a Siglongjmp.
  62  */
  63 #define CHECKOP(type,o) \
  64     ((PL_op_mask && PL_op_mask[type])                                   \
  65      ? ( op_free((OP*)o),                                       \
  66          Perl_croak(aTHX_ "%s trapped by operation mask", PL_op_desc[type]),    \
  67          Nullop )                                               \
  68      : CALL_FPTR(PL_check[type])(aTHX_ (OP*)o))
  69
  70 #define PAD_MAX 999999999
  71
  72 STATIC char*
  73 S_gv_ename(pTHX_ GV *gv)
  74 {
  75     STRLEN n_a;
  76     SV* tmpsv = sv_newmortal();
  77     gv_efullname3(tmpsv, gv, Nullch);
  78     return SvPV(tmpsv,n_a);
  79 }
  80
  81 STATIC OP *
  82 S_no_fh_allowed(pTHX_ OP *o)
  83 {
  84     yyerror(Perl_form(aTHX_ "Missing comma after first argument to %s function",
  85                  PL_op_desc[o->op_type]));
  86     return o;
  87 }
  88
  89 STATIC OP *
  90 S_too_few_arguments(pTHX_ OP *o, char *name)
  91 {
  92     yyerror(Perl_form(aTHX_ "Not enough arguments for %s", name));
  93     return o;
  94 }
  95
  96 STATIC OP *
  97 S_too_many_arguments(pTHX_ OP *o, char *name)
  98 {
  99     yyerror(Perl_form(aTHX_ "Too many arguments for %s", name));
 100     return o;
 101 }
 102
 103 STATIC void
 104 S_bad_type(pTHX_ I32 n, char *t, char *name, OP *kid)
 105 {
 106     yyerror(Perl_form(aTHX_ "Type of arg %d to %s must be %s (not %s)",
 107                  (int)n, name, t, PL_op_desc[kid->op_type]));
 108 }
 109
 110 STATIC void
 111 S_no_bareword_allowed(pTHX_ OP *o)
 112 {
 113     qerror(Perl_mess(aTHX_
 114                      "Bareword \"%s\" not allowed while \"strict subs\" in use",
 115                      SvPV_nolen(cSVOPo_sv)));
 116 }
 117
 118 /* "register" allocation */
 119
 120 PADOFFSET
 121 Perl_pad_allocmy(pTHX_ char *name)
 122 {
 123     dTHR;
 124     PADOFFSET off;
 125     SV *sv;
 126
 127     if (!(
 128         PL_in_my == KEY_our ||
 129         isALPHA(name[1]) ||
 130         (PL_hints & HINT_UTF8 && (name[1] & 0xc0) == 0xc0) ||
 131         name[1] == '_' && (int)strlen(name) > 2 ))
 132     {
 133         if (!isPRINT(name[1]) || strchr("\t\n\r\f", name[1])) {
 134             /* 1999-02-27 mjd@plover.com */
 135             char *p;
 136             p = strchr(name, '\0');
 137             /* The next block assumes the buffer is at least 205 chars
 138                long.  At present, it's always at least 256 chars. */
 139             if (p-name > 200) {
 140                 strcpy(name+200, "...");
 141                 p = name+199;
 142             }
 143             else {
 144                 p[1] = '\0';
 145             }
 146             /* Move everything else down one character */
 147             for (; p-name > 2; p--)
 148                 *p = *(p-1);
 149             name[2] = toCTRL(name[1]);
 150             name[1] = '^';
 151         }
 152         yyerror(Perl_form(aTHX_ "Can't use global %s in \"my\"",name));
 153     }
 154     if (ckWARN(WARN_UNSAFE) && AvFILLp(PL_comppad_name) >= 0) {
 155         SV **svp = AvARRAY(PL_comppad_name);
 156         for (off = AvFILLp(PL_comppad_name); off > PL_comppad_name_floor; off--) {
 157             if ((sv = svp[off])
 158                 && sv != &PL_sv_undef
 159                 && (SvIVX(sv) == PAD_MAX || SvIVX(sv) == 0)
 160                 && strEQ(name, SvPVX(sv)))
 161             {
 162                 if (PL_in_my != KEY_our
 163                     || GvSTASH(sv) == (PL_curstash ? PL_curstash : PL_defstash))
 164                 {
 165                     Perl_warner(aTHX_ WARN_UNSAFE,
 166                         "\"%s\" variable %s masks earlier declaration in same %s",
 167                         (PL_in_my == KEY_our ? "our" : "my"),
 168                         name,
 169                         (SvIVX(sv) == PAD_MAX ? "scope" : "statement"));
 170                 }
 171                 break;
 172             }
 173         }
 174     }
 175     off = pad_alloc(OP_PADSV, SVs_PADMY);
 176     sv = NEWSV(1102,0);
 177     sv_upgrade(sv, SVt_PVNV);
 178     sv_setpv(sv, name);
 179     if (PL_in_my_stash) {
 180         if (*name != '$')
 181             yyerror(Perl_form(aTHX_ "Can't declare class for non-scalar %s in \"my\"",
 182                          name));
 183         SvOBJECT_on(sv);
 184         (void)SvUPGRADE(sv, SVt_PVMG);
 185         SvSTASH(sv) = (HV*)SvREFCNT_inc(PL_in_my_stash);
 186         PL_sv_objcount++;
 187     }
 188     if (PL_in_my == KEY_our) {
 189         (void)SvUPGRADE(sv, SVt_PVGV);
 190         GvSTASH(sv) = (HV*)SvREFCNT_inc(PL_curstash ? PL_curstash : PL_defstash);
 191         SvFLAGS(sv) |= SVpad_OUR;
 192     }
 193     av_store(PL_comppad_name, off, sv);
 194     SvNVX(sv) = (NV)PAD_MAX;
 195     SvIVX(sv) = 0;                      /* Not yet introduced--see newSTATEOP */
 196     if (!PL_min_intro_pending)
 197         PL_min_intro_pending = off;
 198     PL_max_intro_pending = off;
 199     if (*name == '@')
 200         av_store(PL_comppad, off, (SV*)newAV());
 201     else if (*name == '%')
 202         av_store(PL_comppad, off, (SV*)newHV());
 203     SvPADMY_on(PL_curpad[off]);
 204     return off;
 205 }
 206
 207 #define FINDLEX_NOSEARCH        1               /* don't search outer contexts */
 208
 209 STATIC PADOFFSET
 210 S_pad_findlex(pTHX_ char *name, PADOFFSET newoff, U32 seq, CV* startcv,
 211             I32 cx_ix, I32 saweval, U32 flags)
 212 {
 213     dTHR;
 214     CV *cv;
 215     I32 off;
 216     SV *sv;
 217     register I32 i;
 218     register PERL_CONTEXT *cx;
 219
 220     for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
 221         AV *curlist = CvPADLIST(cv);
 222         SV **svp = av_fetch(curlist, 0, FALSE);
 223         AV *curname;
 224
 225         if (!svp || *svp == &PL_sv_undef)
 226             continue;
 227         curname = (AV*)*svp;
 228         svp = AvARRAY(curname);
 229         for (off = AvFILLp(curname); off > 0; off--) {
 230             if ((sv = svp[off]) &&
 231                 sv != &PL_sv_undef &&
 232                 seq <= SvIVX(sv) &&
 233                 seq > I_32(SvNVX(sv)) &&
 234                 strEQ(SvPVX(sv), name))
 235             {
 236                 I32 depth;
 237                 AV *oldpad;
 238                 SV *oldsv;
 239
 240                 depth = CvDEPTH(cv);
 241                 if (!depth) {
 242                     if (newoff) {
 243                         if (SvFAKE(sv))
 244                             continue;
 245                         return 0; /* don't clone from inactive stack frame */
 246                     }
 247                     depth = 1;
 248                 }
 249                 oldpad = (AV*)*av_fetch(curlist, depth, FALSE);
 250                 oldsv = *av_fetch(oldpad, off, TRUE);
 251                 if (!newoff) {          /* Not a mere clone operation. */
 252                     SV *namesv = NEWSV(1103,0);
 253                     newoff = pad_alloc(OP_PADSV, SVs_PADMY);
 254                     sv_upgrade(namesv, SVt_PVNV);
 255                     sv_setpv(namesv, name);
 256                     av_store(PL_comppad_name, newoff, namesv);
 257                     SvNVX(namesv) = (NV)PL_curcop->cop_seq;
 258                     SvIVX(namesv) = PAD_MAX;    /* A ref, intro immediately */
 259                     SvFAKE_on(namesv);          /* A ref, not a real var */
 260                     if (SvFLAGS(sv) & SVpad_OUR) { /* An "our" variable */
 261                         SvFLAGS(namesv) |= SVpad_OUR;
 262                         (void)SvUPGRADE(namesv, SVt_PVGV);
 263                         GvSTASH(namesv) = (HV*)SvREFCNT_inc((SV*)GvSTASH(sv));
 264                     }
 265                     if (SvOBJECT(sv)) {         /* A typed var */
 266                         SvOBJECT_on(namesv);
 267                         (void)SvUPGRADE(namesv, SVt_PVMG);
 268                         SvSTASH(namesv) = (HV*)SvREFCNT_inc((SV*)SvSTASH(sv));
 269                         PL_sv_objcount++;
 270                     }
 271                     if (CvANON(PL_compcv) || SvTYPE(PL_compcv) == SVt_PVFM) {
 272                         /* "It's closures all the way down." */
 273                         CvCLONE_on(PL_compcv);
 274                         if (cv == startcv) {
 275                             if (CvANON(PL_compcv))
 276                                 oldsv = Nullsv; /* no need to keep ref */
 277                         }
 278                         else {
 279                             CV *bcv;
 280                             for (bcv = startcv;
 281                                  bcv && bcv != cv && !CvCLONE(bcv);
 282                                  bcv = CvOUTSIDE(bcv))
 283                             {
 284                                 if (CvANON(bcv))
 285                                     CvCLONE_on(bcv);
 286                                 else {
 287                                     if (ckWARN(WARN_CLOSURE)
 288                                         && !CvUNIQUE(bcv) && !CvUNIQUE(cv))
 289                                     {
 290                                         Perl_warner(aTHX_ WARN_CLOSURE,
 291                                           "Variable \"%s\" may be unavailable",
 292                                              name);
 293                                     }
 294                                     break;
 295                                 }
 296                             }
 297                         }
 298                     }
 299                     else if (!CvUNIQUE(PL_compcv)) {
 300                         if (ckWARN(WARN_CLOSURE) && !SvFAKE(sv) && !CvUNIQUE(cv))
 301                             Perl_warner(aTHX_ WARN_CLOSURE,
 302                                 "Variable \"%s\" will not stay shared", name);
 303                     }
 304                 }
 305                 av_store(PL_comppad, newoff, SvREFCNT_inc(oldsv));
 306                 return newoff;
 307             }
 308         }
 309     }
 310
 311     if (flags & FINDLEX_NOSEARCH)
 312         return 0;
 313
 314     /* Nothing in current lexical context--try eval's context, if any.
 315      * This is necessary to let the perldb get at lexically scoped variables.
 316      * XXX This will also probably interact badly with eval tree caching.
 317      */
 318
 319     for (i = cx_ix; i >= 0; i--) {
 320         cx = &cxstack[i];
 321         switch (CxTYPE(cx)) {
 322         default:
 323             if (i == 0 && saweval) {
 324                 seq = cxstack[saweval].blk_oldcop->cop_seq;
 325                 return pad_findlex(name, newoff, seq, PL_main_cv, -1, saweval, 0);
 326             }
 327             break;
 328         case CXt_EVAL:
 329             switch (cx->blk_eval.old_op_type) {
 330             case OP_ENTEREVAL:
 331                 if (CxREALEVAL(cx))
 332                     saweval = i;
 333                 break;
 334             case OP_REQUIRE:
 335                 /* require must have its own scope */
 336                 return 0;
 337             }
 338             break;
 339         case CXt_FORMAT:
 340         case CXt_SUB:
 341             if (!saweval)
 342                 return 0;
 343             cv = cx->blk_sub.cv;
 344             if (PL_debstash && CvSTASH(cv) == PL_debstash) {    /* ignore DB'* scope */
 345                 saweval = i;    /* so we know where we were called from */
 346                 continue;
 347             }
 348             seq = cxstack[saweval].blk_oldcop->cop_seq;
 349             return pad_findlex(name, newoff, seq, cv, i-1, saweval,FINDLEX_NOSEARCH);
 350         }
 351     }
 352
 353     return 0;
 354 }
 355
 356 PADOFFSET
 357 Perl_pad_findmy(pTHX_ char *name)
 358 {
 359     dTHR;
 360     I32 off;
 361     I32 pendoff = 0;
 362     SV *sv;
 363     SV **svp = AvARRAY(PL_comppad_name);
 364     U32 seq = PL_cop_seqmax;
 365     PERL_CONTEXT *cx;
 366     CV *outside;
 367
 368 #ifdef USE_THREADS
 369     /*
 370      * Special case to get lexical (and hence per-thread) @_.
 371      * XXX I need to find out how to tell at parse-time whether use
 372      * of @_ should refer to a lexical (from a sub) or defgv (global
 373      * scope and maybe weird sub-ish things like formats). See
 374      * startsub in perly.y.  It's possible that @_ could be lexical
 375      * (at least from subs) even in non-threaded perl.
 376      */
 377     if (strEQ(name, "@_"))
 378         return 0;               /* success. (NOT_IN_PAD indicates failure) */
 379 #endif /* USE_THREADS */
 380
 381     /* The one we're looking for is probably just before comppad_name_fill. */
 382     for (off = AvFILLp(PL_comppad_name); off > 0; off--) {
 383         if ((sv = svp[off]) &&
 384             sv != &PL_sv_undef &&
 385             (!SvIVX(sv) ||
 386              (seq <= SvIVX(sv) &&
 387               seq > I_32(SvNVX(sv)))) &&
 388             strEQ(SvPVX(sv), name))
 389         {
 390             if (SvIVX(sv) || SvFLAGS(sv) & SVpad_OUR)
 391                 return (PADOFFSET)off;
 392             pendoff = off;      /* this pending def. will override import */
 393         }
 394     }
 395
 396     outside = CvOUTSIDE(PL_compcv);
 397
 398     /* Check if if we're compiling an eval'', and adjust seq to be the
 399      * eval's seq number.  This depends on eval'' having a non-null
 400      * CvOUTSIDE() while it is being compiled.  The eval'' itself is
 401      * identified by CvEVAL being true and CvGV being null. */
 402     if (outside && CvEVAL(PL_compcv) && !CvGV(PL_compcv) && cxstack_ix >= 0) {
 403         cx = &cxstack[cxstack_ix];
 404         if (CxREALEVAL(cx))
 405             seq = cx->blk_oldcop->cop_seq;
 406     }
 407
 408     /* See if it's in a nested scope */
 409     off = pad_findlex(name, 0, seq, outside, cxstack_ix, 0, 0);
 410     if (off) {
 411         /* If there is a pending local definition, this new alias must die */
 412         if (pendoff)
 413             SvIVX(AvARRAY(PL_comppad_name)[off]) = seq;
 414         return off;             /* pad_findlex returns 0 for failure...*/
 415     }
 416     return NOT_IN_PAD;          /* ...but we return NOT_IN_PAD for failure */
 417 }
 418
 419 void
 420 Perl_pad_leavemy(pTHX_ I32 fill)
 421 {
 422     dTHR;
 423     I32 off;
 424     SV **svp = AvARRAY(PL_comppad_name);
 425     SV *sv;
 426     if (PL_min_intro_pending && fill < PL_min_intro_pending) {
 427         for (off = PL_max_intro_pending; off >= PL_min_intro_pending; off--) {
 428             if ((sv = svp[off]) && sv != &PL_sv_undef && ckWARN_d(WARN_INTERNAL))
 429                 Perl_warner(aTHX_ WARN_INTERNAL, "%s never introduced", SvPVX(sv));
 430         }
 431     }
 432     /* "Deintroduce" my variables that are leaving with this scope. */
 433     for (off = AvFILLp(PL_comppad_name); off > fill; off--) {
 434         if ((sv = svp[off]) && sv != &PL_sv_undef && SvIVX(sv) == PAD_MAX)
 435             SvIVX(sv) = PL_cop_seqmax;
 436     }
 437 }
 438
 439 PADOFFSET
 440 Perl_pad_alloc(pTHX_ I32 optype, U32 tmptype)
 441 {
 442     dTHR;
 443     SV *sv;
 444     I32 retval;
 445
 446     if (AvARRAY(PL_comppad) != PL_curpad)
 447         Perl_croak(aTHX_ "panic: pad_alloc");
 448     if (PL_pad_reset_pending)
 449         pad_reset();
 450     if (tmptype & SVs_PADMY) {
 451         do {
 452             sv = *av_fetch(PL_comppad, AvFILLp(PL_comppad) + 1, TRUE);
 453         } while (SvPADBUSY(sv));                /* need a fresh one */
 454         retval = AvFILLp(PL_comppad);
 455     }
 456     else {
 457         SV **names = AvARRAY(PL_comppad_name);
 458         SSize_t names_fill = AvFILLp(PL_comppad_name);
 459         for (;;) {
 460             /*
 461              * "foreach" index vars temporarily become aliases to non-"my"
 462              * values.  Thus we must skip, not just pad values that are
 463              * marked as current pad values, but also those with names.
 464              */
 465             if (++PL_padix <= names_fill &&
 466                    (sv = names[PL_padix]) && sv != &PL_sv_undef)
 467                 continue;
 468             sv = *av_fetch(PL_comppad, PL_padix, TRUE);
 469             if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)) && !IS_PADGV(sv))
 470                 break;
 471         }
 472         retval = PL_padix;
 473     }
 474     SvFLAGS(sv) |= tmptype;
 475     PL_curpad = AvARRAY(PL_comppad);
 476 #ifdef USE_THREADS
 477     DEBUG_X(PerlIO_printf(Perl_debug_log,
 478                           "0x%"UVxf" Pad 0x%"UVxf" alloc %ld for %s\n",
 479                           PTR2UV(thr), PTR2UV(PL_curpad),
 480                           (long) retval, PL_op_name[optype]));
 481 #else
 482     DEBUG_X(PerlIO_printf(Perl_debug_log,
 483                           "Pad 0x%"UVxf" alloc %ld for %s\n",
 484                           PTR2UV(PL_curpad),
 485                           (long) retval, PL_op_name[optype]));
 486 #endif /* USE_THREADS */
 487     return (PADOFFSET)retval;
 488 }
 489
 490 SV *
 491 Perl_pad_sv(pTHX_ PADOFFSET po)
 492 {
 493     dTHR;
 494 #ifdef USE_THREADS
 495     DEBUG_X(PerlIO_printf(Perl_debug_log,
 496                           "0x%"UVxf" Pad 0x%"UVxf" sv %"IVdf"\n",
 497                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 498 #else
 499     if (!po)
 500         Perl_croak(aTHX_ "panic: pad_sv po");
 501     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" sv %"IVdf"\n",
 502                           PTR2UV(PL_curpad), (IV)po));
 503 #endif /* USE_THREADS */
 504     return PL_curpad[po];               /* eventually we'll turn this into a macro */
 505 }
 506
 507 void
 508 Perl_pad_free(pTHX_ PADOFFSET po)
 509 {
 510     dTHR;
 511     if (!PL_curpad)
 512         return;
 513     if (AvARRAY(PL_comppad) != PL_curpad)
 514         Perl_croak(aTHX_ "panic: pad_free curpad");
 515     if (!po)
 516         Perl_croak(aTHX_ "panic: pad_free po");
 517 #ifdef USE_THREADS
 518     DEBUG_X(PerlIO_printf(Perl_debug_log,
 519                           "0x%"UVxf" Pad 0x%"UVxf" free %"IVdf"\n",
 520                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 521 #else
 522     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" free %"IVdf"\n",
 523                           PTR2UV(PL_curpad), (IV)po));
 524 #endif /* USE_THREADS */
 525     if (PL_curpad[po] && PL_curpad[po] != &PL_sv_undef) {
 526         SvPADTMP_off(PL_curpad[po]);
 527 #ifdef USE_ITHREADS
 528         SvREADONLY_off(PL_curpad[po]);  /* could be a freed constant */
 529 #endif
 530     }
 531     if ((I32)po < PL_padix)
 532         PL_padix = po - 1;
 533 }
 534
 535 void
 536 Perl_pad_swipe(pTHX_ PADOFFSET po)
 537 {
 538     dTHR;
 539     if (AvARRAY(PL_comppad) != PL_curpad)
 540         Perl_croak(aTHX_ "panic: pad_swipe curpad");
 541     if (!po)
 542         Perl_croak(aTHX_ "panic: pad_swipe po");
 543 #ifdef USE_THREADS
 544     DEBUG_X(PerlIO_printf(Perl_debug_log,
 545                           "0x%"UVxf" Pad 0x%"UVxf" swipe %"IVdf"\n",
 546                           PTR2UV(thr), PTR2UV(PL_curpad), (IV)po));
 547 #else
 548     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" swipe %"IVdf"\n",
 549                           PTR2UV(PL_curpad), (IV)po));
 550 #endif /* USE_THREADS */
 551     SvPADTMP_off(PL_curpad[po]);
 552     PL_curpad[po] = NEWSV(1107,0);
 553     SvPADTMP_on(PL_curpad[po]);
 554     if ((I32)po < PL_padix)
 555         PL_padix = po - 1;
 556 }
 557
 558 /* XXX pad_reset() is currently disabled because it results in serious bugs.
 559  * It causes pad temp TARGs to be shared between OPs. Since TARGs are pushed
 560  * on the stack by OPs that use them, there are several ways to get an alias
 561  * to  a shared TARG.  Such an alias will change randomly and unpredictably.
 562  * We avoid doing this until we can think of a Better Way.
 563  * GSAR 97-10-29 */
 564 void
 565 Perl_pad_reset(pTHX)
 566 {
 567 #ifdef USE_BROKEN_PAD_RESET
 568     dTHR;
 569     register I32 po;
 570
 571     if (AvARRAY(PL_comppad) != PL_curpad)
 572         Perl_croak(aTHX_ "panic: pad_reset curpad");
 573 #ifdef USE_THREADS
 574     DEBUG_X(PerlIO_printf(Perl_debug_log,
 575                           "0x%"UVxf" Pad 0x%"UVxf" reset\n",
 576                           PTR2UV(thr), PTR2UV(PL_curpad)));
 577 #else
 578     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%"UVxf" reset\n",
 579                           PTR2UV(PL_curpad)));
 580 #endif /* USE_THREADS */
 581     if (!PL_tainting) { /* Can't mix tainted and non-tainted temporaries. */
 582         for (po = AvMAX(PL_comppad); po > PL_padix_floor; po--) {
 583             if (PL_curpad[po] && !SvIMMORTAL(PL_curpad[po]))
 584                 SvPADTMP_off(PL_curpad[po]);
 585         }
 586         PL_padix = PL_padix_floor;
 587     }
 588 #endif
 589     PL_pad_reset_pending = FALSE;
 590 }
 591
 592 #ifdef USE_THREADS
 593 /* find_threadsv is not reentrant */
 594 PADOFFSET
 595 Perl_find_threadsv(pTHX_ const char *name)
 596 {
 597     dTHR;
 598     char *p;
 599     PADOFFSET key;
 600     SV **svp;
 601     /* We currently only handle names of a single character */
 602     p = strchr(PL_threadsv_names, *name);
 603     if (!p)
 604         return NOT_IN_PAD;
 605     key = p - PL_threadsv_names;
 606     MUTEX_LOCK(&thr->mutex);
 607     svp = av_fetch(thr->threadsv, key, FALSE);
 608     if (svp)
 609         MUTEX_UNLOCK(&thr->mutex);
 610     else {
 611         SV *sv = NEWSV(0, 0);
 612         av_store(thr->threadsv, key, sv);
 613         thr->threadsvp = AvARRAY(thr->threadsv);
 614         MUTEX_UNLOCK(&thr->mutex);
 615         /*
 616          * Some magic variables used to be automagically initialised
 617          * in gv_fetchpv. Those which are now per-thread magicals get
 618          * initialised here instead.
 619          */
 620         switch (*name) {
 621         case '_':
 622             break;
 623         case ';':
 624             sv_setpv(sv, "\034");
 625             sv_magic(sv, 0, 0, name, 1);
 626             break;
 627         case '&':
 628         case '`':
 629         case '\'':
 630             PL_sawampersand = TRUE;
 631             /* FALL THROUGH */
 632         case '1':
 633         case '2':
 634         case '3':
 635         case '4':
 636         case '5':
 637         case '6':
 638         case '7':
 639         case '8':
 640         case '9':
 641             SvREADONLY_on(sv);
 642             /* FALL THROUGH */
 643
 644         /* XXX %! tied to Errno.pm needs to be added here.
 645          * See gv_fetchpv(). */
 646         /* case '!': */
 647
 648         default:
 649             sv_magic(sv, 0, 0, name, 1);
 650         }
 651         DEBUG_S(PerlIO_printf(Perl_error_log,
 652                               "find_threadsv: new SV %p for $%s%c\n",
 653                               sv, (*name < 32) ? "^" : "",
 654                               (*name < 32) ? toCTRL(*name) : *name));
 655     }
 656     return key;
 657 }
 658 #endif /* USE_THREADS */
 659
 660 /* Destructor */
 661
 662 void
 663 Perl_op_free(pTHX_ OP *o)
 664 {
 665     register OP *kid, *nextkid;
 666     OPCODE type;
 667
 668     if (!o || o->op_seq == (U16)-1)
 669         return;
 670
 671     if (o->op_private & OPpREFCOUNTED) {
 672         switch (o->op_type) {
 673         case OP_LEAVESUB:
 674         case OP_LEAVESUBLV:
 675         case OP_LEAVEEVAL:
 676         case OP_LEAVE:
 677         case OP_SCOPE:
 678         case OP_LEAVEWRITE:
 679             OP_REFCNT_LOCK;
 680             if (OpREFCNT_dec(o)) {
 681                 OP_REFCNT_UNLOCK;
 682                 return;
 683             }
 684             OP_REFCNT_UNLOCK;
 685             break;
 686         default:
 687             break;
 688         }
 689     }
 690
 691     if (o->op_flags & OPf_KIDS) {
 692         for (kid = cUNOPo->op_first; kid; kid = nextkid) {
 693             nextkid = kid->op_sibling; /* Get before next freeing kid */
 694             op_free(kid);
 695         }
 696     }
 697     type = o->op_type;
 698     if (type == OP_NULL)
 699         type = o->op_targ;
 700
 701     /* COP* is not cleared by op_clear() so that we may track line
 702      * numbers etc even after null() */
 703     if (type == OP_NEXTSTATE || type == OP_SETSTATE || type == OP_DBSTATE)
 704         cop_free((COP*)o);
 705
 706     op_clear(o);
 707
 708 #ifdef PL_OP_SLAB_ALLOC
 709     if ((char *) o == PL_OpPtr)
 710      {
 711      }
 712 #else
 713     Safefree(o);
 714 #endif
 715 }
 716
 717 STATIC void
 718 S_op_clear(pTHX_ OP *o)
 719 {
 720     switch (o->op_type) {
 721     case OP_NULL:       /* Was holding old type, if any. */
 722     case OP_ENTEREVAL:  /* Was holding hints. */
 723 #ifdef USE_THREADS
 724     case OP_THREADSV:   /* Was holding index into thr->threadsv AV. */
 725 #endif
 726         o->op_targ = 0;
 727         break;
 728 #ifdef USE_THREADS
 729     case OP_ENTERITER:
 730         if (!(o->op_flags & OPf_SPECIAL))
 731             break;
 732         /* FALL THROUGH */
 733 #endif /* USE_THREADS */
 734     default:
 735         if (!(o->op_flags & OPf_REF)
 736             || (PL_check[o->op_type] != MEMBER_TO_FPTR(Perl_ck_ftst)))
 737             break;
 738         /* FALL THROUGH */
 739     case OP_GVSV:
 740     case OP_GV:
 741     case OP_AELEMFAST:
 742 #ifdef USE_ITHREADS
 743         if (cPADOPo->op_padix > 0) {
 744             if (PL_curpad) {
 745                 GV *gv = cGVOPo_gv;
 746                 pad_swipe(cPADOPo->op_padix);
 747                 /* No GvIN_PAD_off(gv) here, because other references may still
 748                  * exist on the pad */
 749                 SvREFCNT_dec(gv);
 750             }
 751             cPADOPo->op_padix = 0;
 752         }
 753 #else
 754         SvREFCNT_dec(cSVOPo->op_sv);
 755         cSVOPo->op_sv = Nullsv;
 756 #endif
 757         break;
 758     case OP_CONST:
 759         SvREFCNT_dec(cSVOPo->op_sv);
 760         cSVOPo->op_sv = Nullsv;
 761         break;
 762     case OP_GOTO:
 763     case OP_NEXT:
 764     case OP_LAST:
 765     case OP_REDO:
 766         if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
 767             break;
 768         /* FALL THROUGH */
 769     case OP_TRANS:
 770         if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
 771             SvREFCNT_dec(cSVOPo->op_sv);
 772             cSVOPo->op_sv = Nullsv;
 773         }
 774         else {
 775             Safefree(cPVOPo->op_pv);
 776             cPVOPo->op_pv = Nullch;
 777         }
 778         break;
 779     case OP_SUBST:
 780         op_free(cPMOPo->op_pmreplroot);
 781         goto clear_pmop;
 782     case OP_PUSHRE:
 783 #ifdef USE_ITHREADS
 784         if ((PADOFFSET)cPMOPo->op_pmreplroot) {
 785             if (PL_curpad) {
 786                 GV *gv = (GV*)PL_curpad[(PADOFFSET)cPMOPo->op_pmreplroot];
 787                 pad_swipe((PADOFFSET)cPMOPo->op_pmreplroot);
 788                 /* No GvIN_PAD_off(gv) here, because other references may still
 789                  * exist on the pad */
 790                 SvREFCNT_dec(gv);
 791             }
 792         }
 793 #else
 794         SvREFCNT_dec((SV*)cPMOPo->op_pmreplroot);
 795 #endif
 796         /* FALL THROUGH */
 797     case OP_MATCH:
 798     case OP_QR:
 799 clear_pmop:
 800         cPMOPo->op_pmreplroot = Nullop;
 801         ReREFCNT_dec(cPMOPo->op_pmregexp);
 802         cPMOPo->op_pmregexp = (REGEXP*)NULL;
 803         break;
 804     }
 805
 806     if (o->op_targ > 0) {
 807         pad_free(o->op_targ);
 808         o->op_targ = 0;
 809     }
 810 }
 811
 812 STATIC void
 813 S_cop_free(pTHX_ COP* cop)
 814 {
 815     Safefree(cop->cop_label);
 816 #ifdef USE_ITHREADS
 817     Safefree(CopFILE(cop));             /* XXXXX share in a pvtable? */
 818     Safefree(CopSTASHPV(cop));          /* XXXXX share in a pvtable? */
 819 #else
 820     /* NOTE: COP.cop_stash is not refcounted */
 821     SvREFCNT_dec(CopFILEGV(cop));
 822 #endif
 823     if (! specialWARN(cop->cop_warnings))
 824         SvREFCNT_dec(cop->cop_warnings);
 825 }
 826
 827 STATIC void
 828 S_null(pTHX_ OP *o)
 829 {
 830     if (o->op_type == OP_NULL)
 831         return;
 832     op_clear(o);
 833     o->op_targ = o->op_type;
 834     o->op_type = OP_NULL;
 835     o->op_ppaddr = PL_ppaddr[OP_NULL];
 836 }
 837
 838 /* Contextualizers */
 839
 840 #define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
 841
 842 OP *
 843 Perl_linklist(pTHX_ OP *o)
 844 {
 845     register OP *kid;
 846
 847     if (o->op_next)
 848         return o->op_next;
 849
 850     /* establish postfix order */
 851     if (cUNOPo->op_first) {
 852         o->op_next = LINKLIST(cUNOPo->op_first);
 853         for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
 854             if (kid->op_sibling)
 855                 kid->op_next = LINKLIST(kid->op_sibling);
 856             else
 857                 kid->op_next = o;
 858         }
 859     }
 860     else
 861         o->op_next = o;
 862
 863     return o->op_next;
 864 }
 865
 866 OP *
 867 Perl_scalarkids(pTHX_ OP *o)
 868 {
 869     OP *kid;
 870     if (o && o->op_flags & OPf_KIDS) {
 871         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
 872             scalar(kid);
 873     }
 874     return o;
 875 }
 876
 877 STATIC OP *
 878 S_scalarboolean(pTHX_ OP *o)
 879 {
 880     if (o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
 881         dTHR;
 882         if (ckWARN(WARN_SYNTAX)) {
 883             line_t oldline = CopLINE(PL_curcop);
 884
 885             if (PL_copline != NOLINE)
 886                 CopLINE_set(PL_curcop, PL_copline);
 887             Perl_warner(aTHX_ WARN_SYNTAX, "Found = in conditional, should be ==");
 888             CopLINE_set(PL_curcop, oldline);
 889         }
 890     }
 891     return scalar(o);
 892 }
 893
 894 OP *
 895 Perl_scalar(pTHX_ OP *o)
 896 {
 897     OP *kid;
 898
 899     /* assumes no premature commitment */
 900     if (!o || (o->op_flags & OPf_WANT) || PL_error_count
 901          || o->op_type == OP_RETURN)
 902     {
 903         return o;
 904     }
 905
 906     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
 907
 908     switch (o->op_type) {
 909     case OP_REPEAT:
 910         if (o->op_private & OPpREPEAT_DOLIST)
 911             null(((LISTOP*)cBINOPo->op_first)->op_first);
 912         scalar(cBINOPo->op_first);
 913         break;
 914     case OP_OR:
 915     case OP_AND:
 916     case OP_COND_EXPR:
 917         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
 918             scalar(kid);
 919         break;
 920     case OP_SPLIT:
 921         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
 922             if (!kPMOP->op_pmreplroot)
 923                 deprecate("implicit split to @_");
 924         }
 925         /* FALL THROUGH */
 926     case OP_MATCH:
 927     case OP_QR:
 928     case OP_SUBST:
 929     case OP_NULL:
 930     default:
 931         if (o->op_flags & OPf_KIDS) {
 932             for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
 933                 scalar(kid);
 934         }
 935         break;
 936     case OP_LEAVE:
 937     case OP_LEAVETRY:
 938         kid = cLISTOPo->op_first;
 939         scalar(kid);
 940         while (kid = kid->op_sibling) {
 941             if (kid->op_sibling)
 942                 scalarvoid(kid);
 943             else
 944                 scalar(kid);
 945         }
 946         WITH_THR(PL_curcop = &PL_compiling);
 947         break;
 948     case OP_SCOPE:
 949     case OP_LINESEQ:
 950     case OP_LIST:
 951         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
 952             if (kid->op_sibling)
 953                 scalarvoid(kid);
 954             else
 955                 scalar(kid);
 956         }
 957         WITH_THR(PL_curcop = &PL_compiling);
 958         break;
 959     }
 960     return o;
 961 }
 962
 963 OP *
 964 Perl_scalarvoid(pTHX_ OP *o)
 965 {
 966     OP *kid;
 967     char* useless = 0;
 968     SV* sv;
 969     U8 want;
 970
 971     if (o->op_type == OP_NEXTSTATE
 972         || o->op_type == OP_SETSTATE
 973         || o->op_type == OP_DBSTATE
 974         || (o->op_type == OP_NULL && (o->op_targ == OP_NEXTSTATE
 975                                       || o->op_targ == OP_SETSTATE
 976                                       || o->op_targ == OP_DBSTATE)))
 977     {
 978         dTHR;
 979         PL_curcop = (COP*)o;            /* for warning below */
 980     }
 981
 982     /* assumes no premature commitment */
 983     want = o->op_flags & OPf_WANT;
 984     if ((want && want != OPf_WANT_SCALAR) || PL_error_count
 985          || o->op_type == OP_RETURN)
 986     {
 987         return o;
 988     }
 989
 990     if ((o->op_private & OPpTARGET_MY)
 991         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
 992     {
 993         return scalar(o);                       /* As if inside SASSIGN */
 994     }
 995
 996     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
 997
 998     switch (o->op_type) {
 999     default:
1000         if (!(PL_opargs[o->op_type] & OA_FOLDCONST))
1001             break;
1002         /* FALL THROUGH */
1003     case OP_REPEAT:
1004         if (o->op_flags & OPf_STACKED)
1005             break;
1006         goto func_ops;
1007     case OP_SUBSTR:
1008         if (o->op_private == 4)
1009             break;
1010         /* FALL THROUGH */
1011     case OP_GVSV:
1012     case OP_WANTARRAY:
1013     case OP_GV:
1014     case OP_PADSV:
1015     case OP_PADAV:
1016     case OP_PADHV:
1017     case OP_PADANY:
1018     case OP_AV2ARYLEN:
1019     case OP_REF:
1020     case OP_REFGEN:
1021     case OP_SREFGEN:
1022     case OP_DEFINED:
1023     case OP_HEX:
1024     case OP_OCT:
1025     case OP_LENGTH:
1026     case OP_VEC:
1027     case OP_INDEX:
1028     case OP_RINDEX:
1029     case OP_SPRINTF:
1030     case OP_AELEM:
1031     case OP_AELEMFAST:
1032     case OP_ASLICE:
1033     case OP_HELEM:
1034     case OP_HSLICE:
1035     case OP_UNPACK:
1036     case OP_PACK:
1037     case OP_JOIN:
1038     case OP_LSLICE:
1039     case OP_ANONLIST:
1040     case OP_ANONHASH:
1041     case OP_SORT:
1042     case OP_REVERSE:
1043     case OP_RANGE:
1044     case OP_FLIP:
1045     case OP_FLOP:
1046     case OP_CALLER:
1047     case OP_FILENO:
1048     case OP_EOF:
1049     case OP_TELL:
1050     case OP_GETSOCKNAME:
1051     case OP_GETPEERNAME:
1052     case OP_READLINK:
1053     case OP_TELLDIR:
1054     case OP_GETPPID:
1055     case OP_GETPGRP:
1056     case OP_GETPRIORITY:
1057     case OP_TIME:
1058     case OP_TMS:
1059     case OP_LOCALTIME:
1060     case OP_GMTIME:
1061     case OP_GHBYNAME:
1062     case OP_GHBYADDR:
1063     case OP_GHOSTENT:
1064     case OP_GNBYNAME:
1065     case OP_GNBYADDR:
1066     case OP_GNETENT:
1067     case OP_GPBYNAME:
1068     case OP_GPBYNUMBER:
1069     case OP_GPROTOENT:
1070     case OP_GSBYNAME:
1071     case OP_GSBYPORT:
1072     case OP_GSERVENT:
1073     case OP_GPWNAM:
1074     case OP_GPWUID:
1075     case OP_GGRNAM:
1076     case OP_GGRGID:
1077     case OP_GETLOGIN:
1078       func_ops:
1079         if (!(o->op_private & OPpLVAL_INTRO))
1080             useless = PL_op_desc[o->op_type];
1081         break;
1082
1083     case OP_RV2GV:
1084     case OP_RV2SV:
1085     case OP_RV2AV:
1086     case OP_RV2HV:
1087         if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)) &&
1088                 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
1089             useless = "a variable";
1090         break;
1091
1092     case OP_CONST:
1093         sv = cSVOPo_sv;
1094         if (cSVOPo->op_private & OPpCONST_STRICT)
1095             no_bareword_allowed(o);
1096         else {
1097             dTHR;
1098             if (ckWARN(WARN_VOID)) {
1099                 useless = "a constant";
1100                 if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
1101                     useless = 0;
1102                 else if (SvPOK(sv)) {
1103                     if (strnEQ(SvPVX(sv), "di", 2) ||
1104                         strnEQ(SvPVX(sv), "ds", 2) ||
1105                         strnEQ(SvPVX(sv), "ig", 2))
1106                             useless = 0;
1107                 }
1108             }
1109         }
1110         null(o);                /* don't execute or even remember it */
1111         break;
1112
1113     case OP_POSTINC:
1114         o->op_type = OP_PREINC;         /* pre-increment is faster */
1115         o->op_ppaddr = PL_ppaddr[OP_PREINC];
1116         break;
1117
1118     case OP_POSTDEC:
1119         o->op_type = OP_PREDEC;         /* pre-decrement is faster */
1120         o->op_ppaddr = PL_ppaddr[OP_PREDEC];
1121         break;
1122
1123     case OP_OR:
1124     case OP_AND:
1125     case OP_COND_EXPR:
1126         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1127             scalarvoid(kid);
1128         break;
1129
1130     case OP_NULL:
1131         if (o->op_flags & OPf_STACKED)
1132             break;
1133         /* FALL THROUGH */
1134     case OP_NEXTSTATE:
1135     case OP_DBSTATE:
1136     case OP_ENTERTRY:
1137     case OP_ENTER:
1138     case OP_SCALAR:
1139         if (!(o->op_flags & OPf_KIDS))
1140             break;
1141         /* FALL THROUGH */
1142     case OP_SCOPE:
1143     case OP_LEAVE:
1144     case OP_LEAVETRY:
1145     case OP_LEAVELOOP:
1146     case OP_LINESEQ:
1147     case OP_LIST:
1148         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1149             scalarvoid(kid);
1150         break;
1151     case OP_ENTEREVAL:
1152         scalarkids(o);
1153         break;
1154     case OP_REQUIRE:
1155         /* all requires must return a boolean value */
1156         o->op_flags &= ~OPf_WANT;
1157         return scalar(o);
1158     case OP_SPLIT:
1159         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
1160             if (!kPMOP->op_pmreplroot)
1161                 deprecate("implicit split to @_");
1162         }
1163         break;
1164     }
1165     if (useless) {
1166         dTHR;
1167         if (ckWARN(WARN_VOID))
1168             Perl_warner(aTHX_ WARN_VOID, "Useless use of %s in void context", useless);
1169     }
1170     return o;
1171 }
1172
1173 OP *
1174 Perl_listkids(pTHX_ OP *o)
1175 {
1176     OP *kid;
1177     if (o && o->op_flags & OPf_KIDS) {
1178         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1179             list(kid);
1180     }
1181     return o;
1182 }
1183
1184 OP *
1185 Perl_list(pTHX_ OP *o)
1186 {
1187     OP *kid;
1188
1189     /* assumes no premature commitment */
1190     if (!o || (o->op_flags & OPf_WANT) || PL_error_count
1191          || o->op_type == OP_RETURN)
1192     {
1193         return o;
1194     }
1195
1196     if ((o->op_private & OPpTARGET_MY)
1197         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1198     {
1199         return o;                               /* As if inside SASSIGN */
1200     }
1201
1202     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
1203
1204     switch (o->op_type) {
1205     case OP_FLOP:
1206     case OP_REPEAT:
1207         list(cBINOPo->op_first);
1208         break;
1209     case OP_OR:
1210     case OP_AND:
1211     case OP_COND_EXPR:
1212         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1213             list(kid);
1214         break;
1215     default:
1216     case OP_MATCH:
1217     case OP_QR:
1218     case OP_SUBST:
1219     case OP_NULL:
1220         if (!(o->op_flags & OPf_KIDS))
1221             break;
1222         if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
1223             list(cBINOPo->op_first);
1224             return gen_constant_list(o);
1225         }
1226     case OP_LIST:
1227         listkids(o);
1228         break;
1229     case OP_LEAVE:
1230     case OP_LEAVETRY:
1231         kid = cLISTOPo->op_first;
1232         list(kid);
1233         while (kid = kid->op_sibling) {
1234             if (kid->op_sibling)
1235                 scalarvoid(kid);
1236             else
1237                 list(kid);
1238         }
1239         WITH_THR(PL_curcop = &PL_compiling);
1240         break;
1241     case OP_SCOPE:
1242     case OP_LINESEQ:
1243         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1244             if (kid->op_sibling)
1245                 scalarvoid(kid);
1246             else
1247                 list(kid);
1248         }
1249         WITH_THR(PL_curcop = &PL_compiling);
1250         break;
1251     case OP_REQUIRE:
1252         /* all requires must return a boolean value */
1253         o->op_flags &= ~OPf_WANT;
1254         return scalar(o);
1255     }
1256     return o;
1257 }
1258
1259 OP *
1260 Perl_scalarseq(pTHX_ OP *o)
1261 {
1262     OP *kid;
1263
1264     if (o) {
1265         if (o->op_type == OP_LINESEQ ||
1266              o->op_type == OP_SCOPE ||
1267              o->op_type == OP_LEAVE ||
1268              o->op_type == OP_LEAVETRY)
1269         {
1270             dTHR;
1271             for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1272                 if (kid->op_sibling) {
1273                     scalarvoid(kid);
1274                 }
1275             }
1276             PL_curcop = &PL_compiling;
1277         }
1278         o->op_flags &= ~OPf_PARENS;
1279         if (PL_hints & HINT_BLOCK_SCOPE)
1280             o->op_flags |= OPf_PARENS;
1281     }
1282     else
1283         o = newOP(OP_STUB, 0);
1284     return o;
1285 }
1286
1287 STATIC OP *
1288 S_modkids(pTHX_ OP *o, I32 type)
1289 {
1290     OP *kid;
1291     if (o && o->op_flags & OPf_KIDS) {
1292         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1293             mod(kid, type);
1294     }
1295     return o;
1296 }
1297
1298 OP *
1299 Perl_mod(pTHX_ OP *o, I32 type)
1300 {
1301     dTHR;
1302     OP *kid;
1303     SV *sv;
1304     STRLEN n_a;
1305
1306     if (!o || PL_error_count)
1307         return o;
1308
1309     if ((o->op_private & OPpTARGET_MY)
1310         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1311     {
1312         return o;
1313     }
1314
1315     switch (o->op_type) {
1316     case OP_UNDEF:
1317         PL_modcount++;
1318         return o;
1319     case OP_CONST:
1320         if (!(o->op_private & (OPpCONST_ARYBASE)))
1321             goto nomod;
1322         if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
1323             PL_compiling.cop_arybase = (I32)SvIV(cSVOPx(PL_eval_start)->op_sv);
1324             PL_eval_start = 0;
1325         }
1326         else if (!type) {
1327             SAVEI32(PL_compiling.cop_arybase);
1328             PL_compiling.cop_arybase = 0;
1329         }
1330         else if (type == OP_REFGEN)
1331             goto nomod;
1332         else
1333             Perl_croak(aTHX_ "That use of $[ is unsupported");
1334         break;
1335     case OP_STUB:
1336         if (o->op_flags & OPf_PARENS)
1337             break;
1338         goto nomod;
1339     case OP_ENTERSUB:
1340         if ((type == OP_UNDEF || type == OP_REFGEN) &&
1341             !(o->op_flags & OPf_STACKED)) {
1342             o->op_type = OP_RV2CV;              /* entersub => rv2cv */
1343             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1344             assert(cUNOPo->op_first->op_type == OP_NULL);
1345             null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
1346             break;
1347         }
1348         else {                          /* lvalue subroutine call */
1349             o->op_private |= OPpLVAL_INTRO;
1350             if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN) {
1351                 /* Backward compatibility mode: */
1352                 o->op_private |= OPpENTERSUB_INARGS;
1353                 break;
1354             }
1355             else {                      /* Compile-time error message: */
1356                 OP *kid = cUNOPo->op_first;
1357                 CV *cv;
1358                 OP *okid;
1359
1360                 if (kid->op_type == OP_PUSHMARK)
1361                     goto skip_kids;
1362                 if (kid->op_type != OP_NULL || kid->op_targ != OP_LIST)
1363                     Perl_croak(aTHX_
1364                                "panic: unexpected lvalue entersub "
1365                                "args: type/targ %ld:%ld",
1366                                (long)kid->op_type,kid->op_targ);
1367                 kid = kLISTOP->op_first;
1368               skip_kids:
1369                 while (kid->op_sibling)
1370                     kid = kid->op_sibling;
1371                 if (!(kid->op_type == OP_NULL && kid->op_targ == OP_RV2CV)) {
1372                     /* Indirect call */
1373                     if (kid->op_type == OP_METHOD_NAMED
1374                         || kid->op_type == OP_METHOD)
1375                     {
1376                         OP *newop;
1377
1378                         if (kid->op_sibling || kid->op_next != kid) {
1379                             yyerror("panic: unexpected optree near method call");
1380                             break;
1381                         }
1382
1383                         NewOp(1101, newop, 1, OP);
1384                         newop->op_type = OP_RV2CV;
1385                         newop->op_ppaddr = PL_ppaddr[OP_RV2CV];
1386                         newop->op_next = newop;
1387                         kid->op_sibling = newop;
1388                         newop->op_private |= OPpLVAL_INTRO;
1389                         break;
1390                     }
1391
1392                     if (kid->op_type != OP_RV2CV)
1393                         Perl_croak(aTHX_
1394                                    "panic: unexpected lvalue entersub "
1395                                    "entry via type/targ %ld:%ld",
1396                                    (long)kid->op_type,kid->op_targ);
1397                     kid->op_private |= OPpLVAL_INTRO;
1398                     break;      /* Postpone until runtime */
1399                 }
1400
1401                 okid = kid;
1402                 kid = kUNOP->op_first;
1403                 if (kid->op_type == OP_NULL && kid->op_targ == OP_RV2SV)
1404                     kid = kUNOP->op_first;
1405                 if (kid->op_type == OP_NULL)
1406                     Perl_croak(aTHX_
1407                                "Unexpected constant lvalue entersub "
1408                                "entry via type/targ %ld:%ld",
1409                                (long)kid->op_type,kid->op_targ);
1410                 if (kid->op_type != OP_GV) {
1411                     /* Restore RV2CV to check lvalueness */
1412                   restore_2cv:
1413                     if (kid->op_next && kid->op_next != kid) { /* Happens? */
1414                         okid->op_next = kid->op_next;
1415                         kid->op_next = okid;
1416                     }
1417                     else
1418                         okid->op_next = Nullop;
1419                     okid->op_type = OP_RV2CV;
1420                     okid->op_targ = 0;
1421                     okid->op_ppaddr = PL_ppaddr[OP_RV2CV];
1422                     okid->op_private |= OPpLVAL_INTRO;
1423                     break;
1424                 }
1425
1426                 cv = GvCV(kGVOP_gv);
1427                 if (!cv)
1428                     goto restore_2cv;
1429                 if (CvLVALUE(cv))
1430                     break;
1431             }
1432         }
1433         /* FALL THROUGH */
1434     default:
1435       nomod:
1436         /* grep, foreach, subcalls, refgen */
1437         if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1438             break;
1439         yyerror(Perl_form(aTHX_ "Can't modify %s in %s",
1440                      (o->op_type == OP_NULL && (o->op_flags & OPf_SPECIAL)
1441                       ? "do block"
1442                       : (o->op_type == OP_ENTERSUB
1443                         ? "non-lvalue subroutine call"
1444                         : PL_op_desc[o->op_type])),
1445                      type ? PL_op_desc[type] : "local"));
1446         return o;
1447
1448     case OP_PREINC:
1449     case OP_PREDEC:
1450     case OP_POW:
1451     case OP_MULTIPLY:
1452     case OP_DIVIDE:
1453     case OP_MODULO:
1454     case OP_REPEAT:
1455     case OP_ADD:
1456     case OP_SUBTRACT:
1457     case OP_CONCAT:
1458     case OP_LEFT_SHIFT:
1459     case OP_RIGHT_SHIFT:
1460     case OP_BIT_AND:
1461     case OP_BIT_XOR:
1462     case OP_BIT_OR:
1463     case OP_I_MULTIPLY:
1464     case OP_I_DIVIDE:
1465     case OP_I_MODULO:
1466     case OP_I_ADD:
1467     case OP_I_SUBTRACT:
1468         if (!(o->op_flags & OPf_STACKED))
1469             goto nomod;
1470         PL_modcount++;
1471         break;
1472
1473     case OP_COND_EXPR:
1474         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1475             mod(kid, type);
1476         break;
1477
1478     case OP_RV2AV:
1479     case OP_RV2HV:
1480         if (!type && cUNOPo->op_first->op_type != OP_GV)
1481             Perl_croak(aTHX_ "Can't localize through a reference");
1482         if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
1483             PL_modcount = 10000;
1484             return o;           /* Treat \(@foo) like ordinary list. */
1485         }
1486         /* FALL THROUGH */
1487     case OP_RV2GV:
1488         if (scalar_mod_type(o, type))
1489             goto nomod;
1490         ref(cUNOPo->op_first, o->op_type);
1491         /* FALL THROUGH */
1492     case OP_AASSIGN:
1493     case OP_ASLICE:
1494     case OP_HSLICE:
1495     case OP_NEXTSTATE:
1496     case OP_DBSTATE:
1497     case OP_REFGEN:
1498     case OP_CHOMP:
1499         PL_modcount = 10000;
1500         break;
1501     case OP_RV2SV:
1502         if (!type && cUNOPo->op_first->op_type != OP_GV)
1503             Perl_croak(aTHX_ "Can't localize through a reference");
1504         ref(cUNOPo->op_first, o->op_type);
1505         /* FALL THROUGH */
1506     case OP_GV:
1507     case OP_AV2ARYLEN:
1508         PL_hints |= HINT_BLOCK_SCOPE;
1509     case OP_SASSIGN:
1510     case OP_ANDASSIGN:
1511     case OP_ORASSIGN:
1512     case OP_AELEMFAST:
1513         PL_modcount++;
1514         break;
1515
1516     case OP_PADAV:
1517     case OP_PADHV:
1518         PL_modcount = 10000;
1519         if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1520             return o;           /* Treat \(@foo) like ordinary list. */
1521         if (scalar_mod_type(o, type))
1522             goto nomod;
1523         /* FALL THROUGH */
1524     case OP_PADSV:
1525         PL_modcount++;
1526         if (!type)
1527             Perl_croak(aTHX_ "Can't localize lexical variable %s",
1528                 SvPV(*av_fetch(PL_comppad_name, o->op_targ, 4), n_a));
1529         break;
1530
1531 #ifdef USE_THREADS
1532     case OP_THREADSV:
1533         PL_modcount++;  /* XXX ??? */
1534         break;
1535 #endif /* USE_THREADS */
1536
1537     case OP_PUSHMARK:
1538         break;
1539
1540     case OP_KEYS:
1541         if (type != OP_SASSIGN)
1542             goto nomod;
1543         goto lvalue_func;
1544     case OP_SUBSTR:
1545         if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
1546             goto nomod;
1547         /* FALL THROUGH */
1548     case OP_POS:
1549     case OP_VEC:
1550       lvalue_func:
1551         pad_free(o->op_targ);
1552         o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
1553         assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
1554         if (o->op_flags & OPf_KIDS)
1555             mod(cBINOPo->op_first->op_sibling, type);
1556         break;
1557
1558     case OP_AELEM:
1559     case OP_HELEM:
1560         ref(cBINOPo->op_first, o->op_type);
1561         if (type == OP_ENTERSUB &&
1562              !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1563             o->op_private |= OPpLVAL_DEFER;
1564         PL_modcount++;
1565         break;
1566
1567     case OP_SCOPE:
1568     case OP_LEAVE:
1569     case OP_ENTER:
1570         if (o->op_flags & OPf_KIDS)
1571             mod(cLISTOPo->op_last, type);
1572         break;
1573
1574     case OP_NULL:
1575         if (o->op_flags & OPf_SPECIAL)          /* do BLOCK */
1576             goto nomod;
1577         else if (!(o->op_flags & OPf_KIDS))
1578             break;
1579         if (o->op_targ != OP_LIST) {
1580             mod(cBINOPo->op_first, type);
1581             break;
1582         }
1583         /* FALL THROUGH */
1584     case OP_LIST:
1585         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1586             mod(kid, type);
1587         break;
1588     }
1589     o->op_flags |= OPf_MOD;
1590
1591     if (type == OP_AASSIGN || type == OP_SASSIGN)
1592         o->op_flags |= OPf_SPECIAL|OPf_REF;
1593     else if (!type) {
1594         o->op_private |= OPpLVAL_INTRO;
1595         o->op_flags &= ~OPf_SPECIAL;
1596         PL_hints |= HINT_BLOCK_SCOPE;
1597     }
1598     else if (type != OP_GREPSTART && type != OP_ENTERSUB)
1599         o->op_flags |= OPf_REF;
1600     return o;
1601 }
1602
1603 STATIC bool
1604 S_scalar_mod_type(pTHX_ OP *o, I32 type)
1605 {
1606     switch (type) {
1607     case OP_SASSIGN:
1608         if (o->op_type == OP_RV2GV)
1609             return FALSE;
1610         /* FALL THROUGH */
1611     case OP_PREINC:
1612     case OP_PREDEC:
1613     case OP_POSTINC:
1614     case OP_POSTDEC:
1615     case OP_I_PREINC:
1616     case OP_I_PREDEC:
1617     case OP_I_POSTINC:
1618     case OP_I_POSTDEC:
1619     case OP_POW:
1620     case OP_MULTIPLY:
1621     case OP_DIVIDE:
1622     case OP_MODULO:
1623     case OP_REPEAT:
1624     case OP_ADD:
1625     case OP_SUBTRACT:
1626     case OP_I_MULTIPLY:
1627     case OP_I_DIVIDE:
1628     case OP_I_MODULO:
1629     case OP_I_ADD:
1630     case OP_I_SUBTRACT:
1631     case OP_LEFT_SHIFT:
1632     case OP_RIGHT_SHIFT:
1633     case OP_BIT_AND:
1634     case OP_BIT_XOR:
1635     case OP_BIT_OR:
1636     case OP_CONCAT:
1637     case OP_SUBST:
1638     case OP_TRANS:
1639     case OP_READ:
1640     case OP_SYSREAD:
1641     case OP_RECV:
1642     case OP_ANDASSIGN:
1643     case OP_ORASSIGN:
1644         return TRUE;
1645     default:
1646         return FALSE;
1647     }
1648 }
1649
1650 STATIC bool
1651 S_is_handle_constructor(pTHX_ OP *o, I32 argnum)
1652 {
1653     switch (o->op_type) {
1654     case OP_PIPE_OP:
1655     case OP_SOCKPAIR:
1656         if (argnum == 2)
1657             return TRUE;
1658         /* FALL THROUGH */
1659     case OP_SYSOPEN:
1660     case OP_OPEN:
1661     case OP_SELECT:             /* XXX c.f. SelectSaver.pm */
1662     case OP_SOCKET:
1663     case OP_OPEN_DIR:
1664     case OP_ACCEPT:
1665         if (argnum == 1)
1666             return TRUE;
1667         /* FALL THROUGH */
1668     default:
1669         return FALSE;
1670     }
1671 }
1672
1673 OP *
1674 Perl_refkids(pTHX_ OP *o, I32 type)
1675 {
1676     OP *kid;
1677     if (o && o->op_flags & OPf_KIDS) {
1678         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1679             ref(kid, type);
1680     }
1681     return o;
1682 }
1683
1684 OP *
1685 Perl_ref(pTHX_ OP *o, I32 type)
1686 {
1687     OP *kid;
1688
1689     if (!o || PL_error_count)
1690         return o;
1691
1692     switch (o->op_type) {
1693     case OP_ENTERSUB:
1694         if ((type == OP_DEFINED || type == OP_LOCK) &&
1695             !(o->op_flags & OPf_STACKED)) {
1696             o->op_type = OP_RV2CV;             /* entersub => rv2cv */
1697             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1698             assert(cUNOPo->op_first->op_type == OP_NULL);
1699             null(((LISTOP*)cUNOPo->op_first)->op_first);        /* disable pushmark */
1700             o->op_flags |= OPf_SPECIAL;
1701         }
1702         break;
1703
1704     case OP_COND_EXPR:
1705         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1706             ref(kid, type);
1707         break;
1708     case OP_RV2SV:
1709         if (type == OP_DEFINED)
1710             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1711         ref(cUNOPo->op_first, o->op_type);
1712         /* FALL THROUGH */
1713     case OP_PADSV:
1714         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1715             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1716                               : type == OP_RV2HV ? OPpDEREF_HV
1717                               : OPpDEREF_SV);
1718             o->op_flags |= OPf_MOD;
1719         }
1720         break;
1721
1722     case OP_THREADSV:
1723         o->op_flags |= OPf_MOD;         /* XXX ??? */
1724         break;
1725
1726     case OP_RV2AV:
1727     case OP_RV2HV:
1728         o->op_flags |= OPf_REF;
1729         /* FALL THROUGH */
1730     case OP_RV2GV:
1731         if (type == OP_DEFINED)
1732             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1733         ref(cUNOPo->op_first, o->op_type);
1734         break;
1735
1736     case OP_PADAV:
1737     case OP_PADHV:
1738         o->op_flags |= OPf_REF;
1739         break;
1740
1741     case OP_SCALAR:
1742     case OP_NULL:
1743         if (!(o->op_flags & OPf_KIDS))
1744             break;
1745         ref(cBINOPo->op_first, type);
1746         break;
1747     case OP_AELEM:
1748     case OP_HELEM:
1749         ref(cBINOPo->op_first, o->op_type);
1750         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1751             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1752                               : type == OP_RV2HV ? OPpDEREF_HV
1753                               : OPpDEREF_SV);
1754             o->op_flags |= OPf_MOD;
1755         }
1756         break;
1757
1758     case OP_SCOPE:
1759     case OP_LEAVE:
1760     case OP_ENTER:
1761     case OP_LIST:
1762         if (!(o->op_flags & OPf_KIDS))
1763             break;
1764         ref(cLISTOPo->op_last, type);
1765         break;
1766     default:
1767         break;
1768     }
1769     return scalar(o);
1770
1771 }
1772
1773 STATIC OP *
1774 S_dup_attrlist(pTHX_ OP *o)
1775 {
1776     OP *rop = Nullop;
1777
1778     /* An attrlist is either a simple OP_CONST or an OP_LIST with kids,
1779      * where the first kid is OP_PUSHMARK and the remaining ones
1780      * are OP_CONST.  We need to push the OP_CONST values.
1781      */
1782     if (o->op_type == OP_CONST)
1783         rop = newSVOP(OP_CONST, o->op_flags, SvREFCNT_inc(cSVOPo->op_sv));
1784     else {
1785         assert((o->op_type == OP_LIST) && (o->op_flags & OPf_KIDS));
1786         for (o = cLISTOPo->op_first; o; o=o->op_sibling) {
1787             if (o->op_type == OP_CONST)
1788                 rop = append_elem(OP_LIST, rop,
1789                                   newSVOP(OP_CONST, o->op_flags,
1790                                           SvREFCNT_inc(cSVOPo->op_sv)));
1791         }
1792     }
1793     return rop;
1794 }
1795
1796 STATIC void
1797 S_apply_attrs(pTHX_ HV *stash, SV *target, OP *attrs)
1798 {
1799     OP *modname;        /* for 'use' */
1800     SV *stashsv;
1801
1802     /* fake up C<use attributes $pkg,$rv,@attrs> */
1803     ENTER;              /* need to protect against side-effects of 'use' */
1804     SAVEINT(PL_expect);
1805     if (stash && HvNAME(stash))
1806         stashsv = newSVpv(HvNAME(stash), 0);
1807     else
1808         stashsv = &PL_sv_no;
1809 #define ATTRSMODULE "attributes"
1810     modname = newSVOP(OP_CONST, 0,
1811                       newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1));
1812     modname->op_private |= OPpCONST_BARE;
1813     /* that flag is required to make 'use' work right */
1814     utilize(1, start_subparse(FALSE, 0),
1815             Nullop, /* version */
1816             modname,
1817             prepend_elem(OP_LIST,
1818                          newSVOP(OP_CONST, 0, stashsv),
1819                          prepend_elem(OP_LIST,
1820                                       newSVOP(OP_CONST, 0, newRV(target)),
1821                                       dup_attrlist(attrs))));
1822     LEAVE;
1823 }
1824
1825 STATIC OP *
1826 S_my_kid(pTHX_ OP *o, OP *attrs)
1827 {
1828     OP *kid;
1829     I32 type;
1830
1831     if (!o || PL_error_count)
1832         return o;
1833
1834     type = o->op_type;
1835     if (type == OP_LIST) {
1836         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1837             my_kid(kid, attrs);
1838     } else if (type == OP_UNDEF) {
1839         return o;
1840     } else if (type == OP_RV2SV ||      /* "our" declaration */
1841                type == OP_RV2AV ||
1842                type == OP_RV2HV) { /* XXX does this let anything illegal in? */
1843         o->op_private |= OPpOUR_INTRO;
1844         return o;
1845     } else if (type != OP_PADSV &&
1846              type != OP_PADAV &&
1847              type != OP_PADHV &&
1848              type != OP_PUSHMARK)
1849     {
1850         yyerror(Perl_form(aTHX_ "Can't declare %s in my", PL_op_desc[o->op_type]));
1851         return o;
1852     }
1853     else if (attrs && type != OP_PUSHMARK) {
1854         HV *stash;
1855         SV *padsv;
1856         SV **namesvp;
1857
1858         /* check for C<my Dog $spot> when deciding package */
1859         namesvp = av_fetch(PL_comppad_name, o->op_targ, FALSE);
1860         if (namesvp && *namesvp && SvOBJECT(*namesvp) && HvNAME(SvSTASH(*namesvp)))
1861             stash = SvSTASH(*namesvp);
1862         else
1863             stash = PL_curstash;
1864         padsv = PAD_SV(o->op_targ);
1865         apply_attrs(stash, padsv, attrs);
1866     }
1867     o->op_flags |= OPf_MOD;
1868     o->op_private |= OPpLVAL_INTRO;
1869     return o;
1870 }
1871
1872 OP *
1873 Perl_my_attrs(pTHX_ OP *o, OP *attrs)
1874 {
1875     if (o->op_flags & OPf_PARENS)
1876         list(o);
1877     PL_in_my = FALSE;
1878     PL_in_my_stash = Nullhv;
1879     if (attrs)
1880         SAVEFREEOP(attrs);
1881     return my_kid(o, attrs);
1882 }
1883
1884 OP *
1885 Perl_my(pTHX_ OP *o)
1886 {
1887     return my_kid(o, Nullop);
1888 }
1889
1890 OP *
1891 Perl_sawparens(pTHX_ OP *o)
1892 {
1893     if (o)
1894         o->op_flags |= OPf_PARENS;
1895     return o;
1896 }
1897
1898 OP *
1899 Perl_bind_match(pTHX_ I32 type, OP *left, OP *right)
1900 {
1901     dTHR;
1902     OP *o;
1903
1904     if (ckWARN(WARN_UNSAFE) &&
1905       (left->op_type == OP_RV2AV ||
1906        left->op_type == OP_RV2HV ||
1907        left->op_type == OP_PADAV ||
1908        left->op_type == OP_PADHV)) {
1909       char *desc = PL_op_desc[(right->op_type == OP_SUBST ||
1910                             right->op_type == OP_TRANS)
1911                            ? right->op_type : OP_MATCH];
1912       const char *sample = ((left->op_type == OP_RV2AV ||
1913                              left->op_type == OP_PADAV)
1914                             ? "@array" : "%hash");
1915       Perl_warner(aTHX_ WARN_UNSAFE,
1916              "Applying %s to %s will act on scalar(%s)",
1917              desc, sample, sample);
1918     }
1919
1920     if (right->op_type == OP_MATCH ||
1921         right->op_type == OP_SUBST ||
1922         right->op_type == OP_TRANS) {
1923         right->op_flags |= OPf_STACKED;
1924         if (right->op_type != OP_MATCH)
1925             left = mod(left, right->op_type);
1926         if (right->op_type == OP_TRANS)
1927             o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
1928         else
1929             o = prepend_elem(right->op_type, scalar(left), right);
1930         if (type == OP_NOT)
1931             return newUNOP(OP_NOT, 0, scalar(o));
1932         return o;
1933     }
1934     else
1935         return bind_match(type, left,
1936                 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
1937 }
1938
1939 OP *
1940 Perl_invert(pTHX_ OP *o)
1941 {
1942     if (!o)
1943         return o;
1944     /* XXX need to optimize away NOT NOT here?  Or do we let optimizer do it? */
1945     return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
1946 }
1947
1948 OP *
1949 Perl_scope(pTHX_ OP *o)
1950 {
1951     if (o) {
1952         if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
1953             o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1954             o->op_type = OP_LEAVE;
1955             o->op_ppaddr = PL_ppaddr[OP_LEAVE];
1956         }
1957         else {
1958             if (o->op_type == OP_LINESEQ) {
1959                 OP *kid;
1960                 o->op_type = OP_SCOPE;
1961                 o->op_ppaddr = PL_ppaddr[OP_SCOPE];
1962                 kid = ((LISTOP*)o)->op_first;
1963                 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE)
1964                     null(kid);
1965             }
1966             else
1967                 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
1968         }
1969     }
1970     return o;
1971 }
1972
1973 void
1974 Perl_save_hints(pTHX)
1975 {
1976     SAVEI32(PL_hints);
1977     SAVESPTR(GvHV(PL_hintgv));
1978     GvHV(PL_hintgv) = newHVhv(GvHV(PL_hintgv));
1979     SAVEFREESV(GvHV(PL_hintgv));
1980 }
1981
1982 int
1983 Perl_block_start(pTHX_ int full)
1984 {
1985     dTHR;
1986     int retval = PL_savestack_ix;
1987
1988     SAVEI32(PL_comppad_name_floor);
1989     if (full) {
1990         if ((PL_comppad_name_fill = AvFILLp(PL_comppad_name)) > 0)
1991             PL_comppad_name_floor = PL_comppad_name_fill;
1992         else
1993             PL_comppad_name_floor = 0;
1994     }
1995     SAVEI32(PL_min_intro_pending);
1996     SAVEI32(PL_max_intro_pending);
1997     PL_min_intro_pending = 0;
1998     SAVEI32(PL_comppad_name_fill);
1999     SAVEI32(PL_padix_floor);
2000     PL_padix_floor = PL_padix;
2001     PL_pad_reset_pending = FALSE;
2002     SAVEHINTS();
2003     PL_hints &= ~HINT_BLOCK_SCOPE;
2004     SAVESPTR(PL_compiling.cop_warnings);
2005     if (! specialWARN(PL_compiling.cop_warnings)) {
2006         PL_compiling.cop_warnings = newSVsv(PL_compiling.cop_warnings) ;
2007         SAVEFREESV(PL_compiling.cop_warnings) ;
2008     }
2009
2010
2011     return retval;
2012 }
2013
2014 OP*
2015 Perl_block_end(pTHX_ I32 floor, OP *seq)
2016 {
2017     dTHR;
2018     int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
2019     OP* retval = scalarseq(seq);
2020     LEAVE_SCOPE(floor);
2021     PL_pad_reset_pending = FALSE;
2022     PL_compiling.op_private = PL_hints;
2023     if (needblockscope)
2024         PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
2025     pad_leavemy(PL_comppad_name_fill);
2026     PL_cop_seqmax++;
2027     return retval;
2028 }
2029
2030 STATIC OP *
2031 S_newDEFSVOP(pTHX)
2032 {
2033 #ifdef USE_THREADS
2034     OP *o = newOP(OP_THREADSV, 0);
2035     o->op_targ = find_threadsv("_");
2036     return o;
2037 #else
2038     return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
2039 #endif /* USE_THREADS */
2040 }
2041
2042 void
2043 Perl_newPROG(pTHX_ OP *o)
2044 {
2045     dTHR;
2046     if (PL_in_eval) {
2047         if (PL_eval_root)
2048                 return;
2049         PL_eval_root = newUNOP(OP_LEAVEEVAL,
2050                                ((PL_in_eval & EVAL_KEEPERR)
2051                                 ? OPf_SPECIAL : 0), o);
2052         PL_eval_start = linklist(PL_eval_root);
2053         PL_eval_root->op_private |= OPpREFCOUNTED;
2054         OpREFCNT_set(PL_eval_root, 1);
2055         PL_eval_root->op_next = 0;
2056         peep(PL_eval_start);
2057     }
2058     else {
2059         if (!o)
2060             return;
2061         PL_main_root = scope(sawparens(scalarvoid(o)));
2062         PL_curcop = &PL_compiling;
2063         PL_main_start = LINKLIST(PL_main_root);
2064         PL_main_root->op_private |= OPpREFCOUNTED;
2065         OpREFCNT_set(PL_main_root, 1);
2066         PL_main_root->op_next = 0;
2067         peep(PL_main_start);
2068         PL_compcv = 0;
2069
2070         /* Register with debugger */
2071         if (PERLDB_INTER) {
2072             CV *cv = get_cv("DB::postponed", FALSE);
2073             if (cv) {
2074                 dSP;
2075                 PUSHMARK(SP);
2076                 XPUSHs((SV*)CopFILEGV(&PL_compiling));
2077                 PUTBACK;
2078                 call_sv((SV*)cv, G_DISCARD);
2079             }
2080         }
2081     }
2082 }
2083
2084 OP *
2085 Perl_localize(pTHX_ OP *o, I32 lex)
2086 {
2087     if (o->op_flags & OPf_PARENS)
2088         list(o);
2089     else {
2090         dTHR;
2091         if (ckWARN(WARN_PARENTHESIS) && PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == ',') {
2092             char *s;
2093             for (s = PL_bufptr; *s && (isALNUM(*s) || (*s & 0x80) || strchr("@$%, ",*s)); s++) ;
2094             if (*s == ';' || *s == '=')
2095                 Perl_warner(aTHX_ WARN_PARENTHESIS, "Parentheses missing around \"%s\" list",
2096                                 lex ? "my" : "local");
2097         }
2098     }
2099     PL_in_my = FALSE;
2100     PL_in_my_stash = Nullhv;
2101     if (lex)
2102         return my(o);
2103     else
2104         return mod(o, OP_NULL);         /* a bit kludgey */
2105 }
2106
2107 OP *
2108 Perl_jmaybe(pTHX_ OP *o)
2109 {
2110     if (o->op_type == OP_LIST) {
2111         OP *o2;
2112 #ifdef USE_THREADS
2113         o2 = newOP(OP_THREADSV, 0);
2114         o2->op_targ = find_threadsv(";");
2115 #else
2116         o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
2117 #endif /* USE_THREADS */
2118         o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
2119     }
2120     return o;
2121 }
2122
2123 OP *
2124 Perl_fold_constants(pTHX_ register OP *o)
2125 {
2126     dTHR;
2127     register OP *curop;
2128     I32 type = o->op_type;
2129     SV *sv;
2130
2131     if (PL_opargs[type] & OA_RETSCALAR)
2132         scalar(o);
2133     if (PL_opargs[type] & OA_TARGET && !o->op_targ)
2134         o->op_targ = pad_alloc(type, SVs_PADTMP);
2135
2136     /* integerize op, unless it happens to be C<-foo>.
2137      * XXX should pp_i_negate() do magic string negation instead? */
2138     if ((PL_opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER)
2139         && !(type == OP_NEGATE && cUNOPo->op_first->op_type == OP_CONST
2140              && (cUNOPo->op_first->op_private & OPpCONST_BARE)))
2141     {
2142         o->op_ppaddr = PL_ppaddr[type = ++(o->op_type)];
2143     }
2144
2145     if (!(PL_opargs[type] & OA_FOLDCONST))
2146         goto nope;
2147
2148     switch (type) {
2149     case OP_NEGATE:
2150         /* XXX might want a ck_negate() for this */
2151         cUNOPo->op_first->op_private &= ~OPpCONST_STRICT;
2152         break;
2153     case OP_SPRINTF:
2154     case OP_UCFIRST:
2155     case OP_LCFIRST:
2156     case OP_UC:
2157     case OP_LC:
2158     case OP_SLT:
2159     case OP_SGT:
2160     case OP_SLE:
2161     case OP_SGE:
2162     case OP_SCMP:
2163
2164         if (o->op_private & OPpLOCALE)
2165             goto nope;
2166     }
2167
2168     if (PL_error_count)
2169         goto nope;              /* Don't try to run w/ errors */
2170
2171     for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
2172         if ((curop->op_type != OP_CONST ||
2173              (curop->op_private & OPpCONST_BARE)) &&
2174             curop->op_type != OP_LIST &&
2175             curop->op_type != OP_SCALAR &&
2176             curop->op_type != OP_NULL &&
2177             curop->op_type != OP_PUSHMARK)
2178         {
2179             goto nope;
2180         }
2181     }
2182
2183     curop = LINKLIST(o);
2184     o->op_next = 0;
2185     PL_op = curop;
2186     CALLRUNOPS(aTHX);
2187     sv = *(PL_stack_sp--);
2188     if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
2189         pad_swipe(o->op_targ);
2190     else if (SvTEMP(sv)) {                      /* grab mortal temp? */
2191         (void)SvREFCNT_inc(sv);
2192         SvTEMP_off(sv);
2193     }
2194     op_free(o);
2195     if (type == OP_RV2GV)
2196         return newGVOP(OP_GV, 0, (GV*)sv);
2197     else {
2198         /* try to smush double to int, but don't smush -2.0 to -2 */
2199         if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK &&
2200             type != OP_NEGATE)
2201         {
2202             IV iv = SvIV(sv);
2203             if ((NV)iv == SvNV(sv)) {
2204                 SvREFCNT_dec(sv);
2205                 sv = newSViv(iv);
2206             }
2207             else
2208                 SvIOK_off(sv);                  /* undo SvIV() damage */
2209         }
2210         return newSVOP(OP_CONST, 0, sv);
2211     }
2212
2213   nope:
2214     if (!(PL_opargs[type] & OA_OTHERINT))
2215         return o;
2216
2217     if (!(PL_hints & HINT_INTEGER)) {
2218         if (type == OP_MODULO
2219             || type == OP_DIVIDE
2220             || !(o->op_flags & OPf_KIDS))
2221         {
2222             return o;
2223         }
2224
2225         for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
2226             if (curop->op_type == OP_CONST) {
2227                 if (SvIOK(((SVOP*)curop)->op_sv))
2228                     continue;
2229                 return o;
2230             }
2231             if (PL_opargs[curop->op_type] & OA_RETINTEGER)
2232                 continue;
2233             return o;
2234         }
2235         o->op_ppaddr = PL_ppaddr[++(o->op_type)];
2236     }
2237
2238     return o;
2239 }
2240
2241 OP *
2242 Perl_gen_constant_list(pTHX_ register OP *o)
2243 {
2244     dTHR;
2245     register OP *curop;
2246     I32 oldtmps_floor = PL_tmps_floor;
2247
2248     list(o);
2249     if (PL_error_count)
2250         return o;               /* Don't attempt to run with errors */
2251
2252     PL_op = curop = LINKLIST(o);
2253     o->op_next = 0;
2254     peep(curop);
2255     pp_pushmark();
2256     CALLRUNOPS(aTHX);
2257     PL_op = curop;
2258     pp_anonlist();
2259     PL_tmps_floor = oldtmps_floor;
2260
2261     o->op_type = OP_RV2AV;
2262     o->op_ppaddr = PL_ppaddr[OP_RV2AV];
2263     curop = ((UNOP*)o)->op_first;
2264     ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*PL_stack_sp--));
2265     op_free(curop);
2266     linklist(o);
2267     return list(o);
2268 }
2269
2270 OP *
2271 Perl_convert(pTHX_ I32 type, I32 flags, OP *o)
2272 {
2273     OP *kid;
2274     OP *last = 0;
2275
2276     if (!o || o->op_type != OP_LIST)
2277         o = newLISTOP(OP_LIST, 0, o, Nullop);
2278     else
2279         o->op_flags &= ~OPf_WANT;
2280
2281     if (!(PL_opargs[type] & OA_MARK))
2282         null(cLISTOPo->op_first);
2283
2284     o->op_type = type;
2285     o->op_ppaddr = PL_ppaddr[type];
2286     o->op_flags |= flags;
2287
2288     o = CHECKOP(type, o);
2289     if (o->op_type != type)
2290         return o;
2291
2292     if (cLISTOPo->op_children < 7) {
2293         /* XXX do we really need to do this if we're done appending?? */
2294         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
2295             last = kid;
2296         cLISTOPo->op_last = last;       /* in case check substituted last arg */
2297     }
2298
2299     return fold_constants(o);
2300 }
2301
2302 /* List constructors */
2303
2304 OP *
2305 Perl_append_elem(pTHX_ I32 type, OP *first, OP *last)
2306 {
2307     if (!first)
2308         return last;
2309
2310     if (!last)
2311         return first;
2312
2313     if (first->op_type != type || type==OP_LIST && first->op_flags & OPf_PARENS)
2314             return newLISTOP(type, 0, first, last);
2315
2316     if (first->op_flags & OPf_KIDS)
2317         ((LISTOP*)first)->op_last->op_sibling = last;
2318     else {
2319         first->op_flags |= OPf_KIDS;
2320         ((LISTOP*)first)->op_first = last;
2321     }
2322     ((LISTOP*)first)->op_last = last;
2323     ((LISTOP*)first)->op_children++;
2324     return first;
2325 }
2326
2327 OP *
2328 Perl_append_list(pTHX_ I32 type, LISTOP *first, LISTOP *last)
2329 {
2330     if (!first)
2331         return (OP*)last;
2332
2333     if (!last)
2334         return (OP*)first;
2335
2336     if (first->op_type != type)
2337         return prepend_elem(type, (OP*)first, (OP*)last);
2338
2339     if (last->op_type != type)
2340         return append_elem(type, (OP*)first, (OP*)last);
2341
2342     first->op_last->op_sibling = last->op_first;
2343     first->op_last = last->op_last;
2344     first->op_children += last->op_children;
2345     if (first->op_children)
2346         first->op_flags |= OPf_KIDS;
2347
2348 #ifdef PL_OP_SLAB_ALLOC
2349 #else
2350     Safefree(last);
2351 #endif
2352     return (OP*)first;
2353 }
2354
2355 OP *
2356 Perl_prepend_elem(pTHX_ I32 type, OP *first, OP *last)
2357 {
2358     if (!first)
2359         return last;
2360
2361     if (!last)
2362         return first;
2363
2364     if (last->op_type == type) {
2365         if (type == OP_LIST) {  /* already a PUSHMARK there */
2366             first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
2367             ((LISTOP*)last)->op_first->op_sibling = first;
2368         }
2369         else {
2370             if (!(last->op_flags & OPf_KIDS)) {
2371                 ((LISTOP*)last)->op_last = first;
2372                 last->op_flags |= OPf_KIDS;
2373             }
2374             first->op_sibling = ((LISTOP*)last)->op_first;
2375             ((LISTOP*)last)->op_first = first;
2376         }
2377         ((LISTOP*)last)->op_children++;
2378         return last;
2379     }
2380
2381     return newLISTOP(type, 0, first, last);
2382 }
2383
2384 /* Constructors */
2385
2386 OP *
2387 Perl_newNULLLIST(pTHX)
2388 {
2389     return newOP(OP_STUB, 0);
2390 }
2391
2392 OP *
2393 Perl_force_list(pTHX_ OP *o)
2394 {
2395     if (!o || o->op_type != OP_LIST)
2396         o = newLISTOP(OP_LIST, 0, o, Nullop);
2397     null(o);
2398     return o;
2399 }
2400
2401 OP *
2402 Perl_newLISTOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
2403 {
2404     LISTOP *listop;
2405
2406     NewOp(1101, listop, 1, LISTOP);
2407
2408     listop->op_type = type;
2409     listop->op_ppaddr = PL_ppaddr[type];
2410     listop->op_children = (first != 0) + (last != 0);
2411     listop->op_flags = flags;
2412
2413     if (!last && first)
2414         last = first;
2415     else if (!first && last)
2416         first = last;
2417     else if (first)
2418         first->op_sibling = last;
2419     listop->op_first = first;
2420     listop->op_last = last;
2421     if (type == OP_LIST) {
2422         OP* pushop;
2423         pushop = newOP(OP_PUSHMARK, 0);
2424         pushop->op_sibling = first;
2425         listop->op_first = pushop;
2426         listop->op_flags |= OPf_KIDS;
2427         if (!last)
2428             listop->op_last = pushop;
2429     }
2430     else if (listop->op_children)
2431         listop->op_flags |= OPf_KIDS;
2432
2433     return (OP*)listop;
2434 }
2435
2436 OP *
2437 Perl_newOP(pTHX_ I32 type, I32 flags)
2438 {
2439     OP *o;
2440     NewOp(1101, o, 1, OP);
2441     o->op_type = type;
2442     o->op_ppaddr = PL_ppaddr[type];
2443     o->op_flags = flags;
2444
2445     o->op_next = o;
2446     o->op_private = 0 + (flags >> 8);
2447     if (PL_opargs[type] & OA_RETSCALAR)
2448         scalar(o);
2449     if (PL_opargs[type] & OA_TARGET)
2450         o->op_targ = pad_alloc(type, SVs_PADTMP);
2451     return CHECKOP(type, o);
2452 }
2453
2454 OP *
2455 Perl_newUNOP(pTHX_ I32 type, I32 flags, OP *first)
2456 {
2457     UNOP *unop;
2458
2459     if (!first)
2460         first = newOP(OP_STUB, 0);
2461     if (PL_opargs[type] & OA_MARK)
2462         first = force_list(first);
2463
2464     NewOp(1101, unop, 1, UNOP);
2465     unop->op_type = type;
2466     unop->op_ppaddr = PL_ppaddr[type];
2467     unop->op_first = first;
2468     unop->op_flags = flags | OPf_KIDS;
2469     unop->op_private = 1 | (flags >> 8);
2470     unop = (UNOP*) CHECKOP(type, unop);
2471     if (unop->op_next)
2472         return (OP*)unop;
2473
2474     return fold_constants((OP *) unop);
2475 }
2476
2477 OP *
2478 Perl_newBINOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
2479 {
2480     BINOP *binop;
2481     NewOp(1101, binop, 1, BINOP);
2482
2483     if (!first)
2484         first = newOP(OP_NULL, 0);
2485
2486     binop->op_type = type;
2487     binop->op_ppaddr = PL_ppaddr[type];
2488     binop->op_first = first;
2489     binop->op_flags = flags | OPf_KIDS;
2490     if (!last) {
2491         last = first;
2492         binop->op_private = 1 | (flags >> 8);
2493     }
2494     else {
2495         binop->op_private = 2 | (flags >> 8);
2496         first->op_sibling = last;
2497     }
2498
2499     binop = (BINOP*)CHECKOP(type, binop);
2500     if (binop->op_next || binop->op_type != type)
2501         return (OP*)binop;
2502
2503     binop->op_last = binop->op_first->op_sibling;
2504
2505     return fold_constants((OP *)binop);
2506 }
2507
2508 static int
2509 utf8compare(const void *a, const void *b)
2510 {
2511     int i;
2512     for (i = 0; i < 10; i++) {
2513         if ((*(U8**)a)[i] < (*(U8**)b)[i])
2514             return -1;
2515         if ((*(U8**)a)[i] > (*(U8**)b)[i])
2516             return 1;
2517     }
2518     return 0;
2519 }
2520
2521 OP *
2522 Perl_pmtrans(pTHX_ OP *o, OP *expr, OP *repl)
2523 {
2524     SV *tstr = ((SVOP*)expr)->op_sv;
2525     SV *rstr = ((SVOP*)repl)->op_sv;
2526     STRLEN tlen;
2527     STRLEN rlen;
2528     register U8 *t = (U8*)SvPV(tstr, tlen);
2529     register U8 *r = (U8*)SvPV(rstr, rlen);
2530     register I32 i;
2531     register I32 j;
2532     I32 del;
2533     I32 complement;
2534     I32 squash;
2535     register short *tbl;
2536
2537     complement  = o->op_private & OPpTRANS_COMPLEMENT;
2538     del         = o->op_private & OPpTRANS_DELETE;
2539     squash      = o->op_private & OPpTRANS_SQUASH;
2540
2541     if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
2542         SV* listsv = newSVpvn("# comment\n",10);
2543         SV* transv = 0;
2544         U8* tend = t + tlen;
2545         U8* rend = r + rlen;
2546         I32 ulen;
2547         U32 tfirst = 1;
2548         U32 tlast = 0;
2549         I32 tdiff;
2550         U32 rfirst = 1;
2551         U32 rlast = 0;
2552         I32 rdiff;
2553         I32 diff;
2554         I32 none = 0;
2555         U32 max = 0;
2556         I32 bits;
2557         I32 grows = 0;
2558         I32 havefinal = 0;
2559         U32 final;
2560         HV *hv;
2561         I32 from_utf    = o->op_private & OPpTRANS_FROM_UTF;
2562         I32 to_utf      = o->op_private & OPpTRANS_TO_UTF;
2563
2564         if (complement) {
2565             U8 tmpbuf[10];
2566             U8** cp;
2567             UV nextmin = 0;
2568             New(1109, cp, tlen, U8*);
2569             i = 0;
2570             transv = newSVpvn("",0);
2571             while (t < tend) {
2572                 cp[i++] = t;
2573                 t += UTF8SKIP(t);
2574                 if (*t == 0xff) {
2575                     t++;
2576                     t += UTF8SKIP(t);
2577                 }
2578             }
2579             qsort(cp, i, sizeof(U8*), utf8compare);
2580             for (j = 0; j < i; j++) {
2581                 U8 *s = cp[j];
2582                 UV val = utf8_to_uv(s, &ulen);
2583                 s += ulen;
2584                 diff = val - nextmin;
2585                 if (diff > 0) {
2586                     t = uv_to_utf8(tmpbuf,nextmin);
2587                     sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2588                     if (diff > 1) {
2589                         t = uv_to_utf8(tmpbuf, val - 1);
2590                         sv_catpvn(transv, "\377", 1);
2591                         sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2592                     }
2593                 }
2594                 if (*s == 0xff)
2595                     val = utf8_to_uv(s+1, &ulen);
2596                 if (val >= nextmin)
2597                     nextmin = val + 1;
2598             }
2599             t = uv_to_utf8(tmpbuf,nextmin);
2600             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2601             t = uv_to_utf8(tmpbuf, 0x7fffffff);
2602             sv_catpvn(transv, "\377", 1);
2603             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2604             t = (U8*)SvPVX(transv);
2605             tlen = SvCUR(transv);
2606             tend = t + tlen;
2607         }
2608         else if (!rlen && !del) {
2609             r = t; rlen = tlen; rend = tend;
2610         }
2611         if (!squash) {
2612             if (to_utf && from_utf) {   /* only counting characters */
2613                 if (t == r || (tlen == rlen && memEQ(t, r, tlen)))
2614                     o->op_private |= OPpTRANS_IDENTICAL;
2615             }
2616             else {      /* straight latin-1 translation */
2617                 if (tlen == 4 && memEQ(t, "\0\377\303\277", 4) &&
2618                     rlen == 4 && memEQ(r, "\0\377\303\277", 4))
2619                     o->op_private |= OPpTRANS_IDENTICAL;
2620             }
2621         }
2622
2623         while (t < tend || tfirst <= tlast) {
2624             /* see if we need more "t" chars */
2625             if (tfirst > tlast) {
2626                 tfirst = (I32)utf8_to_uv(t, &ulen);
2627                 t += ulen;
2628                 if (t < tend && *t == 0xff) {   /* illegal utf8 val indicates range */
2629                     tlast = (I32)utf8_to_uv(++t, &ulen);
2630                     t += ulen;
2631                 }
2632                 else
2633                     tlast = tfirst;
2634             }
2635
2636             /* now see if we need more "r" chars */
2637             if (rfirst > rlast) {
2638                 if (r < rend) {
2639                     rfirst = (I32)utf8_to_uv(r, &ulen);
2640                     r += ulen;
2641                     if (r < rend && *r == 0xff) {       /* illegal utf8 val indicates range */
2642                         rlast = (I32)utf8_to_uv(++r, &ulen);
2643                         r += ulen;
2644                     }
2645                     else
2646                         rlast = rfirst;
2647                 }
2648                 else {
2649                     if (!havefinal++)
2650                         final = rlast;
2651                     rfirst = rlast = 0xffffffff;
2652                 }
2653             }
2654
2655             /* now see which range will peter our first, if either. */
2656             tdiff = tlast - tfirst;
2657             rdiff = rlast - rfirst;
2658
2659             if (tdiff <= rdiff)
2660                 diff = tdiff;
2661             else
2662                 diff = rdiff;
2663
2664             if (rfirst == 0xffffffff) {
2665                 diff = tdiff;   /* oops, pretend rdiff is infinite */
2666                 if (diff > 0)
2667                     Perl_sv_catpvf(aTHX_ listsv, "%04x\t%04x\tXXXX\n", tfirst, tlast);
2668                 else
2669                     Perl_sv_catpvf(aTHX_ listsv, "%04x\t\tXXXX\n", tfirst);
2670             }
2671             else {
2672                 if (diff > 0)
2673                     Perl_sv_catpvf(aTHX_ listsv, "%04x\t%04x\t%04x\n", tfirst, tfirst + diff, rfirst);
2674                 else
2675                     Perl_sv_catpvf(aTHX_ listsv, "%04x\t\t%04x\n", tfirst, rfirst);
2676
2677                 if (rfirst + diff > max)
2678                     max = rfirst + diff;
2679                 rfirst += diff + 1;
2680                 if (!grows) {
2681                     if (rfirst <= 0x80)
2682                         ;
2683                     else if (rfirst <= 0x800)
2684                         grows |= (tfirst < 0x80);
2685                     else if (rfirst <= 0x10000)
2686                         grows |= (tfirst < 0x800);
2687                     else if (rfirst <= 0x200000)
2688                         grows |= (tfirst < 0x10000);
2689                     else if (rfirst <= 0x4000000)
2690                         grows |= (tfirst < 0x200000);
2691                     else if (rfirst <= 0x80000000)
2692                         grows |= (tfirst < 0x4000000);
2693                 }
2694             }
2695             tfirst += diff + 1;
2696         }
2697
2698         none = ++max;
2699         if (del)
2700             del = ++max;
2701
2702         if (max > 0xffff)
2703             bits = 32;
2704         else if (max > 0xff)
2705             bits = 16;
2706         else
2707             bits = 8;
2708
2709         cSVOPo->op_sv = (SV*)swash_init("utf8", "", listsv, bits, none);
2710         SvREFCNT_dec(listsv);
2711         if (transv)
2712             SvREFCNT_dec(transv);
2713
2714         if (!del && havefinal)
2715             (void)hv_store((HV*)SvRV((cSVOPo->op_sv)), "FINAL", 5, newSViv((IV)final), 0);
2716
2717         if (grows && to_utf)
2718             o->op_private |= OPpTRANS_GROWS;
2719
2720         op_free(expr);
2721         op_free(repl);
2722         return o;
2723     }
2724
2725     tbl = (short*)cPVOPo->op_pv;
2726     if (complement) {
2727         Zero(tbl, 256, short);
2728         for (i = 0; i < tlen; i++)
2729             tbl[t[i]] = -1;
2730         for (i = 0, j = 0; i < 256; i++) {
2731             if (!tbl[i]) {
2732                 if (j >= rlen) {
2733                     if (del)
2734                         tbl[i] = -2;
2735                     else if (rlen)
2736                         tbl[i] = r[j-1];
2737                     else
2738                         tbl[i] = i;
2739                 }
2740                 else
2741                     tbl[i] = r[j++];
2742             }
2743         }
2744     }
2745     else {
2746         if (!rlen && !del) {
2747             r = t; rlen = tlen;
2748             if (!squash)
2749                 o->op_private |= OPpTRANS_IDENTICAL;
2750         }
2751         for (i = 0; i < 256; i++)
2752             tbl[i] = -1;
2753         for (i = 0, j = 0; i < tlen; i++,j++) {
2754             if (j >= rlen) {
2755                 if (del) {
2756                     if (tbl[t[i]] == -1)
2757                         tbl[t[i]] = -2;
2758                     continue;
2759                 }
2760                 --j;
2761             }
2762             if (tbl[t[i]] == -1)
2763                 tbl[t[i]] = r[j];
2764         }
2765     }
2766     op_free(expr);
2767     op_free(repl);
2768
2769     return o;
2770 }
2771
2772 OP *
2773 Perl_newPMOP(pTHX_ I32 type, I32 flags)
2774 {
2775     dTHR;
2776     PMOP *pmop;
2777
2778     NewOp(1101, pmop, 1, PMOP);
2779     pmop->op_type = type;
2780     pmop->op_ppaddr = PL_ppaddr[type];
2781     pmop->op_flags = flags;
2782     pmop->op_private = 0 | (flags >> 8);
2783
2784     if (PL_hints & HINT_RE_TAINT)
2785         pmop->op_pmpermflags |= PMf_RETAINT;
2786     if (PL_hints & HINT_LOCALE)
2787         pmop->op_pmpermflags |= PMf_LOCALE;
2788     pmop->op_pmflags = pmop->op_pmpermflags;
2789
2790     /* link into pm list */
2791     if (type != OP_TRANS && PL_curstash) {
2792         pmop->op_pmnext = HvPMROOT(PL_curstash);
2793         HvPMROOT(PL_curstash) = pmop;
2794     }
2795
2796     return (OP*)pmop;
2797 }
2798
2799 OP *
2800 Perl_pmruntime(pTHX_ OP *o, OP *expr, OP *repl)
2801 {
2802     dTHR;
2803     PMOP *pm;
2804     LOGOP *rcop;
2805     I32 repl_has_vars = 0;
2806
2807     if (o->op_type == OP_TRANS)
2808         return pmtrans(o, expr, repl);
2809
2810     PL_hints |= HINT_BLOCK_SCOPE;
2811     pm = (PMOP*)o;
2812
2813     if (expr->op_type == OP_CONST) {
2814         STRLEN plen;
2815         SV *pat = ((SVOP*)expr)->op_sv;
2816         char *p = SvPV(pat, plen);
2817         if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
2818             sv_setpvn(pat, "\\s+", 3);
2819             p = SvPV(pat, plen);
2820             pm->op_pmflags |= PMf_SKIPWHITE;
2821         }
2822         pm->op_pmregexp = CALLREGCOMP(aTHX_ p, p + plen, pm);
2823         if (strEQ("\\s+", pm->op_pmregexp->precomp))
2824             pm->op_pmflags |= PMf_WHITE;
2825         op_free(expr);
2826     }
2827     else {
2828         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
2829             expr = newUNOP((!(PL_hints & HINT_RE_EVAL)
2830                             ? OP_REGCRESET
2831                             : OP_REGCMAYBE),0,expr);
2832
2833         NewOp(1101, rcop, 1, LOGOP);
2834         rcop->op_type = OP_REGCOMP;
2835         rcop->op_ppaddr = PL_ppaddr[OP_REGCOMP];
2836         rcop->op_first = scalar(expr);
2837         rcop->op_flags |= ((PL_hints & HINT_RE_EVAL)
2838                            ? (OPf_SPECIAL | OPf_KIDS)
2839                            : OPf_KIDS);
2840         rcop->op_private = 1;
2841         rcop->op_other = o;
2842
2843         /* establish postfix order */
2844         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
2845             LINKLIST(expr);
2846             rcop->op_next = expr;
2847             ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2848         }
2849         else {
2850             rcop->op_next = LINKLIST(expr);
2851             expr->op_next = (OP*)rcop;
2852         }
2853
2854         prepend_elem(o->op_type, scalar((OP*)rcop), o);
2855     }
2856
2857     if (repl) {
2858         OP *curop;
2859         if (pm->op_pmflags & PMf_EVAL) {
2860             curop = 0;
2861             if (CopLINE(PL_curcop) < PL_multi_end)
2862                 CopLINE_set(PL_curcop, PL_multi_end);
2863         }
2864 #ifdef USE_THREADS
2865         else if (repl->op_type == OP_THREADSV
2866                  && strchr("&`'123456789+",
2867                            PL_threadsv_names[repl->op_targ]))
2868         {
2869             curop = 0;
2870         }
2871 #endif /* USE_THREADS */
2872         else if (repl->op_type == OP_CONST)
2873             curop = repl;
2874         else {
2875             OP *lastop = 0;
2876             for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2877                 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
2878 #ifdef USE_THREADS
2879                     if (curop->op_type == OP_THREADSV) {
2880                         repl_has_vars = 1;
2881                         if (strchr("&`'123456789+", curop->op_private))
2882                             break;
2883                     }
2884 #else
2885                     if (curop->op_type == OP_GV) {
2886                         GV *gv = cGVOPx_gv(curop);
2887                         repl_has_vars = 1;
2888                         if (strchr("&`'123456789+", *GvENAME(gv)))
2889                             break;
2890                     }
2891 #endif /* USE_THREADS */
2892                     else if (curop->op_type == OP_RV2CV)
2893                         break;
2894                     else if (curop->op_type == OP_RV2SV ||
2895                              curop->op_type == OP_RV2AV ||
2896                              curop->op_type == OP_RV2HV ||
2897                              curop->op_type == OP_RV2GV) {
2898                         if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2899                             break;
2900                     }
2901                     else if (curop->op_type == OP_PADSV ||
2902                              curop->op_type == OP_PADAV ||
2903                              curop->op_type == OP_PADHV ||
2904                              curop->op_type == OP_PADANY) {
2905                         repl_has_vars = 1;
2906                     }
2907                     else if (curop->op_type == OP_PUSHRE)
2908                         ; /* Okay here, dangerous in newASSIGNOP */
2909                     else
2910                         break;
2911                 }
2912                 lastop = curop;
2913             }
2914         }
2915         if (curop == repl
2916             && !(repl_has_vars
2917                  && (!pm->op_pmregexp
2918                      || pm->op_pmregexp->reganch & ROPT_EVAL_SEEN))) {
2919             pm->op_pmflags |= PMf_CONST;        /* const for long enough */
2920             pm->op_pmpermflags |= PMf_CONST;    /* const for long enough */
2921             prepend_elem(o->op_type, scalar(repl), o);
2922         }
2923         else {
2924             if (curop == repl && !pm->op_pmregexp) { /* Has variables. */
2925                 pm->op_pmflags |= PMf_MAYBE_CONST;
2926                 pm->op_pmpermflags |= PMf_MAYBE_CONST;
2927             }
2928             NewOp(1101, rcop, 1, LOGOP);
2929             rcop->op_type = OP_SUBSTCONT;
2930             rcop->op_ppaddr = PL_ppaddr[OP_SUBSTCONT];
2931             rcop->op_first = scalar(repl);
2932             rcop->op_flags |= OPf_KIDS;
2933             rcop->op_private = 1;
2934             rcop->op_other = o;
2935
2936             /* establish postfix order */
2937             rcop->op_next = LINKLIST(repl);
2938             repl->op_next = (OP*)rcop;
2939
2940             pm->op_pmreplroot = scalar((OP*)rcop);
2941             pm->op_pmreplstart = LINKLIST(rcop);
2942             rcop->op_next = 0;
2943         }
2944     }
2945
2946     return (OP*)pm;
2947 }
2948
2949 OP *
2950 Perl_newSVOP(pTHX_ I32 type, I32 flags, SV *sv)
2951 {
2952     SVOP *svop;
2953     NewOp(1101, svop, 1, SVOP);
2954     svop->op_type = type;
2955     svop->op_ppaddr = PL_ppaddr[type];
2956     svop->op_sv = sv;
2957     svop->op_next = (OP*)svop;
2958     svop->op_flags = flags;
2959     if (PL_opargs[type] & OA_RETSCALAR)
2960         scalar((OP*)svop);
2961     if (PL_opargs[type] & OA_TARGET)
2962         svop->op_targ = pad_alloc(type, SVs_PADTMP);
2963     return CHECKOP(type, svop);
2964 }
2965
2966 OP *
2967 Perl_newPADOP(pTHX_ I32 type, I32 flags, SV *sv)
2968 {
2969     PADOP *padop;
2970     NewOp(1101, padop, 1, PADOP);
2971     padop->op_type = type;
2972     padop->op_ppaddr = PL_ppaddr[type];
2973     padop->op_padix = pad_alloc(type, SVs_PADTMP);
2974     SvREFCNT_dec(PL_curpad[padop->op_padix]);
2975     PL_curpad[padop->op_padix] = sv;
2976     SvPADTMP_on(sv);
2977     padop->op_next = (OP*)padop;
2978     padop->op_flags = flags;
2979     if (PL_opargs[type] & OA_RETSCALAR)
2980         scalar((OP*)padop);
2981     if (PL_opargs[type] & OA_TARGET)
2982         padop->op_targ = pad_alloc(type, SVs_PADTMP);
2983     return CHECKOP(type, padop);
2984 }
2985
2986 OP *
2987 Perl_newGVOP(pTHX_ I32 type, I32 flags, GV *gv)
2988 {
2989     dTHR;
2990 #ifdef USE_ITHREADS
2991     GvIN_PAD_on(gv);
2992     return newPADOP(type, flags, SvREFCNT_inc(gv));
2993 #else
2994     return newSVOP(type, flags, SvREFCNT_inc(gv));
2995 #endif
2996 }
2997
2998 OP *
2999 Perl_newPVOP(pTHX_ I32 type, I32 flags, char *pv)
3000 {
3001     PVOP *pvop;
3002     NewOp(1101, pvop, 1, PVOP);
3003     pvop->op_type = type;
3004     pvop->op_ppaddr = PL_ppaddr[type];
3005     pvop->op_pv = pv;
3006     pvop->op_next = (OP*)pvop;
3007     pvop->op_flags = flags;
3008     if (PL_opargs[type] & OA_RETSCALAR)
3009         scalar((OP*)pvop);
3010     if (PL_opargs[type] & OA_TARGET)
3011         pvop->op_targ = pad_alloc(type, SVs_PADTMP);
3012     return CHECKOP(type, pvop);
3013 }
3014
3015 void
3016 Perl_package(pTHX_ OP *o)
3017 {
3018     dTHR;
3019     SV *sv;
3020
3021     save_hptr(&PL_curstash);
3022     save_item(PL_curstname);
3023     if (o) {
3024         STRLEN len;
3025         char *name;
3026         sv = cSVOPo->op_sv;
3027         name = SvPV(sv, len);
3028         PL_curstash = gv_stashpvn(name,len,TRUE);
3029         sv_setpvn(PL_curstname, name, len);
3030         op_free(o);
3031     }
3032     else {
3033         sv_setpv(PL_curstname,"<none>");
3034         PL_curstash = Nullhv;
3035     }
3036     PL_hints |= HINT_BLOCK_SCOPE;
3037     PL_copline = NOLINE;
3038     PL_expect = XSTATE;
3039 }
3040
3041 void
3042 Perl_utilize(pTHX_ int aver, I32 floor, OP *version, OP *id, OP *arg)
3043 {
3044     OP *pack;
3045     OP *meth;
3046     OP *rqop;
3047     OP *imop;
3048     OP *veop;
3049     GV *gv;
3050
3051     if (id->op_type != OP_CONST)
3052         Perl_croak(aTHX_ "Module name must be constant");
3053
3054     veop = Nullop;
3055
3056     if(version != Nullop) {
3057         SV *vesv = ((SVOP*)version)->op_sv;
3058
3059         if (arg == Nullop && !SvNIOK(vesv)) {
3060             arg = version;
3061         }
3062         else {
3063             OP *pack;
3064
3065             if (version->op_type != OP_CONST || !SvNIOK(vesv))
3066                 Perl_croak(aTHX_ "Version number must be constant number");
3067
3068             /* Make copy of id so we don't free it twice */
3069             pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
3070
3071             /* Fake up a method call to VERSION */
3072             veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3073                             append_elem(OP_LIST,
3074                             prepend_elem(OP_LIST, pack, list(version)),
3075                             newSVOP(OP_METHOD_NAMED, 0,
3076                                     newSVpvn("VERSION", 7))));
3077         }
3078     }
3079
3080     /* Fake up an import/unimport */
3081     if (arg && arg->op_type == OP_STUB)
3082         imop = arg;             /* no import on explicit () */
3083     else if(SvNIOK(((SVOP*)id)->op_sv)) {
3084         imop = Nullop;          /* use 5.0; */
3085     }
3086     else {
3087         /* Make copy of id so we don't free it twice */
3088         pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
3089         imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3090                     append_elem(OP_LIST,
3091                         prepend_elem(OP_LIST, pack, list(arg)),
3092                         newSVOP(OP_METHOD_NAMED, 0,
3093                                 aver ? newSVpvn("import", 6)
3094                                      : newSVpvn("unimport", 8))));
3095     }
3096
3097     /* Fake up a require, handle override, if any */
3098     gv = gv_fetchpv("require", FALSE, SVt_PVCV);
3099     if (!(gv && GvIMPORTED_CV(gv)))
3100         gv = gv_fetchpv("CORE::GLOBAL::require", FALSE, SVt_PVCV);
3101
3102     if (gv && GvIMPORTED_CV(gv)) {
3103         rqop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
3104                                append_elem(OP_LIST, id,
3105                                            scalar(newUNOP(OP_RV2CV, 0,
3106                                                           newGVOP(OP_GV, 0,
3107                                                                   gv))))));
3108     }
3109     else {
3110         rqop = newUNOP(OP_REQUIRE, 0, id);
3111     }
3112
3113     /* Fake up the BEGIN {}, which does its thing immediately. */
3114     newATTRSUB(floor,
3115         newSVOP(OP_CONST, 0, newSVpvn("BEGIN", 5)),
3116         Nullop,
3117         Nullop,
3118         append_elem(OP_LINESEQ,
3119             append_elem(OP_LINESEQ,
3120                 newSTATEOP(0, Nullch, rqop),
3121                 newSTATEOP(0, Nullch, veop)),
3122             newSTATEOP(0, Nullch, imop) ));
3123
3124     PL_hints |= HINT_BLOCK_SCOPE;
3125     PL_copline = NOLINE;
3126     PL_expect = XSTATE;
3127 }
3128
3129 OP *
3130 Perl_dofile(pTHX_ OP *term)
3131 {
3132     OP *doop;
3133     GV *gv;
3134
3135     gv = gv_fetchpv("do", FALSE, SVt_PVCV);
3136     if (!(gv && GvIMPORTED_CV(gv)))
3137         gv = gv_fetchpv("CORE::GLOBAL::do", FALSE, SVt_PVCV);
3138
3139     if (gv && GvIMPORTED_CV(gv)) {
3140         doop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
3141                                append_elem(OP_LIST, term,
3142                                            scalar(newUNOP(OP_RV2CV, 0,
3143                                                           newGVOP(OP_GV, 0,
3144                                                                   gv))))));
3145     }
3146     else {
3147         doop = newUNOP(OP_DOFILE, 0, scalar(term));
3148     }
3149     return doop;
3150 }
3151
3152 OP *
3153 Perl_newSLICEOP(pTHX_ I32 flags, OP *subscript, OP *listval)
3154 {
3155     return newBINOP(OP_LSLICE, flags,
3156             list(force_list(subscript)),
3157             list(force_list(listval)) );
3158 }
3159
3160 STATIC I32
3161 S_list_assignment(pTHX_ register OP *o)
3162 {
3163     if (!o)
3164         return TRUE;
3165
3166     if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
3167         o = cUNOPo->op_first;
3168
3169     if (o->op_type == OP_COND_EXPR) {
3170         I32 t = list_assignment(cLOGOPo->op_first->op_sibling);
3171         I32 f = list_assignment(cLOGOPo->op_first->op_sibling->op_sibling);
3172
3173         if (t && f)
3174             return TRUE;
3175         if (t || f)
3176             yyerror("Assignment to both a list and a scalar");
3177         return FALSE;
3178     }
3179
3180     if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
3181         o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
3182         o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
3183         return TRUE;
3184
3185     if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
3186         return TRUE;
3187
3188     if (o->op_type == OP_RV2SV)
3189         return FALSE;
3190
3191     return FALSE;
3192 }
3193
3194 OP *
3195 Perl_newASSIGNOP(pTHX_ I32 flags, OP *left, I32 optype, OP *right)
3196 {
3197     OP *o;
3198
3199     if (optype) {
3200         if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
3201             return newLOGOP(optype, 0,
3202                 mod(scalar(left), optype),
3203                 newUNOP(OP_SASSIGN, 0, scalar(right)));
3204         }
3205         else {
3206             return newBINOP(optype, OPf_STACKED,
3207                 mod(scalar(left), optype), scalar(right));
3208         }
3209     }
3210
3211     if (list_assignment(left)) {
3212         dTHR;
3213         PL_modcount = 0;
3214         PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
3215         left = mod(left, OP_AASSIGN);
3216         if (PL_eval_start)
3217             PL_eval_start = 0;
3218         else {
3219             op_free(left);
3220             op_free(right);
3221             return Nullop;
3222         }
3223         o = newBINOP(OP_AASSIGN, flags,
3224                 list(force_list(right)),
3225                 list(force_list(left)) );
3226         o->op_private = 0 | (flags >> 8);
3227         if (!(left->op_private & OPpLVAL_INTRO)) {
3228             OP *curop;
3229             OP *lastop = o;
3230             PL_generation++;
3231             for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
3232                 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
3233                     if (curop->op_type == OP_GV) {
3234                         GV *gv = cGVOPx_gv(curop);
3235                         if (gv == PL_defgv || SvCUR(gv) == PL_generation)
3236                             break;
3237                         SvCUR(gv) = PL_generation;
3238                     }
3239                     else if (curop->op_type == OP_PADSV ||
3240                              curop->op_type == OP_PADAV ||
3241                              curop->op_type == OP_PADHV ||
3242                              curop->op_type == OP_PADANY) {
3243                         SV **svp = AvARRAY(PL_comppad_name);
3244                         SV *sv = svp[curop->op_targ];
3245                         if (SvCUR(sv) == PL_generation)
3246                             break;
3247                         SvCUR(sv) = PL_generation;      /* (SvCUR not used any more) */
3248                     }
3249                     else if (curop->op_type == OP_RV2CV)
3250                         break;
3251                     else if (curop->op_type == OP_RV2SV ||
3252                              curop->op_type == OP_RV2AV ||
3253                              curop->op_type == OP_RV2HV ||
3254                              curop->op_type == OP_RV2GV) {
3255                         if (lastop->op_type != OP_GV)   /* funny deref? */
3256                             break;
3257                     }
3258                     else if (curop->op_type == OP_PUSHRE) {
3259                         if (((PMOP*)curop)->op_pmreplroot) {
3260                             GV *gv = (GV*)((PMOP*)curop)->op_pmreplroot;
3261                             if (gv == PL_defgv || SvCUR(gv) == PL_generation)
3262                                 break;
3263                             SvCUR(gv) = PL_generation;
3264                         }
3265                     }
3266                     else
3267                         break;
3268                 }
3269                 lastop = curop;
3270             }
3271             if (curop != o)
3272                 o->op_private = OPpASSIGN_COMMON;
3273         }
3274         if (right && right->op_type == OP_SPLIT) {
3275             OP* tmpop;
3276             if ((tmpop = ((LISTOP*)right)->op_first) &&
3277                 tmpop->op_type == OP_PUSHRE)
3278             {
3279                 PMOP *pm = (PMOP*)tmpop;
3280                 if (left->op_type == OP_RV2AV &&
3281                     !(left->op_private & OPpLVAL_INTRO) &&
3282                     !(o->op_private & OPpASSIGN_COMMON) )
3283                 {
3284                     tmpop = ((UNOP*)left)->op_first;
3285                     if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
3286 #ifdef USE_ITHREADS
3287                         pm->op_pmreplroot = (OP*)cPADOPx(tmpop)->op_padix;
3288                         cPADOPx(tmpop)->op_padix = 0;   /* steal it */
3289 #else
3290                         pm->op_pmreplroot = (OP*)cSVOPx(tmpop)->op_sv;
3291                         cSVOPx(tmpop)->op_sv = Nullsv;  /* steal it */
3292 #endif
3293                         pm->op_pmflags |= PMf_ONCE;
3294                         tmpop = cUNOPo->op_first;       /* to list (nulled) */
3295                         tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
3296                         tmpop->op_sibling = Nullop;     /* don't free split */
3297                         right->op_next = tmpop->op_next;  /* fix starting loc */
3298                         op_free(o);                     /* blow off assign */
3299                         right->op_flags &= ~OPf_WANT;
3300                                 /* "I don't know and I don't care." */
3301                         return right;
3302                     }
3303                 }
3304                 else {
3305                     if (PL_modcount < 10000 &&
3306                       ((LISTOP*)right)->op_last->op_type == OP_CONST)
3307                     {
3308                         SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
3309                         if (SvIVX(sv) == 0)
3310                             sv_setiv(sv, PL_modcount+1);
3311                     }
3312                 }
3313             }
3314         }
3315         return o;
3316     }
3317     if (!right)
3318         right = newOP(OP_UNDEF, 0);
3319     if (right->op_type == OP_READLINE) {
3320         right->op_flags |= OPf_STACKED;
3321         return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
3322     }
3323     else {
3324         PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
3325         o = newBINOP(OP_SASSIGN, flags,
3326             scalar(right), mod(scalar(left), OP_SASSIGN) );
3327         if (PL_eval_start)
3328             PL_eval_start = 0;
3329         else {
3330             op_free(o);
3331             return Nullop;
3332         }
3333     }
3334     return o;
3335 }
3336
3337 OP *
3338 Perl_newSTATEOP(pTHX_ I32 flags, char *label, OP *o)
3339 {
3340     dTHR;
3341     U32 seq = intro_my();
3342     register COP *cop;
3343
3344     NewOp(1101, cop, 1, COP);
3345     if (PERLDB_LINE && CopLINE(PL_curcop) && PL_curstash != PL_debstash) {
3346         cop->op_type = OP_DBSTATE;
3347         cop->op_ppaddr = PL_ppaddr[ OP_DBSTATE ];
3348     }
3349     else {
3350         cop->op_type = OP_NEXTSTATE;
3351         cop->op_ppaddr = PL_ppaddr[ OP_NEXTSTATE ];
3352     }
3353     cop->op_flags = flags;
3354     cop->op_private = (PL_hints & HINT_UTF8);
3355 #ifdef NATIVE_HINTS
3356     cop->op_private |= NATIVE_HINTS;
3357 #endif
3358     PL_compiling.op_private = cop->op_private;
3359     cop->op_next = (OP*)cop;
3360
3361     if (label) {
3362         cop->cop_label = label;
3363         PL_hints |= HINT_BLOCK_SCOPE;
3364     }
3365     cop->cop_seq = seq;
3366     cop->cop_arybase = PL_curcop->cop_arybase;
3367     if (specialWARN(PL_curcop->cop_warnings))
3368         cop->cop_warnings = PL_curcop->cop_warnings ;
3369     else
3370         cop->cop_warnings = newSVsv(PL_curcop->cop_warnings) ;
3371
3372
3373     if (PL_copline == NOLINE)
3374         CopLINE_set(cop, CopLINE(PL_curcop));
3375     else {
3376         CopLINE_set(cop, PL_copline);
3377         PL_copline = NOLINE;
3378     }
3379 #ifdef USE_ITHREADS
3380     CopFILE_set(cop, CopFILE(PL_curcop));       /* XXXXX share in a pvtable? */
3381 #else
3382     CopFILEGV_set(cop, (GV*)SvREFCNT_inc(CopFILEGV(PL_curcop)));
3383 #endif
3384     CopSTASH_set(cop, PL_curstash);
3385
3386     if (PERLDB_LINE && PL_curstash != PL_debstash) {
3387         SV **svp = av_fetch(CopFILEAV(PL_curcop), (I32)CopLINE(cop), FALSE);
3388         if (svp && *svp != &PL_sv_undef && !SvIOK(*svp)) {
3389             (void)SvIOK_on(*svp);
3390             SvIVX(*svp) = PTR2IV(cop);
3391         }
3392     }
3393
3394     return prepend_elem(OP_LINESEQ, (OP*)cop, o);
3395 }
3396
3397 /* "Introduce" my variables to visible status. */
3398 U32
3399 Perl_intro_my(pTHX)
3400 {
3401     SV **svp;
3402     SV *sv;
3403     I32 i;
3404
3405     if (! PL_min_intro_pending)
3406         return PL_cop_seqmax;
3407
3408     svp = AvARRAY(PL_comppad_name);
3409     for (i = PL_min_intro_pending; i <= PL_max_intro_pending; i++) {
3410         if ((sv = svp[i]) && sv != &PL_sv_undef && !SvIVX(sv)) {
3411             SvIVX(sv) = PAD_MAX;        /* Don't know scope end yet. */
3412             SvNVX(sv) = (NV)PL_cop_seqmax;
3413         }
3414     }
3415     PL_min_intro_pending = 0;
3416     PL_comppad_name_fill = PL_max_intro_pending;        /* Needn't search higher */
3417     return PL_cop_seqmax++;
3418 }
3419
3420 OP *
3421 Perl_newLOGOP(pTHX_ I32 type, I32 flags, OP *first, OP *other)
3422 {
3423     return new_logop(type, flags, &first, &other);
3424 }
3425
3426 STATIC OP *
3427 S_new_logop(pTHX_ I32 type, I32 flags, OP** firstp, OP** otherp)
3428 {
3429     dTHR;
3430     LOGOP *logop;
3431     OP *o;
3432     OP *first = *firstp;
3433     OP *other = *otherp;
3434
3435     if (type == OP_XOR)         /* Not short circuit, but here by precedence. */
3436         return newBINOP(type, flags, scalar(first), scalar(other));
3437
3438     scalarboolean(first);
3439     /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
3440     if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
3441         if (type == OP_AND || type == OP_OR) {
3442             if (type == OP_AND)
3443                 type = OP_OR;
3444             else
3445                 type = OP_AND;
3446             o = first;
3447             first = *firstp = cUNOPo->op_first;
3448             if (o->op_next)
3449                 first->op_next = o->op_next;
3450             cUNOPo->op_first = Nullop;
3451             op_free(o);
3452         }
3453     }
3454     if (first->op_type == OP_CONST) {
3455         if (ckWARN(WARN_PRECEDENCE) && (first->op_private & OPpCONST_BARE))
3456             Perl_warner(aTHX_ WARN_PRECEDENCE, "Probable precedence problem on %s",
3457                         PL_op_desc[type]);
3458         if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
3459             op_free(first);
3460             *firstp = Nullop;
3461             return other;
3462         }
3463         else {
3464             op_free(other);
3465             *otherp = Nullop;
3466             return first;
3467         }
3468     }
3469     else if (first->op_type == OP_WANTARRAY) {
3470         if (type == OP_AND)
3471             list(other);
3472         else
3473             scalar(other);
3474     }
3475     else if (ckWARN(WARN_UNSAFE) && (first->op_flags & OPf_KIDS)) {
3476         OP *k1 = ((UNOP*)first)->op_first;
3477         OP *k2 = k1->op_sibling;
3478         OPCODE warnop = 0;
3479         switch (first->op_type)
3480         {
3481         case OP_NULL:
3482             if (k2 && k2->op_type == OP_READLINE
3483                   && (k2->op_flags & OPf_STACKED)
3484                   && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3485             {
3486                 warnop = k2->op_type;
3487             }
3488             break;
3489
3490         case OP_SASSIGN:
3491             if (k1->op_type == OP_READDIR
3492                   || k1->op_type == OP_GLOB
3493                   || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
3494                   || k1->op_type == OP_EACH)
3495             {
3496                 warnop = ((k1->op_type == OP_NULL)
3497                           ? k1->op_targ : k1->op_type);
3498             }
3499             break;
3500         }
3501         if (warnop) {
3502             line_t oldline = CopLINE(PL_curcop);
3503             CopLINE_set(PL_curcop, PL_copline);
3504             Perl_warner(aTHX_ WARN_UNSAFE,
3505                  "Value of %s%s can be \"0\"; test with defined()",
3506                  PL_op_desc[warnop],
3507                  ((warnop == OP_READLINE || warnop == OP_GLOB)
3508                   ? " construct" : "() operator"));
3509             CopLINE_set(PL_curcop, oldline);
3510         }
3511     }
3512
3513     if (!other)
3514         return first;
3515
3516     if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
3517         other->op_private |= OPpASSIGN_BACKWARDS;  /* other is an OP_SASSIGN */
3518
3519     NewOp(1101, logop, 1, LOGOP);
3520
3521     logop->op_type = type;
3522     logop->op_ppaddr = PL_ppaddr[type];
3523     logop->op_first = first;
3524     logop->op_flags = flags | OPf_KIDS;
3525     logop->op_other = LINKLIST(other);
3526     logop->op_private = 1 | (flags >> 8);
3527
3528     /* establish postfix order */
3529     logop->op_next = LINKLIST(first);
3530     first->op_next = (OP*)logop;
3531     first->op_sibling = other;
3532
3533     o = newUNOP(OP_NULL, 0, (OP*)logop);
3534     other->op_next = o;
3535
3536     return o;
3537 }
3538
3539 OP *
3540 Perl_newCONDOP(pTHX_ I32 flags, OP *first, OP *trueop, OP *falseop)
3541 {
3542     dTHR;
3543     LOGOP *logop;
3544     OP *start;
3545     OP *o;
3546
3547     if (!falseop)
3548         return newLOGOP(OP_AND, 0, first, trueop);
3549     if (!trueop)
3550         return newLOGOP(OP_OR, 0, first, falseop);
3551
3552     scalarboolean(first);
3553     if (first->op_type == OP_CONST) {
3554         if (SvTRUE(((SVOP*)first)->op_sv)) {
3555             op_free(first);
3556             op_free(falseop);
3557             return trueop;
3558         }
3559         else {
3560             op_free(first);
3561             op_free(trueop);
3562             return falseop;
3563         }
3564     }
3565     else if (first->op_type == OP_WANTARRAY) {
3566         list(trueop);
3567         scalar(falseop);
3568     }
3569     NewOp(1101, logop, 1, LOGOP);
3570     logop->op_type = OP_COND_EXPR;
3571     logop->op_ppaddr = PL_ppaddr[OP_COND_EXPR];
3572     logop->op_first = first;
3573     logop->op_flags = flags | OPf_KIDS;
3574     logop->op_private = 1 | (flags >> 8);
3575     logop->op_other = LINKLIST(trueop);
3576     logop->op_next = LINKLIST(falseop);
3577
3578
3579     /* establish postfix order */
3580     start = LINKLIST(first);
3581     first->op_next = (OP*)logop;
3582
3583     first->op_sibling = trueop;
3584     trueop->op_sibling = falseop;
3585     o = newUNOP(OP_NULL, 0, (OP*)logop);
3586
3587     trueop->op_next = falseop->op_next = o;
3588
3589     o->op_next = start;
3590     return o;
3591 }
3592
3593 OP *
3594 Perl_newRANGE(pTHX_ I32 flags, OP *left, OP *right)
3595 {
3596     dTHR;
3597     LOGOP *range;
3598     OP *flip;
3599     OP *flop;
3600     OP *leftstart;
3601     OP *o;
3602
3603     NewOp(1101, range, 1, LOGOP);
3604
3605     range->op_type = OP_RANGE;
3606     range->op_ppaddr = PL_ppaddr[OP_RANGE];
3607     range->op_first = left;
3608     range->op_flags = OPf_KIDS;
3609     leftstart = LINKLIST(left);
3610     range->op_other = LINKLIST(right);
3611     range->op_private = 1 | (flags >> 8);
3612
3613     left->op_sibling = right;
3614
3615     range->op_next = (OP*)range;
3616     flip = newUNOP(OP_FLIP, flags, (OP*)range);
3617     flop = newUNOP(OP_FLOP, 0, flip);
3618     o = newUNOP(OP_NULL, 0, flop);
3619     linklist(flop);
3620     range->op_next = leftstart;
3621
3622     left->op_next = flip;
3623     right->op_next = flop;
3624
3625     range->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
3626     sv_upgrade(PAD_SV(range->op_targ), SVt_PVNV);
3627     flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
3628     sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
3629
3630     flip->op_private =  left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
3631     flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
3632
3633     flip->op_next = o;
3634     if (!flip->op_private || !flop->op_private)
3635         linklist(o);            /* blow off optimizer unless constant */
3636
3637     return o;
3638 }
3639
3640 OP *
3641 Perl_newLOOPOP(pTHX_ I32 flags, I32 debuggable, OP *expr, OP *block)
3642 {
3643     dTHR;
3644     OP* listop;
3645     OP* o;
3646     int once = block && block->op_flags & OPf_SPECIAL &&
3647       (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
3648
3649     if (expr) {
3650         if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
3651             return block;       /* do {} while 0 does once */
3652         if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
3653             || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
3654             expr = newUNOP(OP_DEFINED, 0,
3655                 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
3656         } else if (expr->op_flags & OPf_KIDS) {
3657             OP *k1 = ((UNOP*)expr)->op_first;
3658             OP *k2 = (k1) ? k1->op_sibling : NULL;
3659             switch (expr->op_type) {
3660               case OP_NULL:
3661                 if (k2 && k2->op_type == OP_READLINE
3662                       && (k2->op_flags & OPf_STACKED)
3663                       && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3664                     expr = newUNOP(OP_DEFINED, 0, expr);
3665                 break;
3666
3667               case OP_SASSIGN:
3668                 if (k1->op_type == OP_READDIR
3669                       || k1->op_type == OP_GLOB
3670                       || (k1->op_type == OP_NULL && k1->op_targ == OP_NULL)
3671                       || k1->op_type == OP_EACH)
3672                     expr = newUNOP(OP_DEFINED, 0, expr);
3673                 break;
3674             }
3675         }
3676     }
3677
3678     listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
3679     o = new_logop(OP_AND, 0, &expr, &listop);
3680
3681     if (listop)
3682         ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
3683
3684     if (once && o != listop)
3685         o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
3686
3687     if (o == listop)
3688         o = newUNOP(OP_NULL, 0, o);     /* or do {} while 1 loses outer block */
3689
3690     o->op_flags |= flags;
3691     o = scope(o);
3692     o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
3693     return o;
3694 }
3695
3696 OP *
3697 Perl_newWHILEOP(pTHX_ I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
3698 {
3699     dTHR;
3700     OP *redo;
3701     OP *next = 0;
3702     OP *listop;
3703     OP *o;
3704     OP *condop;
3705
3706     if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
3707                  || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
3708         expr = newUNOP(OP_DEFINED, 0,
3709             newASSIGNOP(0, newDEFSVOP(), 0, expr) );
3710     } else if (expr && (expr->op_flags & OPf_KIDS)) {
3711         OP *k1 = ((UNOP*)expr)->op_first;
3712         OP *k2 = (k1) ? k1->op_sibling : NULL;
3713         switch (expr->op_type) {
3714           case OP_NULL:
3715             if (k2 && k2->op_type == OP_READLINE
3716                   && (k2->op_flags & OPf_STACKED)
3717                   && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
3718                 expr = newUNOP(OP_DEFINED, 0, expr);
3719             break;
3720
3721           case OP_SASSIGN:
3722             if (k1->op_type == OP_READDIR
3723                   || k1->op_type == OP_GLOB
3724                   || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
3725                   || k1->op_type == OP_EACH)
3726                 expr = newUNOP(OP_DEFINED, 0, expr);
3727             break;
3728         }
3729     }
3730
3731     if (!block)
3732         block = newOP(OP_NULL, 0);
3733
3734     if (cont)
3735         next = LINKLIST(cont);
3736     if (expr) {
3737         cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
3738         if ((line_t)whileline != NOLINE) {
3739             PL_copline = whileline;
3740             cont = append_elem(OP_LINESEQ, cont,
3741                                newSTATEOP(0, Nullch, Nullop));
3742         }
3743     }
3744
3745     listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
3746     redo = LINKLIST(listop);
3747
3748     if (expr) {
3749         PL_copline = whileline;
3750         scalar(listop);
3751         o = new_logop(OP_AND, 0, &expr, &listop);
3752         if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
3753             op_free(expr);              /* oops, it's a while (0) */
3754             op_free((OP*)loop);
3755             return Nullop;              /* listop already freed by new_logop */
3756         }
3757         if (listop)
3758             ((LISTOP*)listop)->op_last->op_next = condop =
3759                 (o == listop ? redo : LINKLIST(o));
3760         if (!next)
3761             next = condop;
3762     }
3763     else
3764         o = listop;
3765
3766     if (!loop) {
3767         NewOp(1101,loop,1,LOOP);
3768         loop->op_type = OP_ENTERLOOP;
3769         loop->op_ppaddr = PL_ppaddr[OP_ENTERLOOP];
3770         loop->op_private = 0;
3771         loop->op_next = (OP*)loop;
3772     }
3773
3774     o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
3775
3776     loop->op_redoop = redo;
3777     loop->op_lastop = o;
3778
3779     if (next)
3780         loop->op_nextop = next;
3781     else
3782         loop->op_nextop = o;
3783
3784     o->op_flags |= flags;
3785     o->op_private |= (flags >> 8);
3786     return o;
3787 }
3788
3789 OP *
3790 Perl_newFOROP(pTHX_ I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
3791 {
3792     LOOP *loop;
3793     LOOP *tmp;
3794     OP *wop;
3795     int padoff = 0;
3796     I32 iterflags = 0;
3797
3798     if (sv) {
3799         if (sv->op_type == OP_RV2SV) {  /* symbol table variable */
3800             sv->op_type = OP_RV2GV;
3801             sv->op_ppaddr = PL_ppaddr[OP_RV2GV];
3802         }
3803         else if (sv->op_type == OP_PADSV) { /* private variable */
3804             padoff = sv->op_targ;
3805             sv->op_targ = 0;
3806             op_free(sv);
3807             sv = Nullop;
3808         }
3809         else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
3810             padoff = sv->op_targ;
3811             sv->op_targ = 0;
3812             iterflags |= OPf_SPECIAL;
3813             op_free(sv);
3814             sv = Nullop;
3815         }
3816         else
3817             Perl_croak(aTHX_ "Can't use %s for loop variable", PL_op_desc[sv->op_type]);
3818     }
3819     else {
3820 #ifdef USE_THREADS
3821         padoff = find_threadsv("_");
3822         iterflags |= OPf_SPECIAL;
3823 #else
3824         sv = newGVOP(OP_GV, 0, PL_defgv);
3825 #endif
3826     }
3827     if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
3828         expr = mod(force_list(scalar(ref(expr, OP_ITER))), OP_GREPSTART);
3829         iterflags |= OPf_STACKED;
3830     }
3831     else if (expr->op_type == OP_NULL &&
3832              (expr->op_flags & OPf_KIDS) &&
3833              ((BINOP*)expr)->op_first->op_type == OP_FLOP)
3834     {
3835         /* Basically turn for($x..$y) into the same as for($x,$y), but we
3836          * set the STACKED flag to indicate that these values are to be
3837          * treated as min/max values by 'pp_iterinit'.
3838          */
3839         UNOP* flip = (UNOP*)((UNOP*)((BINOP*)expr)->op_first)->op_first;
3840         LOGOP* range = (LOGOP*) flip->op_first;
3841         OP* left  = range->op_first;
3842         OP* right = left->op_sibling;
3843         LISTOP* listop;
3844
3845         range->op_flags &= ~OPf_KIDS;
3846         range->op_first = Nullop;
3847
3848         listop = (LISTOP*)newLISTOP(OP_LIST, 0, left, right);
3849         listop->op_first->op_next = range->op_next;
3850         left->op_next = range->op_other;
3851         right->op_next = (OP*)listop;
3852         listop->op_next = listop->op_first;
3853
3854         op_free(expr);
3855         expr = (OP*)(listop);
3856         null(expr);
3857         iterflags |= OPf_STACKED;
3858     }
3859     else {
3860         expr = mod(force_list(expr), OP_GREPSTART);
3861     }
3862
3863
3864     loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
3865                                append_elem(OP_LIST, expr, scalar(sv))));
3866     assert(!loop->op_next);
3867 #ifdef PL_OP_SLAB_ALLOC
3868     NewOp(1234,tmp,1,LOOP);
3869     Copy(loop,tmp,1,LOOP);
3870     loop = tmp;
3871 #else
3872     Renew(loop, 1, LOOP);
3873 #endif
3874     loop->op_targ = padoff;
3875     wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
3876     PL_copline = forline;
3877     return newSTATEOP(0, label, wop);
3878 }
3879
3880 OP*
3881 Perl_newLOOPEX(pTHX_ I32 type, OP *label)
3882 {
3883     dTHR;
3884     OP *o;
3885     STRLEN n_a;
3886
3887     if (type != OP_GOTO || label->op_type == OP_CONST) {
3888         /* "last()" means "last" */
3889         if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
3890             o = newOP(type, OPf_SPECIAL);
3891         else {
3892             o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
3893                                         ? SvPVx(((SVOP*)label)->op_sv, n_a)
3894                                         : ""));
3895         }
3896         op_free(label);
3897     }
3898     else {
3899         if (label->op_type == OP_ENTERSUB)
3900             label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
3901         o = newUNOP(type, OPf_STACKED, label);
3902     }
3903     PL_hints |= HINT_BLOCK_SCOPE;
3904     return o;
3905 }
3906
3907 void
3908 Perl_cv_undef(pTHX_ CV *cv)
3909 {
3910     dTHR;
3911 #ifdef USE_THREADS
3912     if (CvMUTEXP(cv)) {
3913         MUTEX_DESTROY(CvMUTEXP(cv));
3914         Safefree(CvMUTEXP(cv));
3915         CvMUTEXP(cv) = 0;
3916     }
3917 #endif /* USE_THREADS */
3918
3919     if (!CvXSUB(cv) && CvROOT(cv)) {
3920 #ifdef USE_THREADS
3921         if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
3922             Perl_croak(aTHX_ "Can't undef active subroutine");
3923 #else
3924         if (CvDEPTH(cv))
3925             Perl_croak(aTHX_ "Can't undef active subroutine");
3926 #endif /* USE_THREADS */
3927         ENTER;
3928
3929         SAVEVPTR(PL_curpad);
3930         PL_curpad = 0;
3931
3932         if (!CvCLONED(cv))
3933             op_free(CvROOT(cv));
3934         CvROOT(cv) = Nullop;
3935         LEAVE;
3936     }
3937     SvPOK_off((SV*)cv);         /* forget prototype */
3938     CvFLAGS(cv) = 0;
3939     SvREFCNT_dec(CvGV(cv));
3940     CvGV(cv) = Nullgv;
3941     SvREFCNT_dec(CvOUTSIDE(cv));
3942     CvOUTSIDE(cv) = Nullcv;
3943     if (CvPADLIST(cv)) {
3944         /* may be during global destruction */
3945         if (SvREFCNT(CvPADLIST(cv))) {
3946             I32 i = AvFILLp(CvPADLIST(cv));
3947             while (i >= 0) {
3948                 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
3949                 SV* sv = svp ? *svp : Nullsv;
3950                 if (!sv)
3951                     continue;
3952                 if (sv == (SV*)PL_comppad_name)
3953                     PL_comppad_name = Nullav;
3954                 else if (sv == (SV*)PL_comppad) {
3955                     PL_comppad = Nullav;
3956                     PL_curpad = Null(SV**);
3957                 }
3958                 SvREFCNT_dec(sv);
3959             }
3960             SvREFCNT_dec((SV*)CvPADLIST(cv));
3961         }
3962         CvPADLIST(cv) = Nullav;
3963     }
3964 }
3965
3966 STATIC void
3967 S_cv_dump(pTHX_ CV *cv)
3968 {
3969 #ifdef DEBUGGING
3970     CV *outside = CvOUTSIDE(cv);
3971     AV* padlist = CvPADLIST(cv);
3972     AV* pad_name;
3973     AV* pad;
3974     SV** pname;
3975     SV** ppad;
3976     I32 ix;
3977
3978     PerlIO_printf(Perl_debug_log,
3979                   "\tCV=0x%"UVxf" (%s), OUTSIDE=0x%"UVxf" (%s)\n",
3980                   PTR2UV(cv),
3981                   (CvANON(cv) ? "ANON"
3982                    : (cv == PL_main_cv) ? "MAIN"
3983                    : CvUNIQUE(cv) ? "UNIQUE"
3984                    : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
3985                   PTR2UV(outside),
3986                   (!outside ? "null"
3987                    : CvANON(outside) ? "ANON"
3988                    : (outside == PL_main_cv) ? "MAIN"
3989                    : CvUNIQUE(outside) ? "UNIQUE"
3990                    : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
3991
3992     if (!padlist)
3993         return;
3994
3995     pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3996     pad = (AV*)*av_fetch(padlist, 1, FALSE);
3997     pname = AvARRAY(pad_name);
3998     ppad = AvARRAY(pad);
3999
4000     for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
4001         if (SvPOK(pname[ix]))
4002             PerlIO_printf(Perl_debug_log,
4003                           "\t%4d. 0x%"UVxf" (%s\"%s\" %"IVdf"-%"IVdf")\n",
4004                           ix, PTR2UV(ppad[ix]),
4005                           SvFAKE(pname[ix]) ? "FAKE " : "",
4006                           SvPVX(pname[ix]),
4007                           (IV)I_32(SvNVX(pname[ix])),
4008                           SvIVX(pname[ix]));
4009     }
4010 #endif /* DEBUGGING */
4011 }
4012
4013 STATIC CV *
4014 S_cv_clone2(pTHX_ CV *proto, CV *outside)
4015 {
4016     dTHR;
4017     AV* av;
4018     I32 ix;
4019     AV* protopadlist = CvPADLIST(proto);
4020     AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
4021     AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
4022     SV** pname = AvARRAY(protopad_name);
4023     SV** ppad = AvARRAY(protopad);
4024     I32 fname = AvFILLp(protopad_name);
4025     I32 fpad = AvFILLp(protopad);
4026     AV* comppadlist;
4027     CV* cv;
4028
4029     assert(!CvUNIQUE(proto));
4030
4031     ENTER;
4032     SAVEVPTR(PL_curpad);
4033     SAVESPTR(PL_comppad);
4034     SAVESPTR(PL_comppad_name);
4035     SAVESPTR(PL_compcv);
4036
4037     cv = PL_compcv = (CV*)NEWSV(1104,0);
4038     sv_upgrade((SV *)cv, SvTYPE(proto));
4039     CvCLONED_on(cv);
4040     if (CvANON(proto))
4041         CvANON_on(cv);
4042
4043 #ifdef USE_THREADS
4044     New(666, CvMUTEXP(cv), 1, perl_mutex);
4045     MUTEX_INIT(CvMUTEXP(cv));
4046     CvOWNER(cv)         = 0;
4047 #endif /* USE_THREADS */
4048     CvFILE(cv)          = CvFILE(proto);
4049     CvGV(cv)            = (GV*)SvREFCNT_inc(CvGV(proto));
4050     CvSTASH(cv)         = CvSTASH(proto);
4051     CvROOT(cv)          = CvROOT(proto);
4052     CvSTART(cv)         = CvSTART(proto);
4053     if (outside)
4054         CvOUTSIDE(cv)   = (CV*)SvREFCNT_inc(outside);
4055
4056     if (SvPOK(proto))
4057         sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
4058
4059     PL_comppad_name = newAV();
4060     for (ix = fname; ix >= 0; ix--)
4061         av_store(PL_comppad_name, ix, SvREFCNT_inc(pname[ix]));
4062
4063     PL_comppad = newAV();
4064
4065     comppadlist = newAV();
4066     AvREAL_off(comppadlist);
4067     av_store(comppadlist, 0, (SV*)PL_comppad_name);
4068     av_store(comppadlist, 1, (SV*)PL_comppad);
4069     CvPADLIST(cv) = comppadlist;
4070     av_fill(PL_comppad, AvFILLp(protopad));
4071     PL_curpad = AvARRAY(PL_comppad);
4072
4073     av = newAV();           /* will be @_ */
4074     av_extend(av, 0);
4075     av_store(PL_comppad, 0, (SV*)av);
4076     AvFLAGS(av) = AVf_REIFY;
4077
4078     for (ix = fpad; ix > 0; ix--) {
4079         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
4080         if (namesv && namesv != &PL_sv_undef) {
4081             char *name = SvPVX(namesv);    /* XXX */
4082             if (SvFLAGS(namesv) & SVf_FAKE) {   /* lexical from outside? */
4083                 I32 off = pad_findlex(name, ix, SvIVX(namesv),
4084                                       CvOUTSIDE(cv), cxstack_ix, 0, 0);
4085                 if (!off)
4086                     PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
4087                 else if (off != ix)
4088                     Perl_croak(aTHX_ "panic: cv_clone: %s", name);
4089             }
4090             else {                              /* our own lexical */
4091                 SV* sv;
4092                 if (*name == '&') {
4093                     /* anon code -- we'll come back for it */
4094                     sv = SvREFCNT_inc(ppad[ix]);
4095                 }
4096                 else if (*name == '@')
4097                     sv = (SV*)newAV();
4098                 else if (*name == '%')
4099                     sv = (SV*)newHV();
4100                 else
4101                     sv = NEWSV(0,0);
4102                 if (!SvPADBUSY(sv))
4103                     SvPADMY_on(sv);
4104                 PL_curpad[ix] = sv;
4105             }
4106         }
4107         else if (IS_PADGV(ppad[ix]) || IS_PADCONST(ppad[ix])) {
4108             PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
4109         }
4110         else {
4111             SV* sv = NEWSV(0,0);
4112             SvPADTMP_on(sv);
4113             PL_curpad[ix] = sv;
4114         }
4115     }
4116
4117     /* Now that vars are all in place, clone nested closures. */
4118
4119     for (ix = fpad; ix > 0; ix--) {
4120         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
4121         if (namesv
4122             && namesv != &PL_sv_undef
4123             && !(SvFLAGS(namesv) & SVf_FAKE)
4124             && *SvPVX(namesv) == '&'
4125             && CvCLONE(ppad[ix]))
4126         {
4127             CV *kid = cv_clone2((CV*)ppad[ix], cv);
4128             SvREFCNT_dec(ppad[ix]);
4129             CvCLONE_on(kid);
4130             SvPADMY_on(kid);
4131             PL_curpad[ix] = (SV*)kid;
4132         }
4133     }
4134
4135 #ifdef DEBUG_CLOSURES
4136     PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
4137     cv_dump(outside);
4138     PerlIO_printf(Perl_debug_log, "  from:\n");
4139     cv_dump(proto);
4140     PerlIO_printf(Perl_debug_log, "   to:\n");
4141     cv_dump(cv);
4142 #endif
4143
4144     LEAVE;
4145     return cv;
4146 }
4147
4148 CV *
4149 Perl_cv_clone(pTHX_ CV *proto)
4150 {
4151     CV *cv;
4152     LOCK_CRED_MUTEX;                    /* XXX create separate mutex */
4153     cv = cv_clone2(proto, CvOUTSIDE(proto));
4154     UNLOCK_CRED_MUTEX;                  /* XXX create separate mutex */
4155     return cv;
4156 }
4157
4158 void
4159 Perl_cv_ckproto(pTHX_ CV *cv, GV *gv, char *p)
4160 {
4161     dTHR;
4162
4163     if (((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) && ckWARN_d(WARN_UNSAFE)) {
4164         SV* msg = sv_newmortal();
4165         SV* name = Nullsv;
4166
4167         if (gv)
4168             gv_efullname3(name = sv_newmortal(), gv, Nullch);
4169         sv_setpv(msg, "Prototype mismatch:");
4170         if (name)
4171             Perl_sv_catpvf(aTHX_ msg, " sub %_", name);
4172         if (SvPOK(cv))
4173             Perl_sv_catpvf(aTHX_ msg, " (%s)", SvPVX(cv));
4174         sv_catpv(msg, " vs ");
4175         if (p)
4176             Perl_sv_catpvf(aTHX_ msg, "(%s)", p);
4177         else
4178             sv_catpv(msg, "none");
4179         Perl_warner(aTHX_ WARN_UNSAFE, "%_", msg);
4180     }
4181 }
4182
4183 SV *
4184 Perl_cv_const_sv(pTHX_ CV *cv)
4185 {
4186     if (!cv || !SvPOK(cv) || SvCUR(cv))
4187         return Nullsv;
4188     return op_const_sv(CvSTART(cv), cv);
4189 }
4190
4191 SV *
4192 Perl_op_const_sv(pTHX_ OP *o, CV *cv)
4193 {
4194     SV *sv = Nullsv;
4195
4196     if(!o)
4197         return Nullsv;
4198
4199     if(o->op_type == OP_LINESEQ && cLISTOPo->op_first)
4200         o = cLISTOPo->op_first->op_sibling;
4201
4202     for (; o; o = o->op_next) {
4203         OPCODE type = o->op_type;
4204
4205         if (sv && o->op_next == o)
4206             return sv;
4207         if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
4208             continue;
4209         if (type == OP_LEAVESUB || type == OP_RETURN)
4210             break;
4211         if (sv)
4212             return Nullsv;
4213         if (type == OP_CONST && cSVOPo->op_sv)
4214             sv = cSVOPo->op_sv;
4215         else if ((type == OP_PADSV || type == OP_CONST) && cv) {
4216             AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
4217             sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
4218             if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
4219                 return Nullsv;
4220         }
4221         else
4222             return Nullsv;
4223     }
4224     if (sv)
4225         SvREADONLY_on(sv);
4226     return sv;
4227 }
4228
4229 void
4230 Perl_newMYSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *attrs, OP *block)
4231 {
4232     if (o)
4233         SAVEFREEOP(o);
4234     if (proto)
4235         SAVEFREEOP(proto);
4236     if (attrs)
4237         SAVEFREEOP(attrs);
4238     if (block)
4239         SAVEFREEOP(block);
4240     Perl_croak(aTHX_ "\"my sub\" not yet implemented");
4241 }
4242
4243 CV *
4244 Perl_newSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *block)
4245 {
4246     return Perl_newATTRSUB(aTHX_ floor, o, proto, Nullop, block);
4247 }
4248
4249 CV *
4250 Perl_newATTRSUB(pTHX_ I32 floor, OP *o, OP *proto, OP *attrs, OP *block)
4251 {
4252     dTHR;
4253     STRLEN n_a;
4254     char *name = o ? SvPVx(cSVOPo->op_sv, n_a) : Nullch;
4255     GV *gv = gv_fetchpv(name ? name : "__ANON__",
4256                         GV_ADDMULTI | ((block || attrs) ? 0 : GV_NOINIT),
4257                         SVt_PVCV);
4258     char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, n_a) : Nullch;
4259     register CV *cv=0;
4260     I32 ix;
4261
4262     if (o)
4263         SAVEFREEOP(o);
4264     if (proto)
4265         SAVEFREEOP(proto);
4266     if (attrs)
4267         SAVEFREEOP(attrs);
4268
4269     if (SvTYPE(gv) != SVt_PVGV) {       /* Maybe prototype now, and had at
4270                                            maximum a prototype before. */
4271         if (SvTYPE(gv) > SVt_NULL) {
4272             if (!SvPOK((SV*)gv) && !(SvIOK((SV*)gv) && SvIVX((SV*)gv) == -1)
4273                 && ckWARN_d(WARN_UNSAFE))
4274             {
4275                 Perl_warner(aTHX_ WARN_UNSAFE, "Runaway prototype");
4276             }
4277             cv_ckproto((CV*)gv, NULL, ps);
4278         }
4279         if (ps)
4280             sv_setpv((SV*)gv, ps);
4281         else
4282             sv_setiv((SV*)gv, -1);
4283         SvREFCNT_dec(PL_compcv);
4284         cv = PL_compcv = NULL;
4285         PL_sub_generation++;
4286         goto noblock;
4287     }
4288
4289     if (!name || GvCVGEN(gv))
4290         cv = Nullcv;
4291     else if (cv = GvCV(gv)) {
4292         cv_ckproto(cv, gv, ps);
4293         /* already defined (or promised)? */
4294         if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
4295             SV* const_sv;
4296             bool const_changed = TRUE;
4297             if (!block && !attrs) {
4298                 /* just a "sub foo;" when &foo is already defined */
4299                 SAVEFREESV(PL_compcv);
4300                 goto done;
4301             }
4302             /* ahem, death to those who redefine active sort subs */
4303             if (PL_curstackinfo->si_type == PERLSI_SORT && PL_sortcop == CvSTART(cv))
4304                 Perl_croak(aTHX_ "Can't redefine active sort subroutine %s", name);
4305             if (!block)
4306                 goto withattrs;
4307             if(const_sv = cv_const_sv(cv))
4308                 const_changed = sv_cmp(const_sv, op_const_sv(block, Nullcv));
4309             if ((const_sv && const_changed) || ckWARN(WARN_REDEFINE)
4310                                         && !(CvGV(cv) && GvSTASH(CvGV(cv))
4311                                         && HvNAME(GvSTASH(CvGV(cv)))
4312                                         && strEQ(HvNAME(GvSTASH(CvGV(cv))),
4313                                                  "autouse"))) {
4314                 line_t oldline = CopLINE(PL_curcop);
4315                 CopLINE_set(PL_curcop, PL_copline);
4316                 Perl_warner(aTHX_ WARN_REDEFINE,
4317                         const_sv ? "Constant subroutine %s redefined"
4318                                  : "Subroutine %s redefined", name);
4319                 CopLINE_set(PL_curcop, oldline);
4320             }
4321             SvREFCNT_dec(cv);
4322             cv = Nullcv;
4323         }
4324     }
4325   withattrs:
4326     if (attrs) {
4327         HV *stash;
4328         SV *rcv;
4329
4330         /* Need to do a C<use attributes $stash_of_cv,\&cv,@attrs>
4331          * before we clobber PL_compcv.
4332          */
4333         if (cv && !block) {
4334             rcv = (SV*)cv;
4335             if (CvGV(cv) && GvSTASH(CvGV(cv)) && HvNAME(GvSTASH(CvGV(cv))))
4336                 stash = GvSTASH(CvGV(cv));
4337             else if (CvSTASH(cv) && HvNAME(CvSTASH(cv)))
4338                 stash = CvSTASH(cv);
4339             else
4340                 stash = PL_curstash;
4341         }
4342         else {
4343             /* possibly about to re-define existing subr -- ignore old cv */
4344             rcv = (SV*)PL_compcv;
4345             if (name && GvSTASH(gv) && HvNAME(GvSTASH(gv)))
4346                 stash = GvSTASH(gv);
4347             else
4348                 stash = PL_curstash;
4349         }
4350         apply_attrs(stash, rcv, attrs);
4351     }
4352     if (cv) {                           /* must reuse cv if autoloaded */
4353         if (!block) {
4354             /* got here with just attrs -- work done, so bug out */
4355             SAVEFREESV(PL_compcv);
4356             goto done;
4357         }
4358         cv_undef(cv);
4359         CvFLAGS(cv) = CvFLAGS(PL_compcv);
4360         CvOUTSIDE(cv) = CvOUTSIDE(PL_compcv);
4361         CvOUTSIDE(PL_compcv) = 0;
4362         CvPADLIST(cv) = CvPADLIST(PL_compcv);
4363         CvPADLIST(PL_compcv) = 0;
4364         if (SvREFCNT(PL_compcv) > 1) /* XXX Make closures transit through stub. */
4365             CvOUTSIDE(PL_compcv) = (CV*)SvREFCNT_inc((SV*)cv);
4366         SvREFCNT_dec(PL_compcv);
4367     }
4368     else {
4369         cv = PL_compcv;
4370         if (name) {
4371             GvCV(gv) = cv;
4372             GvCVGEN(gv) = 0;
4373             PL_sub_generation++;
4374         }
4375     }
4376     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
4377     CvFILE(cv) = CopFILE(PL_curcop);
4378     CvSTASH(cv) = PL_curstash;
4379 #ifdef USE_THREADS
4380     CvOWNER(cv) = 0;
4381     if (!CvMUTEXP(cv)) {
4382         New(666, CvMUTEXP(cv), 1, perl_mutex);
4383         MUTEX_INIT(CvMUTEXP(cv));
4384     }
4385 #endif /* USE_THREADS */
4386
4387     if (ps)
4388         sv_setpv((SV*)cv, ps);
4389
4390     if (PL_error_count) {
4391         op_free(block);
4392         block = Nullop;
4393         if (name) {
4394             char *s = strrchr(name, ':');
4395             s = s ? s+1 : name;
4396             if (strEQ(s, "BEGIN")) {
4397                 char *not_safe =
4398                     "BEGIN not safe after errors--compilation aborted";
4399                 if (PL_in_eval & EVAL_KEEPERR)
4400                     Perl_croak(aTHX_ not_safe);
4401                 else {
4402                     /* force display of errors found but not reported */
4403                     sv_catpv(ERRSV, not_safe);
4404                     Perl_croak(aTHX_ "%s", SvPVx(ERRSV, n_a));
4405                 }
4406             }
4407         }
4408     }
4409     if (!block) {
4410       noblock:
4411         PL_copline = NOLINE;
4412         LEAVE_SCOPE(floor);
4413         return cv;
4414     }
4415
4416     if (AvFILLp(PL_comppad_name) < AvFILLp(PL_comppad))
4417         av_store(PL_comppad_name, AvFILLp(PL_comppad), Nullsv);
4418
4419     if (CvLVALUE(cv)) {
4420         CvROOT(cv) = newUNOP(OP_LEAVESUBLV, 0, scalarseq(block));
4421     }
4422     else {
4423         CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
4424     }
4425     CvROOT(cv)->op_private |= OPpREFCOUNTED;
4426     OpREFCNT_set(CvROOT(cv), 1);
4427     CvSTART(cv) = LINKLIST(CvROOT(cv));
4428     CvROOT(cv)->op_next = 0;
4429     peep(CvSTART(cv));
4430
4431     /* now that optimizer has done its work, adjust pad values */
4432     if (CvCLONE(cv)) {
4433         SV **namep = AvARRAY(PL_comppad_name);
4434         for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
4435             SV *namesv;
4436
4437             if (SvIMMORTAL(PL_curpad[ix]) || IS_PADGV(PL_curpad[ix]) || IS_PADCONST(PL_curpad[ix]))
4438                 continue;
4439             /*
4440              * The only things that a clonable function needs in its
4441              * pad are references to outer lexicals and anonymous subs.
4442              * The rest are created anew during cloning.
4443              */
4444             if (!((namesv = namep[ix]) != Nullsv &&
4445                   namesv != &PL_sv_undef &&
4446                   (SvFAKE(namesv) ||
4447                    *SvPVX(namesv) == '&')))
4448             {
4449                 SvREFCNT_dec(PL_curpad[ix]);
4450                 PL_curpad[ix] = Nullsv;
4451             }
4452         }
4453     }
4454     else {
4455         AV *av = newAV();                       /* Will be @_ */
4456         av_extend(av, 0);
4457         av_store(PL_comppad, 0, (SV*)av);
4458         AvFLAGS(av) = AVf_REIFY;
4459
4460         for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
4461             if (SvIMMORTAL(PL_curpad[ix]) || IS_PADGV(PL_curpad[ix]) || IS_PADCONST(PL_curpad[ix]))
4462                 continue;
4463             if (!SvPADMY(PL_curpad[ix]))
4464                 SvPADTMP_on(PL_curpad[ix]);
4465         }
4466     }
4467
4468     if (name) {
4469         char *s;
4470
4471         if (PERLDB_SUBLINE && PL_curstash != PL_debstash) {
4472             SV *sv = NEWSV(0,0);
4473             SV *tmpstr = sv_newmortal();
4474             GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
4475             CV *cv;
4476             HV *hv;
4477
4478             Perl_sv_setpvf(aTHX_ sv, "%s:%ld-%ld",
4479                            CopFILE(PL_curcop),
4480                            (long)PL_subline, (long)CopLINE(PL_curcop));
4481             gv_efullname3(tmpstr, gv, Nullch);
4482             hv_store(GvHV(PL_DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
4483             hv = GvHVn(db_postponed);
4484             if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
4485                   && (cv = GvCV(db_postponed))) {
4486                 dSP;
4487                 PUSHMARK(SP);
4488                 XPUSHs(tmpstr);
4489                 PUTBACK;
4490                 call_sv((SV*)cv, G_DISCARD);
4491             }
4492         }
4493
4494         if ((s = strrchr(name,':')))
4495             s++;
4496         else
4497             s = name;
4498
4499         if (*s != 'B' && *s != 'E' && *s != 'S' && *s != 'I')
4500             goto done;
4501
4502         if (strEQ(s, "BEGIN")) {
4503             I32 oldscope = PL_scopestack_ix;
4504             ENTER;
4505             SAVECOPFILE(&PL_compiling);
4506             SAVECOPLINE(&PL_compiling);
4507             save_svref(&PL_rs);
4508             sv_setsv(PL_rs, PL_nrs);
4509
4510             if (!PL_beginav)
4511                 PL_beginav = newAV();
4512             DEBUG_x( dump_sub(gv) );
4513             av_push(PL_beginav, SvREFCNT_inc(cv));
4514             GvCV(gv) = 0;
4515             call_list(oldscope, PL_beginav);
4516
4517             PL_curcop = &PL_compiling;
4518             PL_compiling.op_private = PL_hints;
4519             LEAVE;
4520         }
4521         else if (strEQ(s, "END") && !PL_error_count) {
4522             if (!PL_endav)
4523                 PL_endav = newAV();
4524             DEBUG_x( dump_sub(gv) );
4525             av_unshift(PL_endav, 1);
4526             av_store(PL_endav, 0, SvREFCNT_inc(cv));
4527             GvCV(gv) = 0;
4528         }
4529         else if (strEQ(s, "STOP") && !PL_error_count) {
4530             if (!PL_stopav)
4531                 PL_stopav = newAV();
4532             DEBUG_x( dump_sub(gv) );
4533             av_unshift(PL_stopav, 1);
4534             av_store(PL_stopav, 0, SvREFCNT_inc(cv));
4535             GvCV(gv) = 0;
4536         }
4537         else if (strEQ(s, "INIT") && !PL_error_count) {
4538             if (!PL_initav)
4539                 PL_initav = newAV();
4540             DEBUG_x( dump_sub(gv) );
4541             av_push(PL_initav, SvREFCNT_inc(cv));
4542             GvCV(gv) = 0;
4543         }
4544     }
4545
4546   done:
4547     PL_copline = NOLINE;
4548     LEAVE_SCOPE(floor);
4549     return cv;
4550 }
4551
4552 /* XXX unsafe for threads if eval_owner isn't held */
4553 void
4554 Perl_newCONSTSUB(pTHX_ HV *stash, char *name, SV *sv)
4555 {
4556     dTHR;
4557
4558     ENTER;
4559     SAVECOPLINE(PL_curcop);
4560     SAVEHINTS();
4561
4562     CopLINE_set(PL_curcop, PL_copline);
4563     PL_hints &= ~HINT_BLOCK_SCOPE;
4564
4565     if (stash) {
4566         SAVESPTR(PL_curstash);
4567         SAVECOPSTASH(PL_curcop);
4568         PL_curstash = stash;
4569 #ifdef USE_ITHREADS
4570         CopSTASHPV(PL_curcop) = stash ? HvNAME(stash) : Nullch;
4571 #else
4572         CopSTASH(PL_curcop) = stash;
4573 #endif
4574     }
4575
4576     newATTRSUB(
4577         start_subparse(FALSE, 0),
4578         newSVOP(OP_CONST, 0, newSVpv(name,0)),
4579         newSVOP(OP_CONST, 0, &PL_sv_no),        /* SvPV(&PL_sv_no) == "" -- GMB */
4580         Nullop,
4581         newSTATEOP(0, Nullch, newSVOP(OP_CONST, 0, sv))
4582     );
4583
4584     LEAVE;
4585 }
4586
4587 CV *
4588 Perl_newXS(pTHX_ char *name, XSUBADDR_t subaddr, char *filename)
4589 {
4590     dTHR;
4591     GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
4592     register CV *cv;
4593
4594     if (cv = (name ? GvCV(gv) : Nullcv)) {
4595         if (GvCVGEN(gv)) {
4596             /* just a cached method */
4597             SvREFCNT_dec(cv);
4598             cv = 0;
4599         }
4600         else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
4601             /* already defined (or promised) */
4602             if (ckWARN(WARN_REDEFINE) && !(CvGV(cv) && GvSTASH(CvGV(cv))
4603                             && HvNAME(GvSTASH(CvGV(cv)))
4604                             && strEQ(HvNAME(GvSTASH(CvGV(cv))), "autouse"))) {
4605                 line_t oldline = CopLINE(PL_curcop);
4606                 if (PL_copline != NOLINE)
4607                     CopLINE_set(PL_curcop, PL_copline);
4608                 Perl_warner(aTHX_ WARN_REDEFINE, "Subroutine %s redefined",name);
4609                 CopLINE_set(PL_curcop, oldline);
4610             }
4611             SvREFCNT_dec(cv);
4612             cv = 0;
4613         }
4614     }
4615
4616     if (cv)                             /* must reuse cv if autoloaded */
4617         cv_undef(cv);
4618     else {
4619         cv = (CV*)NEWSV(1105,0);
4620         sv_upgrade((SV *)cv, SVt_PVCV);
4621         if (name) {
4622             GvCV(gv) = cv;
4623             GvCVGEN(gv) = 0;
4624             PL_sub_generation++;
4625         }
4626     }
4627     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
4628 #ifdef USE_THREADS
4629     New(666, CvMUTEXP(cv), 1, perl_mutex);
4630     MUTEX_INIT(CvMUTEXP(cv));
4631     CvOWNER(cv) = 0;
4632 #endif /* USE_THREADS */
4633     (void)gv_fetchfile(filename);
4634     CvFILE(cv) = filename;      /* NOTE: not copied, as it is expected to be
4635                                    an external constant string */
4636     CvXSUB(cv) = subaddr;
4637
4638     if (name) {
4639         char *s = strrchr(name,':');
4640         if (s)
4641             s++;
4642         else
4643             s = name;
4644
4645         if (*s != 'B' && *s != 'E' && *s != 'S' && *s != 'I')
4646             goto done;
4647
4648         if (strEQ(s, "BEGIN")) {
4649             if (!PL_beginav)
4650                 PL_beginav = newAV();
4651             av_push(PL_beginav, SvREFCNT_inc(cv));
4652             GvCV(gv) = 0;
4653         }
4654         else if (strEQ(s, "END")) {
4655             if (!PL_endav)
4656                 PL_endav = newAV();
4657             av_unshift(PL_endav, 1);
4658             av_store(PL_endav, 0, SvREFCNT_inc(cv));
4659             GvCV(gv) = 0;
4660         }
4661         else if (strEQ(s, "STOP")) {
4662             if (!PL_stopav)
4663                 PL_stopav = newAV();
4664             av_unshift(PL_stopav, 1);
4665             av_store(PL_stopav, 0, SvREFCNT_inc(cv));
4666             GvCV(gv) = 0;
4667         }
4668         else if (strEQ(s, "INIT")) {
4669             if (!PL_initav)
4670                 PL_initav = newAV();
4671             av_push(PL_initav, SvREFCNT_inc(cv));
4672             GvCV(gv) = 0;
4673         }
4674     }
4675     else
4676         CvANON_on(cv);
4677
4678 done:
4679     return cv;
4680 }
4681
4682 void
4683 Perl_newFORM(pTHX_ I32 floor, OP *o, OP *block)
4684 {
4685     dTHR;
4686     register CV *cv;
4687     char *name;
4688     GV *gv;
4689     I32 ix;
4690     STRLEN n_a;
4691
4692     if (o)
4693         name = SvPVx(cSVOPo->op_sv, n_a);
4694     else
4695         name = "STDOUT";
4696     gv = gv_fetchpv(name,TRUE, SVt_PVFM);
4697     GvMULTI_on(gv);
4698     if (cv = GvFORM(gv)) {
4699         if (ckWARN(WARN_REDEFINE)) {
4700             line_t oldline = CopLINE(PL_curcop);
4701
4702             CopLINE_set(PL_curcop, PL_copline);
4703             Perl_warner(aTHX_ WARN_REDEFINE, "Format %s redefined",name);
4704             CopLINE_set(PL_curcop, oldline);
4705         }
4706         SvREFCNT_dec(cv);
4707     }
4708     cv = PL_compcv;
4709     GvFORM(gv) = cv;
4710     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
4711     CvFILE(cv) = CopFILE(PL_curcop);
4712
4713     for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
4714         if (!SvPADMY(PL_curpad[ix]) && !SvIMMORTAL(PL_curpad[ix]))
4715             SvPADTMP_on(PL_curpad[ix]);
4716     }
4717
4718     CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
4719     CvROOT(cv)->op_private |= OPpREFCOUNTED;
4720     OpREFCNT_set(CvROOT(cv), 1);
4721     CvSTART(cv) = LINKLIST(CvROOT(cv));
4722     CvROOT(cv)->op_next = 0;
4723     peep(CvSTART(cv));
4724     op_free(o);
4725     PL_copline = NOLINE;
4726     LEAVE_SCOPE(floor);
4727 }
4728
4729 OP *
4730 Perl_newANONLIST(pTHX_ OP *o)
4731 {
4732     return newUNOP(OP_REFGEN, 0,
4733         mod(list(convert(OP_ANONLIST, 0, o)), OP_REFGEN));
4734 }
4735
4736 OP *
4737 Perl_newANONHASH(pTHX_ OP *o)
4738 {
4739     return newUNOP(OP_REFGEN, 0,
4740         mod(list(convert(OP_ANONHASH, 0, o)), OP_REFGEN));
4741 }
4742
4743 OP *
4744 Perl_newANONSUB(pTHX_ I32 floor, OP *proto, OP *block)
4745 {
4746     return newANONATTRSUB(floor, proto, Nullop, block);
4747 }
4748
4749 OP *
4750 Perl_newANONATTRSUB(pTHX_ I32 floor, OP *proto, OP *attrs, OP *block)
4751 {
4752     return newUNOP(OP_REFGEN, 0,
4753         newSVOP(OP_ANONCODE, 0,
4754                 (SV*)newATTRSUB(floor, 0, proto, attrs, block)));
4755 }
4756
4757 OP *
4758 Perl_oopsAV(pTHX_ OP *o)
4759 {
4760     switch (o->op_type) {
4761     case OP_PADSV:
4762         o->op_type = OP_PADAV;
4763         o->op_ppaddr = PL_ppaddr[OP_PADAV];
4764         return ref(o, OP_RV2AV);
4765
4766     case OP_RV2SV:
4767         o->op_type = OP_RV2AV;
4768         o->op_ppaddr = PL_ppaddr[OP_RV2AV];
4769         ref(o, OP_RV2AV);
4770         break;
4771
4772     default:
4773         if (ckWARN_d(WARN_INTERNAL))
4774             Perl_warner(aTHX_ WARN_INTERNAL, "oops: oopsAV");
4775         break;
4776     }
4777     return o;
4778 }
4779
4780 OP *
4781 Perl_oopsHV(pTHX_ OP *o)
4782 {
4783     dTHR;
4784
4785     switch (o->op_type) {
4786     case OP_PADSV:
4787     case OP_PADAV:
4788         o->op_type = OP_PADHV;
4789         o->op_ppaddr = PL_ppaddr[OP_PADHV];
4790         return ref(o, OP_RV2HV);
4791
4792     case OP_RV2SV:
4793     case OP_RV2AV:
4794         o->op_type = OP_RV2HV;
4795         o->op_ppaddr = PL_ppaddr[OP_RV2HV];
4796         ref(o, OP_RV2HV);
4797         break;
4798
4799     default:
4800         if (ckWARN_d(WARN_INTERNAL))
4801             Perl_warner(aTHX_ WARN_INTERNAL, "oops: oopsHV");
4802         break;
4803     }
4804     return o;
4805 }
4806
4807 OP *
4808 Perl_newAVREF(pTHX_ OP *o)
4809 {
4810     if (o->op_type == OP_PADANY) {
4811         o->op_type = OP_PADAV;
4812         o->op_ppaddr = PL_ppaddr[OP_PADAV];
4813         return o;
4814     }
4815     return newUNOP(OP_RV2AV, 0, scalar(o));
4816 }
4817
4818 OP *
4819 Perl_newGVREF(pTHX_ I32 type, OP *o)
4820 {
4821     if (type == OP_MAPSTART || type == OP_GREPSTART || type == OP_SORT)
4822         return newUNOP(OP_NULL, 0, o);
4823     return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
4824 }
4825
4826 OP *
4827 Perl_newHVREF(pTHX_ OP *o)
4828 {
4829     if (o->op_type == OP_PADANY) {
4830         o->op_type = OP_PADHV;
4831         o->op_ppaddr = PL_ppaddr[OP_PADHV];
4832         return o;
4833     }
4834     return newUNOP(OP_RV2HV, 0, scalar(o));
4835 }
4836
4837 OP *
4838 Perl_oopsCV(pTHX_ OP *o)
4839 {
4840     Perl_croak(aTHX_ "NOT IMPL LINE %d",__LINE__);
4841     /* STUB */
4842     return o;
4843 }
4844
4845 OP *
4846 Perl_newCVREF(pTHX_ I32 flags, OP *o)
4847 {
4848     return newUNOP(OP_RV2CV, flags, scalar(o));
4849 }
4850
4851 OP *
4852 Perl_newSVREF(pTHX_ OP *o)
4853 {
4854     if (o->op_type == OP_PADANY) {
4855         o->op_type = OP_PADSV;
4856         o->op_ppaddr = PL_ppaddr[OP_PADSV];
4857         return o;
4858     }
4859     else if (o->op_type == OP_THREADSV && !(o->op_flags & OPpDONE_SVREF)) {
4860         o->op_flags |= OPpDONE_SVREF;
4861         return o;
4862     }
4863     return newUNOP(OP_RV2SV, 0, scalar(o));
4864 }
4865
4866 /* Check routines. */
4867
4868 OP *
4869 Perl_ck_anoncode(pTHX_ OP *o)
4870 {
4871     PADOFFSET ix;
4872     SV* name;
4873
4874     name = NEWSV(1106,0);
4875     sv_upgrade(name, SVt_PVNV);
4876     sv_setpvn(name, "&", 1);
4877     SvIVX(name) = -1;
4878     SvNVX(name) = 1;
4879     ix = pad_alloc(o->op_type, SVs_PADMY);
4880     av_store(PL_comppad_name, ix, name);
4881     av_store(PL_comppad, ix, cSVOPo->op_sv);
4882     SvPADMY_on(cSVOPo->op_sv);
4883     cSVOPo->op_sv = Nullsv;
4884     cSVOPo->op_targ = ix;
4885     return o;
4886 }
4887
4888 OP *
4889 Perl_ck_bitop(pTHX_ OP *o)
4890 {
4891     o->op_private = PL_hints;
4892     return o;
4893 }
4894
4895 OP *
4896 Perl_ck_concat(pTHX_ OP *o)
4897 {
4898     if (cUNOPo->op_first->op_type == OP_CONCAT)
4899         o->op_flags |= OPf_STACKED;
4900     return o;
4901 }
4902
4903 OP *
4904 Perl_ck_spair(pTHX_ OP *o)
4905 {
4906     if (o->op_flags & OPf_KIDS) {
4907         OP* newop;
4908         OP* kid;
4909         OPCODE type = o->op_type;
4910         o = modkids(ck_fun(o), type);
4911         kid = cUNOPo->op_first;
4912         newop = kUNOP->op_first->op_sibling;
4913         if (newop &&
4914             (newop->op_sibling ||
4915              !(PL_opargs[newop->op_type] & OA_RETSCALAR) ||
4916              newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
4917              newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
4918
4919             return o;
4920         }
4921         op_free(kUNOP->op_first);
4922         kUNOP->op_first = newop;
4923     }
4924     o->op_ppaddr = PL_ppaddr[++o->op_type];
4925     return ck_fun(o);
4926 }
4927
4928 OP *
4929 Perl_ck_delete(pTHX_ OP *o)
4930 {
4931     o = ck_fun(o);
4932     o->op_private = 0;
4933     if (o->op_flags & OPf_KIDS) {
4934         OP *kid = cUNOPo->op_first;
4935         switch (kid->op_type) {
4936         case OP_ASLICE:
4937             o->op_flags |= OPf_SPECIAL;
4938             /* FALL THROUGH */
4939         case OP_HSLICE:
4940             o->op_private |= OPpSLICE;
4941             break;
4942         case OP_AELEM:
4943             o->op_flags |= OPf_SPECIAL;
4944             /* FALL THROUGH */
4945         case OP_HELEM:
4946             break;
4947         default:
4948             Perl_croak(aTHX_ "%s argument is not a HASH or ARRAY element or slice",
4949                   PL_op_desc[o->op_type]);
4950         }
4951         null(kid);
4952     }
4953     return o;
4954 }
4955
4956 OP *
4957 Perl_ck_eof(pTHX_ OP *o)
4958 {
4959     I32 type = o->op_type;
4960
4961     if (o->op_flags & OPf_KIDS) {
4962         if (cLISTOPo->op_first->op_type == OP_STUB) {
4963             op_free(o);
4964             o = newUNOP(type, OPf_SPECIAL,
4965                 newGVOP(OP_GV, 0, gv_fetchpv("main::ARGV", TRUE, SVt_PVAV)));
4966         }
4967         return ck_fun(o);
4968     }
4969     return o;
4970 }
4971
4972 OP *
4973 Perl_ck_eval(pTHX_ OP *o)
4974 {
4975     PL_hints |= HINT_BLOCK_SCOPE;
4976     if (o->op_flags & OPf_KIDS) {
4977         SVOP *kid = (SVOP*)cUNOPo->op_first;
4978
4979         if (!kid) {
4980             o->op_flags &= ~OPf_KIDS;
4981             null(o);
4982         }
4983         else if (kid->op_type == OP_LINESEQ) {
4984             LOGOP *enter;
4985
4986             kid->op_next = o->op_next;
4987             cUNOPo->op_first = 0;
4988             op_free(o);
4989
4990             NewOp(1101, enter, 1, LOGOP);
4991             enter->op_type = OP_ENTERTRY;
4992             enter->op_ppaddr = PL_ppaddr[OP_ENTERTRY];
4993             enter->op_private = 0;
4994
4995             /* establish postfix order */
4996             enter->op_next = (OP*)enter;
4997
4998             o = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
4999             o->op_type = OP_LEAVETRY;
5000             o->op_ppaddr = PL_ppaddr[OP_LEAVETRY];
5001             enter->op_other = o;
5002             return o;
5003         }
5004         else
5005             scalar((OP*)kid);
5006     }
5007     else {
5008         op_free(o);
5009         o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
5010     }
5011     o->op_targ = (PADOFFSET)PL_hints;
5012     return o;
5013 }
5014
5015 OP *
5016 Perl_ck_exec(pTHX_ OP *o)
5017 {
5018     OP *kid;
5019     if (o->op_flags & OPf_STACKED) {
5020         o = ck_fun(o);
5021         kid = cUNOPo->op_first->op_sibling;
5022         if (kid->op_type == OP_RV2GV)
5023             null(kid);
5024     }
5025     else
5026         o = listkids(o);
5027     return o;
5028 }
5029
5030 OP *
5031 Perl_ck_exists(pTHX_ OP *o)
5032 {
5033     o = ck_fun(o);
5034     if (o->op_flags & OPf_KIDS) {
5035         OP *kid = cUNOPo->op_first;
5036         if (kid->op_type == OP_AELEM)
5037             o->op_flags |= OPf_SPECIAL;
5038         else if (kid->op_type != OP_HELEM)
5039             Perl_croak(aTHX_ "%s argument is not a HASH or ARRAY element",
5040                        PL_op_desc[o->op_type]);
5041         null(kid);
5042     }
5043     return o;
5044 }
5045
5046 #if 0
5047 OP *
5048 Perl_ck_gvconst(pTHX_ register OP *o)
5049 {
5050     o = fold_constants(o);
5051     if (o->op_type == OP_CONST)
5052         o->op_type = OP_GV;
5053     return o;
5054 }
5055 #endif
5056
5057 OP *
5058 Perl_ck_rvconst(pTHX_ register OP *o)
5059 {
5060     dTHR;
5061     SVOP *kid = (SVOP*)cUNOPo->op_first;
5062
5063     o->op_private |= (PL_hints & HINT_STRICT_REFS);
5064     if (kid->op_type == OP_CONST) {
5065         char *name;
5066         int iscv;
5067         GV *gv;
5068         SV *kidsv = kid->op_sv;
5069         STRLEN n_a;
5070
5071         /* Is it a constant from cv_const_sv()? */
5072         if (SvROK(kidsv) && SvREADONLY(kidsv)) {
5073             SV *rsv = SvRV(kidsv);
5074             int svtype = SvTYPE(rsv);
5075             char *badtype = Nullch;
5076
5077             switch (o->op_type) {
5078             case OP_RV2SV:
5079                 if (svtype > SVt_PVMG)
5080                     badtype = "a SCALAR";
5081                 break;
5082             case OP_RV2AV:
5083                 if (svtype != SVt_PVAV)
5084                     badtype = "an ARRAY";
5085                 break;
5086             case OP_RV2HV:
5087                 if (svtype != SVt_PVHV) {
5088                     if (svtype == SVt_PVAV) {   /* pseudohash? */
5089                         SV **ksv = av_fetch((AV*)rsv, 0, FALSE);
5090                         if (ksv && SvROK(*ksv)
5091                             && SvTYPE(SvRV(*ksv)) == SVt_PVHV)
5092                         {
5093                                 break;
5094                         }
5095                     }
5096                     badtype = "a HASH";
5097                 }
5098                 break;
5099             case OP_RV2CV:
5100                 if (svtype != SVt_PVCV)
5101                     badtype = "a CODE";
5102                 break;
5103             }
5104             if (badtype)
5105                 Perl_croak(aTHX_ "Constant is not %s reference", badtype);
5106             return o;
5107         }
5108         name = SvPV(kidsv, n_a);
5109         if ((PL_hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
5110             char *badthing = Nullch;
5111             switch (o->op_type) {
5112             case OP_RV2SV:
5113                 badthing = "a SCALAR";
5114                 break;
5115             case OP_RV2AV:
5116                 badthing = "an ARRAY";
5117                 break;
5118             case OP_RV2HV:
5119                 badthing = "a HASH";
5120                 break;
5121             }
5122             if (badthing)
5123                 Perl_croak(aTHX_
5124           "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
5125                       name, badthing);
5126         }
5127         /*
5128          * This is a little tricky.  We only want to add the symbol if we
5129          * didn't add it in the lexer.  Otherwise we get duplicate strict
5130          * warnings.  But if we didn't add it in the lexer, we must at
5131          * least pretend like we wanted to add it even if it existed before,
5132          * or we get possible typo warnings.  OPpCONST_ENTERED says
5133          * whether the lexer already added THIS instance of this symbol.
5134          */
5135         iscv = (o->op_type == OP_RV2CV) * 2;
5136         do {
5137             gv = gv_fetchpv(name,
5138                 iscv | !(kid->op_private & OPpCONST_ENTERED),
5139                 iscv
5140                     ? SVt_PVCV
5141                     : o->op_type == OP_RV2SV
5142                         ? SVt_PV
5143                         : o->op_type == OP_RV2AV
5144                             ? SVt_PVAV
5145                             : o->op_type == OP_RV2HV
5146                                 ? SVt_PVHV
5147                                 : SVt_PVGV);
5148         } while (!gv && !(kid->op_private & OPpCONST_ENTERED) && !iscv++);
5149         if (gv) {
5150             kid->op_type = OP_GV;
5151             SvREFCNT_dec(kid->op_sv);
5152 #ifdef USE_ITHREADS
5153             /* XXX hack: dependence on sizeof(PADOP) <= sizeof(SVOP) */
5154             kPADOP->op_padix = pad_alloc(OP_GV, SVs_PADTMP);
5155             GvIN_PAD_on(gv);
5156             PL_curpad[kPADOP->op_padix] = SvREFCNT_inc(gv);
5157 #else
5158             kid->op_sv = SvREFCNT_inc(gv);
5159 #endif
5160             kid->op_ppaddr = PL_ppaddr[OP_GV];
5161         }
5162     }
5163     return o;
5164 }
5165
5166 OP *
5167 Perl_ck_ftst(pTHX_ OP *o)
5168 {
5169     dTHR;
5170     I32 type = o->op_type;
5171
5172     if (o->op_flags & OPf_REF) {
5173         /* nothing */
5174     }
5175     else if (o->op_flags & OPf_KIDS && cUNOPo->op_first->op_type != OP_STUB) {
5176         SVOP *kid = (SVOP*)cUNOPo->op_first;
5177
5178         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
5179             STRLEN n_a;
5180             OP *newop = newGVOP(type, OPf_REF,
5181                 gv_fetchpv(SvPVx(kid->op_sv, n_a), TRUE, SVt_PVIO));
5182             op_free(o);
5183             o = newop;
5184         }
5185     }
5186     else {
5187         op_free(o);
5188         if (type == OP_FTTTY)
5189            o =  newGVOP(type, OPf_REF, gv_fetchpv("main::STDIN", TRUE,
5190                                 SVt_PVIO));
5191         else
5192             o = newUNOP(type, 0, newDEFSVOP());
5193     }
5194 #ifdef USE_LOCALE
5195     if (type == OP_FTTEXT || type == OP_FTBINARY) {
5196         o->op_private = 0;
5197         if (PL_hints & HINT_LOCALE)
5198             o->op_private |= OPpLOCALE;
5199     }
5200 #endif
5201     return o;
5202 }
5203
5204 OP *
5205 Perl_ck_fun(pTHX_ OP *o)
5206 {
5207     dTHR;
5208     register OP *kid;
5209     OP **tokid;
5210     OP *sibl;
5211     I32 numargs = 0;
5212     int type = o->op_type;
5213     register I32 oa = PL_opargs[type] >> OASHIFT;
5214
5215     if (o->op_flags & OPf_STACKED) {
5216         if ((oa & OA_OPTIONAL) && (oa >> 4) && !((oa >> 4) & OA_OPTIONAL))
5217             oa &= ~OA_OPTIONAL;
5218         else
5219             return no_fh_allowed(o);
5220     }
5221
5222     if (o->op_flags & OPf_KIDS) {
5223         STRLEN n_a;
5224         tokid = &cLISTOPo->op_first;
5225         kid = cLISTOPo->op_first;
5226         if (kid->op_type == OP_PUSHMARK ||
5227             kid->op_type == OP_NULL && kid->op_targ == OP_PUSHMARK)
5228         {
5229             tokid = &kid->op_sibling;
5230             kid = kid->op_sibling;
5231         }
5232         if (!kid && PL_opargs[type] & OA_DEFGV)
5233             *tokid = kid = newDEFSVOP();
5234
5235         while (oa && kid) {
5236             numargs++;
5237             sibl = kid->op_sibling;
5238             switch (oa & 7) {
5239             case OA_SCALAR:
5240                 /* list seen where single (scalar) arg expected? */
5241                 if (numargs == 1 && !(oa >> 4)
5242                     && kid->op_type == OP_LIST && type != OP_SCALAR)
5243                 {
5244                     return too_many_arguments(o,PL_op_desc[type]);
5245                 }
5246                 scalar(kid);
5247                 break;
5248             case OA_LIST:
5249                 if (oa < 16) {
5250                     kid = 0;
5251                     continue;
5252                 }
5253                 else
5254                     list(kid);
5255                 break;
5256             case OA_AVREF:
5257                 if (kid->op_type == OP_CONST &&
5258                     (kid->op_private & OPpCONST_BARE))
5259                 {
5260                     char *name = SvPVx(((SVOP*)kid)->op_sv, n_a);
5261                     OP *newop = newAVREF(newGVOP(OP_GV, 0,
5262                         gv_fetchpv(name, TRUE, SVt_PVAV) ));
5263                     if (ckWARN(WARN_SYNTAX))
5264                         Perl_warner(aTHX_ WARN_SYNTAX,
5265                             "Array @%s missing the @ in argument %"IVdf" of %s()",
5266                             name, (IV)numargs, PL_op_desc[type]);
5267                     op_free(kid);
5268                     kid = newop;
5269                     kid->op_sibling = sibl;
5270                     *tokid = kid;
5271                 }
5272                 else if (kid->op_type != OP_RV2AV && kid->op_type != OP_PADAV)
5273                     bad_type(numargs, "array", PL_op_desc[type], kid);
5274                 mod(kid, type);
5275                 break;
5276             case OA_HVREF:
5277                 if (kid->op_type == OP_CONST &&
5278                     (kid->op_private & OPpCONST_BARE))
5279                 {
5280                     char *name = SvPVx(((SVOP*)kid)->op_sv, n_a);
5281                     OP *newop = newHVREF(newGVOP(OP_GV, 0,
5282                         gv_fetchpv(name, TRUE, SVt_PVHV) ));
5283                     if (ckWARN(WARN_SYNTAX))
5284                         Perl_warner(aTHX_ WARN_SYNTAX,
5285                             "Hash %%%s missing the %% in argument %"IVdf" of %s()",
5286                             name, (IV)numargs, PL_op_desc[type]);
5287                     op_free(kid);
5288                     kid = newop;
5289                     kid->op_sibling = sibl;
5290                     *tokid = kid;
5291                 }
5292                 else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
5293                     bad_type(numargs, "hash", PL_op_desc[type], kid);
5294                 mod(kid, type);
5295                 break;
5296             case OA_CVREF:
5297                 {
5298                     OP *newop = newUNOP(OP_NULL, 0, kid);
5299                     kid->op_sibling = 0;
5300                     linklist(kid);
5301                     newop->op_next = newop;
5302                     kid = newop;
5303                     kid->op_sibling = sibl;
5304                     *tokid = kid;
5305                 }
5306                 break;
5307             case OA_FILEREF:
5308                 if (kid->op_type != OP_GV && kid->op_type != OP_RV2GV) {
5309                     if (kid->op_type == OP_CONST &&
5310                         (kid->op_private & OPpCONST_BARE))
5311                     {
5312                         OP *newop = newGVOP(OP_GV, 0,
5313                             gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, n_a), TRUE,
5314                                         SVt_PVIO) );
5315                         op_free(kid);
5316                         kid = newop;
5317                     }
5318                     else if (kid->op_type == OP_READLINE) {
5319                         /* neophyte patrol: open(<FH>), close(<FH>) etc. */
5320                         bad_type(numargs, "HANDLE", PL_op_desc[o->op_type], kid);
5321                     }
5322                     else {
5323                         I32 flags = OPf_SPECIAL;
5324                         I32 priv = 0;
5325                         PADOFFSET targ = 0;
5326
5327                         /* is this op a FH constructor? */
5328                         if (is_handle_constructor(o,numargs)) {
5329                             char *name = Nullch;
5330                             STRLEN len;
5331
5332                             flags = 0;
5333                             /* Set a flag to tell rv2gv to vivify
5334                              * need to "prove" flag does not mean something
5335                              * else already - NI-S 1999/05/07
5336                              */
5337                             priv = OPpDEREF;
5338                             if (kid->op_type == OP_PADSV) {
5339                                 SV **namep = av_fetch(PL_comppad_name,
5340                                                       kid->op_targ, 4);
5341                                 if (namep && *namep)
5342                                     name = SvPV(*namep, len);
5343                             }
5344                             else if (kid->op_type == OP_RV2SV
5345                                      && kUNOP->op_first->op_type == OP_GV)
5346                             {
5347                                 GV *gv = cGVOPx_gv(kUNOP->op_first);
5348                                 name = GvNAME(gv);
5349                                 len = GvNAMELEN(gv);
5350                             }
5351                             if (name) {
5352                                 SV *namesv;
5353                                 targ = pad_alloc(OP_RV2GV, SVs_PADTMP);
5354                                 namesv = PL_curpad[targ];
5355                                 SvUPGRADE(namesv, SVt_PV);
5356                                 if (*name != '$')
5357                                     sv_setpvn(namesv, "$", 1);
5358                                 sv_catpvn(namesv, name, len);
5359                             }
5360                         }
5361                         kid->op_sibling = 0;
5362                         kid = newUNOP(OP_RV2GV, flags, scalar(kid));
5363                         kid->op_targ = targ;
5364                         kid->op_private |= priv;
5365                     }
5366                     kid->op_sibling = sibl;
5367                     *tokid = kid;
5368                 }
5369                 scalar(kid);
5370                 break;
5371             case OA_SCALARREF:
5372                 mod(scalar(kid), type);
5373                 break;
5374             }
5375             oa >>= 4;
5376             tokid = &kid->op_sibling;
5377             kid = kid->op_sibling;
5378         }
5379         o->op_private |= numargs;
5380         if (kid)
5381             return too_many_arguments(o,PL_op_desc[o->op_type]);
5382         listkids(o);
5383     }
5384     else if (PL_opargs[type] & OA_DEFGV) {
5385         op_free(o);
5386         return newUNOP(type, 0, newDEFSVOP());
5387     }
5388
5389     if (oa) {
5390         while (oa & OA_OPTIONAL)
5391             oa >>= 4;
5392         if (oa && oa != OA_LIST)
5393             return too_few_arguments(o,PL_op_desc[o->op_type]);
5394     }
5395     return o;
5396 }
5397
5398 OP *
5399 Perl_ck_glob(pTHX_ OP *o)
5400 {
5401     GV *gv;
5402
5403     if ((o->op_flags & OPf_KIDS) && !cLISTOPo->op_first->op_sibling)
5404         append_elem(OP_GLOB, o, newDEFSVOP());
5405
5406     if (!((gv = gv_fetchpv("glob", FALSE, SVt_PVCV)) && GvIMPORTED_CV(gv)))
5407         gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
5408
5409 #if !defined(PERL_EXTERNAL_GLOB)
5410     /* XXX this can be tightened up and made more failsafe. */
5411     if (!gv) {
5412         OP *modname = newSVOP(OP_CONST, 0, newSVpvn("File::Glob", 10));
5413         modname->op_private |= OPpCONST_BARE;
5414         ENTER;
5415         utilize(1, start_subparse(FALSE, 0), Nullop, modname,
5416                 newSVOP(OP_CONST, 0, newSVpvn(":globally", 9)));
5417         gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
5418         LEAVE;
5419     }
5420 #endif /* PERL_EXTERNAL_GLOB */
5421
5422     if (gv && GvIMPORTED_CV(gv)) {
5423         append_elem(OP_GLOB, o,
5424                     newSVOP(OP_CONST, 0, newSViv(PL_glob_index++)));
5425         o->op_type = OP_LIST;
5426         o->op_ppaddr = PL_ppaddr[OP_LIST];
5427         cLISTOPo->op_first->op_type = OP_PUSHMARK;
5428         cLISTOPo->op_first->op_ppaddr = PL_ppaddr[OP_PUSHMARK];
5429         o = newUNOP(OP_ENTERSUB, OPf_STACKED,
5430                     append_elem(OP_LIST, o,
5431                                 scalar(newUNOP(OP_RV2CV, 0,
5432                                                newGVOP(OP_GV, 0, gv)))));
5433         o = newUNOP(OP_NULL, 0, ck_subr(o));
5434         o->op_targ = OP_GLOB;           /* hint at what it used to be */
5435         return o;
5436     }
5437     gv = newGVgen("main");
5438     gv_IOadd(gv);
5439     append_elem(OP_GLOB, o, newGVOP(OP_GV, 0, gv));
5440     scalarkids(o);
5441     return ck_fun(o);
5442 }
5443
5444 OP *
5445 Perl_ck_grep(pTHX_ OP *o)
5446 {
5447     LOGOP *gwop;
5448     OP *kid;
5449     OPCODE type = o->op_type == OP_GREPSTART ? OP_GREPWHILE : OP_MAPWHILE;
5450
5451     o->op_ppaddr = PL_ppaddr[OP_GREPSTART];
5452     NewOp(1101, gwop, 1, LOGOP);
5453
5454     if (o->op_flags & OPf_STACKED) {
5455         OP* k;
5456         o = ck_sort(o);
5457         kid = cLISTOPo->op_first->op_sibling;
5458         for (k = cLISTOPo->op_first->op_sibling->op_next; k; k = k->op_next) {
5459             kid = k;
5460         }
5461         kid->op_next = (OP*)gwop;
5462         o->op_flags &= ~OPf_STACKED;
5463     }
5464     kid = cLISTOPo->op_first->op_sibling;
5465     if (type == OP_MAPWHILE)
5466         list(kid);
5467     else
5468         scalar(kid);
5469     o = ck_fun(o);
5470     if (PL_error_count)
5471         return o;
5472     kid = cLISTOPo->op_first->op_sibling;
5473     if (kid->op_type != OP_NULL)
5474         Perl_croak(aTHX_ "panic: ck_grep");
5475     kid = kUNOP->op_first;
5476
5477     gwop->op_type = type;
5478     gwop->op_ppaddr = PL_ppaddr[type];
5479     gwop->op_first = listkids(o);
5480     gwop->op_flags |= OPf_KIDS;
5481     gwop->op_private = 1;
5482     gwop->op_other = LINKLIST(kid);
5483     gwop->op_targ = pad_alloc(type, SVs_PADTMP);
5484     kid->op_next = (OP*)gwop;
5485
5486     kid = cLISTOPo->op_first->op_sibling;
5487     if (!kid || !kid->op_sibling)
5488         return too_few_arguments(o,PL_op_desc[o->op_type]);
5489     for (kid = kid->op_sibling; kid; kid = kid->op_sibling)
5490         mod(kid, OP_GREPSTART);
5491
5492     return (OP*)gwop;
5493 }
5494
5495 OP *
5496 Perl_ck_index(pTHX_ OP *o)
5497 {
5498     if (o->op_flags & OPf_KIDS) {
5499         OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
5500         if (kid)
5501             kid = kid->op_sibling;                      /* get past "big" */
5502         if (kid && kid->op_type == OP_CONST)
5503             fbm_compile(((SVOP*)kid)->op_sv, 0);
5504     }
5505     return ck_fun(o);
5506 }
5507
5508 OP *
5509 Perl_ck_lengthconst(pTHX_ OP *o)
5510 {
5511     /* XXX length optimization goes here */
5512     return ck_fun(o);
5513 }
5514
5515 OP *
5516 Perl_ck_lfun(pTHX_ OP *o)
5517 {
5518     OPCODE type = o->op_type;
5519     return modkids(ck_fun(o), type);
5520 }
5521
5522 OP *
5523 Perl_ck_defined(pTHX_ OP *o)            /* 19990527 MJD */
5524 {
5525     dTHR;
5526     if ((o->op_flags & OPf_KIDS) && ckWARN(WARN_DEPRECATED)) {
5527         switch (cUNOPo->op_first->op_type) {
5528         case OP_RV2AV:
5529             break;                      /* Globals via GV can be undef */
5530         case OP_PADAV:
5531         case OP_AASSIGN:                /* Is this a good idea? */
5532             Perl_warner(aTHX_ WARN_DEPRECATED,
5533                         "defined(@array) is deprecated");
5534             Perl_warner(aTHX_ WARN_DEPRECATED,
5535                         "(Maybe you should just omit the defined()?)\n");
5536         break;
5537         case OP_RV2HV:
5538             break;                      /* Globals via GV can be undef */
5539         case OP_PADHV:
5540             Perl_warner(aTHX_ WARN_DEPRECATED,
5541                         "defined(%hash) is deprecated");
5542             Perl_warner(aTHX_ WARN_DEPRECATED,
5543                         "(Maybe you should just omit the defined()?)\n");
5544             break;
5545         default:
5546             /* no warning */
5547             break;
5548         }
5549     }
5550     return ck_rfun(o);
5551 }
5552
5553 OP *
5554 Perl_ck_rfun(pTHX_ OP *o)
5555 {
5556     OPCODE type = o->op_type;
5557     return refkids(ck_fun(o), type);
5558 }
5559
5560 OP *
5561 Perl_ck_listiob(pTHX_ OP *o)
5562 {
5563     register OP *kid;
5564
5565     kid = cLISTOPo->op_first;
5566     if (!kid) {
5567         o = force_list(o);
5568         kid = cLISTOPo->op_first;
5569     }
5570     if (kid->op_type == OP_PUSHMARK)
5571         kid = kid->op_sibling;
5572     if (kid && o->op_flags & OPf_STACKED)
5573         kid = kid->op_sibling;
5574     else if (kid && !kid->op_sibling) {         /* print HANDLE; */
5575         if (kid->op_type == OP_CONST && kid->op_private & OPpCONST_BARE) {
5576             o->op_flags |= OPf_STACKED; /* make it a filehandle */
5577             kid = newUNOP(OP_RV2GV, OPf_REF, scalar(kid));
5578             cLISTOPo->op_first->op_sibling = kid;
5579             cLISTOPo->op_last = kid;
5580             kid = kid->op_sibling;
5581         }
5582     }
5583
5584     if (!kid)
5585         append_elem(o->op_type, o, newDEFSVOP());
5586
5587     o = listkids(o);
5588
5589     o->op_private = 0;
5590 #ifdef USE_LOCALE
5591     if (PL_hints & HINT_LOCALE)
5592         o->op_private |= OPpLOCALE;
5593 #endif
5594
5595     return o;
5596 }
5597
5598 OP *
5599 Perl_ck_fun_locale(pTHX_ OP *o)
5600 {
5601     o = ck_fun(o);
5602
5603     o->op_private = 0;
5604 #ifdef USE_LOCALE
5605     if (PL_hints & HINT_LOCALE)
5606         o->op_private |= OPpLOCALE;
5607 #endif
5608
5609     return o;
5610 }
5611
5612 OP *
5613 Perl_ck_sassign(pTHX_ OP *o)
5614 {
5615     OP *kid = cLISTOPo->op_first;
5616     /* has a disposable target? */
5617     if ((PL_opargs[kid->op_type] & OA_TARGLEX)
5618         && !(kid->op_flags & OPf_STACKED))
5619     {
5620         OP *kkid = kid->op_sibling;
5621
5622         /* Can just relocate the target. */
5623         if (kkid && kkid->op_type == OP_PADSV
5624             && !(kkid->op_private & OPpLVAL_INTRO))
5625         {
5626             kid->op_targ = kkid->op_targ;
5627             kkid->op_targ = 0;
5628             /* Now we do not need PADSV and SASSIGN. */
5629             kid->op_sibling = o->op_sibling;    /* NULL */
5630             cLISTOPo->op_first = NULL;
5631             op_free(o);
5632             op_free(kkid);
5633             kid->op_private |= OPpTARGET_MY;    /* Used for context settings */
5634             return kid;
5635         }
5636     }
5637     return o;
5638 }
5639
5640 OP *
5641 Perl_ck_scmp(pTHX_ OP *o)
5642 {
5643     o->op_private = 0;
5644 #ifdef USE_LOCALE
5645     if (PL_hints & HINT_LOCALE)
5646         o->op_private |= OPpLOCALE;
5647 #endif
5648
5649     return o;
5650 }
5651
5652 OP *
5653 Perl_ck_match(pTHX_ OP *o)
5654 {
5655     o->op_private |= OPpRUNTIME;
5656     return o;
5657 }
5658
5659 OP *
5660 Perl_ck_method(pTHX_ OP *o)
5661 {
5662     OP *kid = cUNOPo->op_first;
5663     if (kid->op_type == OP_CONST) {
5664         SV* sv = kSVOP->op_sv;
5665         if (!(strchr(SvPVX(sv), ':') || strchr(SvPVX(sv), '\''))) {
5666             OP *cmop;
5667             sv_upgrade(sv, SVt_PVIV);
5668             SvIOK_on(sv);
5669             PERL_HASH(SvUVX(sv), SvPVX(sv), SvCUR(sv));
5670             cmop = newSVOP(OP_METHOD_NAMED, 0, sv);
5671             kSVOP->op_sv = Nullsv;
5672             op_free(o);
5673             return cmop;
5674         }
5675     }
5676     return o;
5677 }
5678
5679 OP *
5680 Perl_ck_null(pTHX_ OP *o)
5681 {
5682     return o;
5683 }
5684
5685 OP *
5686 Perl_ck_repeat(pTHX_ OP *o)
5687 {
5688     if (cBINOPo->op_first->op_flags & OPf_PARENS) {
5689         o->op_private |= OPpREPEAT_DOLIST;
5690         cBINOPo->op_first = force_list(cBINOPo->op_first);
5691     }
5692     else
5693         scalar(o);
5694     return o;
5695 }
5696
5697 OP *
5698 Perl_ck_require(pTHX_ OP *o)
5699 {
5700     if (o->op_flags & OPf_KIDS) {       /* Shall we supply missing .pm? */
5701         SVOP *kid = (SVOP*)cUNOPo->op_first;
5702
5703         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
5704             char *s;
5705             for (s = SvPVX(kid->op_sv); *s; s++) {
5706                 if (*s == ':' && s[1] == ':') {
5707                     *s = '/';
5708                     Move(s+2, s+1, strlen(s+2)+1, char);
5709                     --SvCUR(kid->op_sv);
5710                 }
5711             }
5712             sv_catpvn(kid->op_sv, ".pm", 3);
5713         }
5714     }
5715     return ck_fun(o);
5716 }
5717
5718 #if 0
5719 OP *
5720 Perl_ck_retarget(pTHX_ OP *o)
5721 {
5722     Perl_croak(aTHX_ "NOT IMPL LINE %d",__LINE__);
5723     /* STUB */
5724     return o;
5725 }
5726 #endif
5727
5728 OP *
5729 Perl_ck_select(pTHX_ OP *o)
5730 {
5731     OP* kid;
5732     if (o->op_flags & OPf_KIDS) {
5733         kid = cLISTOPo->op_first->op_sibling;   /* get past pushmark */
5734         if (kid && kid->op_sibling) {
5735             o->op_type = OP_SSELECT;
5736             o->op_ppaddr = PL_ppaddr[OP_SSELECT];
5737             o = ck_fun(o);
5738             return fold_constants(o);
5739         }
5740     }
5741     o = ck_fun(o);
5742     kid = cLISTOPo->op_first->op_sibling;    /* get past pushmark */
5743     if (kid && kid->op_type == OP_RV2GV)
5744         kid->op_private &= ~HINT_STRICT_REFS;
5745     return o;
5746 }
5747
5748 OP *
5749 Perl_ck_shift(pTHX_ OP *o)
5750 {
5751     I32 type = o->op_type;
5752
5753     if (!(o->op_flags & OPf_KIDS)) {
5754         OP *argop;
5755
5756         op_free(o);
5757 #ifdef USE_THREADS
5758         if (!CvUNIQUE(PL_compcv)) {
5759             argop = newOP(OP_PADAV, OPf_REF);
5760             argop->op_targ = 0;         /* PL_curpad[0] is @_ */
5761         }
5762         else {
5763             argop = newUNOP(OP_RV2AV, 0,
5764                 scalar(newGVOP(OP_GV, 0,
5765                     gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
5766         }
5767 #else
5768         argop = newUNOP(OP_RV2AV, 0,
5769             scalar(newGVOP(OP_GV, 0, !CvUNIQUE(PL_compcv) ?
5770                            PL_defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
5771 #endif /* USE_THREADS */
5772         return newUNOP(type, 0, scalar(argop));
5773     }
5774     return scalar(modkids(ck_fun(o), type));
5775 }
5776
5777 OP *
5778 Perl_ck_sort(pTHX_ OP *o)
5779 {
5780     o->op_private = 0;
5781 #ifdef USE_LOCALE
5782     if (PL_hints & HINT_LOCALE)
5783         o->op_private |= OPpLOCALE;
5784 #endif
5785
5786     if (o->op_type == OP_SORT && o->op_flags & OPf_STACKED)
5787         simplify_sort(o);
5788     if (o->op_flags & OPf_STACKED) {                 /* may have been cleared */
5789         OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
5790         OP *k;
5791         kid = kUNOP->op_first;                          /* get past null */
5792
5793         if (kid->op_type == OP_SCOPE || kid->op_type == OP_LEAVE) {
5794             linklist(kid);
5795             if (kid->op_type == OP_SCOPE) {
5796                 k = kid->op_next;
5797                 kid->op_next = 0;
5798             }
5799             else if (kid->op_type == OP_LEAVE) {
5800                 if (o->op_type == OP_SORT) {
5801                     null(kid);                  /* wipe out leave */
5802                     kid->op_next = kid;
5803
5804                     for (k = kLISTOP->op_first->op_next; k; k = k->op_next) {
5805                         if (k->op_next == kid)
5806                             k->op_next = 0;
5807                     }
5808                 }
5809                 else
5810                     kid->op_next = 0;           /* just disconnect the leave */
5811                 k = kLISTOP->op_first;
5812             }
5813             peep(k);
5814
5815             kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
5816             if (o->op_type == OP_SORT)
5817                 kid->op_next = kid;
5818             else
5819                 kid->op_next = k;
5820             o->op_flags |= OPf_SPECIAL;
5821         }
5822         else if (kid->op_type == OP_RV2SV || kid->op_type == OP_PADSV)
5823             null(cLISTOPo->op_first->op_sibling);
5824     }
5825
5826     return o;
5827 }
5828
5829 STATIC void
5830 S_simplify_sort(pTHX_ OP *o)
5831 {
5832     dTHR;
5833     register OP *kid = cLISTOPo->op_first->op_sibling;  /* get past pushmark */
5834     OP *k;
5835     int reversed;
5836     GV *gv;
5837     if (!(o->op_flags & OPf_STACKED))
5838         return;
5839     GvMULTI_on(gv_fetchpv("a", TRUE, SVt_PV));
5840     GvMULTI_on(gv_fetchpv("b", TRUE, SVt_PV));
5841     kid = kUNOP->op_first;                              /* get past null */
5842     if (kid->op_type != OP_SCOPE)
5843         return;
5844     kid = kLISTOP->op_last;                             /* get past scope */
5845     switch(kid->op_type) {
5846         case OP_NCMP:
5847         case OP_I_NCMP:
5848         case OP_SCMP:
5849             break;
5850         default:
5851             return;
5852     }
5853     k = kid;                                            /* remember this node*/
5854     if (kBINOP->op_first->op_type != OP_RV2SV)
5855         return;
5856     kid = kBINOP->op_first;                             /* get past cmp */
5857     if (kUNOP->op_first->op_type != OP_GV)
5858         return;
5859     kid = kUNOP->op_first;                              /* get past rv2sv */
5860     gv = kGVOP_gv;
5861     if (GvSTASH(gv) != PL_curstash)
5862         return;
5863     if (strEQ(GvNAME(gv), "a"))
5864         reversed = 0;
5865     else if(strEQ(GvNAME(gv), "b"))
5866         reversed = 1;
5867     else
5868         return;
5869     kid = k;                                            /* back to cmp */
5870     if (kBINOP->op_last->op_type != OP_RV2SV)
5871         return;
5872     kid = kBINOP->op_last;                              /* down to 2nd arg */
5873     if (kUNOP->op_first->op_type != OP_GV)
5874         return;
5875     kid = kUNOP->op_first;                              /* get past rv2sv */
5876     gv = kGVOP_gv;
5877     if (GvSTASH(gv) != PL_curstash
5878         || ( reversed
5879             ? strNE(GvNAME(gv), "a")
5880             : strNE(GvNAME(gv), "b")))
5881         return;
5882     o->op_flags &= ~(OPf_STACKED | OPf_SPECIAL);
5883     if (reversed)
5884         o->op_private |= OPpSORT_REVERSE;
5885     if (k->op_type == OP_NCMP)
5886         o->op_private |= OPpSORT_NUMERIC;
5887     if (k->op_type == OP_I_NCMP)
5888         o->op_private |= OPpSORT_NUMERIC | OPpSORT_INTEGER;
5889     kid = cLISTOPo->op_first->op_sibling;
5890     cLISTOPo->op_first->op_sibling = kid->op_sibling; /* bypass old block */
5891     op_free(kid);                                     /* then delete it */
5892     cLISTOPo->op_children--;
5893 }
5894
5895 OP *
5896 Perl_ck_split(pTHX_ OP *o)
5897 {
5898     register OP *kid;
5899
5900     if (o->op_flags & OPf_STACKED)
5901         return no_fh_allowed(o);
5902
5903     kid = cLISTOPo->op_first;
5904     if (kid->op_type != OP_NULL)
5905         Perl_croak(aTHX_ "panic: ck_split");
5906     kid = kid->op_sibling;
5907     op_free(cLISTOPo->op_first);
5908     cLISTOPo->op_first = kid;
5909     if (!kid) {
5910         cLISTOPo->op_first = kid = newSVOP(OP_CONST, 0, newSVpvn(" ", 1));
5911         cLISTOPo->op_last = kid; /* There was only one element previously */
5912     }
5913
5914     if (kid->op_type != OP_MATCH) {
5915         OP *sibl = kid->op_sibling;
5916         kid->op_sibling = 0;
5917         kid = pmruntime( newPMOP(OP_MATCH, OPf_SPECIAL), kid, Nullop);
5918         if (cLISTOPo->op_first == cLISTOPo->op_last)
5919             cLISTOPo->op_last = kid;
5920         cLISTOPo->op_first = kid;
5921         kid->op_sibling = sibl;
5922     }
5923
5924     kid->op_type = OP_PUSHRE;
5925     kid->op_ppaddr = PL_ppaddr[OP_PUSHRE];
5926     scalar(kid);
5927
5928     if (!kid->op_sibling)
5929         append_elem(OP_SPLIT, o, newDEFSVOP());
5930
5931     kid = kid->op_sibling;
5932     scalar(kid);
5933
5934     if (!kid->op_sibling)
5935         append_elem(OP_SPLIT, o, newSVOP(OP_CONST, 0, newSViv(0)));
5936
5937     kid = kid->op_sibling;
5938     scalar(kid);
5939
5940     if (kid->op_sibling)
5941         return too_many_arguments(o,PL_op_desc[o->op_type]);
5942
5943     return o;
5944 }
5945
5946 OP *
5947 Perl_ck_join(pTHX_ OP *o)
5948 {
5949     if (ckWARN(WARN_SYNTAX)) {
5950         OP *kid = cLISTOPo->op_first->op_sibling;
5951         if (kid && kid->op_type == OP_MATCH) {
5952             char *pmstr = "STRING";
5953             if (kPMOP->op_pmregexp)
5954                 pmstr = kPMOP->op_pmregexp->precomp;
5955             Perl_warner(aTHX_ WARN_SYNTAX,
5956                         "/%s/ should probably be written as \"%s\"",
5957                         pmstr, pmstr);
5958         }
5959     }
5960     return ck_fun(o);
5961 }
5962
5963 OP *
5964 Perl_ck_subr(pTHX_ OP *o)
5965 {
5966     dTHR;
5967     OP *prev = ((cUNOPo->op_first->op_sibling)
5968              ? cUNOPo : ((UNOP*)cUNOPo->op_first))->op_first;
5969     OP *o2 = prev->op_sibling;
5970     OP *cvop;
5971     char *proto = 0;
5972     CV *cv = 0;
5973     GV *namegv = 0;
5974     int optional = 0;
5975     I32 arg = 0;
5976     STRLEN n_a;
5977
5978     o->op_private |= OPpENTERSUB_HASTARG;
5979     for (cvop = o2; cvop->op_sibling; cvop = cvop->op_sibling) ;
5980     if (cvop->op_type == OP_RV2CV) {
5981         SVOP* tmpop;
5982         o->op_private |= (cvop->op_private & OPpENTERSUB_AMPER);
5983         null(cvop);             /* disable rv2cv */
5984         tmpop = (SVOP*)((UNOP*)cvop)->op_first;
5985         if (tmpop->op_type == OP_GV && !(o->op_private & OPpENTERSUB_AMPER)) {
5986             GV *gv = cGVOPx_gv(tmpop);
5987             cv = GvCVu(gv);
5988             if (!cv)
5989                 tmpop->op_private |= OPpEARLY_CV;
5990             else if (SvPOK(cv)) {
5991                 namegv = CvANON(cv) ? gv : CvGV(cv);
5992                 proto = SvPV((SV*)cv, n_a);
5993             }
5994         }
5995     }
5996     else if (cvop->op_type == OP_METHOD || cvop->op_type == OP_METHOD_NAMED) {
5997         if (o2->op_type == OP_CONST)
5998             o2->op_private &= ~OPpCONST_STRICT;
5999         else if (o2->op_type == OP_LIST) {
6000             OP *o = ((UNOP*)o2)->op_first->op_sibling;
6001             if (o && o->op_type == OP_CONST)
6002                 o->op_private &= ~OPpCONST_STRICT;
6003         }
6004     }
6005     o->op_private |= (PL_hints & HINT_STRICT_REFS);
6006     if (PERLDB_SUB && PL_curstash != PL_debstash)
6007         o->op_private |= OPpENTERSUB_DB;
6008     while (o2 != cvop) {
6009         if (proto) {
6010             switch (*proto) {
6011             case '\0':
6012                 return too_many_arguments(o, gv_ename(namegv));
6013             case ';':
6014                 optional = 1;
6015                 proto++;
6016                 continue;
6017             case '$':
6018                 proto++;
6019                 arg++;
6020                 scalar(o2);
6021                 break;
6022             case '%':
6023             case '@':
6024                 list(o2);
6025                 arg++;
6026                 break;
6027             case '&':
6028                 proto++;
6029                 arg++;
6030                 if (o2->op_type != OP_REFGEN && o2->op_type != OP_UNDEF)
6031                     bad_type(arg, "block", gv_ename(namegv), o2);
6032                 break;
6033             case '*':
6034                 /* '*' allows any scalar type, including bareword */
6035                 proto++;
6036                 arg++;
6037                 if (o2->op_type == OP_RV2GV)
6038                     goto wrapref;       /* autoconvert GLOB -> GLOBref */
6039                 else if (o2->op_type == OP_CONST)
6040                     o2->op_private &= ~OPpCONST_STRICT;
6041                 else if (o2->op_type == OP_ENTERSUB) {
6042                     /* accidental subroutine, revert to bareword */
6043                     OP *gvop = ((UNOP*)o2)->op_first;
6044                     if (gvop && gvop->op_type == OP_NULL) {
6045                         gvop = ((UNOP*)gvop)->op_first;
6046                         if (gvop) {
6047                             for (; gvop->op_sibling; gvop = gvop->op_sibling)
6048                                 ;
6049                             if (gvop &&
6050                                 (gvop->op_private & OPpENTERSUB_NOPAREN) &&
6051                                 (gvop = ((UNOP*)gvop)->op_first) &&
6052                                 gvop->op_type == OP_GV)
6053                             {
6054                                 GV *gv = cGVOPx_gv(gvop);
6055                                 OP *sibling = o2->op_sibling;
6056                                 SV *n = newSVpvn("",0);
6057                                 op_free(o2);
6058                                 gv_fullname3(n, gv, "");
6059                                 if (SvCUR(n)>6 && strnEQ(SvPVX(n),"main::",6))
6060                                     sv_chop(n, SvPVX(n)+6);
6061                                 o2 = newSVOP(OP_CONST, 0, n);
6062                                 prev->op_sibling = o2;
6063                                 o2->op_sibling = sibling;
6064                             }
6065                         }
6066                     }
6067                 }
6068                 scalar(o2);
6069                 break;
6070             case '\\':
6071                 proto++;
6072                 arg++;
6073                 switch (*proto++) {
6074                 case '*':
6075                     if (o2->op_type != OP_RV2GV)
6076                         bad_type(arg, "symbol", gv_ename(namegv), o2);
6077                     goto wrapref;
6078                 case '&':
6079                     if (o2->op_type != OP_RV2CV)
6080                         bad_type(arg, "sub", gv_ename(namegv), o2);
6081                     goto wrapref;
6082                 case '$':
6083                     if (o2->op_type != OP_RV2SV
6084                         && o2->op_type != OP_PADSV
6085                         && o2->op_type != OP_HELEM
6086                         && o2->op_type != OP_AELEM
6087                         && o2->op_type != OP_THREADSV)
6088                     {
6089                         bad_type(arg, "scalar", gv_ename(namegv), o2);
6090                     }
6091                     goto wrapref;
6092                 case '@':
6093                     if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
6094                         bad_type(arg, "array", gv_ename(namegv), o2);
6095                     goto wrapref;
6096                 case '%':
6097                     if (o2->op_type != OP_RV2HV && o2->op_type != OP_PADHV)
6098                         bad_type(arg, "hash", gv_ename(namegv), o2);
6099                   wrapref:
6100                     {
6101                         OP* kid = o2;
6102                         OP* sib = kid->op_sibling;
6103                         kid->op_sibling = 0;
6104                         o2 = newUNOP(OP_REFGEN, 0, kid);
6105                         o2->op_sibling = sib;
6106                         prev->op_sibling = o2;
6107                     }
6108                     break;
6109                 default: goto oops;
6110                 }
6111                 break;
6112             case ' ':
6113                 proto++;
6114                 continue;
6115             default:
6116               oops:
6117                 Perl_croak(aTHX_ "Malformed prototype for %s: %s",
6118                         gv_ename(namegv), SvPV((SV*)cv, n_a));
6119             }
6120         }
6121         else
6122             list(o2);
6123         mod(o2, OP_ENTERSUB);
6124         prev = o2;
6125         o2 = o2->op_sibling;
6126     }
6127     if (proto && !optional &&
6128           (*proto && *proto != '@' && *proto != '%' && *proto != ';'))
6129         return too_few_arguments(o, gv_ename(namegv));
6130     return o;
6131 }
6132
6133 OP *
6134 Perl_ck_svconst(pTHX_ OP *o)
6135 {
6136     SvREADONLY_on(cSVOPo->op_sv);
6137     return o;
6138 }
6139
6140 OP *
6141 Perl_ck_trunc(pTHX_ OP *o)
6142 {
6143     if (o->op_flags & OPf_KIDS) {
6144         SVOP *kid = (SVOP*)cUNOPo->op_first;
6145
6146         if (kid->op_type == OP_NULL)
6147             kid = (SVOP*)kid->op_sibling;
6148         if (kid && kid->op_type == OP_CONST &&
6149             (kid->op_private & OPpCONST_BARE))
6150         {
6151             o->op_flags |= OPf_SPECIAL;
6152             kid->op_private &= ~OPpCONST_STRICT;
6153         }
6154     }
6155     return ck_fun(o);
6156 }
6157
6158 /* A peephole optimizer.  We visit the ops in the order they're to execute. */
6159
6160 void
6161 Perl_peep(pTHX_ register OP *o)
6162 {
6163     dTHR;
6164     register OP* oldop = 0;
6165     STRLEN n_a;
6166     OP *last_composite = Nullop;
6167
6168     if (!o || o->op_seq)
6169         return;
6170     ENTER;
6171     SAVEOP();
6172     SAVEVPTR(PL_curcop);
6173     for (; o; o = o->op_next) {
6174         if (o->op_seq)
6175             break;
6176         if (!PL_op_seqmax)
6177             PL_op_seqmax++;
6178         PL_op = o;
6179         switch (o->op_type) {
6180         case OP_SETSTATE:
6181         case OP_NEXTSTATE:
6182         case OP_DBSTATE:
6183             PL_curcop = ((COP*)o);              /* for warnings */
6184             o->op_seq = PL_op_seqmax++;
6185             last_composite = Nullop;
6186             break;
6187
6188         case OP_CONST:
6189             if (cSVOPo->op_private & OPpCONST_STRICT)
6190                 no_bareword_allowed(o);
6191 #ifdef USE_ITHREADS
6192             /* Relocate sv to the pad for thread safety.
6193              * Despite being a "constant", the SV is written to,
6194              * for reference counts, sv_upgrade() etc. */
6195             if (cSVOP->op_sv) {
6196                 PADOFFSET ix = pad_alloc(OP_CONST, SVs_PADTMP);
6197                 SvREFCNT_dec(PL_curpad[ix]);
6198                 SvPADTMP_on(cSVOPo->op_sv);
6199                 PL_curpad[ix] = cSVOPo->op_sv;
6200                 cSVOPo->op_sv = Nullsv;
6201                 o->op_targ = ix;
6202             }
6203 #endif
6204             /* FALL THROUGH */
6205         case OP_UC:
6206         case OP_UCFIRST:
6207         case OP_LC:
6208         case OP_LCFIRST:
6209         case OP_CONCAT:
6210         case OP_JOIN:
6211         case OP_QUOTEMETA:
6212             if (o->op_next && o->op_next->op_type == OP_STRINGIFY) {
6213                 if (o->op_next->op_private & OPpTARGET_MY) {
6214                     if (o->op_flags & OPf_STACKED) /* chained concats */
6215                         goto ignore_optimization;
6216                     else {
6217                         o->op_targ = o->op_next->op_targ;
6218                         o->op_next->op_targ = 0;
6219                         o->op_private |= OPpTARGET_MY;
6220                     }
6221                 }
6222                 null(o->op_next);
6223             }
6224           ignore_optimization:
6225             o->op_seq = PL_op_seqmax++;
6226             break;
6227         case OP_STUB:
6228             if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
6229                 o->op_seq = PL_op_seqmax++;
6230                 break; /* Scalar stub must produce undef.  List stub is noop */
6231             }
6232             goto nothin;
6233         case OP_NULL:
6234             if (o->op_targ == OP_NEXTSTATE
6235                 || o->op_targ == OP_DBSTATE
6236                 || o->op_targ == OP_SETSTATE)
6237             {
6238                 PL_curcop = ((COP*)o);
6239             }
6240             goto nothin;
6241         case OP_SCALAR:
6242         case OP_LINESEQ:
6243         case OP_SCOPE:
6244           nothin:
6245             if (oldop && o->op_next) {
6246                 oldop->op_next = o->op_next;
6247                 continue;
6248             }
6249             o->op_seq = PL_op_seqmax++;
6250             break;
6251
6252         case OP_GV:
6253             if (o->op_next->op_type == OP_RV2SV) {
6254                 if (!(o->op_next->op_private & OPpDEREF)) {
6255                     null(o->op_next);
6256                     o->op_private |= o->op_next->op_private & OPpLVAL_INTRO;
6257                     o->op_next = o->op_next->op_next;
6258                     o->op_type = OP_GVSV;
6259                     o->op_ppaddr = PL_ppaddr[OP_GVSV];
6260                 }
6261             }
6262             else if (o->op_next->op_type == OP_RV2AV) {
6263                 OP* pop = o->op_next->op_next;
6264                 IV i;
6265                 if (pop->op_type == OP_CONST &&
6266                     (PL_op = pop->op_next) &&
6267                     pop->op_next->op_type == OP_AELEM &&
6268                     !(pop->op_next->op_private &
6269                       (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF)) &&
6270                     (i = SvIV(((SVOP*)pop)->op_sv) - PL_compiling.cop_arybase)
6271                                 <= 255 &&
6272                     i >= 0)
6273                 {
6274                     GV *gv;
6275                     null(o->op_next);
6276                     null(pop->op_next);
6277                     null(pop);
6278                     o->op_flags |= pop->op_next->op_flags & OPf_MOD;
6279                     o->op_next = pop->op_next->op_next;
6280                     o->op_type = OP_AELEMFAST;
6281                     o->op_ppaddr = PL_ppaddr[OP_AELEMFAST];
6282                     o->op_private = (U8)i;
6283                     gv = cGVOPo_gv;
6284                     GvAVn(gv);
6285                 }
6286             }
6287             else if ((o->op_private & OPpEARLY_CV) && ckWARN(WARN_UNSAFE)) {
6288                 GV *gv = cGVOPo_gv;
6289                 if (SvTYPE(gv) == SVt_PVGV && GvCV(gv) && SvPVX(GvCV(gv))) {
6290                     /* XXX could check prototype here instead of just carping */
6291                     SV *sv = sv_newmortal();
6292                     gv_efullname3(sv, gv, Nullch);
6293                     Perl_warner(aTHX_ WARN_UNSAFE,
6294                                 "%s() called too early to check prototype",
6295                                 SvPV_nolen(sv));
6296                 }
6297             }
6298
6299             o->op_seq = PL_op_seqmax++;
6300             break;
6301
6302         case OP_MAPWHILE:
6303         case OP_GREPWHILE:
6304         case OP_AND:
6305         case OP_OR:
6306         case OP_ANDASSIGN:
6307         case OP_ORASSIGN:
6308         case OP_COND_EXPR:
6309         case OP_RANGE:
6310             o->op_seq = PL_op_seqmax++;
6311             while (cLOGOP->op_other->op_type == OP_NULL)
6312                 cLOGOP->op_other = cLOGOP->op_other->op_next;
6313             peep(cLOGOP->op_other);
6314             break;
6315
6316         case OP_ENTERLOOP:
6317             o->op_seq = PL_op_seqmax++;
6318             peep(cLOOP->op_redoop);
6319             peep(cLOOP->op_nextop);
6320             peep(cLOOP->op_lastop);
6321             break;
6322
6323         case OP_QR:
6324         case OP_MATCH:
6325         case OP_SUBST:
6326             o->op_seq = PL_op_seqmax++;
6327             peep(cPMOP->op_pmreplstart);
6328             break;
6329
6330         case OP_EXEC:
6331             o->op_seq = PL_op_seqmax++;
6332             if (ckWARN(WARN_SYNTAX) && o->op_next
6333                 && o->op_next->op_type == OP_NEXTSTATE) {
6334                 if (o->op_next->op_sibling &&
6335                         o->op_next->op_sibling->op_type != OP_EXIT &&
6336                         o->op_next->op_sibling->op_type != OP_WARN &&
6337                         o->op_next->op_sibling->op_type != OP_DIE) {
6338                     line_t oldline = CopLINE(PL_curcop);
6339
6340                     CopLINE_set(PL_curcop, CopLINE((COP*)o->op_next));
6341                     Perl_warner(aTHX_ WARN_SYNTAX, "Statement unlikely to be reached");
6342                     Perl_warner(aTHX_ WARN_SYNTAX, "(Maybe you meant system() when you said exec()?)\n");
6343                     CopLINE_set(PL_curcop, oldline);
6344                 }
6345             }
6346             break;
6347
6348         case OP_HELEM: {
6349             UNOP *rop;
6350             SV *lexname;
6351             GV **fields;
6352             SV **svp, **indsvp;
6353             I32 ind;
6354             char *key;
6355             STRLEN keylen;
6356
6357             if ((o->op_private & (OPpLVAL_INTRO))
6358                 || ((BINOP*)o)->op_last->op_type != OP_CONST)
6359                 break;
6360             rop = (UNOP*)((BINOP*)o)->op_first;
6361             if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
6362                 break;
6363             lexname = *av_fetch(PL_comppad_name, rop->op_first->op_targ, TRUE);
6364             if (!SvOBJECT(lexname))
6365                 break;
6366             fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
6367             if (!fields || !GvHV(*fields))
6368                 break;
6369             svp = cSVOPx_svp(((BINOP*)o)->op_last);
6370             key = SvPV(*svp, keylen);
6371             indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
6372             if (!indsvp) {
6373                 Perl_croak(aTHX_ "No such pseudo-hash field \"%s\" in variable %s of type %s",
6374                       key, SvPV(lexname, n_a), HvNAME(SvSTASH(lexname)));
6375             }
6376             ind = SvIV(*indsvp);
6377             if (ind < 1)
6378                 Perl_croak(aTHX_ "Bad index while coercing array into hash");
6379             rop->op_type = OP_RV2AV;
6380             rop->op_ppaddr = PL_ppaddr[OP_RV2AV];
6381             o->op_type = OP_AELEM;
6382             o->op_ppaddr = PL_ppaddr[OP_AELEM];
6383             SvREFCNT_dec(*svp);
6384             *svp = newSViv(ind);
6385             break;
6386         }
6387
6388         case OP_RV2AV:
6389         case OP_RV2HV:
6390             if (!(o->op_flags & OPf_WANT)
6391                 || (o->op_flags & OPf_WANT) == OPf_WANT_LIST)
6392             {
6393                 last_composite = o;
6394             }
6395             o->op_seq = PL_op_seqmax++;
6396             break;
6397
6398         case OP_RETURN:
6399             if (o->op_next && o->op_next->op_type != OP_LEAVESUBLV) {
6400                 o->op_seq = PL_op_seqmax++;
6401                 break;
6402             }
6403             /* FALL THROUGH */
6404
6405         case OP_LEAVESUBLV:
6406             if (last_composite) {
6407                 OP *r = last_composite;
6408
6409                 while (r->op_sibling)
6410                    r = r->op_sibling;
6411                 if (r->op_next == o
6412                     || (r->op_next->op_type == OP_LIST
6413                         && r->op_next->op_next == o))
6414                 {
6415                     if (last_composite->op_type == OP_RV2AV)
6416                         yyerror("Lvalue subs returning arrays not implemented yet");
6417                     else
6418                         yyerror("Lvalue subs returning hashes not implemented yet");
6419                         ;
6420                 }
6421             }
6422             /* FALL THROUGH */
6423
6424         default:
6425             o->op_seq = PL_op_seqmax++;
6426             break;
6427         }
6428         oldop = o;
6429     }
6430     LEAVE;
6431 }