op.c

   1 /*    op.c
   2  *
   3  *    Copyright (c) 1991-1997, 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 #include "perl.h"
  20
  21 #ifdef PERL_OBJECT
  22 #define CHECKCALL this->*check
  23 #else
  24 #define CHECKCALL *check
  25 #endif
  26
  27 /*
  28  * In the following definition, the ", Nullop" is just to make the compiler
  29  * think the expression is of the right type: croak actually does a Siglongjmp.
  30  */
  31 #define CHECKOP(type,o) \
  32     ((op_mask && op_mask[type])                                 \
  33      ? ( op_free((OP*)o),                                       \
  34          croak("%s trapped by operation mask", op_desc[type]),  \
  35          Nullop )                                               \
  36      : (CHECKCALL[type])((OP*)o))
  37
  38 static bool scalar_mod_type _((OP *o, I32 type));
  39 #ifndef PERL_OBJECT
  40 static I32 list_assignment _((OP *o));
  41 static void bad_type _((I32 n, char *t, char *name, OP *kid));
  42 static OP *modkids _((OP *o, I32 type));
  43 static OP *no_fh_allowed _((OP *o));
  44 static OP *scalarboolean _((OP *o));
  45 static OP *too_few_arguments _((OP *o, char* name));
  46 static OP *too_many_arguments _((OP *o, char* name));
  47 static void null _((OP* o));
  48 static PADOFFSET pad_findlex _((char* name, PADOFFSET newoff, U32 seq,
  49         CV* startcv, I32 cx_ix));
  50 static OP *newDEFSVOP _((void));
  51 #endif
  52
  53 STATIC char*
  54 gv_ename(GV *gv)
  55 {
  56     SV* tmpsv = sv_newmortal();
  57     gv_efullname3(tmpsv, gv, Nullch);
  58     return SvPV(tmpsv,na);
  59 }
  60
  61 STATIC OP *
  62 no_fh_allowed(OP *o)
  63 {
  64     yyerror(form("Missing comma after first argument to %s function",
  65                  op_desc[o->op_type]));
  66     return o;
  67 }
  68
  69 STATIC OP *
  70 too_few_arguments(OP *o, char *name)
  71 {
  72     yyerror(form("Not enough arguments for %s", name));
  73     return o;
  74 }
  75
  76 STATIC OP *
  77 too_many_arguments(OP *o, char *name)
  78 {
  79     yyerror(form("Too many arguments for %s", name));
  80     return o;
  81 }
  82
  83 STATIC void
  84 bad_type(I32 n, char *t, char *name, OP *kid)
  85 {
  86     yyerror(form("Type of arg %d to %s must be %s (not %s)",
  87                  (int)n, name, t, op_desc[kid->op_type]));
  88 }
  89
  90 void
  91 assertref(OP *o)
  92 {
  93     int type = o->op_type;
  94     if (type != OP_AELEM && type != OP_HELEM) {
  95         yyerror(form("Can't use subscript on %s", op_desc[type]));
  96         if (type == OP_ENTERSUB || type == OP_RV2HV || type == OP_PADHV)
  97             warn("(Did you mean $ or @ instead of %c?)\n",
  98                  type == OP_ENTERSUB ? '&' : '%');
  99     }
 100 }
 101
 102 /* "register" allocation */
 103
 104 PADOFFSET
 105 pad_allocmy(char *name)
 106 {
 107     dTHR;
 108     PADOFFSET off;
 109     SV *sv;
 110
 111     if (!(isALPHA(name[1]) || name[1] == '_' && (int)strlen(name) > 2)) {
 112         if (!isPRINT(name[1])) {
 113             name[3] = '\0';
 114             name[2] = toCTRL(name[1]);
 115             name[1] = '^';
 116         }
 117         croak("Can't use global %s in \"my\"",name);
 118     }
 119     if (dowarn && AvFILLp(comppad_name) >= 0) {
 120         SV **svp = AvARRAY(comppad_name);
 121         for (off = AvFILLp(comppad_name); off > comppad_name_floor; off--) {
 122             if ((sv = svp[off])
 123                 && sv != &sv_undef
 124                 && SvIVX(sv) == 999999999       /* var is in open scope */
 125                 && strEQ(name, SvPVX(sv)))
 126             {
 127                 warn("\"my\" variable %s masks earlier declaration in same scope", name);
 128                 break;
 129             }
 130         }
 131     }
 132     off = pad_alloc(OP_PADSV, SVs_PADMY);
 133     sv = NEWSV(1102,0);
 134     sv_upgrade(sv, SVt_PVNV);
 135     sv_setpv(sv, name);
 136     if (in_my_stash) {
 137         if (*name != '$')
 138             croak("Can't declare class for non-scalar %s in \"my\"",name);
 139         SvOBJECT_on(sv);
 140         (void)SvUPGRADE(sv, SVt_PVMG);
 141         SvSTASH(sv) = (HV*)SvREFCNT_inc(in_my_stash);
 142         sv_objcount++;
 143     }
 144     av_store(comppad_name, off, sv);
 145     SvNVX(sv) = (double)999999999;
 146     SvIVX(sv) = 0;                      /* Not yet introduced--see newSTATEOP */
 147     if (!min_intro_pending)
 148         min_intro_pending = off;
 149     max_intro_pending = off;
 150     if (*name == '@')
 151         av_store(comppad, off, (SV*)newAV());
 152     else if (*name == '%')
 153         av_store(comppad, off, (SV*)newHV());
 154     SvPADMY_on(curpad[off]);
 155     return off;
 156 }
 157
 158 STATIC PADOFFSET
 159 #ifndef CAN_PROTOTYPE
 160 pad_findlex(name, newoff, seq, startcv, cx_ix)
 161 char *name;
 162 PADOFFSET newoff;
 163 U32 seq;
 164 CV* startcv;
 165 I32 cx_ix;
 166 #else
 167 pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
 168 #endif
 169 {
 170     dTHR;
 171     CV *cv;
 172     I32 off;
 173     SV *sv;
 174     register I32 i;
 175     register PERL_CONTEXT *cx;
 176     int saweval;
 177
 178     for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
 179         AV *curlist = CvPADLIST(cv);
 180         SV **svp = av_fetch(curlist, 0, FALSE);
 181         AV *curname;
 182
 183         if (!svp || *svp == &sv_undef)
 184             continue;
 185         curname = (AV*)*svp;
 186         svp = AvARRAY(curname);
 187         for (off = AvFILLp(curname); off > 0; off--) {
 188             if ((sv = svp[off]) &&
 189                 sv != &sv_undef &&
 190                 seq <= SvIVX(sv) &&
 191                 seq > I_32(SvNVX(sv)) &&
 192                 strEQ(SvPVX(sv), name))
 193             {
 194                 I32 depth;
 195                 AV *oldpad;
 196                 SV *oldsv;
 197
 198                 depth = CvDEPTH(cv);
 199                 if (!depth) {
 200                     if (newoff) {
 201                         if (SvFAKE(sv))
 202                             continue;
 203                         return 0; /* don't clone from inactive stack frame */
 204                     }
 205                     depth = 1;
 206                 }
 207                 oldpad = (AV*)*av_fetch(curlist, depth, FALSE);
 208                 oldsv = *av_fetch(oldpad, off, TRUE);
 209                 if (!newoff) {          /* Not a mere clone operation. */
 210                     SV *namesv = NEWSV(1103,0);
 211                     newoff = pad_alloc(OP_PADSV, SVs_PADMY);
 212                     sv_upgrade(namesv, SVt_PVNV);
 213                     sv_setpv(namesv, name);
 214                     av_store(comppad_name, newoff, namesv);
 215                     SvNVX(namesv) = (double)curcop->cop_seq;
 216                     SvIVX(namesv) = 999999999;  /* A ref, intro immediately */
 217                     SvFAKE_on(namesv);          /* A ref, not a real var */
 218                     if (CvANON(compcv) || SvTYPE(compcv) == SVt_PVFM) {
 219                         /* "It's closures all the way down." */
 220                         CvCLONE_on(compcv);
 221                         if (cv == startcv) {
 222                             if (CvANON(compcv))
 223                                 oldsv = Nullsv; /* no need to keep ref */
 224                         }
 225                         else {
 226                             CV *bcv;
 227                             for (bcv = startcv;
 228                                  bcv && bcv != cv && !CvCLONE(bcv);
 229                                  bcv = CvOUTSIDE(bcv)) {
 230                                 if (CvANON(bcv))
 231                                     CvCLONE_on(bcv);
 232                                 else {
 233                                     if (dowarn && !CvUNIQUE(cv))
 234                                         warn(
 235                                           "Variable \"%s\" may be unavailable",
 236                                              name);
 237                                     break;
 238                                 }
 239                             }
 240                         }
 241                     }
 242                     else if (!CvUNIQUE(compcv)) {
 243                         if (dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
 244                             warn("Variable \"%s\" will not stay shared", name);
 245                     }
 246                 }
 247                 av_store(comppad, newoff, SvREFCNT_inc(oldsv));
 248                 return newoff;
 249             }
 250         }
 251     }
 252
 253     /* Nothing in current lexical context--try eval's context, if any.
 254      * This is necessary to let the perldb get at lexically scoped variables.
 255      * XXX This will also probably interact badly with eval tree caching.
 256      */
 257
 258     saweval = 0;
 259     for (i = cx_ix; i >= 0; i--) {
 260         cx = &cxstack[i];
 261         switch (cx->cx_type) {
 262         default:
 263             if (i == 0 && saweval) {
 264                 seq = cxstack[saweval].blk_oldcop->cop_seq;
 265                 return pad_findlex(name, newoff, seq, main_cv, 0);
 266             }
 267             break;
 268         case CXt_EVAL:
 269             switch (cx->blk_eval.old_op_type) {
 270             case OP_ENTEREVAL:
 271                 saweval = i;
 272                 break;
 273             case OP_REQUIRE:
 274                 /* require must have its own scope */
 275                 return 0;
 276             }
 277             break;
 278         case CXt_SUB:
 279             if (!saweval)
 280                 return 0;
 281             cv = cx->blk_sub.cv;
 282             if (debstash && CvSTASH(cv) == debstash) {  /* ignore DB'* scope */
 283                 saweval = i;    /* so we know where we were called from */
 284                 continue;
 285             }
 286             seq = cxstack[saweval].blk_oldcop->cop_seq;
 287             return pad_findlex(name, newoff, seq, cv, i-1);
 288         }
 289     }
 290
 291     return 0;
 292 }
 293
 294 PADOFFSET
 295 pad_findmy(char *name)
 296 {
 297     dTHR;
 298     I32 off;
 299     I32 pendoff = 0;
 300     SV *sv;
 301     SV **svp = AvARRAY(comppad_name);
 302     U32 seq = cop_seqmax;
 303
 304 #ifdef USE_THREADS
 305     /*
 306      * Special case to get lexical (and hence per-thread) @_.
 307      * XXX I need to find out how to tell at parse-time whether use
 308      * of @_ should refer to a lexical (from a sub) or defgv (global
 309      * scope and maybe weird sub-ish things like formats). See
 310      * startsub in perly.y.  It's possible that @_ could be lexical
 311      * (at least from subs) even in non-threaded perl.
 312      */
 313     if (strEQ(name, "@_"))
 314         return 0;               /* success. (NOT_IN_PAD indicates failure) */
 315 #endif /* USE_THREADS */
 316
 317     /* The one we're looking for is probably just before comppad_name_fill. */
 318     for (off = AvFILLp(comppad_name); off > 0; off--) {
 319         if ((sv = svp[off]) &&
 320             sv != &sv_undef &&
 321             (!SvIVX(sv) ||
 322              (seq <= SvIVX(sv) &&
 323               seq > I_32(SvNVX(sv)))) &&
 324             strEQ(SvPVX(sv), name))
 325         {
 326             if (SvIVX(sv))
 327                 return (PADOFFSET)off;
 328             pendoff = off;      /* this pending def. will override import */
 329         }
 330     }
 331
 332     /* See if it's in a nested scope */
 333     off = pad_findlex(name, 0, seq, CvOUTSIDE(compcv), cxstack_ix);
 334     if (off) {
 335         /* If there is a pending local definition, this new alias must die */
 336         if (pendoff)
 337             SvIVX(AvARRAY(comppad_name)[off]) = seq;
 338         return off;             /* pad_findlex returns 0 for failure...*/
 339     }
 340     return NOT_IN_PAD;          /* ...but we return NOT_IN_PAD for failure */
 341 }
 342
 343 void
 344 pad_leavemy(I32 fill)
 345 {
 346     I32 off;
 347     SV **svp = AvARRAY(comppad_name);
 348     SV *sv;
 349     if (min_intro_pending && fill < min_intro_pending) {
 350         for (off = max_intro_pending; off >= min_intro_pending; off--) {
 351             if ((sv = svp[off]) && sv != &sv_undef)
 352                 warn("%s never introduced", SvPVX(sv));
 353         }
 354     }
 355     /* "Deintroduce" my variables that are leaving with this scope. */
 356     for (off = AvFILLp(comppad_name); off > fill; off--) {
 357         if ((sv = svp[off]) && sv != &sv_undef && SvIVX(sv) == 999999999)
 358             SvIVX(sv) = cop_seqmax;
 359     }
 360 }
 361
 362 PADOFFSET
 363 pad_alloc(I32 optype, U32 tmptype)
 364 {
 365     dTHR;
 366     SV *sv;
 367     I32 retval;
 368
 369     if (AvARRAY(comppad) != curpad)
 370         croak("panic: pad_alloc");
 371     if (pad_reset_pending)
 372         pad_reset();
 373     if (tmptype & SVs_PADMY) {
 374         do {
 375             sv = *av_fetch(comppad, AvFILLp(comppad) + 1, TRUE);
 376         } while (SvPADBUSY(sv));                /* need a fresh one */
 377         retval = AvFILLp(comppad);
 378     }
 379     else {
 380         SV **names = AvARRAY(comppad_name);
 381         SSize_t names_fill = AvFILLp(comppad_name);
 382         for (;;) {
 383             /*
 384              * "foreach" index vars temporarily become aliases to non-"my"
 385              * values.  Thus we must skip, not just pad values that are
 386              * marked as current pad values, but also those with names.
 387              */
 388             if (++padix <= names_fill &&
 389                    (sv = names[padix]) && sv != &sv_undef)
 390                 continue;
 391             sv = *av_fetch(comppad, padix, TRUE);
 392             if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)))
 393                 break;
 394         }
 395         retval = padix;
 396     }
 397     SvFLAGS(sv) |= tmptype;
 398     curpad = AvARRAY(comppad);
 399 #ifdef USE_THREADS
 400     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx alloc %ld for %s\n",
 401                           (unsigned long) thr, (unsigned long) curpad,
 402                           (long) retval, op_name[optype]));
 403 #else
 404     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx alloc %ld for %s\n",
 405                           (unsigned long) curpad,
 406                           (long) retval, op_name[optype]));
 407 #endif /* USE_THREADS */
 408     return (PADOFFSET)retval;
 409 }
 410
 411 SV *
 412 #ifndef CAN_PROTOTYPE
 413 pad_sv(po)
 414 PADOFFSET po;
 415 #else
 416 pad_sv(PADOFFSET po)
 417 #endif /* CAN_PROTOTYPE */
 418 {
 419     dTHR;
 420 #ifdef USE_THREADS
 421     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx sv %d\n",
 422                           (unsigned long) thr, (unsigned long) curpad, po));
 423 #else
 424     if (!po)
 425         croak("panic: pad_sv po");
 426     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx sv %d\n",
 427                           (unsigned long) curpad, po));
 428 #endif /* USE_THREADS */
 429     return curpad[po];          /* eventually we'll turn this into a macro */
 430 }
 431
 432 void
 433 #ifndef CAN_PROTOTYPE
 434 pad_free(po)
 435 PADOFFSET po;
 436 #else
 437 pad_free(PADOFFSET po)
 438 #endif /* CAN_PROTOTYPE */
 439 {
 440     dTHR;
 441     if (!curpad)
 442         return;
 443     if (AvARRAY(comppad) != curpad)
 444         croak("panic: pad_free curpad");
 445     if (!po)
 446         croak("panic: pad_free po");
 447 #ifdef USE_THREADS
 448     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx free %d\n",
 449                           (unsigned long) thr, (unsigned long) curpad, po));
 450 #else
 451     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx free %d\n",
 452                           (unsigned long) curpad, po));
 453 #endif /* USE_THREADS */
 454     if (curpad[po] && curpad[po] != &sv_undef)
 455         SvPADTMP_off(curpad[po]);
 456     if ((I32)po < padix)
 457         padix = po - 1;
 458 }
 459
 460 void
 461 #ifndef CAN_PROTOTYPE
 462 pad_swipe(po)
 463 PADOFFSET po;
 464 #else
 465 pad_swipe(PADOFFSET po)
 466 #endif /* CAN_PROTOTYPE */
 467 {
 468     dTHR;
 469     if (AvARRAY(comppad) != curpad)
 470         croak("panic: pad_swipe curpad");
 471     if (!po)
 472         croak("panic: pad_swipe po");
 473 #ifdef USE_THREADS
 474     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx swipe %d\n",
 475                           (unsigned long) thr, (unsigned long) curpad, po));
 476 #else
 477     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx swipe %d\n",
 478                           (unsigned long) curpad, po));
 479 #endif /* USE_THREADS */
 480     SvPADTMP_off(curpad[po]);
 481     curpad[po] = NEWSV(1107,0);
 482     SvPADTMP_on(curpad[po]);
 483     if ((I32)po < padix)
 484         padix = po - 1;
 485 }
 486
 487 /* XXX pad_reset() is currently disabled because it results in serious bugs.
 488  * It causes pad temp TARGs to be shared between OPs. Since TARGs are pushed
 489  * on the stack by OPs that use them, there are several ways to get an alias
 490  * to  a shared TARG.  Such an alias will change randomly and unpredictably.
 491  * We avoid doing this until we can think of a Better Way.
 492  * GSAR 97-10-29 */
 493 void
 494 pad_reset(void)
 495 {
 496 #ifdef USE_BROKEN_PAD_RESET
 497     dTHR;
 498     register I32 po;
 499
 500     if (AvARRAY(comppad) != curpad)
 501         croak("panic: pad_reset curpad");
 502 #ifdef USE_THREADS
 503     DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx reset\n",
 504                           (unsigned long) thr, (unsigned long) curpad));
 505 #else
 506     DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx reset\n",
 507                           (unsigned long) curpad));
 508 #endif /* USE_THREADS */
 509     if (!tainting) {    /* Can't mix tainted and non-tainted temporaries. */
 510         for (po = AvMAX(comppad); po > padix_floor; po--) {
 511             if (curpad[po] && !SvIMMORTAL(curpad[po]))
 512                 SvPADTMP_off(curpad[po]);
 513         }
 514         padix = padix_floor;
 515     }
 516 #endif
 517     pad_reset_pending = FALSE;
 518 }
 519
 520 #ifdef USE_THREADS
 521 /* find_threadsv is not reentrant */
 522 PADOFFSET
 523 find_threadsv(char *name)
 524 {
 525     dTHR;
 526     char *p;
 527     PADOFFSET key;
 528     SV **svp;
 529     /* We currently only handle names of a single character */
 530     p = strchr(threadsv_names, *name);
 531     if (!p)
 532         return NOT_IN_PAD;
 533     key = p - threadsv_names;
 534     svp = av_fetch(thr->threadsv, key, FALSE);
 535     if (!svp) {
 536         SV *sv = NEWSV(0, 0);
 537         av_store(thr->threadsv, key, sv);
 538         thr->threadsvp = AvARRAY(thr->threadsv);
 539         /*
 540          * Some magic variables used to be automagically initialised
 541          * in gv_fetchpv. Those which are now per-thread magicals get
 542          * initialised here instead.
 543          */
 544         switch (*name) {
 545         case '_':
 546             break;
 547         case ';':
 548             sv_setpv(sv, "\034");
 549             sv_magic(sv, 0, 0, name, 1);
 550             break;
 551         case '&':
 552         case '`':
 553         case '\'':
 554             sawampersand = TRUE;
 555             SvREADONLY_on(sv);
 556             /* FALL THROUGH */
 557         default:
 558             sv_magic(sv, 0, 0, name, 1);
 559         }
 560         DEBUG_L(PerlIO_printf(PerlIO_stderr(),
 561                               "find_threadsv: new SV %p for $%s%c\n",
 562                               sv, (*name < 32) ? "^" : "",
 563                               (*name < 32) ? toCTRL(*name) : *name));
 564     }
 565     return key;
 566 }
 567 #endif /* USE_THREADS */
 568
 569 /* Destructor */
 570
 571 void
 572 op_free(OP *o)
 573 {
 574     register OP *kid, *nextkid;
 575
 576     if (!o || o->op_seq == (U16)-1)
 577         return;
 578
 579     if (o->op_flags & OPf_KIDS) {
 580         for (kid = cUNOPo->op_first; kid; kid = nextkid) {
 581             nextkid = kid->op_sibling; /* Get before next freeing kid */
 582             op_free(kid);
 583         }
 584     }
 585
 586     switch (o->op_type) {
 587     case OP_NULL:
 588         o->op_targ = 0; /* Was holding old type, if any. */
 589         break;
 590     case OP_ENTEREVAL:
 591         o->op_targ = 0; /* Was holding hints. */
 592         break;
 593 #ifdef USE_THREADS
 594     case OP_THREADSV:
 595         o->op_targ = 0; /* Was holding index into thr->threadsv AV. */
 596         break;
 597 #endif /* USE_THREADS */
 598     default:
 599         if (!(o->op_flags & OPf_REF) || (check[o->op_type] != ck_ftst))
 600             break;
 601         /* FALL THROUGH */
 602     case OP_GVSV:
 603     case OP_GV:
 604     case OP_AELEMFAST:
 605         SvREFCNT_dec(cGVOPo->op_gv);
 606         break;
 607     case OP_NEXTSTATE:
 608     case OP_DBSTATE:
 609         Safefree(cCOPo->cop_label);
 610         SvREFCNT_dec(cCOPo->cop_filegv);
 611         break;
 612     case OP_CONST:
 613         SvREFCNT_dec(cSVOPo->op_sv);
 614         break;
 615     case OP_GOTO:
 616     case OP_NEXT:
 617     case OP_LAST:
 618     case OP_REDO:
 619         if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
 620             break;
 621         /* FALL THROUGH */
 622     case OP_TRANS:
 623         Safefree(cPVOPo->op_pv);
 624         break;
 625     case OP_SUBST:
 626         op_free(cPMOPo->op_pmreplroot);
 627         /* FALL THROUGH */
 628     case OP_PUSHRE:
 629     case OP_MATCH:
 630         ReREFCNT_dec(cPMOPo->op_pmregexp);
 631         break;
 632     }
 633
 634     if (o->op_targ > 0)
 635         pad_free(o->op_targ);
 636
 637     Safefree(o);
 638 }
 639
 640 STATIC void
 641 null(OP *o)
 642 {
 643     if (o->op_type != OP_NULL && o->op_type != OP_THREADSV && o->op_targ > 0)
 644         pad_free(o->op_targ);
 645     o->op_targ = o->op_type;
 646     o->op_type = OP_NULL;
 647     o->op_ppaddr = ppaddr[OP_NULL];
 648 }
 649
 650 /* Contextualizers */
 651
 652 #define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
 653
 654 OP *
 655 linklist(OP *o)
 656 {
 657     register OP *kid;
 658
 659     if (o->op_next)
 660         return o->op_next;
 661
 662     /* establish postfix order */
 663     if (cUNOPo->op_first) {
 664         o->op_next = LINKLIST(cUNOPo->op_first);
 665         for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
 666             if (kid->op_sibling)
 667                 kid->op_next = LINKLIST(kid->op_sibling);
 668             else
 669                 kid->op_next = o;
 670         }
 671     }
 672     else
 673         o->op_next = o;
 674
 675     return o->op_next;
 676 }
 677
 678 OP *
 679 scalarkids(OP *o)
 680 {
 681     OP *kid;
 682     if (o && o->op_flags & OPf_KIDS) {
 683         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
 684             scalar(kid);
 685     }
 686     return o;
 687 }
 688
 689 STATIC OP *
 690 scalarboolean(OP *o)
 691 {
 692     if (dowarn &&
 693         o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
 694         dTHR;
 695         line_t oldline = curcop->cop_line;
 696
 697         if (copline != NOLINE)
 698             curcop->cop_line = copline;
 699         warn("Found = in conditional, should be ==");
 700         curcop->cop_line = oldline;
 701     }
 702     return scalar(o);
 703 }
 704
 705 OP *
 706 scalar(OP *o)
 707 {
 708     OP *kid;
 709
 710     /* assumes no premature commitment */
 711     if (!o || (o->op_flags & OPf_WANT) || error_count
 712          || o->op_type == OP_RETURN)
 713         return o;
 714
 715     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
 716
 717     switch (o->op_type) {
 718     case OP_REPEAT:
 719         if (o->op_private & OPpREPEAT_DOLIST)
 720             null(((LISTOP*)cBINOPo->op_first)->op_first);
 721         scalar(cBINOPo->op_first);
 722         break;
 723     case OP_OR:
 724     case OP_AND:
 725     case OP_COND_EXPR:
 726         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
 727             scalar(kid);
 728         break;
 729     case OP_SPLIT:
 730         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
 731             if (!kPMOP->op_pmreplroot)
 732                 deprecate("implicit split to @_");
 733         }
 734         /* FALL THROUGH */
 735     case OP_MATCH:
 736     case OP_SUBST:
 737     case OP_NULL:
 738     default:
 739         if (o->op_flags & OPf_KIDS) {
 740             for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
 741                 scalar(kid);
 742         }
 743         break;
 744     case OP_LEAVE:
 745     case OP_LEAVETRY:
 746         kid = cLISTOPo->op_first;
 747         scalar(kid);
 748         while (kid = kid->op_sibling) {
 749             if (kid->op_sibling)
 750                 scalarvoid(kid);
 751             else
 752                 scalar(kid);
 753         }
 754         WITH_THR(curcop = &compiling);
 755         break;
 756     case OP_SCOPE:
 757     case OP_LINESEQ:
 758     case OP_LIST:
 759         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
 760             if (kid->op_sibling)
 761                 scalarvoid(kid);
 762             else
 763                 scalar(kid);
 764         }
 765         WITH_THR(curcop = &compiling);
 766         break;
 767     }
 768     return o;
 769 }
 770
 771 OP *
 772 scalarvoid(OP *o)
 773 {
 774     OP *kid;
 775     char* useless = 0;
 776     SV* sv;
 777
 778     /* assumes no premature commitment */
 779     if (!o || (o->op_flags & OPf_WANT) == OPf_WANT_LIST || error_count
 780          || o->op_type == OP_RETURN)
 781         return o;
 782
 783     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
 784
 785     switch (o->op_type) {
 786     default:
 787         if (!(opargs[o->op_type] & OA_FOLDCONST))
 788             break;
 789         /* FALL THROUGH */
 790     case OP_REPEAT:
 791         if (o->op_flags & OPf_STACKED)
 792             break;
 793         /* FALL THROUGH */
 794     case OP_GVSV:
 795     case OP_WANTARRAY:
 796     case OP_GV:
 797     case OP_PADSV:
 798     case OP_PADAV:
 799     case OP_PADHV:
 800     case OP_PADANY:
 801     case OP_AV2ARYLEN:
 802     case OP_REF:
 803     case OP_REFGEN:
 804     case OP_SREFGEN:
 805     case OP_DEFINED:
 806     case OP_HEX:
 807     case OP_OCT:
 808     case OP_LENGTH:
 809     case OP_SUBSTR:
 810     case OP_VEC:
 811     case OP_INDEX:
 812     case OP_RINDEX:
 813     case OP_SPRINTF:
 814     case OP_AELEM:
 815     case OP_AELEMFAST:
 816     case OP_ASLICE:
 817     case OP_HELEM:
 818     case OP_HSLICE:
 819     case OP_UNPACK:
 820     case OP_PACK:
 821     case OP_JOIN:
 822     case OP_LSLICE:
 823     case OP_ANONLIST:
 824     case OP_ANONHASH:
 825     case OP_SORT:
 826     case OP_REVERSE:
 827     case OP_RANGE:
 828     case OP_FLIP:
 829     case OP_FLOP:
 830     case OP_CALLER:
 831     case OP_FILENO:
 832     case OP_EOF:
 833     case OP_TELL:
 834     case OP_GETSOCKNAME:
 835     case OP_GETPEERNAME:
 836     case OP_READLINK:
 837     case OP_TELLDIR:
 838     case OP_GETPPID:
 839     case OP_GETPGRP:
 840     case OP_GETPRIORITY:
 841     case OP_TIME:
 842     case OP_TMS:
 843     case OP_LOCALTIME:
 844     case OP_GMTIME:
 845     case OP_GHBYNAME:
 846     case OP_GHBYADDR:
 847     case OP_GHOSTENT:
 848     case OP_GNBYNAME:
 849     case OP_GNBYADDR:
 850     case OP_GNETENT:
 851     case OP_GPBYNAME:
 852     case OP_GPBYNUMBER:
 853     case OP_GPROTOENT:
 854     case OP_GSBYNAME:
 855     case OP_GSBYPORT:
 856     case OP_GSERVENT:
 857     case OP_GPWNAM:
 858     case OP_GPWUID:
 859     case OP_GGRNAM:
 860     case OP_GGRGID:
 861     case OP_GETLOGIN:
 862         if (!(o->op_private & OPpLVAL_INTRO))
 863             useless = op_desc[o->op_type];
 864         break;
 865
 866     case OP_RV2GV:
 867     case OP_RV2SV:
 868     case OP_RV2AV:
 869     case OP_RV2HV:
 870         if (!(o->op_private & OPpLVAL_INTRO) &&
 871                 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
 872             useless = "a variable";
 873         break;
 874
 875     case OP_NEXTSTATE:
 876     case OP_DBSTATE:
 877         WITH_THR(curcop = ((COP*)o));           /* for warning below */
 878         break;
 879
 880     case OP_CONST:
 881         sv = cSVOPo->op_sv;
 882         if (dowarn) {
 883             useless = "a constant";
 884             if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
 885                 useless = 0;
 886             else if (SvPOK(sv)) {
 887                 if (strnEQ(SvPVX(sv), "di", 2) ||
 888                     strnEQ(SvPVX(sv), "ds", 2) ||
 889                     strnEQ(SvPVX(sv), "ig", 2))
 890                         useless = 0;
 891             }
 892         }
 893         null(o);                /* don't execute a constant */
 894         SvREFCNT_dec(sv);       /* don't even remember it */
 895         break;
 896
 897     case OP_POSTINC:
 898         o->op_type = OP_PREINC;         /* pre-increment is faster */
 899         o->op_ppaddr = ppaddr[OP_PREINC];
 900         break;
 901
 902     case OP_POSTDEC:
 903         o->op_type = OP_PREDEC;         /* pre-decrement is faster */
 904         o->op_ppaddr = ppaddr[OP_PREDEC];
 905         break;
 906
 907     case OP_OR:
 908     case OP_AND:
 909     case OP_COND_EXPR:
 910         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
 911             scalarvoid(kid);
 912         break;
 913
 914     case OP_NULL:
 915         if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
 916             WITH_THR(curcop = ((COP*)o));       /* for warning below */
 917         if (o->op_flags & OPf_STACKED)
 918             break;
 919         /* FALL THROUGH */
 920     case OP_ENTERTRY:
 921     case OP_ENTER:
 922     case OP_SCALAR:
 923         if (!(o->op_flags & OPf_KIDS))
 924             break;
 925         /* FALL THROUGH */
 926     case OP_SCOPE:
 927     case OP_LEAVE:
 928     case OP_LEAVETRY:
 929     case OP_LEAVELOOP:
 930     case OP_LINESEQ:
 931     case OP_LIST:
 932         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
 933             scalarvoid(kid);
 934         break;
 935     case OP_ENTEREVAL:
 936         scalarkids(o);
 937         break;
 938     case OP_REQUIRE:
 939         /* all requires must return a boolean value */
 940         o->op_flags &= ~OPf_WANT;
 941         return scalar(o);
 942     case OP_SPLIT:
 943         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
 944             if (!kPMOP->op_pmreplroot)
 945                 deprecate("implicit split to @_");
 946         }
 947         break;
 948     }
 949     if (useless && dowarn)
 950         warn("Useless use of %s in void context", useless);
 951     return o;
 952 }
 953
 954 OP *
 955 listkids(OP *o)
 956 {
 957     OP *kid;
 958     if (o && o->op_flags & OPf_KIDS) {
 959         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
 960             list(kid);
 961     }
 962     return o;
 963 }
 964
 965 OP *
 966 list(OP *o)
 967 {
 968     OP *kid;
 969
 970     /* assumes no premature commitment */
 971     if (!o || (o->op_flags & OPf_WANT) || error_count
 972          || o->op_type == OP_RETURN)
 973         return o;
 974
 975     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
 976
 977     switch (o->op_type) {
 978     case OP_FLOP:
 979     case OP_REPEAT:
 980         list(cBINOPo->op_first);
 981         break;
 982     case OP_OR:
 983     case OP_AND:
 984     case OP_COND_EXPR:
 985         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
 986             list(kid);
 987         break;
 988     default:
 989     case OP_MATCH:
 990     case OP_SUBST:
 991     case OP_NULL:
 992         if (!(o->op_flags & OPf_KIDS))
 993             break;
 994         if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
 995             list(cBINOPo->op_first);
 996             return gen_constant_list(o);
 997         }
 998     case OP_LIST:
 999         listkids(o);
1000         break;
1001     case OP_LEAVE:
1002     case OP_LEAVETRY:
1003         kid = cLISTOPo->op_first;
1004         list(kid);
1005         while (kid = kid->op_sibling) {
1006             if (kid->op_sibling)
1007                 scalarvoid(kid);
1008             else
1009                 list(kid);
1010         }
1011         WITH_THR(curcop = &compiling);
1012         break;
1013     case OP_SCOPE:
1014     case OP_LINESEQ:
1015         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1016             if (kid->op_sibling)
1017                 scalarvoid(kid);
1018             else
1019                 list(kid);
1020         }
1021         WITH_THR(curcop = &compiling);
1022         break;
1023     case OP_REQUIRE:
1024         /* all requires must return a boolean value */
1025         o->op_flags &= ~OPf_WANT;
1026         return scalar(o);
1027     }
1028     return o;
1029 }
1030
1031 OP *
1032 scalarseq(OP *o)
1033 {
1034     OP *kid;
1035
1036     if (o) {
1037         if (o->op_type == OP_LINESEQ ||
1038              o->op_type == OP_SCOPE ||
1039              o->op_type == OP_LEAVE ||
1040              o->op_type == OP_LEAVETRY)
1041         {
1042             dTHR;
1043             for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1044                 if (kid->op_sibling) {
1045                     scalarvoid(kid);
1046                 }
1047             }
1048             curcop = &compiling;
1049         }
1050         o->op_flags &= ~OPf_PARENS;
1051         if (hints & HINT_BLOCK_SCOPE)
1052             o->op_flags |= OPf_PARENS;
1053     }
1054     else
1055         o = newOP(OP_STUB, 0);
1056     return o;
1057 }
1058
1059 STATIC OP *
1060 modkids(OP *o, I32 type)
1061 {
1062     OP *kid;
1063     if (o && o->op_flags & OPf_KIDS) {
1064         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1065             mod(kid, type);
1066     }
1067     return o;
1068 }
1069
1070 OP *
1071 mod(OP *o, I32 type)
1072 {
1073     dTHR;
1074     OP *kid;
1075     SV *sv;
1076
1077     if (!o || error_count)
1078         return o;
1079
1080     switch (o->op_type) {
1081     case OP_UNDEF:
1082         modcount++;
1083         return o;
1084     case OP_CONST:
1085         if (!(o->op_private & (OPpCONST_ARYBASE)))
1086             goto nomod;
1087         if (eval_start && eval_start->op_type == OP_CONST) {
1088             compiling.cop_arybase = (I32)SvIV(((SVOP*)eval_start)->op_sv);
1089             eval_start = 0;
1090         }
1091         else if (!type) {
1092             SAVEI32(compiling.cop_arybase);
1093             compiling.cop_arybase = 0;
1094         }
1095         else if (type == OP_REFGEN)
1096             goto nomod;
1097         else
1098             croak("That use of $[ is unsupported");
1099         break;
1100     case OP_STUB:
1101         if (o->op_flags & OPf_PARENS)
1102             break;
1103         goto nomod;
1104     case OP_ENTERSUB:
1105         if ((type == OP_UNDEF || type == OP_REFGEN) &&
1106             !(o->op_flags & OPf_STACKED)) {
1107             o->op_type = OP_RV2CV;              /* entersub => rv2cv */
1108             o->op_ppaddr = ppaddr[OP_RV2CV];
1109             assert(cUNOPo->op_first->op_type == OP_NULL);
1110             null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
1111             break;
1112         }
1113         /* FALL THROUGH */
1114     default:
1115       nomod:
1116         /* grep, foreach, subcalls, refgen */
1117         if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1118             break;
1119         yyerror(form("Can't modify %s in %s",
1120                      op_desc[o->op_type],
1121                      type ? op_desc[type] : "local"));
1122         return o;
1123
1124     case OP_PREINC:
1125     case OP_PREDEC:
1126     case OP_POW:
1127     case OP_MULTIPLY:
1128     case OP_DIVIDE:
1129     case OP_MODULO:
1130     case OP_REPEAT:
1131     case OP_ADD:
1132     case OP_SUBTRACT:
1133     case OP_CONCAT:
1134     case OP_LEFT_SHIFT:
1135     case OP_RIGHT_SHIFT:
1136     case OP_BIT_AND:
1137     case OP_BIT_XOR:
1138     case OP_BIT_OR:
1139     case OP_I_MULTIPLY:
1140     case OP_I_DIVIDE:
1141     case OP_I_MODULO:
1142     case OP_I_ADD:
1143     case OP_I_SUBTRACT:
1144         if (!(o->op_flags & OPf_STACKED))
1145             goto nomod;
1146         modcount++;
1147         break;
1148
1149     case OP_COND_EXPR:
1150         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1151             mod(kid, type);
1152         break;
1153
1154     case OP_RV2AV:
1155     case OP_RV2HV:
1156         if (!type && cUNOPo->op_first->op_type != OP_GV)
1157             croak("Can't localize through a reference");
1158         if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
1159             modcount = 10000;
1160             return o;           /* Treat \(@foo) like ordinary list. */
1161         }
1162         /* FALL THROUGH */
1163     case OP_RV2GV:
1164         if (scalar_mod_type(o, type))
1165             goto nomod;
1166         ref(cUNOPo->op_first, o->op_type);
1167         /* FALL THROUGH */
1168     case OP_AASSIGN:
1169     case OP_ASLICE:
1170     case OP_HSLICE:
1171     case OP_NEXTSTATE:
1172     case OP_DBSTATE:
1173     case OP_REFGEN:
1174     case OP_CHOMP:
1175         modcount = 10000;
1176         break;
1177     case OP_RV2SV:
1178         if (!type && cUNOPo->op_first->op_type != OP_GV)
1179             croak("Can't localize through a reference");
1180         ref(cUNOPo->op_first, o->op_type);
1181         /* FALL THROUGH */
1182     case OP_GV:
1183     case OP_AV2ARYLEN:
1184         hints |= HINT_BLOCK_SCOPE;
1185     case OP_SASSIGN:
1186     case OP_AELEMFAST:
1187         modcount++;
1188         break;
1189
1190     case OP_PADAV:
1191     case OP_PADHV:
1192         modcount = 10000;
1193         if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1194             return o;           /* Treat \(@foo) like ordinary list. */
1195         if (scalar_mod_type(o, type))
1196             goto nomod;
1197         /* FALL THROUGH */
1198     case OP_PADSV:
1199         modcount++;
1200         if (!type)
1201             croak("Can't localize lexical variable %s",
1202                 SvPV(*av_fetch(comppad_name, o->op_targ, 4), na));
1203         break;
1204
1205 #ifdef USE_THREADS
1206     case OP_THREADSV:
1207         modcount++;     /* XXX ??? */
1208         break;
1209 #endif /* USE_THREADS */
1210
1211     case OP_PUSHMARK:
1212         break;
1213
1214     case OP_KEYS:
1215         if (type != OP_SASSIGN)
1216             goto nomod;
1217         /* FALL THROUGH */
1218     case OP_POS:
1219     case OP_VEC:
1220     case OP_SUBSTR:
1221         pad_free(o->op_targ);
1222         o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
1223         assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
1224         if (o->op_flags & OPf_KIDS)
1225             mod(cBINOPo->op_first->op_sibling, type);
1226         break;
1227
1228     case OP_AELEM:
1229     case OP_HELEM:
1230         ref(cBINOPo->op_first, o->op_type);
1231         if (type == OP_ENTERSUB &&
1232              !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1233             o->op_private |= OPpLVAL_DEFER;
1234         modcount++;
1235         break;
1236
1237     case OP_SCOPE:
1238     case OP_LEAVE:
1239     case OP_ENTER:
1240         if (o->op_flags & OPf_KIDS)
1241             mod(cLISTOPo->op_last, type);
1242         break;
1243
1244     case OP_NULL:
1245         if (!(o->op_flags & OPf_KIDS))
1246             break;
1247         if (o->op_targ != OP_LIST) {
1248             mod(cBINOPo->op_first, type);
1249             break;
1250         }
1251         /* FALL THROUGH */
1252     case OP_LIST:
1253         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1254             mod(kid, type);
1255         break;
1256     }
1257     o->op_flags |= OPf_MOD;
1258
1259     if (type == OP_AASSIGN || type == OP_SASSIGN)
1260         o->op_flags |= OPf_SPECIAL|OPf_REF;
1261     else if (!type) {
1262         o->op_private |= OPpLVAL_INTRO;
1263         o->op_flags &= ~OPf_SPECIAL;
1264     }
1265     else if (type != OP_GREPSTART && type != OP_ENTERSUB)
1266         o->op_flags |= OPf_REF;
1267     return o;
1268 }
1269
1270 static bool
1271 scalar_mod_type(OP *o, I32 type)
1272 {
1273     switch (type) {
1274     case OP_SASSIGN:
1275         if (o->op_type == OP_RV2GV)
1276             return FALSE;
1277         /* FALL THROUGH */
1278     case OP_PREINC:
1279     case OP_PREDEC:
1280     case OP_POSTINC:
1281     case OP_POSTDEC:
1282     case OP_I_PREINC:
1283     case OP_I_PREDEC:
1284     case OP_I_POSTINC:
1285     case OP_I_POSTDEC:
1286     case OP_POW:
1287     case OP_MULTIPLY:
1288     case OP_DIVIDE:
1289     case OP_MODULO:
1290     case OP_REPEAT:
1291     case OP_ADD:
1292     case OP_SUBTRACT:
1293     case OP_I_MULTIPLY:
1294     case OP_I_DIVIDE:
1295     case OP_I_MODULO:
1296     case OP_I_ADD:
1297     case OP_I_SUBTRACT:
1298     case OP_LEFT_SHIFT:
1299     case OP_RIGHT_SHIFT:
1300     case OP_BIT_AND:
1301     case OP_BIT_XOR:
1302     case OP_BIT_OR:
1303     case OP_CONCAT:
1304     case OP_SUBST:
1305     case OP_TRANS:
1306     case OP_ANDASSIGN:  /* may work later */
1307     case OP_ORASSIGN:   /* may work later */
1308         return TRUE;
1309     default:
1310         return FALSE;
1311     }
1312 }
1313
1314 OP *
1315 refkids(OP *o, I32 type)
1316 {
1317     OP *kid;
1318     if (o && o->op_flags & OPf_KIDS) {
1319         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1320             ref(kid, type);
1321     }
1322     return o;
1323 }
1324
1325 OP *
1326 ref(OP *o, I32 type)
1327 {
1328     OP *kid;
1329
1330     if (!o || error_count)
1331         return o;
1332
1333     switch (o->op_type) {
1334     case OP_ENTERSUB:
1335         if ((type == OP_DEFINED || type == OP_LOCK) &&
1336             !(o->op_flags & OPf_STACKED)) {
1337             o->op_type = OP_RV2CV;             /* entersub => rv2cv */
1338             o->op_ppaddr = ppaddr[OP_RV2CV];
1339             assert(cUNOPo->op_first->op_type == OP_NULL);
1340             null(((LISTOP*)cUNOPo->op_first)->op_first);        /* disable pushmark */
1341             o->op_flags |= OPf_SPECIAL;
1342         }
1343         break;
1344
1345     case OP_COND_EXPR:
1346         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1347             ref(kid, type);
1348         break;
1349     case OP_RV2SV:
1350         ref(cUNOPo->op_first, o->op_type);
1351         /* FALL THROUGH */
1352     case OP_PADSV:
1353         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1354             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1355                               : type == OP_RV2HV ? OPpDEREF_HV
1356                               : OPpDEREF_SV);
1357             o->op_flags |= OPf_MOD;
1358         }
1359         break;
1360
1361     case OP_THREADSV:
1362         o->op_flags |= OPf_MOD;         /* XXX ??? */
1363         break;
1364
1365     case OP_RV2AV:
1366     case OP_RV2HV:
1367         o->op_flags |= OPf_REF;
1368         /* FALL THROUGH */
1369     case OP_RV2GV:
1370         ref(cUNOPo->op_first, o->op_type);
1371         break;
1372
1373     case OP_PADAV:
1374     case OP_PADHV:
1375         o->op_flags |= OPf_REF;
1376         break;
1377
1378     case OP_SCALAR:
1379     case OP_NULL:
1380         if (!(o->op_flags & OPf_KIDS))
1381             break;
1382         ref(cBINOPo->op_first, type);
1383         break;
1384     case OP_AELEM:
1385     case OP_HELEM:
1386         ref(cBINOPo->op_first, o->op_type);
1387         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1388             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1389                               : type == OP_RV2HV ? OPpDEREF_HV
1390                               : OPpDEREF_SV);
1391             o->op_flags |= OPf_MOD;
1392         }
1393         break;
1394
1395     case OP_SCOPE:
1396     case OP_LEAVE:
1397     case OP_ENTER:
1398     case OP_LIST:
1399         if (!(o->op_flags & OPf_KIDS))
1400             break;
1401         ref(cLISTOPo->op_last, type);
1402         break;
1403     default:
1404         break;
1405     }
1406     return scalar(o);
1407
1408 }
1409
1410 OP *
1411 my(OP *o)
1412 {
1413     OP *kid;
1414     I32 type;
1415
1416     if (!o || error_count)
1417         return o;
1418
1419     type = o->op_type;
1420     if (type == OP_LIST) {
1421         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1422             my(kid);
1423     }
1424     else if (type != OP_PADSV &&
1425              type != OP_PADAV &&
1426              type != OP_PADHV &&
1427              type != OP_PUSHMARK)
1428     {
1429         yyerror(form("Can't declare %s in my", op_desc[o->op_type]));
1430         return o;
1431     }
1432     o->op_flags |= OPf_MOD;
1433     o->op_private |= OPpLVAL_INTRO;
1434     return o;
1435 }
1436
1437 OP *
1438 sawparens(OP *o)
1439 {
1440     if (o)
1441         o->op_flags |= OPf_PARENS;
1442     return o;
1443 }
1444
1445 OP *
1446 bind_match(I32 type, OP *left, OP *right)
1447 {
1448     OP *o;
1449
1450     if (dowarn &&
1451         (left->op_type == OP_RV2AV ||
1452          left->op_type == OP_RV2HV ||
1453          left->op_type == OP_PADAV ||
1454          left->op_type == OP_PADHV)) {
1455         char *desc = op_desc[(right->op_type == OP_SUBST ||
1456                               right->op_type == OP_TRANS)
1457                              ? right->op_type : OP_MATCH];
1458         char *sample = ((left->op_type == OP_RV2AV ||
1459                          left->op_type == OP_PADAV)
1460                         ? "@array" : "%hash");
1461         warn("Applying %s to %s will act on scalar(%s)", desc, sample, sample);
1462     }
1463
1464     if (right->op_type == OP_MATCH ||
1465         right->op_type == OP_SUBST ||
1466         right->op_type == OP_TRANS) {
1467         right->op_flags |= OPf_STACKED;
1468         if (right->op_type != OP_MATCH)
1469             left = mod(left, right->op_type);
1470         if (right->op_type == OP_TRANS)
1471             o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
1472         else
1473             o = prepend_elem(right->op_type, scalar(left), right);
1474         if (type == OP_NOT)
1475             return newUNOP(OP_NOT, 0, scalar(o));
1476         return o;
1477     }
1478     else
1479         return bind_match(type, left,
1480                 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
1481 }
1482
1483 OP *
1484 invert(OP *o)
1485 {
1486     if (!o)
1487         return o;
1488     /* XXX need to optimize away NOT NOT here?  Or do we let optimizer do it? */
1489     return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
1490 }
1491
1492 OP *
1493 scope(OP *o)
1494 {
1495     if (o) {
1496         if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || tainting) {
1497             o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1498             o->op_type = OP_LEAVE;
1499             o->op_ppaddr = ppaddr[OP_LEAVE];
1500         }
1501         else {
1502             if (o->op_type == OP_LINESEQ) {
1503                 OP *kid;
1504                 o->op_type = OP_SCOPE;
1505                 o->op_ppaddr = ppaddr[OP_SCOPE];
1506                 kid = ((LISTOP*)o)->op_first;
1507                 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE){
1508                     SvREFCNT_dec(((COP*)kid)->cop_filegv);
1509                     null(kid);
1510                 }
1511             }
1512             else
1513                 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
1514         }
1515     }
1516     return o;
1517 }
1518
1519 int
1520 block_start(int full)
1521 {
1522     dTHR;
1523     int retval = savestack_ix;
1524     SAVEI32(comppad_name_floor);
1525     if (full) {
1526         if ((comppad_name_fill = AvFILLp(comppad_name)) > 0)
1527             comppad_name_floor = comppad_name_fill;
1528         else
1529             comppad_name_floor = 0;
1530     }
1531     SAVEI32(min_intro_pending);
1532     SAVEI32(max_intro_pending);
1533     min_intro_pending = 0;
1534     SAVEI32(comppad_name_fill);
1535     SAVEI32(padix_floor);
1536     padix_floor = padix;
1537     pad_reset_pending = FALSE;
1538     SAVEI32(hints);
1539     hints &= ~HINT_BLOCK_SCOPE;
1540     return retval;
1541 }
1542
1543 OP*
1544 block_end(I32 floor, OP *seq)
1545 {
1546     dTHR;
1547     int needblockscope = hints & HINT_BLOCK_SCOPE;
1548     OP* retval = scalarseq(seq);
1549     LEAVE_SCOPE(floor);
1550     pad_reset_pending = FALSE;
1551     if (needblockscope)
1552         hints |= HINT_BLOCK_SCOPE; /* propagate out */
1553     pad_leavemy(comppad_name_fill);
1554     cop_seqmax++;
1555     return retval;
1556 }
1557
1558 STATIC OP *
1559 newDEFSVOP(void)
1560 {
1561 #ifdef USE_THREADS
1562     OP *o = newOP(OP_THREADSV, 0);
1563     o->op_targ = find_threadsv("_");
1564     return o;
1565 #else
1566     return newSVREF(newGVOP(OP_GV, 0, defgv));
1567 #endif /* USE_THREADS */
1568 }
1569
1570 void
1571 newPROG(OP *o)
1572 {
1573     dTHR;
1574     if (in_eval) {
1575         eval_root = newUNOP(OP_LEAVEEVAL, ((in_eval & 4) ? OPf_SPECIAL : 0), o);
1576         eval_start = linklist(eval_root);
1577         eval_root->op_next = 0;
1578         peep(eval_start);
1579     }
1580     else {
1581         if (!o)
1582             return;
1583         main_root = scope(sawparens(scalarvoid(o)));
1584         curcop = &compiling;
1585         main_start = LINKLIST(main_root);
1586         main_root->op_next = 0;
1587         peep(main_start);
1588         compcv = 0;
1589
1590         /* Register with debugger */
1591         if (PERLDB_INTER) {
1592             CV *cv = perl_get_cv("DB::postponed", FALSE);
1593             if (cv) {
1594                 dSP;
1595                 PUSHMARK(sp);
1596                 XPUSHs((SV*)compiling.cop_filegv);
1597                 PUTBACK;
1598                 perl_call_sv((SV*)cv, G_DISCARD);
1599             }
1600         }
1601     }
1602 }
1603
1604 OP *
1605 localize(OP *o, I32 lex)
1606 {
1607     if (o->op_flags & OPf_PARENS)
1608         list(o);
1609     else {
1610         if (dowarn && bufptr > oldbufptr && bufptr[-1] == ',') {
1611             char *s;
1612             for (s = bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
1613             if (*s == ';' || *s == '=')
1614                 warn("Parens missing around \"%s\" list", lex ? "my" : "local");
1615         }
1616     }
1617     in_my = FALSE;
1618     in_my_stash = Nullhv;
1619     if (lex)
1620         return my(o);
1621     else
1622         return mod(o, OP_NULL);         /* a bit kludgey */
1623 }
1624
1625 OP *
1626 jmaybe(OP *o)
1627 {
1628     if (o->op_type == OP_LIST) {
1629         OP *o2;
1630 #ifdef USE_THREADS
1631         o2 = newOP(OP_THREADSV, 0);
1632         o2->op_targ = find_threadsv(";");
1633 #else
1634         o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
1635 #endif /* USE_THREADS */
1636         o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
1637     }
1638     return o;
1639 }
1640
1641 OP *
1642 fold_constants(register OP *o)
1643 {
1644     dTHR;
1645     register OP *curop;
1646     I32 type = o->op_type;
1647     SV *sv;
1648
1649     if (opargs[type] & OA_RETSCALAR)
1650         scalar(o);
1651     if (opargs[type] & OA_TARGET)
1652         o->op_targ = pad_alloc(type, SVs_PADTMP);
1653
1654     if ((opargs[type] & OA_OTHERINT) && (hints & HINT_INTEGER))
1655         o->op_ppaddr = ppaddr[type = ++(o->op_type)];
1656
1657     if (!(opargs[type] & OA_FOLDCONST))
1658         goto nope;
1659
1660     switch (type) {
1661     case OP_SPRINTF:
1662     case OP_UCFIRST:
1663     case OP_LCFIRST:
1664     case OP_UC:
1665     case OP_LC:
1666     case OP_SLT:
1667     case OP_SGT:
1668     case OP_SLE:
1669     case OP_SGE:
1670     case OP_SCMP:
1671
1672         if (o->op_private & OPpLOCALE)
1673             goto nope;
1674     }
1675
1676     if (error_count)
1677         goto nope;              /* Don't try to run w/ errors */
1678
1679     for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
1680         if (curop->op_type != OP_CONST &&
1681                 curop->op_type != OP_LIST &&
1682                 curop->op_type != OP_SCALAR &&
1683                 curop->op_type != OP_NULL &&
1684                 curop->op_type != OP_PUSHMARK) {
1685             goto nope;
1686         }
1687     }
1688
1689     curop = LINKLIST(o);
1690     o->op_next = 0;
1691     op = curop;
1692     CALLRUNOPS();
1693     sv = *(stack_sp--);
1694     if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
1695         pad_swipe(o->op_targ);
1696     else if (SvTEMP(sv)) {                      /* grab mortal temp? */
1697         (void)SvREFCNT_inc(sv);
1698         SvTEMP_off(sv);
1699     }
1700     op_free(o);
1701     if (type == OP_RV2GV)
1702         return newGVOP(OP_GV, 0, (GV*)sv);
1703     else {
1704         if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK) {
1705             IV iv = SvIV(sv);
1706             if ((double)iv == SvNV(sv)) {       /* can we smush double to int */
1707                 SvREFCNT_dec(sv);
1708                 sv = newSViv(iv);
1709             }
1710             else
1711                 SvIOK_off(sv);                  /* undo SvIV() damage */
1712         }
1713         return newSVOP(OP_CONST, 0, sv);
1714     }
1715
1716   nope:
1717     if (!(opargs[type] & OA_OTHERINT))
1718         return o;
1719
1720     if (!(hints & HINT_INTEGER)) {
1721         if (type == OP_DIVIDE || !(o->op_flags & OPf_KIDS))
1722             return o;
1723
1724         for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
1725             if (curop->op_type == OP_CONST) {
1726                 if (SvIOK(((SVOP*)curop)->op_sv))
1727                     continue;
1728                 return o;
1729             }
1730             if (opargs[curop->op_type] & OA_RETINTEGER)
1731                 continue;
1732             return o;
1733         }
1734         o->op_ppaddr = ppaddr[++(o->op_type)];
1735     }
1736
1737     return o;
1738 }
1739
1740 OP *
1741 gen_constant_list(register OP *o)
1742 {
1743     dTHR;
1744     register OP *curop;
1745     I32 oldtmps_floor = tmps_floor;
1746
1747     list(o);
1748     if (error_count)
1749         return o;               /* Don't attempt to run with errors */
1750
1751     op = curop = LINKLIST(o);
1752     o->op_next = 0;
1753     pp_pushmark(ARGS);
1754     CALLRUNOPS();
1755     op = curop;
1756     pp_anonlist(ARGS);
1757     tmps_floor = oldtmps_floor;
1758
1759     o->op_type = OP_RV2AV;
1760     o->op_ppaddr = ppaddr[OP_RV2AV];
1761     curop = ((UNOP*)o)->op_first;
1762     ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*stack_sp--));
1763     op_free(curop);
1764     linklist(o);
1765     return list(o);
1766 }
1767
1768 OP *
1769 convert(I32 type, I32 flags, OP *o)
1770 {
1771     OP *kid;
1772     OP *last = 0;
1773
1774     if (!o || o->op_type != OP_LIST)
1775         o = newLISTOP(OP_LIST, 0, o, Nullop);
1776     else
1777         o->op_flags &= ~OPf_WANT;
1778
1779     if (!(opargs[type] & OA_MARK))
1780         null(cLISTOPo->op_first);
1781
1782     o->op_type = type;
1783     o->op_ppaddr = ppaddr[type];
1784     o->op_flags |= flags;
1785
1786     o = CHECKOP(type, o);
1787     if (o->op_type != type)
1788         return o;
1789
1790     if (cLISTOPo->op_children < 7) {
1791         /* XXX do we really need to do this if we're done appending?? */
1792         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1793             last = kid;
1794         cLISTOPo->op_last = last;       /* in case check substituted last arg */
1795     }
1796
1797     return fold_constants(o);
1798 }
1799
1800 /* List constructors */
1801
1802 OP *
1803 append_elem(I32 type, OP *first, OP *last)
1804 {
1805     if (!first)
1806         return last;
1807
1808     if (!last)
1809         return first;
1810
1811     if (first->op_type != type || type==OP_LIST && first->op_flags & OPf_PARENS)
1812             return newLISTOP(type, 0, first, last);
1813
1814     if (first->op_flags & OPf_KIDS)
1815         ((LISTOP*)first)->op_last->op_sibling = last;
1816     else {
1817         first->op_flags |= OPf_KIDS;
1818         ((LISTOP*)first)->op_first = last;
1819     }
1820     ((LISTOP*)first)->op_last = last;
1821     ((LISTOP*)first)->op_children++;
1822     return first;
1823 }
1824
1825 OP *
1826 append_list(I32 type, LISTOP *first, LISTOP *last)
1827 {
1828     if (!first)
1829         return (OP*)last;
1830
1831     if (!last)
1832         return (OP*)first;
1833
1834     if (first->op_type != type)
1835         return prepend_elem(type, (OP*)first, (OP*)last);
1836
1837     if (last->op_type != type)
1838         return append_elem(type, (OP*)first, (OP*)last);
1839
1840     first->op_last->op_sibling = last->op_first;
1841     first->op_last = last->op_last;
1842     first->op_children += last->op_children;
1843     if (first->op_children)
1844         last->op_flags |= OPf_KIDS;
1845
1846     Safefree(last);
1847     return (OP*)first;
1848 }
1849
1850 OP *
1851 prepend_elem(I32 type, OP *first, OP *last)
1852 {
1853     if (!first)
1854         return last;
1855
1856     if (!last)
1857         return first;
1858
1859     if (last->op_type == type) {
1860         if (type == OP_LIST) {  /* already a PUSHMARK there */
1861             first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
1862             ((LISTOP*)last)->op_first->op_sibling = first;
1863         }
1864         else {
1865             if (!(last->op_flags & OPf_KIDS)) {
1866                 ((LISTOP*)last)->op_last = first;
1867                 last->op_flags |= OPf_KIDS;
1868             }
1869             first->op_sibling = ((LISTOP*)last)->op_first;
1870             ((LISTOP*)last)->op_first = first;
1871         }
1872         ((LISTOP*)last)->op_children++;
1873         return last;
1874     }
1875
1876     return newLISTOP(type, 0, first, last);
1877 }
1878
1879 /* Constructors */
1880
1881 OP *
1882 newNULLLIST(void)
1883 {
1884     return newOP(OP_STUB, 0);
1885 }
1886
1887 OP *
1888 force_list(OP *o)
1889 {
1890     if (!o || o->op_type != OP_LIST)
1891         o = newLISTOP(OP_LIST, 0, o, Nullop);
1892     null(o);
1893     return o;
1894 }
1895
1896 OP *
1897 newLISTOP(I32 type, I32 flags, OP *first, OP *last)
1898 {
1899     LISTOP *listop;
1900
1901     Newz(1101, listop, 1, LISTOP);
1902
1903     listop->op_type = type;
1904     listop->op_ppaddr = ppaddr[type];
1905     listop->op_children = (first != 0) + (last != 0);
1906     listop->op_flags = flags;
1907
1908     if (!last && first)
1909         last = first;
1910     else if (!first && last)
1911         first = last;
1912     else if (first)
1913         first->op_sibling = last;
1914     listop->op_first = first;
1915     listop->op_last = last;
1916     if (type == OP_LIST) {
1917         OP* pushop;
1918         pushop = newOP(OP_PUSHMARK, 0);
1919         pushop->op_sibling = first;
1920         listop->op_first = pushop;
1921         listop->op_flags |= OPf_KIDS;
1922         if (!last)
1923             listop->op_last = pushop;
1924     }
1925     else if (listop->op_children)
1926         listop->op_flags |= OPf_KIDS;
1927
1928     return (OP*)listop;
1929 }
1930
1931 OP *
1932 newOP(I32 type, I32 flags)
1933 {
1934     OP *o;
1935     Newz(1101, o, 1, OP);
1936     o->op_type = type;
1937     o->op_ppaddr = ppaddr[type];
1938     o->op_flags = flags;
1939
1940     o->op_next = o;
1941     o->op_private = 0 + (flags >> 8);
1942     if (opargs[type] & OA_RETSCALAR)
1943         scalar(o);
1944     if (opargs[type] & OA_TARGET)
1945         o->op_targ = pad_alloc(type, SVs_PADTMP);
1946     return CHECKOP(type, o);
1947 }
1948
1949 OP *
1950 newUNOP(I32 type, I32 flags, OP *first)
1951 {
1952     UNOP *unop;
1953
1954     if (!first)
1955         first = newOP(OP_STUB, 0);
1956     if (opargs[type] & OA_MARK)
1957         first = force_list(first);
1958
1959     Newz(1101, unop, 1, UNOP);
1960     unop->op_type = type;
1961     unop->op_ppaddr = ppaddr[type];
1962     unop->op_first = first;
1963     unop->op_flags = flags | OPf_KIDS;
1964     unop->op_private = 1 | (flags >> 8);
1965 #if 1
1966     if(type == OP_STUDY && first->op_type == OP_MATCH) {
1967         first->op_type = OP_PUSHRE;
1968         first->op_ppaddr = ppaddr[OP_PUSHRE];
1969     }
1970 #endif
1971     unop = (UNOP*) CHECKOP(type, unop);
1972     if (unop->op_next)
1973         return (OP*)unop;
1974
1975     return fold_constants((OP *) unop);
1976 }
1977
1978 OP *
1979 newBINOP(I32 type, I32 flags, OP *first, OP *last)
1980 {
1981     BINOP *binop;
1982     Newz(1101, binop, 1, BINOP);
1983
1984     if (!first)
1985         first = newOP(OP_NULL, 0);
1986
1987     binop->op_type = type;
1988     binop->op_ppaddr = ppaddr[type];
1989     binop->op_first = first;
1990     binop->op_flags = flags | OPf_KIDS;
1991     if (!last) {
1992         last = first;
1993         binop->op_private = 1 | (flags >> 8);
1994     }
1995     else {
1996         binop->op_private = 2 | (flags >> 8);
1997         first->op_sibling = last;
1998     }
1999
2000     binop = (BINOP*)CHECKOP(type, binop);
2001     if (binop->op_next)
2002         return (OP*)binop;
2003
2004     binop->op_last = last = binop->op_first->op_sibling;
2005
2006     return fold_constants((OP *)binop);
2007 }
2008
2009 OP *
2010 pmtrans(OP *o, OP *expr, OP *repl)
2011 {
2012     SV *tstr = ((SVOP*)expr)->op_sv;
2013     SV *rstr = ((SVOP*)repl)->op_sv;
2014     STRLEN tlen;
2015     STRLEN rlen;
2016     register U8 *t = (U8*)SvPV(tstr, tlen);
2017     register U8 *r = (U8*)SvPV(rstr, rlen);
2018     register I32 i;
2019     register I32 j;
2020     I32 Delete;
2021     I32 complement;
2022     I32 squash;
2023     register short *tbl;
2024
2025     tbl = (short*)cPVOPo->op_pv;
2026     complement  = o->op_private & OPpTRANS_COMPLEMENT;
2027     Delete      = o->op_private & OPpTRANS_DELETE;
2028     squash      = o->op_private & OPpTRANS_SQUASH;
2029
2030     if (complement) {
2031         Zero(tbl, 256, short);
2032         for (i = 0; i < tlen; i++)
2033             tbl[t[i]] = -1;
2034         for (i = 0, j = 0; i < 256; i++) {
2035             if (!tbl[i]) {
2036                 if (j >= rlen) {
2037                     if (Delete)
2038                         tbl[i] = -2;
2039                     else if (rlen)
2040                         tbl[i] = r[j-1];
2041                     else
2042                         tbl[i] = i;
2043                 }
2044                 else
2045                     tbl[i] = r[j++];
2046             }
2047         }
2048     }
2049     else {
2050         if (!rlen && !Delete) {
2051             r = t; rlen = tlen;
2052             if (!squash)
2053                 o->op_private |= OPpTRANS_COUNTONLY;
2054         }
2055         for (i = 0; i < 256; i++)
2056             tbl[i] = -1;
2057         for (i = 0, j = 0; i < tlen; i++,j++) {
2058             if (j >= rlen) {
2059                 if (Delete) {
2060                     if (tbl[t[i]] == -1)
2061                         tbl[t[i]] = -2;
2062                     continue;
2063                 }
2064                 --j;
2065             }
2066             if (tbl[t[i]] == -1)
2067                 tbl[t[i]] = r[j];
2068         }
2069     }
2070     op_free(expr);
2071     op_free(repl);
2072
2073     return o;
2074 }
2075
2076 OP *
2077 newPMOP(I32 type, I32 flags)
2078 {
2079     dTHR;
2080     PMOP *pmop;
2081
2082     Newz(1101, pmop, 1, PMOP);
2083     pmop->op_type = type;
2084     pmop->op_ppaddr = ppaddr[type];
2085     pmop->op_flags = flags;
2086     pmop->op_private = 0 | (flags >> 8);
2087
2088     if (hints & HINT_LOCALE)
2089         pmop->op_pmpermflags = (pmop->op_pmflags |= PMf_LOCALE);
2090
2091     /* link into pm list */
2092     if (type != OP_TRANS && curstash) {
2093         pmop->op_pmnext = HvPMROOT(curstash);
2094         HvPMROOT(curstash) = pmop;
2095     }
2096
2097     return (OP*)pmop;
2098 }
2099
2100 OP *
2101 pmruntime(OP *o, OP *expr, OP *repl)
2102 {
2103     PMOP *pm;
2104     LOGOP *rcop;
2105
2106     if (o->op_type == OP_TRANS)
2107         return pmtrans(o, expr, repl);
2108
2109     hints |= HINT_BLOCK_SCOPE;
2110     pm = (PMOP*)o;
2111
2112     if (expr->op_type == OP_CONST) {
2113         STRLEN plen;
2114         SV *pat = ((SVOP*)expr)->op_sv;
2115         char *p = SvPV(pat, plen);
2116         if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
2117             sv_setpvn(pat, "\\s+", 3);
2118             p = SvPV(pat, plen);
2119             pm->op_pmflags |= PMf_SKIPWHITE;
2120         }
2121         pm->op_pmregexp = pregcomp(p, p + plen, pm);
2122         if (strEQ("\\s+", pm->op_pmregexp->precomp))
2123             pm->op_pmflags |= PMf_WHITE;
2124         op_free(expr);
2125     }
2126     else {
2127         if (pm->op_pmflags & PMf_KEEP)
2128             expr = newUNOP(OP_REGCMAYBE,0,expr);
2129
2130         Newz(1101, rcop, 1, LOGOP);
2131         rcop->op_type = OP_REGCOMP;
2132         rcop->op_ppaddr = ppaddr[OP_REGCOMP];
2133         rcop->op_first = scalar(expr);
2134         rcop->op_flags |= OPf_KIDS;
2135         rcop->op_private = 1;
2136         rcop->op_other = o;
2137
2138         /* establish postfix order */
2139         if (pm->op_pmflags & PMf_KEEP) {
2140             LINKLIST(expr);
2141             rcop->op_next = expr;
2142             ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2143         }
2144         else {
2145             rcop->op_next = LINKLIST(expr);
2146             expr->op_next = (OP*)rcop;
2147         }
2148
2149         prepend_elem(o->op_type, scalar((OP*)rcop), o);
2150     }
2151
2152     if (repl) {
2153         OP *curop;
2154         if (pm->op_pmflags & PMf_EVAL)
2155             curop = 0;
2156 #ifdef USE_THREADS
2157         else if (repl->op_type == OP_THREADSV
2158                  && strchr("&`'123456789+",
2159                            threadsv_names[repl->op_targ]))
2160         {
2161             curop = 0;
2162         }
2163 #endif /* USE_THREADS */
2164         else if (repl->op_type == OP_CONST)
2165             curop = repl;
2166         else {
2167             OP *lastop = 0;
2168             for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2169                 if (opargs[curop->op_type] & OA_DANGEROUS) {
2170 #ifdef USE_THREADS
2171                     if (curop->op_type == OP_THREADSV
2172                         && strchr("&`'123456789+", curop->op_private)) {
2173                         break;
2174                     }
2175 #else
2176                     if (curop->op_type == OP_GV) {
2177                         GV *gv = ((GVOP*)curop)->op_gv;
2178                         if (strchr("&`'123456789+", *GvENAME(gv)))
2179                             break;
2180                     }
2181 #endif /* USE_THREADS */
2182                     else if (curop->op_type == OP_RV2CV)
2183                         break;
2184                     else if (curop->op_type == OP_RV2SV ||
2185                              curop->op_type == OP_RV2AV ||
2186                              curop->op_type == OP_RV2HV ||
2187                              curop->op_type == OP_RV2GV) {
2188                         if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2189                             break;
2190                     }
2191                     else if (curop->op_type == OP_PADSV ||
2192                              curop->op_type == OP_PADAV ||
2193                              curop->op_type == OP_PADHV ||
2194                              curop->op_type == OP_PADANY) {
2195                              /* is okay */
2196                     }
2197                     else
2198                         break;
2199                 }
2200                 lastop = curop;
2201             }
2202         }
2203         if (curop == repl) {
2204             pm->op_pmflags |= PMf_CONST;        /* const for long enough */
2205             pm->op_pmpermflags |= PMf_CONST;    /* const for long enough */
2206             prepend_elem(o->op_type, scalar(repl), o);
2207         }
2208         else {
2209             Newz(1101, rcop, 1, LOGOP);
2210             rcop->op_type = OP_SUBSTCONT;
2211             rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
2212             rcop->op_first = scalar(repl);
2213             rcop->op_flags |= OPf_KIDS;
2214             rcop->op_private = 1;
2215             rcop->op_other = o;
2216
2217             /* establish postfix order */
2218             rcop->op_next = LINKLIST(repl);
2219             repl->op_next = (OP*)rcop;
2220
2221             pm->op_pmreplroot = scalar((OP*)rcop);
2222             pm->op_pmreplstart = LINKLIST(rcop);
2223             rcop->op_next = 0;
2224         }
2225     }
2226
2227     return (OP*)pm;
2228 }
2229
2230 OP *
2231 newSVOP(I32 type, I32 flags, SV *sv)
2232 {
2233     SVOP *svop;
2234     Newz(1101, svop, 1, SVOP);
2235     svop->op_type = type;
2236     svop->op_ppaddr = ppaddr[type];
2237     svop->op_sv = sv;
2238     svop->op_next = (OP*)svop;
2239     svop->op_flags = flags;
2240     if (opargs[type] & OA_RETSCALAR)
2241         scalar((OP*)svop);
2242     if (opargs[type] & OA_TARGET)
2243         svop->op_targ = pad_alloc(type, SVs_PADTMP);
2244     return CHECKOP(type, svop);
2245 }
2246
2247 OP *
2248 newGVOP(I32 type, I32 flags, GV *gv)
2249 {
2250     dTHR;
2251     GVOP *gvop;
2252     Newz(1101, gvop, 1, GVOP);
2253     gvop->op_type = type;
2254     gvop->op_ppaddr = ppaddr[type];
2255     gvop->op_gv = (GV*)SvREFCNT_inc(gv);
2256     gvop->op_next = (OP*)gvop;
2257     gvop->op_flags = flags;
2258     if (opargs[type] & OA_RETSCALAR)
2259         scalar((OP*)gvop);
2260     if (opargs[type] & OA_TARGET)
2261         gvop->op_targ = pad_alloc(type, SVs_PADTMP);
2262     return CHECKOP(type, gvop);
2263 }
2264
2265 OP *
2266 newPVOP(I32 type, I32 flags, char *pv)
2267 {
2268     PVOP *pvop;
2269     Newz(1101, pvop, 1, PVOP);
2270     pvop->op_type = type;
2271     pvop->op_ppaddr = ppaddr[type];
2272     pvop->op_pv = pv;
2273     pvop->op_next = (OP*)pvop;
2274     pvop->op_flags = flags;
2275     if (opargs[type] & OA_RETSCALAR)
2276         scalar((OP*)pvop);
2277     if (opargs[type] & OA_TARGET)
2278         pvop->op_targ = pad_alloc(type, SVs_PADTMP);
2279     return CHECKOP(type, pvop);
2280 }
2281
2282 void
2283 package(OP *o)
2284 {
2285     dTHR;
2286     SV *sv;
2287
2288     save_hptr(&curstash);
2289     save_item(curstname);
2290     if (o) {
2291         STRLEN len;
2292         char *name;
2293         sv = cSVOPo->op_sv;
2294         name = SvPV(sv, len);
2295         curstash = gv_stashpvn(name,len,TRUE);
2296         sv_setpvn(curstname, name, len);
2297         op_free(o);
2298     }
2299     else {
2300         sv_setpv(curstname,"<none>");
2301         curstash = Nullhv;
2302     }
2303     copline = NOLINE;
2304     expect = XSTATE;
2305 }
2306
2307 void
2308 utilize(int aver, I32 floor, OP *version, OP *id, OP *arg)
2309 {
2310     OP *pack;
2311     OP *meth;
2312     OP *rqop;
2313     OP *imop;
2314     OP *veop;
2315
2316     if (id->op_type != OP_CONST)
2317         croak("Module name must be constant");
2318
2319     veop = Nullop;
2320
2321     if(version != Nullop) {
2322         SV *vesv = ((SVOP*)version)->op_sv;
2323
2324         if (arg == Nullop && !SvNIOK(vesv)) {
2325             arg = version;
2326         }
2327         else {
2328             OP *pack;
2329             OP *meth;
2330
2331             if (version->op_type != OP_CONST || !SvNIOK(vesv))
2332                 croak("Version number must be constant number");
2333
2334             /* Make copy of id so we don't free it twice */
2335             pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2336
2337             /* Fake up a method call to VERSION */
2338             meth = newSVOP(OP_CONST, 0, newSVpv("VERSION", 7));
2339             veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2340                             append_elem(OP_LIST,
2341                             prepend_elem(OP_LIST, pack, list(version)),
2342                             newUNOP(OP_METHOD, 0, meth)));
2343         }
2344     }
2345
2346     /* Fake up an import/unimport */
2347     if (arg && arg->op_type == OP_STUB)
2348         imop = arg;             /* no import on explicit () */
2349     else if(SvNIOK(((SVOP*)id)->op_sv)) {
2350         imop = Nullop;          /* use 5.0; */
2351     }
2352     else {
2353         /* Make copy of id so we don't free it twice */
2354         pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2355         meth = newSVOP(OP_CONST, 0,
2356             aver
2357                 ? newSVpv("import", 6)
2358                 : newSVpv("unimport", 8)
2359             );
2360         imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2361                     append_elem(OP_LIST,
2362                         prepend_elem(OP_LIST, pack, list(arg)),
2363                         newUNOP(OP_METHOD, 0, meth)));
2364     }
2365
2366     /* Fake up a require */
2367     rqop = newUNOP(OP_REQUIRE, 0, id);
2368
2369     /* Fake up the BEGIN {}, which does its thing immediately. */
2370     newSUB(floor,
2371         newSVOP(OP_CONST, 0, newSVpv("BEGIN", 5)),
2372         Nullop,
2373         append_elem(OP_LINESEQ,
2374             append_elem(OP_LINESEQ,
2375                 newSTATEOP(0, Nullch, rqop),
2376                 newSTATEOP(0, Nullch, veop)),
2377             newSTATEOP(0, Nullch, imop) ));
2378
2379     copline = NOLINE;
2380     expect = XSTATE;
2381 }
2382
2383 OP *
2384 newSLICEOP(I32 flags, OP *subscript, OP *listval)
2385 {
2386     return newBINOP(OP_LSLICE, flags,
2387             list(force_list(subscript)),
2388             list(force_list(listval)) );
2389 }
2390
2391 STATIC I32
2392 list_assignment(register OP *o)
2393 {
2394     if (!o)
2395         return TRUE;
2396
2397     if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
2398         o = cUNOPo->op_first;
2399
2400     if (o->op_type == OP_COND_EXPR) {
2401         I32 t = list_assignment(cCONDOPo->op_first->op_sibling);
2402         I32 f = list_assignment(cCONDOPo->op_first->op_sibling->op_sibling);
2403
2404         if (t && f)
2405             return TRUE;
2406         if (t || f)
2407             yyerror("Assignment to both a list and a scalar");
2408         return FALSE;
2409     }
2410
2411     if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
2412         o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
2413         o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
2414         return TRUE;
2415
2416     if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
2417         return TRUE;
2418
2419     if (o->op_type == OP_RV2SV)
2420         return FALSE;
2421
2422     return FALSE;
2423 }
2424
2425 OP *
2426 newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
2427 {
2428     OP *o;
2429
2430     if (optype) {
2431         if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
2432             return newLOGOP(optype, 0,
2433                 mod(scalar(left), optype),
2434                 newUNOP(OP_SASSIGN, 0, scalar(right)));
2435         }
2436         else {
2437             return newBINOP(optype, OPf_STACKED,
2438                 mod(scalar(left), optype), scalar(right));
2439         }
2440     }
2441
2442     if (list_assignment(left)) {
2443         modcount = 0;
2444         eval_start = right;     /* Grandfathering $[ assignment here.  Bletch.*/
2445         left = mod(left, OP_AASSIGN);
2446         if (eval_start)
2447             eval_start = 0;
2448         else {
2449             op_free(left);
2450             op_free(right);
2451             return Nullop;
2452         }
2453         o = newBINOP(OP_AASSIGN, flags,
2454                 list(force_list(right)),
2455                 list(force_list(left)) );
2456         o->op_private = 0 | (flags >> 8);
2457         if (!(left->op_private & OPpLVAL_INTRO)) {
2458             OP *curop;
2459             OP *lastop = o;
2460             generation++;
2461             for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
2462                 if (opargs[curop->op_type] & OA_DANGEROUS) {
2463                     if (curop->op_type == OP_GV) {
2464                         GV *gv = ((GVOP*)curop)->op_gv;
2465                         if (gv == defgv || SvCUR(gv) == generation)
2466                             break;
2467                         SvCUR(gv) = generation;
2468                     }
2469                     else if (curop->op_type == OP_PADSV ||
2470                              curop->op_type == OP_PADAV ||
2471                              curop->op_type == OP_PADHV ||
2472                              curop->op_type == OP_PADANY) {
2473                         SV **svp = AvARRAY(comppad_name);
2474                         SV *sv = svp[curop->op_targ];
2475                         if (SvCUR(sv) == generation)
2476                             break;
2477                         SvCUR(sv) = generation; /* (SvCUR not used any more) */
2478                     }
2479                     else if (curop->op_type == OP_RV2CV)
2480                         break;
2481                     else if (curop->op_type == OP_RV2SV ||
2482                              curop->op_type == OP_RV2AV ||
2483                              curop->op_type == OP_RV2HV ||
2484                              curop->op_type == OP_RV2GV) {
2485                         if (lastop->op_type != OP_GV)   /* funny deref? */
2486                             break;
2487                     }
2488                     else
2489                         break;
2490                 }
2491                 lastop = curop;
2492             }
2493             if (curop != o)
2494                 o->op_private = OPpASSIGN_COMMON;
2495         }
2496         if (right && right->op_type == OP_SPLIT) {
2497             OP* tmpop;
2498             if ((tmpop = ((LISTOP*)right)->op_first) &&
2499                 tmpop->op_type == OP_PUSHRE)
2500             {
2501                 PMOP *pm = (PMOP*)tmpop;
2502                 if (left->op_type == OP_RV2AV &&
2503                     !(left->op_private & OPpLVAL_INTRO) &&
2504                     !(o->op_private & OPpASSIGN_COMMON) )
2505                 {
2506                     tmpop = ((UNOP*)left)->op_first;
2507                     if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
2508                         pm->op_pmreplroot = (OP*)((GVOP*)tmpop)->op_gv;
2509                         pm->op_pmflags |= PMf_ONCE;
2510                         tmpop = cUNOPo->op_first;       /* to list (nulled) */
2511                         tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
2512                         tmpop->op_sibling = Nullop;     /* don't free split */
2513                         right->op_next = tmpop->op_next;  /* fix starting loc */
2514                         op_free(o);                     /* blow off assign */
2515                         right->op_flags &= ~OPf_WANT;
2516                                 /* "I don't know and I don't care." */
2517                         return right;
2518                     }
2519                 }
2520                 else {
2521                     if (modcount < 10000 &&
2522                       ((LISTOP*)right)->op_last->op_type == OP_CONST)
2523                     {
2524                         SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
2525                         if (SvIVX(sv) == 0)
2526                             sv_setiv(sv, modcount+1);
2527                     }
2528                 }
2529             }
2530         }
2531         return o;
2532     }
2533     if (!right)
2534         right = newOP(OP_UNDEF, 0);
2535     if (right->op_type == OP_READLINE) {
2536         right->op_flags |= OPf_STACKED;
2537         return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
2538     }
2539     else {
2540         eval_start = right;     /* Grandfathering $[ assignment here.  Bletch.*/
2541         o = newBINOP(OP_SASSIGN, flags,
2542             scalar(right), mod(scalar(left), OP_SASSIGN) );
2543         if (eval_start)
2544             eval_start = 0;
2545         else {
2546             op_free(o);
2547             return Nullop;
2548         }
2549     }
2550     return o;
2551 }
2552
2553 OP *
2554 newSTATEOP(I32 flags, char *label, OP *o)
2555 {
2556     dTHR;
2557     U32 seq = intro_my();
2558     register COP *cop;
2559
2560     Newz(1101, cop, 1, COP);
2561     if (PERLDB_LINE && curcop->cop_line && curstash != debstash) {
2562         cop->op_type = OP_DBSTATE;
2563         cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
2564     }
2565     else {
2566         cop->op_type = OP_NEXTSTATE;
2567         cop->op_ppaddr = ppaddr[ OP_NEXTSTATE ];
2568     }
2569     cop->op_flags = flags;
2570     cop->op_private = 0 | (flags >> 8);
2571 #ifdef NATIVE_HINTS
2572     cop->op_private |= NATIVE_HINTS;
2573 #endif
2574     cop->op_next = (OP*)cop;
2575
2576     if (label) {
2577         cop->cop_label = label;
2578         hints |= HINT_BLOCK_SCOPE;
2579     }
2580     cop->cop_seq = seq;
2581     cop->cop_arybase = curcop->cop_arybase;
2582
2583     if (copline == NOLINE)
2584         cop->cop_line = curcop->cop_line;
2585     else {
2586         cop->cop_line = copline;
2587         copline = NOLINE;
2588     }
2589     cop->cop_filegv = (GV*)SvREFCNT_inc(curcop->cop_filegv);
2590     cop->cop_stash = curstash;
2591
2592     if (PERLDB_LINE && curstash != debstash) {
2593         SV **svp = av_fetch(GvAV(curcop->cop_filegv),(I32)cop->cop_line, FALSE);
2594         if (svp && *svp != &sv_undef && !SvIOK(*svp)) {
2595             (void)SvIOK_on(*svp);
2596             SvIVX(*svp) = 1;
2597             SvSTASH(*svp) = (HV*)cop;
2598         }
2599     }
2600
2601     return prepend_elem(OP_LINESEQ, (OP*)cop, o);
2602 }
2603
2604 /* "Introduce" my variables to visible status. */
2605 U32
2606 intro_my(void)
2607 {
2608     SV **svp;
2609     SV *sv;
2610     I32 i;
2611
2612     if (! min_intro_pending)
2613         return cop_seqmax;
2614
2615     svp = AvARRAY(comppad_name);
2616     for (i = min_intro_pending; i <= max_intro_pending; i++) {
2617         if ((sv = svp[i]) && sv != &sv_undef && !SvIVX(sv)) {
2618             SvIVX(sv) = 999999999;      /* Don't know scope end yet. */
2619             SvNVX(sv) = (double)cop_seqmax;
2620         }
2621     }
2622     min_intro_pending = 0;
2623     comppad_name_fill = max_intro_pending;      /* Needn't search higher */
2624     return cop_seqmax++;
2625 }
2626
2627 OP *
2628 newLOGOP(I32 type, I32 flags, OP *first, OP *other)
2629 {
2630     dTHR;
2631     LOGOP *logop;
2632     OP *o;
2633
2634     if (type == OP_XOR)         /* Not short circuit, but here by precedence. */
2635         return newBINOP(type, flags, scalar(first), scalar(other));
2636
2637     scalarboolean(first);
2638     /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
2639     if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
2640         if (type == OP_AND || type == OP_OR) {
2641             if (type == OP_AND)
2642                 type = OP_OR;
2643             else
2644                 type = OP_AND;
2645             o = first;
2646             first = cUNOPo->op_first;
2647             if (o->op_next)
2648                 first->op_next = o->op_next;
2649             cUNOPo->op_first = Nullop;
2650             op_free(o);
2651         }
2652     }
2653     if (first->op_type == OP_CONST) {
2654         if (dowarn && (first->op_private & OPpCONST_BARE))
2655             warn("Probable precedence problem on %s", op_desc[type]);
2656         if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
2657             op_free(first);
2658             return other;
2659         }
2660         else {
2661             op_free(other);
2662             return first;
2663         }
2664     }
2665     else if (first->op_type == OP_WANTARRAY) {
2666         if (type == OP_AND)
2667             list(other);
2668         else
2669             scalar(other);
2670     }
2671     else if (dowarn && (first->op_flags & OPf_KIDS)) {
2672         OP *k1 = ((UNOP*)first)->op_first;
2673         OP *k2 = k1->op_sibling;
2674         OPCODE warnop = 0;
2675         switch (first->op_type)
2676         {
2677         case OP_NULL:
2678             if (k2 && k2->op_type == OP_READLINE
2679                   && (k2->op_flags & OPf_STACKED)
2680                   && (k1->op_type == OP_RV2SV || k1->op_type == OP_PADSV))
2681                 warnop = k2->op_type;
2682             break;
2683
2684         case OP_SASSIGN:
2685             if (k1->op_type == OP_READDIR
2686                   || k1->op_type == OP_GLOB
2687                   || k1->op_type == OP_EACH)
2688                 warnop = k1->op_type;
2689             break;
2690         }
2691         if (warnop) {
2692             line_t oldline = curcop->cop_line;
2693             curcop->cop_line = copline;
2694             warn("Value of %s%s can be \"0\"; test with defined()",
2695                  op_desc[warnop],
2696                  ((warnop == OP_READLINE || warnop == OP_GLOB)
2697                   ? " construct" : "() operator"));
2698             curcop->cop_line = oldline;
2699         }
2700     }
2701
2702     if (!other)
2703         return first;
2704
2705     if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
2706         other->op_private |= OPpASSIGN_BACKWARDS;  /* other is an OP_SASSIGN */
2707
2708     Newz(1101, logop, 1, LOGOP);
2709
2710     logop->op_type = type;
2711     logop->op_ppaddr = ppaddr[type];
2712     logop->op_first = first;
2713     logop->op_flags = flags | OPf_KIDS;
2714     logop->op_other = LINKLIST(other);
2715     logop->op_private = 1 | (flags >> 8);
2716
2717     /* establish postfix order */
2718     logop->op_next = LINKLIST(first);
2719     first->op_next = (OP*)logop;
2720     first->op_sibling = other;
2721
2722     o = newUNOP(OP_NULL, 0, (OP*)logop);
2723     other->op_next = o;
2724
2725     return o;
2726 }
2727
2728 OP *
2729 newCONDOP(I32 flags, OP *first, OP *trueop, OP *falseop)
2730 {
2731     dTHR;
2732     CONDOP *condop;
2733     OP *o;
2734
2735     if (!falseop)
2736         return newLOGOP(OP_AND, 0, first, trueop);
2737     if (!trueop)
2738         return newLOGOP(OP_OR, 0, first, falseop);
2739
2740     scalarboolean(first);
2741     if (first->op_type == OP_CONST) {
2742         if (SvTRUE(((SVOP*)first)->op_sv)) {
2743             op_free(first);
2744             op_free(falseop);
2745             return trueop;
2746         }
2747         else {
2748             op_free(first);
2749             op_free(trueop);
2750             return falseop;
2751         }
2752     }
2753     else if (first->op_type == OP_WANTARRAY) {
2754         list(trueop);
2755         scalar(falseop);
2756     }
2757     Newz(1101, condop, 1, CONDOP);
2758
2759     condop->op_type = OP_COND_EXPR;
2760     condop->op_ppaddr = ppaddr[OP_COND_EXPR];
2761     condop->op_first = first;
2762     condop->op_flags = flags | OPf_KIDS;
2763     condop->op_true = LINKLIST(trueop);
2764     condop->op_false = LINKLIST(falseop);
2765     condop->op_private = 1 | (flags >> 8);
2766
2767     /* establish postfix order */
2768     condop->op_next = LINKLIST(first);
2769     first->op_next = (OP*)condop;
2770
2771     first->op_sibling = trueop;
2772     trueop->op_sibling = falseop;
2773     o = newUNOP(OP_NULL, 0, (OP*)condop);
2774
2775     trueop->op_next = o;
2776     falseop->op_next = o;
2777
2778     return o;
2779 }
2780
2781 OP *
2782 newRANGE(I32 flags, OP *left, OP *right)
2783 {
2784     dTHR;
2785     CONDOP *condop;
2786     OP *flip;
2787     OP *flop;
2788     OP *o;
2789
2790     Newz(1101, condop, 1, CONDOP);
2791
2792     condop->op_type = OP_RANGE;
2793     condop->op_ppaddr = ppaddr[OP_RANGE];
2794     condop->op_first = left;
2795     condop->op_flags = OPf_KIDS;
2796     condop->op_true = LINKLIST(left);
2797     condop->op_false = LINKLIST(right);
2798     condop->op_private = 1 | (flags >> 8);
2799
2800     left->op_sibling = right;
2801
2802     condop->op_next = (OP*)condop;
2803     flip = newUNOP(OP_FLIP, flags, (OP*)condop);
2804     flop = newUNOP(OP_FLOP, 0, flip);
2805     o = newUNOP(OP_NULL, 0, flop);
2806     linklist(flop);
2807
2808     left->op_next = flip;
2809     right->op_next = flop;
2810
2811     condop->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
2812     sv_upgrade(PAD_SV(condop->op_targ), SVt_PVNV);
2813     flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
2814     sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
2815
2816     flip->op_private =  left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2817     flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2818
2819     flip->op_next = o;
2820     if (!flip->op_private || !flop->op_private)
2821         linklist(o);            /* blow off optimizer unless constant */
2822
2823     return o;
2824 }
2825
2826 OP *
2827 newLOOPOP(I32 flags, I32 debuggable, OP *expr, OP *block)
2828 {
2829     dTHR;
2830     OP* listop;
2831     OP* o;
2832     int once = block && block->op_flags & OPf_SPECIAL &&
2833       (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
2834
2835     if (expr) {
2836         if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
2837             return block;       /* do {} while 0 does once */
2838         if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2839             || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
2840             expr = newUNOP(OP_DEFINED, 0,
2841                 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
2842         }
2843     }
2844
2845     listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
2846     o = newLOGOP(OP_AND, 0, expr, listop);
2847
2848     ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
2849
2850     if (once && o != listop)
2851         o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
2852
2853     if (o == listop)
2854         o = newUNOP(OP_NULL, 0, o);     /* or do {} while 1 loses outer block */
2855
2856     o->op_flags |= flags;
2857     o = scope(o);
2858     o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
2859     return o;
2860 }
2861
2862 OP *
2863 newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
2864 {
2865     dTHR;
2866     OP *redo;
2867     OP *next = 0;
2868     OP *listop;
2869     OP *o;
2870     OP *condop;
2871
2872     if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2873                  || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
2874         expr = newUNOP(OP_DEFINED, 0,
2875             newASSIGNOP(0, newDEFSVOP(), 0, expr) );
2876     }
2877
2878     if (!block)
2879         block = newOP(OP_NULL, 0);
2880
2881     if (cont)
2882         next = LINKLIST(cont);
2883     if (expr) {
2884         cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
2885         if ((line_t)whileline != NOLINE) {
2886             copline = whileline;
2887             cont = append_elem(OP_LINESEQ, cont,
2888                                newSTATEOP(0, Nullch, Nullop));
2889         }
2890     }
2891
2892     listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
2893     redo = LINKLIST(listop);
2894
2895     if (expr) {
2896         o = newLOGOP(OP_AND, 0, expr, scalar(listop));
2897         if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
2898             op_free(expr);              /* oops, it's a while (0) */
2899             op_free((OP*)loop);
2900             return Nullop;              /* (listop already freed by newLOGOP) */
2901         }
2902         ((LISTOP*)listop)->op_last->op_next = condop =
2903             (o == listop ? redo : LINKLIST(o));
2904         if (!next)
2905             next = condop;
2906     }
2907     else
2908         o = listop;
2909
2910     if (!loop) {
2911         Newz(1101,loop,1,LOOP);
2912         loop->op_type = OP_ENTERLOOP;
2913         loop->op_ppaddr = ppaddr[OP_ENTERLOOP];
2914         loop->op_private = 0;
2915         loop->op_next = (OP*)loop;
2916     }
2917
2918     o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
2919
2920     loop->op_redoop = redo;
2921     loop->op_lastop = o;
2922
2923     if (next)
2924         loop->op_nextop = next;
2925     else
2926         loop->op_nextop = o;
2927
2928     o->op_flags |= flags;
2929     o->op_private |= (flags >> 8);
2930     return o;
2931 }
2932
2933 OP *
2934 #ifndef CAN_PROTOTYPE
2935 newFOROP(flags,label,forline,sv,expr,block,cont)
2936 I32 flags;
2937 char *label;
2938 line_t forline;
2939 OP* sv;
2940 OP* expr;
2941 OP*block;
2942 OP*cont;
2943 #else
2944 newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
2945 #endif /* CAN_PROTOTYPE */
2946 {
2947     LOOP *loop;
2948     OP *wop;
2949     int padoff = 0;
2950     I32 iterflags = 0;
2951
2952     if (sv) {
2953         if (sv->op_type == OP_RV2SV) {  /* symbol table variable */
2954             sv->op_type = OP_RV2GV;
2955             sv->op_ppaddr = ppaddr[OP_RV2GV];
2956         }
2957         else if (sv->op_type == OP_PADSV) { /* private variable */
2958             padoff = sv->op_targ;
2959             op_free(sv);
2960             sv = Nullop;
2961         }
2962         else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
2963             padoff = sv->op_targ;
2964             iterflags |= OPf_SPECIAL;
2965             op_free(sv);
2966             sv = Nullop;
2967         }
2968         else
2969             croak("Can't use %s for loop variable", op_desc[sv->op_type]);
2970     }
2971     else {
2972 #ifdef USE_THREADS
2973         padoff = find_threadsv("_");
2974         iterflags |= OPf_SPECIAL;
2975 #else
2976         sv = newGVOP(OP_GV, 0, defgv);
2977 #endif
2978     }
2979     if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
2980         expr = scalar(ref(expr, OP_ITER));
2981         iterflags |= OPf_STACKED;
2982     }
2983     loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
2984         append_elem(OP_LIST, mod(force_list(expr), OP_GREPSTART),
2985                     scalar(sv))));
2986     assert(!loop->op_next);
2987     Renew(loop, 1, LOOP);
2988     loop->op_targ = padoff;
2989     wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
2990     copline = forline;
2991     return newSTATEOP(0, label, wop);
2992 }
2993
2994 OP*
2995 newLOOPEX(I32 type, OP *label)
2996 {
2997     dTHR;
2998     OP *o;
2999     if (type != OP_GOTO || label->op_type == OP_CONST) {
3000         /* "last()" means "last" */
3001         if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
3002             o = newOP(type, OPf_SPECIAL);
3003         else {
3004             o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
3005                                         ? SvPVx(((SVOP*)label)->op_sv, na)
3006                                         : ""));
3007         }
3008         op_free(label);
3009     }
3010     else {
3011         if (label->op_type == OP_ENTERSUB)
3012             label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
3013         o = newUNOP(type, OPf_STACKED, label);
3014     }
3015     hints |= HINT_BLOCK_SCOPE;
3016     return o;
3017 }
3018
3019 void
3020 cv_undef(CV *cv)
3021 {
3022     dTHR;
3023 #ifdef USE_THREADS
3024     if (CvMUTEXP(cv)) {
3025         MUTEX_DESTROY(CvMUTEXP(cv));
3026         Safefree(CvMUTEXP(cv));
3027         CvMUTEXP(cv) = 0;
3028     }
3029 #endif /* USE_THREADS */
3030
3031     if (!CvXSUB(cv) && CvROOT(cv)) {
3032 #ifdef USE_THREADS
3033         if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
3034             croak("Can't undef active subroutine");
3035 #else
3036         if (CvDEPTH(cv))
3037             croak("Can't undef active subroutine");
3038 #endif /* USE_THREADS */
3039         ENTER;
3040
3041         SAVESPTR(curpad);
3042         curpad = 0;
3043
3044         if (!CvCLONED(cv))
3045             op_free(CvROOT(cv));
3046         CvROOT(cv) = Nullop;
3047         LEAVE;
3048     }
3049     SvPOK_off((SV*)cv);         /* forget prototype */
3050     CvFLAGS(cv) = 0;
3051     SvREFCNT_dec(CvGV(cv));
3052     CvGV(cv) = Nullgv;
3053     SvREFCNT_dec(CvOUTSIDE(cv));
3054     CvOUTSIDE(cv) = Nullcv;
3055     if (CvPADLIST(cv)) {
3056         /* may be during global destruction */
3057         if (SvREFCNT(CvPADLIST(cv))) {
3058             I32 i = AvFILLp(CvPADLIST(cv));
3059             while (i >= 0) {
3060                 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
3061                 SV* sv = svp ? *svp : Nullsv;
3062                 if (!sv)
3063                     continue;
3064                 if (sv == (SV*)comppad_name)
3065                     comppad_name = Nullav;
3066                 else if (sv == (SV*)comppad) {
3067                     comppad = Nullav;
3068                     curpad = Null(SV**);
3069                 }
3070                 SvREFCNT_dec(sv);
3071             }
3072             SvREFCNT_dec((SV*)CvPADLIST(cv));
3073         }
3074         CvPADLIST(cv) = Nullav;
3075     }
3076 }
3077
3078 #ifdef DEBUG_CLOSURES
3079 STATIC void
3080 cv_dump(cv)
3081 CV* cv;
3082 {
3083     CV *outside = CvOUTSIDE(cv);
3084     AV* padlist = CvPADLIST(cv);
3085     AV* pad_name;
3086     AV* pad;
3087     SV** pname;
3088     SV** ppad;
3089     I32 ix;
3090
3091     PerlIO_printf(Perl_debug_log, "\tCV=0x%lx (%s), OUTSIDE=0x%lx (%s)\n",
3092                   cv,
3093                   (CvANON(cv) ? "ANON"
3094                    : (cv == main_cv) ? "MAIN"
3095                    : CvUNIQUE(outside) ? "UNIQUE"
3096                    : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
3097                   outside,
3098                   (!outside ? "null"
3099                    : CvANON(outside) ? "ANON"
3100                    : (outside == main_cv) ? "MAIN"
3101                    : CvUNIQUE(outside) ? "UNIQUE"
3102                    : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
3103
3104     if (!padlist)
3105         return;
3106
3107     pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3108     pad = (AV*)*av_fetch(padlist, 1, FALSE);
3109     pname = AvARRAY(pad_name);
3110     ppad = AvARRAY(pad);
3111
3112     for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
3113         if (SvPOK(pname[ix]))
3114             PerlIO_printf(Perl_debug_log, "\t%4d. 0x%lx (%s\"%s\" %ld-%ld)\n",
3115                           ix, ppad[ix],
3116                           SvFAKE(pname[ix]) ? "FAKE " : "",
3117                           SvPVX(pname[ix]),
3118                           (long)I_32(SvNVX(pname[ix])),
3119                           (long)SvIVX(pname[ix]));
3120     }
3121 }
3122 #endif /* DEBUG_CLOSURES */
3123
3124 STATIC CV *
3125 cv_clone2(CV *proto, CV *outside)
3126 {
3127     dTHR;
3128     AV* av;
3129     I32 ix;
3130     AV* protopadlist = CvPADLIST(proto);
3131     AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
3132     AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
3133     SV** pname = AvARRAY(protopad_name);
3134     SV** ppad = AvARRAY(protopad);
3135     I32 fname = AvFILLp(protopad_name);
3136     I32 fpad = AvFILLp(protopad);
3137     AV* comppadlist;
3138     CV* cv;
3139
3140     assert(!CvUNIQUE(proto));
3141
3142     ENTER;
3143     SAVESPTR(curpad);
3144     SAVESPTR(comppad);
3145     SAVESPTR(comppad_name);
3146     SAVESPTR(compcv);
3147
3148     cv = compcv = (CV*)NEWSV(1104,0);
3149     sv_upgrade((SV *)cv, SvTYPE(proto));
3150     CvCLONED_on(cv);
3151     if (CvANON(proto))
3152         CvANON_on(cv);
3153
3154 #ifdef USE_THREADS
3155     New(666, CvMUTEXP(cv), 1, perl_mutex);
3156     MUTEX_INIT(CvMUTEXP(cv));
3157     CvOWNER(cv)         = 0;
3158 #endif /* USE_THREADS */
3159     CvFILEGV(cv)        = CvFILEGV(proto);
3160     CvGV(cv)            = (GV*)SvREFCNT_inc(CvGV(proto));
3161     CvSTASH(cv)         = CvSTASH(proto);
3162     CvROOT(cv)          = CvROOT(proto);
3163     CvSTART(cv)         = CvSTART(proto);
3164     if (outside)
3165         CvOUTSIDE(cv)   = (CV*)SvREFCNT_inc(outside);
3166
3167     if (SvPOK(proto))
3168         sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
3169
3170     comppad_name = newAV();
3171     for (ix = fname; ix >= 0; ix--)
3172         av_store(comppad_name, ix, SvREFCNT_inc(pname[ix]));
3173
3174     comppad = newAV();
3175
3176     comppadlist = newAV();
3177     AvREAL_off(comppadlist);
3178     av_store(comppadlist, 0, (SV*)comppad_name);
3179     av_store(comppadlist, 1, (SV*)comppad);
3180     CvPADLIST(cv) = comppadlist;
3181     av_fill(comppad, AvFILLp(protopad));
3182     curpad = AvARRAY(comppad);
3183
3184     av = newAV();           /* will be @_ */
3185     av_extend(av, 0);
3186     av_store(comppad, 0, (SV*)av);
3187     AvFLAGS(av) = AVf_REIFY;
3188
3189     for (ix = fpad; ix > 0; ix--) {
3190         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
3191         if (namesv && namesv != &sv_undef) {
3192             char *name = SvPVX(namesv);    /* XXX */
3193             if (SvFLAGS(namesv) & SVf_FAKE) {   /* lexical from outside? */
3194                 I32 off = pad_findlex(name, ix, SvIVX(namesv),
3195                                       CvOUTSIDE(cv), cxstack_ix);
3196                 if (!off)
3197                     curpad[ix] = SvREFCNT_inc(ppad[ix]);
3198                 else if (off != ix)
3199                     croak("panic: cv_clone: %s", name);
3200             }
3201             else {                              /* our own lexical */
3202                 SV* sv;
3203                 if (*name == '&') {
3204                     /* anon code -- we'll come back for it */
3205                     sv = SvREFCNT_inc(ppad[ix]);
3206                 }
3207                 else if (*name == '@')
3208                     sv = (SV*)newAV();
3209                 else if (*name == '%')
3210                     sv = (SV*)newHV();
3211                 else
3212                     sv = NEWSV(0,0);
3213                 if (!SvPADBUSY(sv))
3214                     SvPADMY_on(sv);
3215                 curpad[ix] = sv;
3216             }
3217         }
3218         else {
3219             SV* sv = NEWSV(0,0);
3220             SvPADTMP_on(sv);
3221             curpad[ix] = sv;
3222         }
3223     }
3224
3225     /* Now that vars are all in place, clone nested closures. */
3226
3227     for (ix = fpad; ix > 0; ix--) {
3228         SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
3229         if (namesv
3230             && namesv != &sv_undef
3231             && !(SvFLAGS(namesv) & SVf_FAKE)
3232             && *SvPVX(namesv) == '&'
3233             && CvCLONE(ppad[ix]))
3234         {
3235             CV *kid = cv_clone2((CV*)ppad[ix], cv);
3236             SvREFCNT_dec(ppad[ix]);
3237             CvCLONE_on(kid);
3238             SvPADMY_on(kid);
3239             curpad[ix] = (SV*)kid;
3240         }
3241     }
3242
3243 #ifdef DEBUG_CLOSURES
3244     PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
3245     cv_dump(outside);
3246     PerlIO_printf(Perl_debug_log, "  from:\n");
3247     cv_dump(proto);
3248     PerlIO_printf(Perl_debug_log, "   to:\n");
3249     cv_dump(cv);
3250 #endif
3251
3252     LEAVE;
3253     return cv;
3254 }
3255
3256 CV *
3257 cv_clone(CV *proto)
3258 {
3259     return cv_clone2(proto, CvOUTSIDE(proto));
3260 }
3261
3262 void
3263 cv_ckproto(CV *cv, GV *gv, char *p)
3264 {
3265     if ((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) {
3266         SV* msg = sv_newmortal();
3267         SV* name = Nullsv;
3268
3269         if (gv)
3270             gv_efullname3(name = sv_newmortal(), gv, Nullch);
3271         sv_setpv(msg, "Prototype mismatch:");
3272         if (name)
3273             sv_catpvf(msg, " sub %_", name);
3274         if (SvPOK(cv))
3275             sv_catpvf(msg, " (%s)", SvPVX(cv));
3276         sv_catpv(msg, " vs ");
3277         if (p)
3278             sv_catpvf(msg, "(%s)", p);
3279         else
3280             sv_catpv(msg, "none");
3281         warn("%_", msg);
3282     }
3283 }
3284
3285 SV *
3286 cv_const_sv(CV *cv)
3287 {
3288     OP *o;
3289     SV *sv;
3290
3291     if (!cv || !SvPOK(cv) || SvCUR(cv))
3292         return Nullsv;
3293
3294     sv = Nullsv;
3295     for (o = CvSTART(cv); o; o = o->op_next) {
3296         OPCODE type = o->op_type;
3297
3298         if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
3299             continue;
3300         if (type == OP_LEAVESUB || type == OP_RETURN)
3301             break;
3302         if (sv)
3303             return Nullsv;
3304         if (type == OP_CONST)
3305             sv = cSVOPo->op_sv;
3306         else if (type == OP_PADSV) {
3307             AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
3308             sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
3309             if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
3310                 return Nullsv;
3311         }
3312         else
3313             return Nullsv;
3314     }
3315     if (sv)
3316         SvREADONLY_on(sv);
3317     return sv;
3318 }
3319
3320 CV *
3321 newSUB(I32 floor, OP *o, OP *proto, OP *block)
3322 {
3323     dTHR;
3324     char *name = o ? SvPVx(cSVOPo->op_sv, na) : Nullch;
3325     GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
3326     char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, na) : Nullch;
3327     register CV *cv;
3328     I32 ix;
3329
3330     if (o)
3331         SAVEFREEOP(o);
3332     if (proto)
3333         SAVEFREEOP(proto);
3334
3335     if (!name || GvCVGEN(gv))
3336         cv = Nullcv;
3337     else if (cv = GvCV(gv)) {
3338         cv_ckproto(cv, gv, ps);
3339         /* already defined (or promised)? */
3340         if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3341             SV* const_sv;
3342             if (!block) {
3343                 /* just a "sub foo;" when &foo is already defined */
3344                 SAVEFREESV(compcv);
3345                 goto done;
3346             }
3347             /* ahem, death to those who redefine active sort subs */
3348             if (curstack == sortstack && sortcop == CvSTART(cv))
3349                 croak("Can't redefine active sort subroutine %s", name);
3350             const_sv = cv_const_sv(cv);
3351             if (const_sv || dowarn) {
3352                 line_t oldline = curcop->cop_line;
3353                 curcop->cop_line = copline;
3354                 warn(const_sv ? "Constant subroutine %s redefined"
3355                      : "Subroutine %s redefined", name);
3356                 curcop->cop_line = oldline;
3357             }
3358             SvREFCNT_dec(cv);
3359             cv = Nullcv;
3360         }
3361     }
3362     if (cv) {                           /* must reuse cv if autoloaded */
3363         cv_undef(cv);
3364         CvFLAGS(cv) = CvFLAGS(compcv);
3365         CvOUTSIDE(cv) = CvOUTSIDE(compcv);
3366         CvOUTSIDE(compcv) = 0;
3367         CvPADLIST(cv) = CvPADLIST(compcv);
3368         CvPADLIST(compcv) = 0;
3369         if (SvREFCNT(compcv) > 1) /* XXX Make closures transit through stub. */
3370             CvOUTSIDE(compcv) = (CV*)SvREFCNT_inc((SV*)cv);
3371         SvREFCNT_dec(compcv);
3372     }
3373     else {
3374         cv = compcv;
3375         if (name) {
3376             GvCV(gv) = cv;
3377             GvCVGEN(gv) = 0;
3378             sub_generation++;
3379         }
3380     }
3381     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
3382     CvFILEGV(cv) = curcop->cop_filegv;
3383     CvSTASH(cv) = curstash;
3384 #ifdef USE_THREADS
3385     CvOWNER(cv) = 0;
3386     New(666, CvMUTEXP(cv), 1, perl_mutex);
3387     MUTEX_INIT(CvMUTEXP(cv));
3388 #endif /* USE_THREADS */
3389
3390     if (ps)
3391         sv_setpv((SV*)cv, ps);
3392
3393     if (error_count) {
3394         op_free(block);
3395         block = Nullop;
3396         if (name) {
3397             char *s = strrchr(name, ':');
3398             s = s ? s+1 : name;
3399             if (strEQ(s, "BEGIN")) {
3400                 char *not_safe =
3401                     "BEGIN not safe after errors--compilation aborted";
3402                 if (in_eval & 4)
3403                     croak(not_safe);
3404                 else {
3405                     /* force display of errors found but not reported */
3406                     sv_catpv(ERRSV, not_safe);
3407                     croak("%s", SvPVx(ERRSV, na));
3408                 }
3409             }
3410         }
3411     }
3412     if (!block) {
3413         copline = NOLINE;
3414         LEAVE_SCOPE(floor);
3415         return cv;
3416     }
3417
3418     if (AvFILLp(comppad_name) < AvFILLp(comppad))
3419         av_store(comppad_name, AvFILLp(comppad), Nullsv);
3420
3421     if (CvCLONE(cv)) {
3422         SV **namep = AvARRAY(comppad_name);
3423         for (ix = AvFILLp(comppad); ix > 0; ix--) {
3424             SV *namesv;
3425
3426             if (SvIMMORTAL(curpad[ix]))
3427                 continue;
3428             /*
3429              * The only things that a clonable function needs in its
3430              * pad are references to outer lexicals and anonymous subs.
3431              * The rest are created anew during cloning.
3432              */
3433             if (!((namesv = namep[ix]) != Nullsv &&
3434                   namesv != &sv_undef &&
3435                   (SvFAKE(namesv) ||
3436                    *SvPVX(namesv) == '&')))
3437             {
3438                 SvREFCNT_dec(curpad[ix]);
3439                 curpad[ix] = Nullsv;
3440             }
3441         }
3442     }
3443     else {
3444         AV *av = newAV();                       /* Will be @_ */
3445         av_extend(av, 0);
3446         av_store(comppad, 0, (SV*)av);
3447         AvFLAGS(av) = AVf_REIFY;
3448
3449         for (ix = AvFILLp(comppad); ix > 0; ix--) {
3450             if (SvIMMORTAL(curpad[ix]))
3451                 continue;
3452             if (!SvPADMY(curpad[ix]))
3453                 SvPADTMP_on(curpad[ix]);
3454         }
3455     }
3456
3457     CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
3458     CvSTART(cv) = LINKLIST(CvROOT(cv));
3459     CvROOT(cv)->op_next = 0;
3460     peep(CvSTART(cv));
3461
3462     if (name) {
3463         char *s;
3464
3465         if (PERLDB_SUBLINE && curstash != debstash) {
3466             SV *sv = NEWSV(0,0);
3467             SV *tmpstr = sv_newmortal();
3468             GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
3469             CV *cv;
3470             HV *hv;
3471
3472             sv_setpvf(sv, "%_:%ld-%ld",
3473                     GvSV(curcop->cop_filegv),
3474                     (long)subline, (long)curcop->cop_line);
3475             gv_efullname3(tmpstr, gv, Nullch);
3476             hv_store(GvHV(DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
3477             hv = GvHVn(db_postponed);
3478             if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
3479                   && (cv = GvCV(db_postponed))) {
3480                 dSP;
3481                 PUSHMARK(sp);
3482                 XPUSHs(tmpstr);
3483                 PUTBACK;
3484                 perl_call_sv((SV*)cv, G_DISCARD);
3485             }
3486         }
3487
3488         if ((s = strrchr(name,':')))
3489             s++;
3490         else
3491             s = name;
3492         if (strEQ(s, "BEGIN")) {
3493             I32 oldscope = scopestack_ix;
3494             ENTER;
3495             SAVESPTR(compiling.cop_filegv);
3496             SAVEI16(compiling.cop_line);
3497             SAVEI32(perldb);
3498             save_svref(&rs);
3499             sv_setsv(rs, nrs);
3500
3501             if (!beginav)
3502                 beginav = newAV();
3503             DEBUG_x( dump_sub(gv) );
3504             av_push(beginav, (SV *)cv);
3505             GvCV(gv) = 0;
3506             call_list(oldscope, beginav);
3507
3508             curcop = &compiling;
3509             LEAVE;
3510         }
3511         else if (strEQ(s, "END") && !error_count) {
3512             if (!endav)
3513                 endav = newAV();
3514             av_unshift(endav, 1);
3515             av_store(endav, 0, (SV *)cv);
3516             GvCV(gv) = 0;
3517         }
3518         else if (strEQ(s, "INIT") && !error_count) {
3519             if (!initav)
3520                 initav = newAV();
3521             av_push(initav, SvREFCNT_inc(cv));
3522         }
3523     }
3524
3525   done:
3526     copline = NOLINE;
3527     LEAVE_SCOPE(floor);
3528     return cv;
3529 }
3530
3531 CV *
3532 newXS(char *name, void (*subaddr) (CPERLproto_ CV *), char *filename)
3533 {
3534     dTHR;
3535     GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
3536     register CV *cv;
3537
3538     if (cv = (name ? GvCV(gv) : Nullcv)) {
3539         if (GvCVGEN(gv)) {
3540             /* just a cached method */
3541             SvREFCNT_dec(cv);
3542             cv = 0;
3543         }
3544         else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3545             /* already defined (or promised) */
3546             if (dowarn) {
3547                 line_t oldline = curcop->cop_line;
3548                 curcop->cop_line = copline;
3549                 warn("Subroutine %s redefined",name);
3550                 curcop->cop_line = oldline;
3551             }
3552             SvREFCNT_dec(cv);
3553             cv = 0;
3554         }
3555     }
3556
3557     if (cv)                             /* must reuse cv if autoloaded */
3558         cv_undef(cv);
3559     else {
3560         cv = (CV*)NEWSV(1105,0);
3561         sv_upgrade((SV *)cv, SVt_PVCV);
3562         if (name) {
3563             GvCV(gv) = cv;
3564             GvCVGEN(gv) = 0;
3565             sub_generation++;
3566         }
3567     }
3568     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
3569 #ifdef USE_THREADS
3570     New(666, CvMUTEXP(cv), 1, perl_mutex);
3571     MUTEX_INIT(CvMUTEXP(cv));
3572     CvOWNER(cv) = 0;
3573 #endif /* USE_THREADS */
3574     CvFILEGV(cv) = gv_fetchfile(filename);
3575     CvXSUB(cv) = subaddr;
3576
3577     if (name) {
3578         char *s = strrchr(name,':');
3579         if (s)
3580             s++;
3581         else
3582             s = name;
3583         if (strEQ(s, "BEGIN")) {
3584             if (!beginav)
3585                 beginav = newAV();
3586             av_push(beginav, (SV *)cv);
3587             GvCV(gv) = 0;
3588         }
3589         else if (strEQ(s, "END")) {
3590             if (!endav)
3591                 endav = newAV();
3592             av_unshift(endav, 1);
3593             av_store(endav, 0, (SV *)cv);
3594             GvCV(gv) = 0;
3595         }
3596         else if (strEQ(s, "INIT")) {
3597             if (!initav)
3598                 initav = newAV();
3599             av_push(initav, (SV *)cv);
3600         }
3601     }
3602     else
3603         CvANON_on(cv);
3604
3605     return cv;
3606 }
3607
3608 void
3609 newFORM(I32 floor, OP *o, OP *block)
3610 {
3611     dTHR;
3612     register CV *cv;
3613     char *name;
3614     GV *gv;
3615     I32 ix;
3616
3617     if (o)
3618         name = SvPVx(cSVOPo->op_sv, na);
3619     else
3620         name = "STDOUT";
3621     gv = gv_fetchpv(name,TRUE, SVt_PVFM);
3622     GvMULTI_on(gv);
3623     if (cv = GvFORM(gv)) {
3624         if (dowarn) {
3625             line_t oldline = curcop->cop_line;
3626
3627             curcop->cop_line = copline;
3628             warn("Format %s redefined",name);
3629             curcop->cop_line = oldline;
3630         }
3631         SvREFCNT_dec(cv);
3632     }
3633     cv = compcv;
3634     GvFORM(gv) = cv;
3635     CvGV(cv) = (GV*)SvREFCNT_inc(gv);
3636     CvFILEGV(cv) = curcop->cop_filegv;
3637
3638     for (ix = AvFILLp(comppad); ix > 0; ix--) {
3639         if (!SvPADMY(curpad[ix]) && !SvIMMORTAL(curpad[ix]))
3640             SvPADTMP_on(curpad[ix]);
3641     }
3642
3643     CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
3644     CvSTART(cv) = LINKLIST(CvROOT(cv));
3645     CvROOT(cv)->op_next = 0;
3646     peep(CvSTART(cv));
3647     op_free(o);
3648     copline = NOLINE;
3649     LEAVE_SCOPE(floor);
3650 }
3651
3652 OP *
3653 newANONLIST(OP *o)
3654 {
3655     return newUNOP(OP_REFGEN, 0,
3656         mod(list(convert(OP_ANONLIST, 0, o)), OP_REFGEN));
3657 }
3658
3659 OP *
3660 newANONHASH(OP *o)
3661 {
3662     return newUNOP(OP_REFGEN, 0,
3663         mod(list(convert(OP_ANONHASH, 0, o)), OP_REFGEN));
3664 }
3665
3666 OP *
3667 newANONSUB(I32 floor, OP *proto, OP *block)
3668 {
3669     return newUNOP(OP_REFGEN, 0,
3670         newSVOP(OP_ANONCODE, 0, (SV*)newSUB(floor, 0, proto, block)));
3671 }
3672
3673 OP *
3674 oopsAV(OP *o)
3675 {
3676     switch (o->op_type) {
3677     case OP_PADSV:
3678         o->op_type = OP_PADAV;
3679         o->op_ppaddr = ppaddr[OP_PADAV];
3680         return ref(newUNOP(OP_RV2AV, 0, scalar(o)), OP_RV2AV);
3681
3682     case OP_RV2SV:
3683         o->op_type = OP_RV2AV;
3684         o->op_ppaddr = ppaddr[OP_RV2AV];
3685         ref(o, OP_RV2AV);
3686         break;
3687
3688     default:
3689         warn("oops: oopsAV");
3690         break;
3691     }
3692     return o;
3693 }
3694
3695 OP *
3696 oopsHV(OP *o)
3697 {
3698     switch (o->op_type) {
3699     case OP_PADSV:
3700     case OP_PADAV:
3701         o->op_type = OP_PADHV;
3702         o->op_ppaddr = ppaddr[OP_PADHV];
3703         return ref(newUNOP(OP_RV2HV, 0, scalar(o)), OP_RV2HV);
3704
3705     case OP_RV2SV:
3706     case OP_RV2AV:
3707         o->op_type = OP_RV2HV;
3708         o->op_ppaddr = ppaddr[OP_RV2HV];
3709         ref(o, OP_RV2HV);
3710         break;
3711
3712     default:
3713         warn("oops: oopsHV");
3714         break;
3715     }
3716     return o;
3717 }
3718
3719 OP *
3720 newAVREF(OP *o)
3721 {
3722     if (o->op_type == OP_PADANY) {
3723         o->op_type = OP_PADAV;
3724         o->op_ppaddr = ppaddr[OP_PADAV];
3725         return o;
3726     }
3727     return newUNOP(OP_RV2AV, 0, scalar(o));
3728 }
3729
3730 OP *
3731 newGVREF(I32 type, OP *o)
3732 {
3733     if (type == OP_MAPSTART)
3734         return newUNOP(OP_NULL, 0, o);
3735     return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
3736 }
3737
3738 OP *
3739 newHVREF(OP *o)
3740 {
3741     if (o->op_type == OP_PADANY) {
3742         o->op_type = OP_PADHV;
3743         o->op_ppaddr = ppaddr[OP_PADHV];
3744         return o;
3745     }
3746     return newUNOP(OP_RV2HV, 0, scalar(o));
3747 }
3748
3749 OP *
3750 oopsCV(OP *o)
3751 {
3752     croak("NOT IMPL LINE %d",__LINE__);
3753     /* STUB */
3754     return o;
3755 }
3756
3757 OP *
3758 newCVREF(I32 flags, OP *o)
3759 {
3760     return newUNOP(OP_RV2CV, flags, scalar(o));
3761 }
3762
3763 OP *
3764 newSVREF(OP *o)
3765 {
3766     if (o->op_type == OP_PADANY) {
3767         o->op_type = OP_PADSV;
3768         o->op_ppaddr = ppaddr[OP_PADSV];
3769         return o;
3770     }
3771     else if (o->op_type == OP_THREADSV && !(o->op_flags & OPpDONE_SVREF)) {
3772         o->op_flags |= OPpDONE_SVREF;
3773         return o;
3774     }
3775     return newUNOP(OP_RV2SV, 0, scalar(o));
3776 }
3777
3778 /* Check routines. */
3779
3780 OP *
3781 ck_anoncode(OP *o)
3782 {
3783     PADOFFSET ix;
3784     SV* name;
3785
3786     name = NEWSV(1106,0);
3787     sv_upgrade(name, SVt_PVNV);
3788     sv_setpvn(name, "&", 1);
3789     SvIVX(name) = -1;
3790     SvNVX(name) = 1;
3791     ix = pad_alloc(o->op_type, SVs_PADMY);
3792     av_store(comppad_name, ix, name);
3793     av_store(comppad, ix, cSVOPo->op_sv);
3794     SvPADMY_on(cSVOPo->op_sv);
3795     cSVOPo->op_sv = Nullsv;
3796     cSVOPo->op_targ = ix;
3797     return o;
3798 }
3799
3800 OP *
3801 ck_bitop(OP *o)
3802 {
3803     o->op_private = hints;
3804     return o;
3805 }
3806
3807 OP *
3808 ck_concat(OP *o)
3809 {
3810     if (cUNOPo->op_first->op_type == OP_CONCAT)
3811         o->op_flags |= OPf_STACKED;
3812     return o;
3813 }
3814
3815 OP *
3816 ck_spair(OP *o)
3817 {
3818     if (o->op_flags & OPf_KIDS) {
3819         OP* newop;
3820         OP* kid;
3821         OPCODE type = o->op_type;
3822         o = modkids(ck_fun(o), type);
3823         kid = cUNOPo->op_first;
3824         newop = kUNOP->op_first->op_sibling;
3825         if (newop &&
3826             (newop->op_sibling ||
3827              !(opargs[newop->op_type] & OA_RETSCALAR) ||
3828              newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
3829              newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
3830
3831             return o;
3832         }
3833         op_free(kUNOP->op_first);
3834         kUNOP->op_first = newop;
3835     }
3836     o->op_ppaddr = ppaddr[++o->op_type];
3837     return ck_fun(o);
3838 }
3839
3840 OP *
3841 ck_delete(OP *o)
3842 {
3843     o = ck_fun(o);
3844     o->op_private = 0;
3845     if (o->op_flags & OPf_KIDS) {
3846         OP *kid = cUNOPo->op_first;
3847         if (kid->op_type == OP_HSLICE)
3848             o->op_private |= OPpSLICE;
3849         else if (kid->op_type != OP_HELEM)
3850             croak("%s argument is not a HASH element or slice",
3851                   op_desc[o->op_type]);
3852         null(kid);
3853     }
3854     return o;
3855 }
3856
3857 OP *
3858 ck_eof(OP *o)
3859 {
3860     I32 type = o->op_type;
3861
3862     if (o->op_flags & OPf_KIDS) {
3863         if (cLISTOPo->op_first->op_type == OP_STUB) {
3864             op_free(o);
3865             o = newUNOP(type, OPf_SPECIAL,
3866                 newGVOP(OP_GV, 0, gv_fetchpv("main::ARGV", TRUE, SVt_PVAV)));
3867         }
3868         return ck_fun(o);
3869     }
3870     return o;
3871 }
3872
3873 OP *
3874 ck_eval(OP *o)
3875 {
3876     hints |= HINT_BLOCK_SCOPE;
3877     if (o->op_flags & OPf_KIDS) {
3878         SVOP *kid = (SVOP*)cUNOPo->op_first;
3879
3880         if (!kid) {
3881             o->op_flags &= ~OPf_KIDS;
3882             null(o);
3883         }
3884         else if (kid->op_type == OP_LINESEQ) {
3885             LOGOP *enter;
3886
3887             kid->op_next = o->op_next;
3888             cUNOPo->op_first = 0;
3889             op_free(o);
3890
3891             Newz(1101, enter, 1, LOGOP);
3892             enter->op_type = OP_ENTERTRY;
3893             enter->op_ppaddr = ppaddr[OP_ENTERTRY];
3894             enter->op_private = 0;
3895
3896             /* establish postfix order */
3897             enter->op_next = (OP*)enter;
3898
3899             o = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
3900             o->op_type = OP_LEAVETRY;
3901             o->op_ppaddr = ppaddr[OP_LEAVETRY];
3902             enter->op_other = o;
3903             return o;
3904         }
3905         else
3906             scalar((OP*)kid);
3907     }
3908     else {
3909         op_free(o);
3910         o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
3911     }
3912     o->op_targ = (PADOFFSET)hints;
3913     return o;
3914 }
3915
3916 OP *
3917 ck_exec(OP *o)
3918 {
3919     OP *kid;
3920     if (o->op_flags & OPf_STACKED) {
3921         o = ck_fun(o);
3922         kid = cUNOPo->op_first->op_sibling;
3923         if (kid->op_type == OP_RV2GV)
3924             null(kid);
3925     }
3926     else
3927         o = listkids(o);
3928     return o;
3929 }
3930
3931 OP *
3932 ck_exists(OP *o)
3933 {
3934     o = ck_fun(o);
3935     if (o->op_flags & OPf_KIDS) {
3936         OP *kid = cUNOPo->op_first;
3937         if (kid->op_type != OP_HELEM)
3938             croak("%s argument is not a HASH element", op_desc[o->op_type]);
3939         null(kid);
3940     }
3941     return o;
3942 }
3943
3944 OP *
3945 ck_gvconst(register OP *o)
3946 {
3947     o = fold_constants(o);
3948     if (o->op_type == OP_CONST)
3949         o->op_type = OP_GV;
3950     return o;
3951 }
3952
3953 OP *
3954 ck_rvconst(register OP *o)
3955 {
3956     dTHR;
3957     SVOP *kid = (SVOP*)cUNOPo->op_first;
3958
3959     o->op_private |= (hints & HINT_STRICT_REFS);
3960     if (kid->op_type == OP_CONST) {
3961         char *name;
3962         int iscv;
3963         GV *gv;
3964
3965         name = SvPV(kid->op_sv, na);
3966         if ((hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
3967             char *badthing = Nullch;
3968             switch (o->op_type) {
3969             case OP_RV2SV:
3970                 badthing = "a SCALAR";
3971                 break;
3972             case OP_RV2AV:
3973                 badthing = "an ARRAY";
3974                 break;
3975             case OP_RV2HV:
3976                 badthing = "a HASH";
3977                 break;
3978             }
3979             if (badthing)
3980                 croak(
3981           "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
3982                       name, badthing);
3983         }
3984         kid->op_type = OP_GV;
3985         iscv = (o->op_type == OP_RV2CV) * 2;
3986         for (gv = 0; !gv; iscv++) {
3987             /*
3988              * This is a little tricky.  We only want to add the symbol if we
3989              * didn't add it in the lexer.  Otherwise we get duplicate strict
3990              * warnings.  But if we didn't add it in the lexer, we must at
3991              * least pretend like we wanted to add it even if it existed before,
3992              * or we get possible typo warnings.  OPpCONST_ENTERED says
3993              * whether the lexer already added THIS instance of this symbol.
3994              */
3995             gv = gv_fetchpv(name,
3996                 iscv | !(kid->op_private & OPpCONST_ENTERED),
3997                 iscv
3998                     ? SVt_PVCV
3999                     : o->op_type == OP_RV2SV
4000                         ? SVt_PV
4001                         : o->op_type == OP_RV2AV
4002                             ? SVt_PVAV
4003                             : o->op_type == OP_RV2HV
4004                                 ? SVt_PVHV
4005                                 : SVt_PVGV);
4006         }
4007         SvREFCNT_dec(kid->op_sv);
4008         kid->op_sv = SvREFCNT_inc(gv);
4009     }
4010     return o;
4011 }
4012
4013 OP *
4014 ck_ftst(OP *o)
4015 {
4016     dTHR;
4017     I32 type = o->op_type;
4018
4019     if (o->op_flags & OPf_REF)
4020         return o;
4021
4022     if (o->op_flags & OPf_KIDS) {
4023         SVOP *kid = (SVOP*)cUNOPo->op_first;
4024
4025         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
4026             OP *newop = newGVOP(type, OPf_REF,
4027                 gv_fetchpv(SvPVx(kid->op_sv, na), TRUE, SVt_PVIO));
4028             op_free(o);
4029             return newop;
4030         }
4031     }
4032     else {
4033         op_free(o);
4034         if (type == OP_FTTTY)
4035            return newGVOP(type, OPf_REF, gv_fetchpv("main::STDIN", TRUE,
4036                                 SVt_PVIO));
4037         else
4038             return newUNOP(type, 0, newDEFSVOP());
4039     }
4040     return o;
4041 }
4042
4043 OP *
4044 ck_fun(OP *o)
4045 {
4046     dTHR;
4047     register OP *kid;
4048     OP **tokid;
4049     OP *sibl;
4050     I32 numargs = 0;
4051     int type = o->op_type;
4052     register I32 oa = opargs[type] >> OASHIFT;
4053
4054     if (o->op_flags & OPf_STACKED) {
4055         if ((oa & OA_OPTIONAL) && (oa >> 4) && !((oa >> 4) & OA_OPTIONAL))
4056             oa &= ~OA_OPTIONAL;
4057         else
4058             return no_fh_allowed(o);
4059     }
4060
4061     if (o->op_flags & OPf_KIDS) {
4062         tokid = &cLISTOPo->op_first;
4063         kid = cLISTOPo->op_first;
4064         if (kid->op_type == OP_PUSHMARK ||
4065             kid->op_type == OP_NULL && kid->op_targ == OP_PUSHMARK)
4066         {
4067             tokid = &kid->op_sibling;
4068             kid = kid->op_sibling;
4069         }
4070         if (!kid && opargs[type] & OA_DEFGV)
4071             *tokid = kid = newDEFSVOP();
4072
4073         while (oa && kid) {
4074             numargs++;
4075             sibl = kid->op_sibling;
4076             switch (oa & 7) {
4077             case OA_SCALAR:
4078                 scalar(kid);
4079                 break;
4080             case OA_LIST:
4081                 if (oa < 16) {
4082                     kid = 0;
4083                     continue;
4084                 }
4085                 else
4086                     list(kid);
4087                 break;
4088             case OA_AVREF:
4089                 if (kid->op_type == OP_CONST &&
4090                   (kid->op_private & OPpCONST_BARE)) {
4091                     char *name = SvPVx(((SVOP*)kid)->op_sv, na);
4092                     OP *newop = newAVREF(newGVOP(OP_GV, 0,
4093                         gv_fetchpv(name, TRUE, SVt_PVAV) ));
4094                     if (dowarn)
4095                         warn("Array @%s missing the @ in argument %ld of %s()",
4096                             name, (long)numargs, op_desc[type]);
4097                     op_free(kid);
4098                     kid = newop;
4099                     kid->op_sibling = sibl;
4100                     *tokid = kid;
4101                 }
4102                 else if (kid->op_type != OP_RV2AV && kid->op_type != OP_PADAV)
4103                     bad_type(numargs, "array", op_desc[o->op_type], kid);
4104                 mod(kid, type);
4105                 break;
4106             case OA_HVREF:
4107                 if (kid->op_type == OP_CONST &&
4108                   (kid->op_private & OPpCONST_BARE)) {
4109                     char *name = SvPVx(((SVOP*)kid)->op_sv, na);
4110                     OP *newop = newHVREF(newGVOP(OP_GV, 0,
4111                         gv_fetchpv(name, TRUE, SVt_PVHV) ));
4112                     if (dowarn)
4113                         warn("Hash %%%s missing the %% in argument %ld of %s()",
4114                             name, (long)numargs, op_desc[type]);
4115                     op_free(kid);
4116                     kid = newop;
4117                     kid->op_sibling = sibl;
4118                     *tokid = kid;
4119                 }
4120                 else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
4121                     bad_type(numargs, "hash", op_desc[o->op_type], kid);
4122                 mod(kid, type);
4123                 break;
4124             case OA_CVREF:
4125                 {
4126                     OP *newop = newUNOP(OP_NULL, 0, kid);
4127                     kid->op_sibling = 0;
4128                     linklist(kid);
4129                     newop->op_next = newop;
4130                     kid = newop;
4131                     kid->op_sibling = sibl;
4132                     *tokid = kid;
4133                 }
4134                 break;
4135             case OA_FILEREF:
4136                 if (kid->op_type != OP_GV) {
4137                     if (kid->op_type == OP_CONST &&
4138                       (kid->op_private & OPpCONST_BARE)) {
4139                         OP *newop = newGVOP(OP_GV, 0,
4140                             gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, na), TRUE,
4141                                         SVt_PVIO) );
4142                         op_free(kid);
4143                         kid = newop;
4144                     }
4145                     else {
4146                         kid->op_sibling = 0;
4147                         kid = newUNOP(OP_RV2GV, 0, scalar(kid));
4148                     }
4149                     kid->op_sibling = sibl;
4150                     *tokid = kid;
4151                 }
4152                 scalar(kid);
4153                 break;
4154             case OA_SCALARREF:
4155                 mod(scalar(kid), type);
4156                 break;
4157             }
4158             oa >>= 4;
4159             tokid = &kid->op_sibling;
4160             kid = kid->op_sibling;
4161         }
4162         o->op_private |= numargs;
4163         if (kid)
4164             return too_many_arguments(o,op_desc[o->op_type]);
4165         listkids(o);
4166     }
4167     else if (opargs[type] & OA_DEFGV) {
4168         op_free(o);
4169         return newUNOP(type, 0, newDEFSVOP());
4170     }
4171
4172     if (oa) {
4173         while (oa & OA_OPTIONAL)
4174             oa >>= 4;
4175         if (oa && oa != OA_LIST)
4176             return too_few_arguments(o,op_desc[o->op_type]);
4177     }
4178     return o;
4179 }
4180
4181 OP *
4182 ck_glob(OP *o)
4183 {
4184     GV *gv;
4185
4186     if ((o->op_flags & OPf_KIDS) && !cLISTOPo->op_first->op_sibling)
4187         append_elem(OP_GLOB, o, newDEFSVOP());
4188
4189     if (!((gv = gv_fetchpv("glob", FALSE, SVt_PVCV)) && GvIMPORTED_CV(gv)))
4190         gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
4191
4192     if (gv && GvIMPORTED_CV(gv)) {
4193         static int glob_index;
4194
4195         append_elem(OP_GLOB, o,
4196                     newSVOP(OP_CONST, 0, newSViv(glob_index++)));
4197         o->op_type = OP_LIST;
4198         o->op_ppaddr = ppaddr[OP_LIST];
4199         cLISTOPo->op_first->op_type = OP_PUSHMARK;
4200         cLISTOPo->op_first->op_ppaddr = ppaddr[OP_PUSHMARK];
4201         o = newUNOP(OP_ENTERSUB, OPf_STACKED,
4202                     append_elem(OP_LIST, o,
4203                                 scalar(newUNOP(OP_RV2CV, 0,
4204                                                newGVOP(OP_GV, 0, gv)))));
4205         o = newUNOP(OP_NULL, 0, ck_subr(o));
4206         o->op_targ = OP_GLOB;           /* hint at what it used to be */
4207         return o;
4208     }
4209     gv = newGVgen("main");
4210     gv_IOadd(gv);
4211     append_elem(OP_GLOB, o, newGVOP(OP_GV, 0, gv));
4212     scalarkids(o);
4213     return ck_fun(o);
4214 }
4215
4216 OP *
4217 ck_grep(OP *o)
4218 {
4219     LOGOP *gwop;
4220     OP *kid;
4221     OPCODE type = o->op_type == OP_GREPSTART ? OP_GREPWHILE : OP_MAPWHILE;
4222
4223     o->op_ppaddr = ppaddr[OP_GREPSTART];
4224     Newz(1101, gwop, 1, LOGOP);
4225
4226     if (o->op_flags & OPf_STACKED) {
4227         OP* k;
4228         o = ck_sort(o);
4229         kid = cLISTOPo->op_first->op_sibling;
4230         for (k = cLISTOPo->op_first->op_sibling->op_next; k; k = k->op_next) {
4231             kid = k;
4232         }
4233         kid->op_next = (OP*)gwop;
4234         o->op_flags &= ~OPf_STACKED;
4235     }
4236     kid = cLISTOPo->op_first->op_sibling;
4237     if (type == OP_MAPWHILE)
4238         list(kid);
4239     else
4240         scalar(kid);
4241     o = ck_fun(o);
4242     if (error_count)
4243         return o;
4244     kid = cLISTOPo->op_first->op_sibling;
4245     if (kid->op_type != OP_NULL)
4246         croak("panic: ck_grep");
4247     kid = kUNOP->op_first;
4248
4249     gwop->op_type = type;
4250     gwop->op_ppaddr = ppaddr[type];
4251     gwop->op_first = listkids(o);
4252     gwop->op_flags |= OPf_KIDS;
4253     gwop->op_private = 1;
4254     gwop->op_other = LINKLIST(kid);
4255     gwop->op_targ = pad_alloc(type, SVs_PADTMP);
4256     kid->op_next = (OP*)gwop;
4257
4258     kid = cLISTOPo->op_first->op_sibling;
4259     if (!kid || !kid->op_sibling)
4260         return too_few_arguments(o,op_desc[o->op_type]);
4261     for (kid = kid->op_sibling; kid; kid = kid->op_sibling)
4262         mod(kid, OP_GREPSTART);
4263
4264     return (OP*)gwop;
4265 }
4266
4267 OP *
4268 ck_index(OP *o)
4269 {
4270     if (o->op_flags & OPf_KIDS) {
4271         OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
4272         if (kid && kid->op_type == OP_CONST)
4273             fbm_compile(((SVOP*)kid)->op_sv);
4274     }
4275     return ck_fun(o);
4276 }
4277
4278 OP *
4279 ck_lengthconst(OP *o)
4280 {
4281     /* XXX length optimization goes here */
4282     return ck_fun(o);
4283 }
4284
4285 OP *
4286 ck_lfun(OP *o)
4287 {
4288     OPCODE type = o->op_type;
4289     return modkids(ck_fun(o), type);
4290 }
4291
4292 OP *
4293 ck_rfun(OP *o)
4294 {
4295     OPCODE type = o->op_type;
4296     return refkids(ck_fun(o), type);
4297 }
4298
4299 OP *
4300 ck_listiob(OP *o)
4301 {
4302     register OP *kid;
4303
4304     kid = cLISTOPo->op_first;
4305     if (!kid) {
4306         o = force_list(o);
4307         kid = cLISTOPo->op_first;
4308     }
4309     if (kid->op_type == OP_PUSHMARK)
4310         kid = kid->op_sibling;
4311     if (kid && o->op_flags & OPf_STACKED)
4312         kid = kid->op_sibling;
4313     else if (kid && !kid->op_sibling) {         /* print HANDLE; */
4314         if (kid->op_type == OP_CONST && kid->op_private & OPpCONST_BARE) {
4315             o->op_flags |= OPf_STACKED; /* make it a filehandle */
4316             kid = newUNOP(OP_RV2GV, OPf_REF, scalar(kid));
4317             cLISTOPo->op_first->op_sibling = kid;
4318             cLISTOPo->op_last = kid;
4319             kid = kid->op_sibling;
4320         }
4321     }
4322
4323     if (!kid)
4324         append_elem(o->op_type, o, newDEFSVOP());
4325
4326     o = listkids(o);
4327
4328     o->op_private = 0;
4329 #ifdef USE_LOCALE
4330     if (hints & HINT_LOCALE)
4331         o->op_private |= OPpLOCALE;
4332 #endif
4333
4334     return o;
4335 }
4336
4337 OP *
4338 ck_fun_locale(OP *o)
4339 {
4340     o = ck_fun(o);
4341
4342     o->op_private = 0;
4343 #ifdef USE_LOCALE
4344     if (hints & HINT_LOCALE)
4345         o->op_private |= OPpLOCALE;
4346 #endif
4347
4348     return o;
4349 }
4350
4351 OP *
4352 ck_scmp(OP *o)
4353 {
4354     o->op_private = 0;
4355 #ifdef USE_LOCALE
4356     if (hints & HINT_LOCALE)
4357         o->op_private |= OPpLOCALE;
4358 #endif
4359
4360     return o;
4361 }
4362
4363 OP *
4364 ck_match(OP *o)
4365 {
4366     o->op_private |= OPpRUNTIME;
4367     return o;
4368 }
4369
4370 OP *
4371 ck_null(OP *o)
4372 {
4373     return o;
4374 }
4375
4376 OP *
4377 ck_repeat(OP *o)
4378 {
4379     if (cBINOPo->op_first->op_flags & OPf_PARENS) {
4380         o->op_private |= OPpREPEAT_DOLIST;
4381         cBINOPo->op_first = force_list(cBINOPo->op_first);
4382     }
4383     else
4384         scalar(o);
4385     return o;
4386 }
4387
4388 OP *
4389 ck_require(OP *o)
4390 {
4391     if (o->op_flags & OPf_KIDS) {       /* Shall we supply missing .pm? */
4392         SVOP *kid = (SVOP*)cUNOPo->op_first;
4393
4394         if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
4395             char *s;
4396             for (s = SvPVX(kid->op_sv); *s; s++) {
4397                 if (*s == ':' && s[1] == ':') {
4398                     *s = '/';
4399                     Move(s+2, s+1, strlen(s+2)+1, char);
4400                     --SvCUR(kid->op_sv);
4401                 }
4402             }
4403             sv_catpvn(kid->op_sv, ".pm", 3);
4404         }
4405     }
4406     return ck_fun(o);
4407 }
4408
4409 OP *
4410 ck_retarget(OP *o)
4411 {
4412     croak("NOT IMPL LINE %d",__LINE__);
4413     /* STUB */
4414     return o;
4415 }
4416
4417 OP *
4418 ck_select(OP *o)
4419 {
4420     OP* kid;
4421     if (o->op_flags & OPf_KIDS) {
4422         kid = cLISTOPo->op_first->op_sibling;   /* get past pushmark */
4423         if (kid && kid->op_sibling) {
4424             o->op_type = OP_SSELECT;
4425             o->op_ppaddr = ppaddr[OP_SSELECT];
4426             o = ck_fun(o);
4427             return fold_constants(o);
4428         }
4429     }
4430     o = ck_fun(o);
4431     kid = cLISTOPo->op_first->op_sibling;    /* get past pushmark */
4432     if (kid && kid->op_type == OP_RV2GV)
4433         kid->op_private &= ~HINT_STRICT_REFS;
4434     return o;
4435 }
4436
4437 OP *
4438 ck_shift(OP *o)
4439 {
4440     I32 type = o->op_type;
4441
4442     if (!(o->op_flags & OPf_KIDS)) {
4443         OP *argop;
4444
4445         op_free(o);
4446 #ifdef USE_THREADS
4447         if (!CvUNIQUE(compcv)) {
4448             argop = newOP(OP_PADAV, OPf_REF);
4449             argop->op_targ = 0;         /* curpad[0] is @_ */
4450         }
4451         else {
4452             argop = newUNOP(OP_RV2AV, 0,
4453                 scalar(newGVOP(OP_GV, 0,
4454                     gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
4455         }
4456 #else
4457         argop = newUNOP(OP_RV2AV, 0,
4458             scalar(newGVOP(OP_GV, 0, !CvUNIQUE(compcv) ?
4459                            defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
4460 #endif /* USE_THREADS */
4461         return newUNOP(type, 0, scalar(argop));
4462     }
4463     return scalar(modkids(ck_fun(o), type));
4464 }
4465
4466 OP *
4467 ck_sort(OP *o)
4468 {
4469     o->op_private = 0;
4470 #ifdef USE_LOCALE
4471     if (hints & HINT_LOCALE)
4472         o->op_private |= OPpLOCALE;
4473 #endif
4474
4475     if (o->op_flags & OPf_STACKED) {
4476         OP *kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
4477         OP *k;
4478         kid = kUNOP->op_first;                          /* get past rv2gv */
4479
4480         if (kid->op_type == OP_SCOPE || kid->op_type == OP_LEAVE) {
4481             linklist(kid);
4482             if (kid->op_type == OP_SCOPE) {
4483                 k = kid->op_next;
4484                 kid->op_next = 0;
4485             }
4486             else if (kid->op_type == OP_LEAVE) {
4487                 if (o->op_type == OP_SORT) {
4488                     null(kid);                  /* wipe out leave */
4489                     kid->op_next = kid;
4490
4491                     for (k = kLISTOP->op_first->op_next; k; k = k->op_next) {
4492                         if (k->op_next == kid)
4493                             k->op_next = 0;
4494                     }
4495                 }
4496                 else
4497                     kid->op_next = 0;           /* just disconnect the leave */
4498                 k = kLISTOP->op_first;
4499             }
4500             peep(k);
4501
4502             kid = cLISTOPo->op_first->op_sibling;       /* get past pushmark */
4503             null(kid);                                  /* wipe out rv2gv */
4504             if (o->op_type == OP_SORT)
4505                 kid->op_next = kid;
4506             else
4507                 kid->op_next = k;
4508             o->op_flags |= OPf_SPECIAL;
4509         }
4510     }
4511
4512     return o;
4513 }
4514
4515 OP *
4516 ck_split(OP *o)
4517 {
4518     register OP *kid;
4519
4520     if (o->op_flags & OPf_STACKED)
4521         return no_fh_allowed(o);
4522
4523     kid = cLISTOPo->op_first;
4524     if (kid->op_type != OP_NULL)
4525         croak("panic: ck_split");
4526     kid = kid->op_sibling;
4527     op_free(cLISTOPo->op_first);
4528     cLISTOPo->op_first = kid;
4529     if (!kid) {
4530         cLISTOPo->op_first = kid = newSVOP(OP_CONST, 0, newSVpv(" ", 1));
4531         cLISTOPo->op_last = kid; /* There was only one element previously */
4532     }
4533
4534     if (kid->op_type != OP_MATCH) {
4535         OP *sibl = kid->op_sibling;
4536         kid->op_sibling = 0;
4537         kid = pmruntime( newPMOP(OP_MATCH, OPf_SPECIAL), kid, Nullop);
4538         if (cLISTOPo->op_first == cLISTOPo->op_last)
4539             cLISTOPo->op_last = kid;
4540         cLISTOPo->op_first = kid;
4541         kid->op_sibling = sibl;
4542     }
4543
4544     kid->op_type = OP_PUSHRE;
4545     kid->op_ppaddr = ppaddr[OP_PUSHRE];
4546     scalar(kid);
4547
4548     if (!kid->op_sibling)
4549         append_elem(OP_SPLIT, o, newDEFSVOP());
4550
4551     kid = kid->op_sibling;
4552     scalar(kid);
4553
4554     if (!kid->op_sibling)
4555         append_elem(OP_SPLIT, o, newSVOP(OP_CONST, 0, newSViv(0)));
4556
4557     kid = kid->op_sibling;
4558     scalar(kid);
4559
4560     if (kid->op_sibling)
4561         return too_many_arguments(o,op_desc[o->op_type]);
4562
4563     return o;
4564 }
4565
4566 OP *
4567 ck_subr(OP *o)
4568 {
4569     dTHR;
4570     OP *prev = ((cUNOPo->op_first->op_sibling)
4571              ? cUNOPo : ((UNOP*)cUNOPo->op_first))->op_first;
4572     OP *o2 = prev->op_sibling;
4573     OP *cvop;
4574     char *proto = 0;
4575     CV *cv = 0;
4576     GV *namegv = 0;
4577     int optional = 0;
4578     I32 arg = 0;
4579
4580     for (cvop = o2; cvop->op_sibling; cvop = cvop->op_sibling) ;
4581     if (cvop->op_type == OP_RV2CV) {
4582         SVOP* tmpop;
4583         o->op_private |= (cvop->op_private & OPpENTERSUB_AMPER);
4584         null(cvop);             /* disable rv2cv */
4585         tmpop = (SVOP*)((UNOP*)cvop)->op_first;
4586         if (tmpop->op_type == OP_GV) {
4587             cv = GvCVu(tmpop->op_sv);
4588             if (cv && SvPOK(cv) && !(o->op_private & OPpENTERSUB_AMPER)) {
4589                 namegv = CvANON(cv) ? (GV*)tmpop->op_sv : CvGV(cv);
4590                 proto = SvPV((SV*)cv, na);
4591             }
4592         }
4593     }
4594     o->op_private |= (hints & HINT_STRICT_REFS);
4595     if (PERLDB_SUB && curstash != debstash)
4596         o->op_private |= OPpENTERSUB_DB;
4597     while (o2 != cvop) {
4598         if (proto) {
4599             switch (*proto) {
4600             case '\0':
4601                 return too_many_arguments(o, gv_ename(namegv));
4602             case ';':
4603                 optional = 1;
4604                 proto++;
4605                 continue;
4606             case '$':
4607                 proto++;
4608                 arg++;
4609                 scalar(o2);
4610                 break;
4611             case '%':
4612             case '@':
4613                 list(o2);
4614                 arg++;
4615                 break;
4616             case '&':
4617                 proto++;
4618                 arg++;
4619                 if (o2->op_type != OP_REFGEN && o2->op_type != OP_UNDEF)
4620                     bad_type(arg, "block", gv_ename(namegv), o2);
4621                 break;
4622             case '*':
4623                 proto++;
4624                 arg++;
4625                 if (o2->op_type == OP_RV2GV)
4626                     goto wrapref;
4627                 {
4628                     OP* kid = o2;
4629                     OP* sib = kid->op_sibling;
4630                     kid->op_sibling = 0;
4631                     o2 = newUNOP(OP_RV2GV, 0, kid);
4632                     o2->op_sibling = sib;
4633                     prev->op_sibling = o2;
4634                 }
4635                 goto wrapref;
4636             case '\\':
4637                 proto++;
4638                 arg++;
4639                 switch (*proto++) {
4640                 case '*':
4641                     if (o2->op_type != OP_RV2GV)
4642                         bad_type(arg, "symbol", gv_ename(namegv), o2);
4643                     goto wrapref;
4644                 case '&':
4645                     if (o2->op_type != OP_RV2CV)
4646                         bad_type(arg, "sub", gv_ename(namegv), o2);
4647                     goto wrapref;
4648                 case '$':
4649                     if (o2->op_type != OP_RV2SV && o2->op_type != OP_PADSV)
4650                         bad_type(arg, "scalar", gv_ename(namegv), o2);
4651                     goto wrapref;
4652                 case '@':
4653                     if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
4654                         bad_type(arg, "array", gv_ename(namegv), o2);
4655                     goto wrapref;
4656                 case '%':
4657                     if (o2->op_type != OP_RV2HV && o2->op_type != OP_PADHV)
4658                         bad_type(arg, "hash", gv_ename(namegv), o2);
4659                   wrapref:
4660                     {
4661                         OP* kid = o2;
4662                         OP* sib = kid->op_sibling;
4663                         kid->op_sibling = 0;
4664                         o2 = newUNOP(OP_REFGEN, 0, kid);
4665                         o2->op_sibling = sib;
4666                         prev->op_sibling = o2;
4667                     }
4668                     break;
4669                 default: goto oops;
4670                 }
4671                 break;
4672             case ' ':
4673                 proto++;
4674                 continue;
4675             default:
4676               oops:
4677                 croak("Malformed prototype for %s: %s",
4678                         gv_ename(namegv), SvPV((SV*)cv, na));
4679             }
4680         }
4681         else
4682             list(o2);
4683         mod(o2, OP_ENTERSUB);
4684         prev = o2;
4685         o2 = o2->op_sibling;
4686     }
4687     if (proto && !optional &&
4688           (*proto && *proto != '@' && *proto != '%' && *proto != ';'))
4689         return too_few_arguments(o, gv_ename(namegv));
4690     return o;
4691 }
4692
4693 OP *
4694 ck_svconst(OP *o)
4695 {
4696     SvREADONLY_on(cSVOPo->op_sv);
4697     return o;
4698 }
4699
4700 OP *
4701 ck_trunc(OP *o)
4702 {
4703     if (o->op_flags & OPf_KIDS) {
4704         SVOP *kid = (SVOP*)cUNOPo->op_first;
4705
4706         if (kid->op_type == OP_NULL)
4707             kid = (SVOP*)kid->op_sibling;
4708         if (kid &&
4709           kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE))
4710             o->op_flags |= OPf_SPECIAL;
4711     }
4712     return ck_fun(o);
4713 }
4714
4715 /* A peephole optimizer.  We visit the ops in the order they're to execute. */
4716
4717 void
4718 peep(register OP *o)
4719 {
4720     dTHR;
4721     register OP* oldop = 0;
4722     if (!o || o->op_seq)
4723         return;
4724     ENTER;
4725     SAVEOP();
4726     SAVESPTR(curcop);
4727     for (; o; o = o->op_next) {
4728         if (o->op_seq)
4729             break;
4730         if (!op_seqmax)
4731             op_seqmax++;
4732         op = o;
4733         switch (o->op_type) {
4734         case OP_NEXTSTATE:
4735         case OP_DBSTATE:
4736             curcop = ((COP*)o);         /* for warnings */
4737             o->op_seq = op_seqmax++;
4738             break;
4739
4740         case OP_CONCAT:
4741         case OP_CONST:
4742         case OP_JOIN:
4743         case OP_UC:
4744         case OP_UCFIRST:
4745         case OP_LC:
4746         case OP_LCFIRST:
4747         case OP_QUOTEMETA:
4748             if (o->op_next && o->op_next->op_type == OP_STRINGIFY)
4749                 null(o->op_next);
4750             o->op_seq = op_seqmax++;
4751             break;
4752         case OP_STUB:
4753             if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
4754                 o->op_seq = op_seqmax++;
4755                 break; /* Scalar stub must produce undef.  List stub is noop */
4756             }
4757             goto nothin;
4758         case OP_NULL:
4759             if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
4760                 curcop = ((COP*)op);
4761             goto nothin;
4762         case OP_SCALAR:
4763         case OP_LINESEQ:
4764         case OP_SCOPE:
4765           nothin:
4766             if (oldop && o->op_next) {
4767                 oldop->op_next = o->op_next;
4768                 continue;
4769             }
4770             o->op_seq = op_seqmax++;
4771             break;
4772
4773         case OP_GV:
4774             if (o->op_next->op_type == OP_RV2SV) {
4775                 if (!(o->op_next->op_private & OPpDEREF)) {
4776                     null(o->op_next);
4777                     o->op_private |= o->op_next->op_private & OPpLVAL_INTRO;
4778                     o->op_next = o->op_next->op_next;
4779                     o->op_type = OP_GVSV;
4780                     o->op_ppaddr = ppaddr[OP_GVSV];
4781                 }
4782             }
4783             else if (o->op_next->op_type == OP_RV2AV) {
4784                 OP* pop = o->op_next->op_next;
4785                 IV i;
4786                 if (pop->op_type == OP_CONST &&
4787                     (op = pop->op_next) &&
4788                     pop->op_next->op_type == OP_AELEM &&
4789                     !(pop->op_next->op_private &
4790                       (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF)) &&
4791                     (i = SvIV(((SVOP*)pop)->op_sv) - compiling.cop_arybase)
4792                                 <= 255 &&
4793                     i >= 0)
4794                 {
4795                     SvREFCNT_dec(((SVOP*)pop)->op_sv);
4796                     null(o->op_next);
4797                     null(pop->op_next);
4798                     null(pop);
4799                     o->op_flags |= pop->op_next->op_flags & OPf_MOD;
4800                     o->op_next = pop->op_next->op_next;
4801                     o->op_type = OP_AELEMFAST;
4802                     o->op_ppaddr = ppaddr[OP_AELEMFAST];
4803                     o->op_private = (U8)i;
4804                     GvAVn(((GVOP*)o)->op_gv);
4805                 }
4806             }
4807             o->op_seq = op_seqmax++;
4808             break;
4809
4810         case OP_PADAV:
4811             if (o->op_next->op_type == OP_RV2AV
4812                 && (o->op_next->op_flags && OPf_REF))
4813             {
4814                 null(o->op_next);
4815                 o->op_next = o->op_next->op_next;
4816             }
4817             break;
4818
4819         case OP_PADHV:
4820             if (o->op_next->op_type == OP_RV2HV
4821                 && (o->op_next->op_flags && OPf_REF))
4822             {
4823                 null(o->op_next);
4824                 o->op_next = o->op_next->op_next;
4825             }
4826             break;
4827
4828         case OP_MAPWHILE:
4829         case OP_GREPWHILE:
4830         case OP_AND:
4831         case OP_OR:
4832             o->op_seq = op_seqmax++;
4833             while (cLOGOP->op_other->op_type == OP_NULL)
4834                 cLOGOP->op_other = cLOGOP->op_other->op_next;
4835             peep(cLOGOP->op_other);
4836             break;
4837
4838         case OP_COND_EXPR:
4839             o->op_seq = op_seqmax++;
4840             peep(cCONDOP->op_true);
4841             peep(cCONDOP->op_false);
4842             break;
4843
4844         case OP_ENTERLOOP:
4845             o->op_seq = op_seqmax++;
4846             peep(cLOOP->op_redoop);
4847             peep(cLOOP->op_nextop);
4848             peep(cLOOP->op_lastop);
4849             break;
4850
4851         case OP_MATCH:
4852         case OP_SUBST:
4853             o->op_seq = op_seqmax++;
4854             peep(cPMOP->op_pmreplstart);
4855             break;
4856
4857         case OP_EXEC:
4858             o->op_seq = op_seqmax++;
4859             if (dowarn && o->op_next && o->op_next->op_type == OP_NEXTSTATE) {
4860                 if (o->op_next->op_sibling &&
4861                         o->op_next->op_sibling->op_type != OP_DIE) {
4862                     line_t oldline = curcop->cop_line;
4863
4864                     curcop->cop_line = ((COP*)o->op_next)->cop_line;
4865                     warn("Statement unlikely to be reached");
4866                     warn("(Maybe you meant system() when you said exec()?)\n");
4867                     curcop->cop_line = oldline;
4868                 }
4869             }
4870             break;
4871
4872         case OP_HELEM: {
4873             UNOP *rop;
4874             SV *lexname;
4875             GV **fields;
4876             SV **svp, **indsvp;
4877             I32 ind;
4878             char *key;
4879             STRLEN keylen;
4880
4881             if (o->op_private & (OPpDEREF_HV|OPpDEREF_AV|OPpLVAL_INTRO)
4882                 || ((BINOP*)o)->op_last->op_type != OP_CONST)
4883                 break;
4884             rop = (UNOP*)((BINOP*)o)->op_first;
4885             if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
4886                 break;
4887             lexname = *av_fetch(comppad_name, rop->op_first->op_targ, TRUE);
4888             if (!SvOBJECT(lexname))
4889                 break;
4890             fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
4891             if (!fields || !GvHV(*fields))
4892                 break;
4893             svp = &((SVOP*)((BINOP*)o)->op_last)->op_sv;
4894             key = SvPV(*svp, keylen);
4895             indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
4896             if (!indsvp) {
4897                 croak("No such field \"%s\" in variable %s of type %s",
4898                       key, SvPV(lexname, na), HvNAME(SvSTASH(lexname)));
4899             }
4900             ind = SvIV(*indsvp);
4901             if (ind < 1)
4902                 croak("Bad index while coercing array into hash");
4903             rop->op_type = OP_RV2AV;
4904             rop->op_ppaddr = ppaddr[OP_RV2AV];
4905             o->op_type = OP_AELEM;
4906             o->op_ppaddr = ppaddr[OP_AELEM];
4907             SvREFCNT_dec(*svp);
4908             *svp = newSViv(ind);
4909             break;
4910         }
4911
4912         default:
4913             o->op_seq = op_seqmax++;
4914             break;
4915         }
4916         oldop = o;
4917     }
4918     LEAVE;
4919 }