b8a6143526a3375c7fff32122a27718db64e2c86
[perl.git] / op.c
1 /*    op.c
2  *
3  *    Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
4  *    2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, by Larry Wall and others
5  *
6  *    You may distribute under the terms of either the GNU General Public
7  *    License or the Artistic License, as specified in the README file.
8  *
9  */
10
11 /*
12  * "You see: Mr. Drogo, he married poor Miss Primula Brandybuck.  She was
13  * our Mr. Bilbo's first cousin on the mother's side (her mother being the
14  * youngest of the Old Took's daughters); and Mr. Drogo was his second
15  * cousin.  So Mr. Frodo is his first *and* second cousin, once removed
16  * either way, as the saying is, if you follow me."  --the Gaffer
17  */
18
19 /* This file contains the functions that create, manipulate and optimize
20  * the OP structures that hold a compiled perl program.
21  *
22  * A Perl program is compiled into a tree of OPs. Each op contains
23  * structural pointers (eg to its siblings and the next op in the
24  * execution sequence), a pointer to the function that would execute the
25  * op, plus any data specific to that op. For example, an OP_CONST op
26  * points to the pp_const() function and to an SV containing the constant
27  * value. When pp_const() is executed, its job is to push that SV onto the
28  * stack.
29  *
30  * OPs are mainly created by the newFOO() functions, which are mainly
31  * called from the parser (in perly.y) as the code is parsed. For example
32  * the Perl code $a + $b * $c would cause the equivalent of the following
33  * to be called (oversimplifying a bit):
34  *
35  *  newBINOP(OP_ADD, flags,
36  *      newSVREF($a),
37  *      newBINOP(OP_MULTIPLY, flags, newSVREF($b), newSVREF($c))
38  *  )
39  *
40  * Note that during the build of miniperl, a temporary copy of this file
41  * is made, called opmini.c.
42  */
43
44 /*
45 Perl's compiler is essentially a 3-pass compiler with interleaved phases:
46
47     A bottom-up pass
48     A top-down pass
49     An execution-order pass
50
51 The bottom-up pass is represented by all the "newOP" routines and
52 the ck_ routines.  The bottom-upness is actually driven by yacc.
53 So at the point that a ck_ routine fires, we have no idea what the
54 context is, either upward in the syntax tree, or either forward or
55 backward in the execution order.  (The bottom-up parser builds that
56 part of the execution order it knows about, but if you follow the "next"
57 links around, you'll find it's actually a closed loop through the
58 top level node.
59
60 Whenever the bottom-up parser gets to a node that supplies context to
61 its components, it invokes that portion of the top-down pass that applies
62 to that part of the subtree (and marks the top node as processed, so
63 if a node further up supplies context, it doesn't have to take the
64 plunge again).  As a particular subcase of this, as the new node is
65 built, it takes all the closed execution loops of its subcomponents
66 and links them into a new closed loop for the higher level node.  But
67 it's still not the real execution order.
68
69 The actual execution order is not known till we get a grammar reduction
70 to a top-level unit like a subroutine or file that will be called by
71 "name" rather than via a "next" pointer.  At that point, we can call
72 into peep() to do that code's portion of the 3rd pass.  It has to be
73 recursive, but it's recursive on basic blocks, not on tree nodes.
74 */
75
76 /* To implement user lexical pragmas, there needs to be a way at run time to
77    get the compile time state of %^H for that block.  Storing %^H in every
78    block (or even COP) would be very expensive, so a different approach is
79    taken.  The (running) state of %^H is serialised into a tree of HE-like
80    structs.  Stores into %^H are chained onto the current leaf as a struct
81    refcounted_he * with the key and the value.  Deletes from %^H are saved
82    with a value of PL_sv_placeholder.  The state of %^H at any point can be
83    turned back into a regular HV by walking back up the tree from that point's
84    leaf, ignoring any key you've already seen (placeholder or not), storing
85    the rest into the HV structure, then removing the placeholders. Hence
86    memory is only used to store the %^H deltas from the enclosing COP, rather
87    than the entire %^H on each COP.
88
89    To cause actions on %^H to write out the serialisation records, it has
90    magic type 'H'. This magic (itself) does nothing, but its presence causes
91    the values to gain magic type 'h', which has entries for set and clear.
92    C<Perl_magic_sethint> updates C<PL_compiling.cop_hints_hash> with a store
93    record, with deletes written by C<Perl_magic_clearhint>. C<SAVEHINTS>
94    saves the current C<PL_compiling.cop_hints_hash> on the save stack, so that
95    it will be correctly restored when any inner compiling scope is exited.
96 */
97
98 #include "EXTERN.h"
99 #define PERL_IN_OP_C
100 #include "perl.h"
101 #include "keywords.h"
102
103 #define CALL_PEEP(o) CALL_FPTR(PL_peepp)(aTHX_ o)
104
105 #if defined(PL_OP_SLAB_ALLOC)
106
107 #ifdef PERL_DEBUG_READONLY_OPS
108 #  define PERL_SLAB_SIZE 4096
109 #  include <sys/mman.h>
110 #endif
111
112 #ifndef PERL_SLAB_SIZE
113 #define PERL_SLAB_SIZE 2048
114 #endif
115
116 void *
117 Perl_Slab_Alloc(pTHX_ size_t sz)
118 {
119     dVAR;
120     /*
121      * To make incrementing use count easy PL_OpSlab is an I32 *
122      * To make inserting the link to slab PL_OpPtr is I32 **
123      * So compute size in units of sizeof(I32 *) as that is how Pl_OpPtr increments
124      * Add an overhead for pointer to slab and round up as a number of pointers
125      */
126     sz = (sz + 2*sizeof(I32 *) -1)/sizeof(I32 *);
127     if ((PL_OpSpace -= sz) < 0) {
128 #ifdef PERL_DEBUG_READONLY_OPS
129         /* We need to allocate chunk by chunk so that we can control the VM
130            mapping */
131         PL_OpPtr = (I32**) mmap(0, PERL_SLAB_SIZE*sizeof(I32*), PROT_READ|PROT_WRITE,
132                         MAP_ANON|MAP_PRIVATE, -1, 0);
133
134         DEBUG_m(PerlIO_printf(Perl_debug_log, "mapped %lu at %p\n",
135                               (unsigned long) PERL_SLAB_SIZE*sizeof(I32*),
136                               PL_OpPtr));
137         if(PL_OpPtr == MAP_FAILED) {
138             perror("mmap failed");
139             abort();
140         }
141 #else
142
143         PL_OpPtr = (I32 **) PerlMemShared_calloc(PERL_SLAB_SIZE,sizeof(I32*)); 
144 #endif
145         if (!PL_OpPtr) {
146             return NULL;
147         }
148         /* We reserve the 0'th I32 sized chunk as a use count */
149         PL_OpSlab = (I32 *) PL_OpPtr;
150         /* Reduce size by the use count word, and by the size we need.
151          * Latter is to mimic the '-=' in the if() above
152          */
153         PL_OpSpace = PERL_SLAB_SIZE - (sizeof(I32)+sizeof(I32 **)-1)/sizeof(I32 **) - sz;
154         /* Allocation pointer starts at the top.
155            Theory: because we build leaves before trunk allocating at end
156            means that at run time access is cache friendly upward
157          */
158         PL_OpPtr += PERL_SLAB_SIZE;
159
160 #ifdef PERL_DEBUG_READONLY_OPS
161         /* We remember this slab.  */
162         /* This implementation isn't efficient, but it is simple. */
163         PL_slabs = (I32**) realloc(PL_slabs, sizeof(I32**) * (PL_slab_count + 1));
164         PL_slabs[PL_slab_count++] = PL_OpSlab;
165         DEBUG_m(PerlIO_printf(Perl_debug_log, "Allocate %p\n", PL_OpSlab));
166 #endif
167     }
168     assert( PL_OpSpace >= 0 );
169     /* Move the allocation pointer down */
170     PL_OpPtr   -= sz;
171     assert( PL_OpPtr > (I32 **) PL_OpSlab );
172     *PL_OpPtr   = PL_OpSlab;    /* Note which slab it belongs to */
173     (*PL_OpSlab)++;             /* Increment use count of slab */
174     assert( PL_OpPtr+sz <= ((I32 **) PL_OpSlab + PERL_SLAB_SIZE) );
175     assert( *PL_OpSlab > 0 );
176     return (void *)(PL_OpPtr + 1);
177 }
178
179 #ifdef PERL_DEBUG_READONLY_OPS
180 void
181 Perl_pending_Slabs_to_ro(pTHX) {
182     /* Turn all the allocated op slabs read only.  */
183     U32 count = PL_slab_count;
184     I32 **const slabs = PL_slabs;
185
186     /* Reset the array of pending OP slabs, as we're about to turn this lot
187        read only. Also, do it ahead of the loop in case the warn triggers,
188        and a warn handler has an eval */
189
190     PL_slabs = NULL;
191     PL_slab_count = 0;
192
193     /* Force a new slab for any further allocation.  */
194     PL_OpSpace = 0;
195
196     while (count--) {
197         void *const start = slabs[count];
198         const size_t size = PERL_SLAB_SIZE* sizeof(I32*);
199         if(mprotect(start, size, PROT_READ)) {
200             Perl_warn(aTHX_ "mprotect for %p %lu failed with %d",
201                       start, (unsigned long) size, errno);
202         }
203     }
204
205     free(slabs);
206 }
207
208 STATIC void
209 S_Slab_to_rw(pTHX_ void *op)
210 {
211     I32 * const * const ptr = (I32 **) op;
212     I32 * const slab = ptr[-1];
213
214     PERL_ARGS_ASSERT_SLAB_TO_RW;
215
216     assert( ptr-1 > (I32 **) slab );
217     assert( ptr < ( (I32 **) slab + PERL_SLAB_SIZE) );
218     assert( *slab > 0 );
219     if(mprotect(slab, PERL_SLAB_SIZE*sizeof(I32*), PROT_READ|PROT_WRITE)) {
220         Perl_warn(aTHX_ "mprotect RW for %p %lu failed with %d",
221                   slab, (unsigned long) PERL_SLAB_SIZE*sizeof(I32*), errno);
222     }
223 }
224
225 OP *
226 Perl_op_refcnt_inc(pTHX_ OP *o)
227 {
228     if(o) {
229         Slab_to_rw(o);
230         ++o->op_targ;
231     }
232     return o;
233
234 }
235
236 PADOFFSET
237 Perl_op_refcnt_dec(pTHX_ OP *o)
238 {
239     PERL_ARGS_ASSERT_OP_REFCNT_DEC;
240     Slab_to_rw(o);
241     return --o->op_targ;
242 }
243 #else
244 #  define Slab_to_rw(op)
245 #endif
246
247 void
248 Perl_Slab_Free(pTHX_ void *op)
249 {
250     I32 * const * const ptr = (I32 **) op;
251     I32 * const slab = ptr[-1];
252     PERL_ARGS_ASSERT_SLAB_FREE;
253     assert( ptr-1 > (I32 **) slab );
254     assert( ptr < ( (I32 **) slab + PERL_SLAB_SIZE) );
255     assert( *slab > 0 );
256     Slab_to_rw(op);
257     if (--(*slab) == 0) {
258 #  ifdef NETWARE
259 #    define PerlMemShared PerlMem
260 #  endif
261         
262 #ifdef PERL_DEBUG_READONLY_OPS
263         U32 count = PL_slab_count;
264         /* Need to remove this slab from our list of slabs */
265         if (count) {
266             while (count--) {
267                 if (PL_slabs[count] == slab) {
268                     dVAR;
269                     /* Found it. Move the entry at the end to overwrite it.  */
270                     DEBUG_m(PerlIO_printf(Perl_debug_log,
271                                           "Deallocate %p by moving %p from %lu to %lu\n",
272                                           PL_OpSlab,
273                                           PL_slabs[PL_slab_count - 1],
274                                           PL_slab_count, count));
275                     PL_slabs[count] = PL_slabs[--PL_slab_count];
276                     /* Could realloc smaller at this point, but probably not
277                        worth it.  */
278                     if(munmap(slab, PERL_SLAB_SIZE*sizeof(I32*))) {
279                         perror("munmap failed");
280                         abort();
281                     }
282                     break;
283                 }
284             }
285         }
286 #else
287     PerlMemShared_free(slab);
288 #endif
289         if (slab == PL_OpSlab) {
290             PL_OpSpace = 0;
291         }
292     }
293 }
294 #endif
295 /*
296  * In the following definition, the ", (OP*)0" is just to make the compiler
297  * think the expression is of the right type: croak actually does a Siglongjmp.
298  */
299 #define CHECKOP(type,o) \
300     ((PL_op_mask && PL_op_mask[type])                           \
301      ? ( op_free((OP*)o),                                       \
302          Perl_croak(aTHX_ "'%s' trapped by operation mask", PL_op_desc[type]),  \
303          (OP*)0 )                                               \
304      : CALL_FPTR(PL_check[type])(aTHX_ (OP*)o))
305
306 #define RETURN_UNLIMITED_NUMBER (PERL_INT_MAX / 2)
307
308 STATIC const char*
309 S_gv_ename(pTHX_ GV *gv)
310 {
311     SV* const tmpsv = sv_newmortal();
312
313     PERL_ARGS_ASSERT_GV_ENAME;
314
315     gv_efullname3(tmpsv, gv, NULL);
316     return SvPV_nolen_const(tmpsv);
317 }
318
319 STATIC OP *
320 S_no_fh_allowed(pTHX_ OP *o)
321 {
322     PERL_ARGS_ASSERT_NO_FH_ALLOWED;
323
324     yyerror(Perl_form(aTHX_ "Missing comma after first argument to %s function",
325                  OP_DESC(o)));
326     return o;
327 }
328
329 STATIC OP *
330 S_too_few_arguments(pTHX_ OP *o, const char *name)
331 {
332     PERL_ARGS_ASSERT_TOO_FEW_ARGUMENTS;
333
334     yyerror(Perl_form(aTHX_ "Not enough arguments for %s", name));
335     return o;
336 }
337
338 STATIC OP *
339 S_too_many_arguments(pTHX_ OP *o, const char *name)
340 {
341     PERL_ARGS_ASSERT_TOO_MANY_ARGUMENTS;
342
343     yyerror(Perl_form(aTHX_ "Too many arguments for %s", name));
344     return o;
345 }
346
347 STATIC void
348 S_bad_type(pTHX_ I32 n, const char *t, const char *name, const OP *kid)
349 {
350     PERL_ARGS_ASSERT_BAD_TYPE;
351
352     yyerror(Perl_form(aTHX_ "Type of arg %d to %s must be %s (not %s)",
353                  (int)n, name, t, OP_DESC(kid)));
354 }
355
356 STATIC void
357 S_no_bareword_allowed(pTHX_ const OP *o)
358 {
359     PERL_ARGS_ASSERT_NO_BAREWORD_ALLOWED;
360
361     if (PL_madskills)
362         return;         /* various ok barewords are hidden in extra OP_NULL */
363     qerror(Perl_mess(aTHX_
364                      "Bareword \"%"SVf"\" not allowed while \"strict subs\" in use",
365                      SVfARG(cSVOPo_sv)));
366 }
367
368 /* "register" allocation */
369
370 PADOFFSET
371 Perl_allocmy(pTHX_ const char *const name)
372 {
373     dVAR;
374     PADOFFSET off;
375     const bool is_our = (PL_parser->in_my == KEY_our);
376
377     PERL_ARGS_ASSERT_ALLOCMY;
378
379     /* complain about "my $<special_var>" etc etc */
380     if (*name &&
381         !(is_our ||
382           isALPHA(name[1]) ||
383           (USE_UTF8_IN_NAMES && UTF8_IS_START(name[1])) ||
384           (name[1] == '_' && (*name == '$' || name[2]))))
385     {
386         /* name[2] is true if strlen(name) > 2  */
387         if (!isPRINT(name[1]) || strchr("\t\n\r\f", name[1])) {
388             yyerror(Perl_form(aTHX_ "Can't use global %c^%c%s in \"%s\"",
389                               name[0], toCTRL(name[1]), name + 2,
390                               PL_parser->in_my == KEY_state ? "state" : "my"));
391         } else {
392             yyerror(Perl_form(aTHX_ "Can't use global %s in \"%s\"",name,
393                               PL_parser->in_my == KEY_state ? "state" : "my"));
394         }
395     }
396
397     /* check for duplicate declaration */
398     pad_check_dup(name, is_our, (PL_curstash ? PL_curstash : PL_defstash));
399
400     if (PL_parser->in_my_stash && *name != '$') {
401         yyerror(Perl_form(aTHX_
402                     "Can't declare class for non-scalar %s in \"%s\"",
403                      name,
404                      is_our ? "our"
405                             : PL_parser->in_my == KEY_state ? "state" : "my"));
406     }
407
408     /* allocate a spare slot and store the name in that slot */
409
410     off = pad_add_name(name,
411                     PL_parser->in_my_stash,
412                     (is_our
413                         /* $_ is always in main::, even with our */
414                         ? (PL_curstash && !strEQ(name,"$_") ? PL_curstash : PL_defstash)
415                         : NULL
416                     ),
417                     0, /*  not fake */
418                     PL_parser->in_my == KEY_state
419     );
420     /* anon sub prototypes contains state vars should always be cloned,
421      * otherwise the state var would be shared between anon subs */
422
423     if (PL_parser->in_my == KEY_state && CvANON(PL_compcv))
424         CvCLONE_on(PL_compcv);
425
426     return off;
427 }
428
429 /* free the body of an op without examining its contents.
430  * Always use this rather than FreeOp directly */
431
432 static void
433 S_op_destroy(pTHX_ OP *o)
434 {
435     if (o->op_latefree) {
436         o->op_latefreed = 1;
437         return;
438     }
439     FreeOp(o);
440 }
441
442 #ifdef USE_ITHREADS
443 #  define forget_pmop(a,b)      S_forget_pmop(aTHX_ a,b)
444 #else
445 #  define forget_pmop(a,b)      S_forget_pmop(aTHX_ a)
446 #endif
447
448 /* Destructor */
449
450 void
451 Perl_op_free(pTHX_ OP *o)
452 {
453     dVAR;
454     OPCODE type;
455
456     if (!o)
457         return;
458     if (o->op_latefreed) {
459         if (o->op_latefree)
460             return;
461         goto do_free;
462     }
463
464     type = o->op_type;
465     if (o->op_private & OPpREFCOUNTED) {
466         switch (type) {
467         case OP_LEAVESUB:
468         case OP_LEAVESUBLV:
469         case OP_LEAVEEVAL:
470         case OP_LEAVE:
471         case OP_SCOPE:
472         case OP_LEAVEWRITE:
473             {
474             PADOFFSET refcnt;
475             OP_REFCNT_LOCK;
476             refcnt = OpREFCNT_dec(o);
477             OP_REFCNT_UNLOCK;
478             if (refcnt) {
479                 /* Need to find and remove any pattern match ops from the list
480                    we maintain for reset().  */
481                 find_and_forget_pmops(o);
482                 return;
483             }
484             }
485             break;
486         default:
487             break;
488         }
489     }
490
491     if (o->op_flags & OPf_KIDS) {
492         register OP *kid, *nextkid;
493         for (kid = cUNOPo->op_first; kid; kid = nextkid) {
494             nextkid = kid->op_sibling; /* Get before next freeing kid */
495             op_free(kid);
496         }
497     }
498
499 #ifdef PERL_DEBUG_READONLY_OPS
500     Slab_to_rw(o);
501 #endif
502
503     /* COP* is not cleared by op_clear() so that we may track line
504      * numbers etc even after null() */
505     if (type == OP_NEXTSTATE || type == OP_DBSTATE
506             || (type == OP_NULL /* the COP might have been null'ed */
507                 && ((OPCODE)o->op_targ == OP_NEXTSTATE
508                     || (OPCODE)o->op_targ == OP_DBSTATE))) {
509         cop_free((COP*)o);
510     }
511
512     if (type == OP_NULL)
513         type = (OPCODE)o->op_targ;
514
515     op_clear(o);
516     if (o->op_latefree) {
517         o->op_latefreed = 1;
518         return;
519     }
520   do_free:
521     FreeOp(o);
522 #ifdef DEBUG_LEAKING_SCALARS
523     if (PL_op == o)
524         PL_op = NULL;
525 #endif
526 }
527
528 void
529 Perl_op_clear(pTHX_ OP *o)
530 {
531
532     dVAR;
533
534     PERL_ARGS_ASSERT_OP_CLEAR;
535
536 #ifdef PERL_MAD
537     /* if (o->op_madprop && o->op_madprop->mad_next)
538        abort(); */
539     /* FIXME for MAD - if I uncomment these two lines t/op/pack.t fails with
540        "modification of a read only value" for a reason I can't fathom why.
541        It's the "" stringification of $_, where $_ was set to '' in a foreach
542        loop, but it defies simplification into a small test case.
543        However, commenting them out has caused ext/List/Util/t/weak.t to fail
544        the last test.  */
545     /*
546       mad_free(o->op_madprop);
547       o->op_madprop = 0;
548     */
549 #endif    
550
551  retry:
552     switch (o->op_type) {
553     case OP_NULL:       /* Was holding old type, if any. */
554         if (PL_madskills && o->op_targ != OP_NULL) {
555             o->op_type = (Optype)o->op_targ;
556             o->op_targ = 0;
557             goto retry;
558         }
559     case OP_ENTEREVAL:  /* Was holding hints. */
560         o->op_targ = 0;
561         break;
562     default:
563         if (!(o->op_flags & OPf_REF)
564             || (PL_check[o->op_type] != MEMBER_TO_FPTR(Perl_ck_ftst)))
565             break;
566         /* FALL THROUGH */
567     case OP_GVSV:
568     case OP_GV:
569     case OP_AELEMFAST:
570         if (! (o->op_type == OP_AELEMFAST && o->op_flags & OPf_SPECIAL)) {
571             /* not an OP_PADAV replacement */
572 #ifdef USE_ITHREADS
573             if (cPADOPo->op_padix > 0) {
574                 /* No GvIN_PAD_off(cGVOPo_gv) here, because other references
575                  * may still exist on the pad */
576                 pad_swipe(cPADOPo->op_padix, TRUE);
577                 cPADOPo->op_padix = 0;
578             }
579 #else
580             SvREFCNT_dec(cSVOPo->op_sv);
581             cSVOPo->op_sv = NULL;
582 #endif
583         }
584         break;
585     case OP_METHOD_NAMED:
586     case OP_CONST:
587     case OP_HINTSEVAL:
588         SvREFCNT_dec(cSVOPo->op_sv);
589         cSVOPo->op_sv = NULL;
590 #ifdef USE_ITHREADS
591         /** Bug #15654
592           Even if op_clear does a pad_free for the target of the op,
593           pad_free doesn't actually remove the sv that exists in the pad;
594           instead it lives on. This results in that it could be reused as 
595           a target later on when the pad was reallocated.
596         **/
597         if(o->op_targ) {
598           pad_swipe(o->op_targ,1);
599           o->op_targ = 0;
600         }
601 #endif
602         break;
603     case OP_GOTO:
604     case OP_NEXT:
605     case OP_LAST:
606     case OP_REDO:
607         if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
608             break;
609         /* FALL THROUGH */
610     case OP_TRANS:
611         if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
612 #ifdef USE_ITHREADS
613             if (cPADOPo->op_padix > 0) {
614                 pad_swipe(cPADOPo->op_padix, TRUE);
615                 cPADOPo->op_padix = 0;
616             }
617 #else
618             SvREFCNT_dec(cSVOPo->op_sv);
619             cSVOPo->op_sv = NULL;
620 #endif
621         }
622         else {
623             PerlMemShared_free(cPVOPo->op_pv);
624             cPVOPo->op_pv = NULL;
625         }
626         break;
627     case OP_SUBST:
628         op_free(cPMOPo->op_pmreplrootu.op_pmreplroot);
629         goto clear_pmop;
630     case OP_PUSHRE:
631 #ifdef USE_ITHREADS
632         if (cPMOPo->op_pmreplrootu.op_pmtargetoff) {
633             /* No GvIN_PAD_off here, because other references may still
634              * exist on the pad */
635             pad_swipe(cPMOPo->op_pmreplrootu.op_pmtargetoff, TRUE);
636         }
637 #else
638         SvREFCNT_dec((SV*)cPMOPo->op_pmreplrootu.op_pmtargetgv);
639 #endif
640         /* FALL THROUGH */
641     case OP_MATCH:
642     case OP_QR:
643 clear_pmop:
644         forget_pmop(cPMOPo, 1);
645         cPMOPo->op_pmreplrootu.op_pmreplroot = NULL;
646         /* we use the same protection as the "SAFE" version of the PM_ macros
647          * here since sv_clean_all might release some PMOPs
648          * after PL_regex_padav has been cleared
649          * and the clearing of PL_regex_padav needs to
650          * happen before sv_clean_all
651          */
652 #ifdef USE_ITHREADS
653         if(PL_regex_pad) {        /* We could be in destruction */
654             const IV offset = (cPMOPo)->op_pmoffset;
655             ReREFCNT_dec(PM_GETRE(cPMOPo));
656             PL_regex_pad[offset] = &PL_sv_undef;
657             sv_catpvn_nomg(PL_regex_pad[0], (const char *)&offset,
658                            sizeof(offset));
659         }
660 #else
661         ReREFCNT_dec(PM_GETRE(cPMOPo));
662         PM_SETRE(cPMOPo, NULL);
663 #endif
664
665         break;
666     }
667
668     if (o->op_targ > 0) {
669         pad_free(o->op_targ);
670         o->op_targ = 0;
671     }
672 }
673
674 STATIC void
675 S_cop_free(pTHX_ COP* cop)
676 {
677     PERL_ARGS_ASSERT_COP_FREE;
678
679     CopFILE_free(cop);
680     CopSTASH_free(cop);
681     if (! specialWARN(cop->cop_warnings))
682         PerlMemShared_free(cop->cop_warnings);
683     Perl_refcounted_he_free(aTHX_ cop->cop_hints_hash);
684 }
685
686 STATIC void
687 S_forget_pmop(pTHX_ PMOP *const o
688 #ifdef USE_ITHREADS
689               , U32 flags
690 #endif
691               )
692 {
693     HV * const pmstash = PmopSTASH(o);
694
695     PERL_ARGS_ASSERT_FORGET_PMOP;
696
697     if (pmstash && !SvIS_FREED(pmstash)) {
698         MAGIC * const mg = mg_find((SV*)pmstash, PERL_MAGIC_symtab);
699         if (mg) {
700             PMOP **const array = (PMOP**) mg->mg_ptr;
701             U32 count = mg->mg_len / sizeof(PMOP**);
702             U32 i = count;
703
704             while (i--) {
705                 if (array[i] == o) {
706                     /* Found it. Move the entry at the end to overwrite it.  */
707                     array[i] = array[--count];
708                     mg->mg_len = count * sizeof(PMOP**);
709                     /* Could realloc smaller at this point always, but probably
710                        not worth it. Probably worth free()ing if we're the
711                        last.  */
712                     if(!count) {
713                         Safefree(mg->mg_ptr);
714                         mg->mg_ptr = NULL;
715                     }
716                     break;
717                 }
718             }
719         }
720     }
721     if (PL_curpm == o) 
722         PL_curpm = NULL;
723 #ifdef USE_ITHREADS
724     if (flags)
725         PmopSTASH_free(o);
726 #endif
727 }
728
729 STATIC void
730 S_find_and_forget_pmops(pTHX_ OP *o)
731 {
732     PERL_ARGS_ASSERT_FIND_AND_FORGET_PMOPS;
733
734     if (o->op_flags & OPf_KIDS) {
735         OP *kid = cUNOPo->op_first;
736         while (kid) {
737             switch (kid->op_type) {
738             case OP_SUBST:
739             case OP_PUSHRE:
740             case OP_MATCH:
741             case OP_QR:
742                 forget_pmop((PMOP*)kid, 0);
743             }
744             find_and_forget_pmops(kid);
745             kid = kid->op_sibling;
746         }
747     }
748 }
749
750 void
751 Perl_op_null(pTHX_ OP *o)
752 {
753     dVAR;
754
755     PERL_ARGS_ASSERT_OP_NULL;
756
757     if (o->op_type == OP_NULL)
758         return;
759     if (!PL_madskills)
760         op_clear(o);
761     o->op_targ = o->op_type;
762     o->op_type = OP_NULL;
763     o->op_ppaddr = PL_ppaddr[OP_NULL];
764 }
765
766 void
767 Perl_op_refcnt_lock(pTHX)
768 {
769     dVAR;
770     PERL_UNUSED_CONTEXT;
771     OP_REFCNT_LOCK;
772 }
773
774 void
775 Perl_op_refcnt_unlock(pTHX)
776 {
777     dVAR;
778     PERL_UNUSED_CONTEXT;
779     OP_REFCNT_UNLOCK;
780 }
781
782 /* Contextualizers */
783
784 #define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
785
786 OP *
787 Perl_linklist(pTHX_ OP *o)
788 {
789     OP *first;
790
791     PERL_ARGS_ASSERT_LINKLIST;
792
793     if (o->op_next)
794         return o->op_next;
795
796     /* establish postfix order */
797     first = cUNOPo->op_first;
798     if (first) {
799         register OP *kid;
800         o->op_next = LINKLIST(first);
801         kid = first;
802         for (;;) {
803             if (kid->op_sibling) {
804                 kid->op_next = LINKLIST(kid->op_sibling);
805                 kid = kid->op_sibling;
806             } else {
807                 kid->op_next = o;
808                 break;
809             }
810         }
811     }
812     else
813         o->op_next = o;
814
815     return o->op_next;
816 }
817
818 OP *
819 Perl_scalarkids(pTHX_ OP *o)
820 {
821     if (o && o->op_flags & OPf_KIDS) {
822         OP *kid;
823         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
824             scalar(kid);
825     }
826     return o;
827 }
828
829 STATIC OP *
830 S_scalarboolean(pTHX_ OP *o)
831 {
832     dVAR;
833
834     PERL_ARGS_ASSERT_SCALARBOOLEAN;
835
836     if (o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
837         if (ckWARN(WARN_SYNTAX)) {
838             const line_t oldline = CopLINE(PL_curcop);
839
840             if (PL_parser && PL_parser->copline != NOLINE)
841                 CopLINE_set(PL_curcop, PL_parser->copline);
842             Perl_warner(aTHX_ packWARN(WARN_SYNTAX), "Found = in conditional, should be ==");
843             CopLINE_set(PL_curcop, oldline);
844         }
845     }
846     return scalar(o);
847 }
848
849 OP *
850 Perl_scalar(pTHX_ OP *o)
851 {
852     dVAR;
853     OP *kid;
854
855     /* assumes no premature commitment */
856     if (!o || (PL_parser && PL_parser->error_count)
857          || (o->op_flags & OPf_WANT)
858          || o->op_type == OP_RETURN)
859     {
860         return o;
861     }
862
863     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
864
865     switch (o->op_type) {
866     case OP_REPEAT:
867         scalar(cBINOPo->op_first);
868         break;
869     case OP_OR:
870     case OP_AND:
871     case OP_COND_EXPR:
872         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
873             scalar(kid);
874         break;
875     case OP_SPLIT:
876         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
877             if (!kPMOP->op_pmreplrootu.op_pmreplroot)
878                 deprecate_old("implicit split to @_");
879         }
880         /* FALL THROUGH */
881     case OP_MATCH:
882     case OP_QR:
883     case OP_SUBST:
884     case OP_NULL:
885     default:
886         if (o->op_flags & OPf_KIDS) {
887             for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
888                 scalar(kid);
889         }
890         break;
891     case OP_LEAVE:
892     case OP_LEAVETRY:
893         kid = cLISTOPo->op_first;
894         scalar(kid);
895         while ((kid = kid->op_sibling)) {
896             if (kid->op_sibling)
897                 scalarvoid(kid);
898             else
899                 scalar(kid);
900         }
901         PL_curcop = &PL_compiling;
902         break;
903     case OP_SCOPE:
904     case OP_LINESEQ:
905     case OP_LIST:
906         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
907             if (kid->op_sibling)
908                 scalarvoid(kid);
909             else
910                 scalar(kid);
911         }
912         PL_curcop = &PL_compiling;
913         break;
914     case OP_SORT:
915         if (ckWARN(WARN_VOID))
916             Perl_warner(aTHX_ packWARN(WARN_VOID), "Useless use of sort in scalar context");
917         break;
918     }
919     return o;
920 }
921
922 OP *
923 Perl_scalarvoid(pTHX_ OP *o)
924 {
925     dVAR;
926     OP *kid;
927     const char* useless = NULL;
928     SV* sv;
929     U8 want;
930
931     PERL_ARGS_ASSERT_SCALARVOID;
932
933     /* trailing mad null ops don't count as "there" for void processing */
934     if (PL_madskills &&
935         o->op_type != OP_NULL &&
936         o->op_sibling &&
937         o->op_sibling->op_type == OP_NULL)
938     {
939         OP *sib;
940         for (sib = o->op_sibling;
941                 sib && sib->op_type == OP_NULL;
942                 sib = sib->op_sibling) ;
943         
944         if (!sib)
945             return o;
946     }
947
948     if (o->op_type == OP_NEXTSTATE
949         || o->op_type == OP_DBSTATE
950         || (o->op_type == OP_NULL && (o->op_targ == OP_NEXTSTATE
951                                       || o->op_targ == OP_DBSTATE)))
952         PL_curcop = (COP*)o;            /* for warning below */
953
954     /* assumes no premature commitment */
955     want = o->op_flags & OPf_WANT;
956     if ((want && want != OPf_WANT_SCALAR)
957          || (PL_parser && PL_parser->error_count)
958          || o->op_type == OP_RETURN)
959     {
960         return o;
961     }
962
963     if ((o->op_private & OPpTARGET_MY)
964         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
965     {
966         return scalar(o);                       /* As if inside SASSIGN */
967     }
968
969     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
970
971     switch (o->op_type) {
972     default:
973         if (!(PL_opargs[o->op_type] & OA_FOLDCONST))
974             break;
975         /* FALL THROUGH */
976     case OP_REPEAT:
977         if (o->op_flags & OPf_STACKED)
978             break;
979         goto func_ops;
980     case OP_SUBSTR:
981         if (o->op_private == 4)
982             break;
983         /* FALL THROUGH */
984     case OP_GVSV:
985     case OP_WANTARRAY:
986     case OP_GV:
987     case OP_SMARTMATCH:
988     case OP_PADSV:
989     case OP_PADAV:
990     case OP_PADHV:
991     case OP_PADANY:
992     case OP_AV2ARYLEN:
993     case OP_REF:
994     case OP_REFGEN:
995     case OP_SREFGEN:
996     case OP_DEFINED:
997     case OP_HEX:
998     case OP_OCT:
999     case OP_LENGTH:
1000     case OP_VEC:
1001     case OP_INDEX:
1002     case OP_RINDEX:
1003     case OP_SPRINTF:
1004     case OP_AELEM:
1005     case OP_AELEMFAST:
1006     case OP_ASLICE:
1007     case OP_HELEM:
1008     case OP_HSLICE:
1009     case OP_UNPACK:
1010     case OP_PACK:
1011     case OP_JOIN:
1012     case OP_LSLICE:
1013     case OP_ANONLIST:
1014     case OP_ANONHASH:
1015     case OP_SORT:
1016     case OP_REVERSE:
1017     case OP_RANGE:
1018     case OP_FLIP:
1019     case OP_FLOP:
1020     case OP_CALLER:
1021     case OP_FILENO:
1022     case OP_EOF:
1023     case OP_TELL:
1024     case OP_GETSOCKNAME:
1025     case OP_GETPEERNAME:
1026     case OP_READLINK:
1027     case OP_TELLDIR:
1028     case OP_GETPPID:
1029     case OP_GETPGRP:
1030     case OP_GETPRIORITY:
1031     case OP_TIME:
1032     case OP_TMS:
1033     case OP_LOCALTIME:
1034     case OP_GMTIME:
1035     case OP_GHBYNAME:
1036     case OP_GHBYADDR:
1037     case OP_GHOSTENT:
1038     case OP_GNBYNAME:
1039     case OP_GNBYADDR:
1040     case OP_GNETENT:
1041     case OP_GPBYNAME:
1042     case OP_GPBYNUMBER:
1043     case OP_GPROTOENT:
1044     case OP_GSBYNAME:
1045     case OP_GSBYPORT:
1046     case OP_GSERVENT:
1047     case OP_GPWNAM:
1048     case OP_GPWUID:
1049     case OP_GGRNAM:
1050     case OP_GGRGID:
1051     case OP_GETLOGIN:
1052     case OP_PROTOTYPE:
1053       func_ops:
1054         if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)))
1055             /* Otherwise it's "Useless use of grep iterator" */
1056             useless = OP_DESC(o);
1057         break;
1058
1059     case OP_NOT:
1060        kid = cUNOPo->op_first;
1061        if (kid->op_type != OP_MATCH && kid->op_type != OP_SUBST &&
1062            kid->op_type != OP_TRANS) {
1063                 goto func_ops;
1064        }
1065        useless = "negative pattern binding (!~)";
1066        break;
1067
1068     case OP_RV2GV:
1069     case OP_RV2SV:
1070     case OP_RV2AV:
1071     case OP_RV2HV:
1072         if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)) &&
1073                 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
1074             useless = "a variable";
1075         break;
1076
1077     case OP_CONST:
1078         sv = cSVOPo_sv;
1079         if (cSVOPo->op_private & OPpCONST_STRICT)
1080             no_bareword_allowed(o);
1081         else {
1082             if (ckWARN(WARN_VOID)) {
1083                 if (SvOK(sv)) {
1084                     SV* msv = sv_2mortal(Perl_newSVpvf(aTHX_
1085                                 "a constant (%"SVf")", sv));
1086                     useless = SvPV_nolen(msv);
1087                 }
1088                 else
1089                     useless = "a constant (undef)";
1090                 if (o->op_private & OPpCONST_ARYBASE)
1091                     useless = NULL;
1092                 /* don't warn on optimised away booleans, eg 
1093                  * use constant Foo, 5; Foo || print; */
1094                 if (cSVOPo->op_private & OPpCONST_SHORTCIRCUIT)
1095                     useless = NULL;
1096                 /* the constants 0 and 1 are permitted as they are
1097                    conventionally used as dummies in constructs like
1098                         1 while some_condition_with_side_effects;  */
1099                 else if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
1100                     useless = NULL;
1101                 else if (SvPOK(sv)) {
1102                   /* perl4's way of mixing documentation and code
1103                      (before the invention of POD) was based on a
1104                      trick to mix nroff and perl code. The trick was
1105                      built upon these three nroff macros being used in
1106                      void context. The pink camel has the details in
1107                      the script wrapman near page 319. */
1108                     const char * const maybe_macro = SvPVX_const(sv);
1109                     if (strnEQ(maybe_macro, "di", 2) ||
1110                         strnEQ(maybe_macro, "ds", 2) ||
1111                         strnEQ(maybe_macro, "ig", 2))
1112                             useless = NULL;
1113                 }
1114             }
1115         }
1116         op_null(o);             /* don't execute or even remember it */
1117         break;
1118
1119     case OP_POSTINC:
1120         o->op_type = OP_PREINC;         /* pre-increment is faster */
1121         o->op_ppaddr = PL_ppaddr[OP_PREINC];
1122         break;
1123
1124     case OP_POSTDEC:
1125         o->op_type = OP_PREDEC;         /* pre-decrement is faster */
1126         o->op_ppaddr = PL_ppaddr[OP_PREDEC];
1127         break;
1128
1129     case OP_I_POSTINC:
1130         o->op_type = OP_I_PREINC;       /* pre-increment is faster */
1131         o->op_ppaddr = PL_ppaddr[OP_I_PREINC];
1132         break;
1133
1134     case OP_I_POSTDEC:
1135         o->op_type = OP_I_PREDEC;       /* pre-decrement is faster */
1136         o->op_ppaddr = PL_ppaddr[OP_I_PREDEC];
1137         break;
1138
1139     case OP_OR:
1140     case OP_AND:
1141         kid = cLOGOPo->op_first;
1142         if (kid->op_type == OP_NOT
1143             && (kid->op_flags & OPf_KIDS)
1144             && !PL_madskills) {
1145             if (o->op_type == OP_AND) {
1146                 o->op_type = OP_OR;
1147                 o->op_ppaddr = PL_ppaddr[OP_OR];
1148             } else {
1149                 o->op_type = OP_AND;
1150                 o->op_ppaddr = PL_ppaddr[OP_AND];
1151             }
1152             op_null(kid);
1153         }
1154
1155     case OP_DOR:
1156     case OP_COND_EXPR:
1157     case OP_ENTERGIVEN:
1158     case OP_ENTERWHEN:
1159         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1160             scalarvoid(kid);
1161         break;
1162
1163     case OP_NULL:
1164         if (o->op_flags & OPf_STACKED)
1165             break;
1166         /* FALL THROUGH */
1167     case OP_NEXTSTATE:
1168     case OP_DBSTATE:
1169     case OP_ENTERTRY:
1170     case OP_ENTER:
1171         if (!(o->op_flags & OPf_KIDS))
1172             break;
1173         /* FALL THROUGH */
1174     case OP_SCOPE:
1175     case OP_LEAVE:
1176     case OP_LEAVETRY:
1177     case OP_LEAVELOOP:
1178     case OP_LINESEQ:
1179     case OP_LIST:
1180     case OP_LEAVEGIVEN:
1181     case OP_LEAVEWHEN:
1182         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1183             scalarvoid(kid);
1184         break;
1185     case OP_ENTEREVAL:
1186         scalarkids(o);
1187         break;
1188     case OP_REQUIRE:
1189         /* all requires must return a boolean value */
1190         o->op_flags &= ~OPf_WANT;
1191         /* FALL THROUGH */
1192     case OP_SCALAR:
1193         return scalar(o);
1194     case OP_SPLIT:
1195         if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
1196             if (!kPMOP->op_pmreplrootu.op_pmreplroot)
1197                 deprecate_old("implicit split to @_");
1198         }
1199         break;
1200     }
1201     if (useless && ckWARN(WARN_VOID))
1202         Perl_warner(aTHX_ packWARN(WARN_VOID), "Useless use of %s in void context", useless);
1203     return o;
1204 }
1205
1206 OP *
1207 Perl_listkids(pTHX_ OP *o)
1208 {
1209     if (o && o->op_flags & OPf_KIDS) {
1210         OP *kid;
1211         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1212             list(kid);
1213     }
1214     return o;
1215 }
1216
1217 OP *
1218 Perl_list(pTHX_ OP *o)
1219 {
1220     dVAR;
1221     OP *kid;
1222
1223     /* assumes no premature commitment */
1224     if (!o || (o->op_flags & OPf_WANT)
1225          || (PL_parser && PL_parser->error_count)
1226          || o->op_type == OP_RETURN)
1227     {
1228         return o;
1229     }
1230
1231     if ((o->op_private & OPpTARGET_MY)
1232         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1233     {
1234         return o;                               /* As if inside SASSIGN */
1235     }
1236
1237     o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
1238
1239     switch (o->op_type) {
1240     case OP_FLOP:
1241     case OP_REPEAT:
1242         list(cBINOPo->op_first);
1243         break;
1244     case OP_OR:
1245     case OP_AND:
1246     case OP_COND_EXPR:
1247         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1248             list(kid);
1249         break;
1250     default:
1251     case OP_MATCH:
1252     case OP_QR:
1253     case OP_SUBST:
1254     case OP_NULL:
1255         if (!(o->op_flags & OPf_KIDS))
1256             break;
1257         if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
1258             list(cBINOPo->op_first);
1259             return gen_constant_list(o);
1260         }
1261     case OP_LIST:
1262         listkids(o);
1263         break;
1264     case OP_LEAVE:
1265     case OP_LEAVETRY:
1266         kid = cLISTOPo->op_first;
1267         list(kid);
1268         while ((kid = kid->op_sibling)) {
1269             if (kid->op_sibling)
1270                 scalarvoid(kid);
1271             else
1272                 list(kid);
1273         }
1274         PL_curcop = &PL_compiling;
1275         break;
1276     case OP_SCOPE:
1277     case OP_LINESEQ:
1278         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1279             if (kid->op_sibling)
1280                 scalarvoid(kid);
1281             else
1282                 list(kid);
1283         }
1284         PL_curcop = &PL_compiling;
1285         break;
1286     case OP_REQUIRE:
1287         /* all requires must return a boolean value */
1288         o->op_flags &= ~OPf_WANT;
1289         return scalar(o);
1290     }
1291     return o;
1292 }
1293
1294 OP *
1295 Perl_scalarseq(pTHX_ OP *o)
1296 {
1297     dVAR;
1298     if (o) {
1299         const OPCODE type = o->op_type;
1300
1301         if (type == OP_LINESEQ || type == OP_SCOPE ||
1302             type == OP_LEAVE || type == OP_LEAVETRY)
1303         {
1304             OP *kid;
1305             for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
1306                 if (kid->op_sibling) {
1307                     scalarvoid(kid);
1308                 }
1309             }
1310             PL_curcop = &PL_compiling;
1311         }
1312         o->op_flags &= ~OPf_PARENS;
1313         if (PL_hints & HINT_BLOCK_SCOPE)
1314             o->op_flags |= OPf_PARENS;
1315     }
1316     else
1317         o = newOP(OP_STUB, 0);
1318     return o;
1319 }
1320
1321 STATIC OP *
1322 S_modkids(pTHX_ OP *o, I32 type)
1323 {
1324     if (o && o->op_flags & OPf_KIDS) {
1325         OP *kid;
1326         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1327             mod(kid, type);
1328     }
1329     return o;
1330 }
1331
1332 /* Propagate lvalue ("modifiable") context to an op and its children.
1333  * 'type' represents the context type, roughly based on the type of op that
1334  * would do the modifying, although local() is represented by OP_NULL.
1335  * It's responsible for detecting things that can't be modified,  flag
1336  * things that need to behave specially in an lvalue context (e.g., "$$x = 5"
1337  * might have to vivify a reference in $x), and so on.
1338  *
1339  * For example, "$a+1 = 2" would cause mod() to be called with o being
1340  * OP_ADD and type being OP_SASSIGN, and would output an error.
1341  */
1342
1343 OP *
1344 Perl_mod(pTHX_ OP *o, I32 type)
1345 {
1346     dVAR;
1347     OP *kid;
1348     /* -1 = error on localize, 0 = ignore localize, 1 = ok to localize */
1349     int localize = -1;
1350
1351     if (!o || (PL_parser && PL_parser->error_count))
1352         return o;
1353
1354     if ((o->op_private & OPpTARGET_MY)
1355         && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1356     {
1357         return o;
1358     }
1359
1360     switch (o->op_type) {
1361     case OP_UNDEF:
1362         localize = 0;
1363         PL_modcount++;
1364         return o;
1365     case OP_CONST:
1366         if (!(o->op_private & OPpCONST_ARYBASE))
1367             goto nomod;
1368         localize = 0;
1369         if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
1370             CopARYBASE_set(&PL_compiling,
1371                            (I32)SvIV(cSVOPx(PL_eval_start)->op_sv));
1372             PL_eval_start = 0;
1373         }
1374         else if (!type) {
1375             SAVECOPARYBASE(&PL_compiling);
1376             CopARYBASE_set(&PL_compiling, 0);
1377         }
1378         else if (type == OP_REFGEN)
1379             goto nomod;
1380         else
1381             Perl_croak(aTHX_ "That use of $[ is unsupported");
1382         break;
1383     case OP_STUB:
1384         if ((o->op_flags & OPf_PARENS) || PL_madskills)
1385             break;
1386         goto nomod;
1387     case OP_ENTERSUB:
1388         if ((type == OP_UNDEF || type == OP_REFGEN) &&
1389             !(o->op_flags & OPf_STACKED)) {
1390             o->op_type = OP_RV2CV;              /* entersub => rv2cv */
1391             /* The default is to set op_private to the number of children,
1392                which for a UNOP such as RV2CV is always 1. And w're using
1393                the bit for a flag in RV2CV, so we need it clear.  */
1394             o->op_private &= ~1;
1395             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1396             assert(cUNOPo->op_first->op_type == OP_NULL);
1397             op_null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
1398             break;
1399         }
1400         else if (o->op_private & OPpENTERSUB_NOMOD)
1401             return o;
1402         else {                          /* lvalue subroutine call */
1403             o->op_private |= OPpLVAL_INTRO;
1404             PL_modcount = RETURN_UNLIMITED_NUMBER;
1405             if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN) {
1406                 /* Backward compatibility mode: */
1407                 o->op_private |= OPpENTERSUB_INARGS;
1408                 break;
1409             }
1410             else {                      /* Compile-time error message: */
1411                 OP *kid = cUNOPo->op_first;
1412                 CV *cv;
1413                 OP *okid;
1414
1415                 if (kid->op_type != OP_PUSHMARK) {
1416                     if (kid->op_type != OP_NULL || kid->op_targ != OP_LIST)
1417                         Perl_croak(aTHX_
1418                                 "panic: unexpected lvalue entersub "
1419                                 "args: type/targ %ld:%"UVuf,
1420                                 (long)kid->op_type, (UV)kid->op_targ);
1421                     kid = kLISTOP->op_first;
1422                 }
1423                 while (kid->op_sibling)
1424                     kid = kid->op_sibling;
1425                 if (!(kid->op_type == OP_NULL && kid->op_targ == OP_RV2CV)) {
1426                     /* Indirect call */
1427                     if (kid->op_type == OP_METHOD_NAMED
1428                         || kid->op_type == OP_METHOD)
1429                     {
1430                         UNOP *newop;
1431
1432                         NewOp(1101, newop, 1, UNOP);
1433                         newop->op_type = OP_RV2CV;
1434                         newop->op_ppaddr = PL_ppaddr[OP_RV2CV];
1435                         newop->op_first = NULL;
1436                         newop->op_next = (OP*)newop;
1437                         kid->op_sibling = (OP*)newop;
1438                         newop->op_private |= OPpLVAL_INTRO;
1439                         newop->op_private &= ~1;
1440                         break;
1441                     }
1442
1443                     if (kid->op_type != OP_RV2CV)
1444                         Perl_croak(aTHX_
1445                                    "panic: unexpected lvalue entersub "
1446                                    "entry via type/targ %ld:%"UVuf,
1447                                    (long)kid->op_type, (UV)kid->op_targ);
1448                     kid->op_private |= OPpLVAL_INTRO;
1449                     break;      /* Postpone until runtime */
1450                 }
1451
1452                 okid = kid;
1453                 kid = kUNOP->op_first;
1454                 if (kid->op_type == OP_NULL && kid->op_targ == OP_RV2SV)
1455                     kid = kUNOP->op_first;
1456                 if (kid->op_type == OP_NULL)
1457                     Perl_croak(aTHX_
1458                                "Unexpected constant lvalue entersub "
1459                                "entry via type/targ %ld:%"UVuf,
1460                                (long)kid->op_type, (UV)kid->op_targ);
1461                 if (kid->op_type != OP_GV) {
1462                     /* Restore RV2CV to check lvalueness */
1463                   restore_2cv:
1464                     if (kid->op_next && kid->op_next != kid) { /* Happens? */
1465                         okid->op_next = kid->op_next;
1466                         kid->op_next = okid;
1467                     }
1468                     else
1469                         okid->op_next = NULL;
1470                     okid->op_type = OP_RV2CV;
1471                     okid->op_targ = 0;
1472                     okid->op_ppaddr = PL_ppaddr[OP_RV2CV];
1473                     okid->op_private |= OPpLVAL_INTRO;
1474                     okid->op_private &= ~1;
1475                     break;
1476                 }
1477
1478                 cv = GvCV(kGVOP_gv);
1479                 if (!cv)
1480                     goto restore_2cv;
1481                 if (CvLVALUE(cv))
1482                     break;
1483             }
1484         }
1485         /* FALL THROUGH */
1486     default:
1487       nomod:
1488         /* grep, foreach, subcalls, refgen */
1489         if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1490             break;
1491         yyerror(Perl_form(aTHX_ "Can't modify %s in %s",
1492                      (o->op_type == OP_NULL && (o->op_flags & OPf_SPECIAL)
1493                       ? "do block"
1494                       : (o->op_type == OP_ENTERSUB
1495                         ? "non-lvalue subroutine call"
1496                         : OP_DESC(o))),
1497                      type ? PL_op_desc[type] : "local"));
1498         return o;
1499
1500     case OP_PREINC:
1501     case OP_PREDEC:
1502     case OP_POW:
1503     case OP_MULTIPLY:
1504     case OP_DIVIDE:
1505     case OP_MODULO:
1506     case OP_REPEAT:
1507     case OP_ADD:
1508     case OP_SUBTRACT:
1509     case OP_CONCAT:
1510     case OP_LEFT_SHIFT:
1511     case OP_RIGHT_SHIFT:
1512     case OP_BIT_AND:
1513     case OP_BIT_XOR:
1514     case OP_BIT_OR:
1515     case OP_I_MULTIPLY:
1516     case OP_I_DIVIDE:
1517     case OP_I_MODULO:
1518     case OP_I_ADD:
1519     case OP_I_SUBTRACT:
1520         if (!(o->op_flags & OPf_STACKED))
1521             goto nomod;
1522         PL_modcount++;
1523         break;
1524
1525     case OP_COND_EXPR:
1526         localize = 1;
1527         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1528             mod(kid, type);
1529         break;
1530
1531     case OP_RV2AV:
1532     case OP_RV2HV:
1533         if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
1534            PL_modcount = RETURN_UNLIMITED_NUMBER;
1535             return o;           /* Treat \(@foo) like ordinary list. */
1536         }
1537         /* FALL THROUGH */
1538     case OP_RV2GV:
1539         if (scalar_mod_type(o, type))
1540             goto nomod;
1541         ref(cUNOPo->op_first, o->op_type);
1542         /* FALL THROUGH */
1543     case OP_ASLICE:
1544     case OP_HSLICE:
1545         if (type == OP_LEAVESUBLV)
1546             o->op_private |= OPpMAYBE_LVSUB;
1547         localize = 1;
1548         /* FALL THROUGH */
1549     case OP_AASSIGN:
1550     case OP_NEXTSTATE:
1551     case OP_DBSTATE:
1552        PL_modcount = RETURN_UNLIMITED_NUMBER;
1553         break;
1554     case OP_RV2SV:
1555         ref(cUNOPo->op_first, o->op_type);
1556         localize = 1;
1557         /* FALL THROUGH */
1558     case OP_GV:
1559     case OP_AV2ARYLEN:
1560         PL_hints |= HINT_BLOCK_SCOPE;
1561     case OP_SASSIGN:
1562     case OP_ANDASSIGN:
1563     case OP_ORASSIGN:
1564     case OP_DORASSIGN:
1565         PL_modcount++;
1566         break;
1567
1568     case OP_AELEMFAST:
1569         localize = -1;
1570         PL_modcount++;
1571         break;
1572
1573     case OP_PADAV:
1574     case OP_PADHV:
1575        PL_modcount = RETURN_UNLIMITED_NUMBER;
1576         if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1577             return o;           /* Treat \(@foo) like ordinary list. */
1578         if (scalar_mod_type(o, type))
1579             goto nomod;
1580         if (type == OP_LEAVESUBLV)
1581             o->op_private |= OPpMAYBE_LVSUB;
1582         /* FALL THROUGH */
1583     case OP_PADSV:
1584         PL_modcount++;
1585         if (!type) /* local() */
1586             Perl_croak(aTHX_ "Can't localize lexical variable %s",
1587                  PAD_COMPNAME_PV(o->op_targ));
1588         break;
1589
1590     case OP_PUSHMARK:
1591         localize = 0;
1592         break;
1593
1594     case OP_KEYS:
1595         if (type != OP_SASSIGN)
1596             goto nomod;
1597         goto lvalue_func;
1598     case OP_SUBSTR:
1599         if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
1600             goto nomod;
1601         /* FALL THROUGH */
1602     case OP_POS:
1603     case OP_VEC:
1604         if (type == OP_LEAVESUBLV)
1605             o->op_private |= OPpMAYBE_LVSUB;
1606       lvalue_func:
1607         pad_free(o->op_targ);
1608         o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
1609         assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
1610         if (o->op_flags & OPf_KIDS)
1611             mod(cBINOPo->op_first->op_sibling, type);
1612         break;
1613
1614     case OP_AELEM:
1615     case OP_HELEM:
1616         ref(cBINOPo->op_first, o->op_type);
1617         if (type == OP_ENTERSUB &&
1618              !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1619             o->op_private |= OPpLVAL_DEFER;
1620         if (type == OP_LEAVESUBLV)
1621             o->op_private |= OPpMAYBE_LVSUB;
1622         localize = 1;
1623         PL_modcount++;
1624         break;
1625
1626     case OP_SCOPE:
1627     case OP_LEAVE:
1628     case OP_ENTER:
1629     case OP_LINESEQ:
1630         localize = 0;
1631         if (o->op_flags & OPf_KIDS)
1632             mod(cLISTOPo->op_last, type);
1633         break;
1634
1635     case OP_NULL:
1636         localize = 0;
1637         if (o->op_flags & OPf_SPECIAL)          /* do BLOCK */
1638             goto nomod;
1639         else if (!(o->op_flags & OPf_KIDS))
1640             break;
1641         if (o->op_targ != OP_LIST) {
1642             mod(cBINOPo->op_first, type);
1643             break;
1644         }
1645         /* FALL THROUGH */
1646     case OP_LIST:
1647         localize = 0;
1648         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1649             mod(kid, type);
1650         break;
1651
1652     case OP_RETURN:
1653         if (type != OP_LEAVESUBLV)
1654             goto nomod;
1655         break; /* mod()ing was handled by ck_return() */
1656     }
1657
1658     /* [20011101.069] File test operators interpret OPf_REF to mean that
1659        their argument is a filehandle; thus \stat(".") should not set
1660        it. AMS 20011102 */
1661     if (type == OP_REFGEN &&
1662         PL_check[o->op_type] == MEMBER_TO_FPTR(Perl_ck_ftst))
1663         return o;
1664
1665     if (type != OP_LEAVESUBLV)
1666         o->op_flags |= OPf_MOD;
1667
1668     if (type == OP_AASSIGN || type == OP_SASSIGN)
1669         o->op_flags |= OPf_SPECIAL|OPf_REF;
1670     else if (!type) { /* local() */
1671         switch (localize) {
1672         case 1:
1673             o->op_private |= OPpLVAL_INTRO;
1674             o->op_flags &= ~OPf_SPECIAL;
1675             PL_hints |= HINT_BLOCK_SCOPE;
1676             break;
1677         case 0:
1678             break;
1679         case -1:
1680             if (ckWARN(WARN_SYNTAX)) {
1681                 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
1682                     "Useless localization of %s", OP_DESC(o));
1683             }
1684         }
1685     }
1686     else if (type != OP_GREPSTART && type != OP_ENTERSUB
1687              && type != OP_LEAVESUBLV)
1688         o->op_flags |= OPf_REF;
1689     return o;
1690 }
1691
1692 STATIC bool
1693 S_scalar_mod_type(const OP *o, I32 type)
1694 {
1695     PERL_ARGS_ASSERT_SCALAR_MOD_TYPE;
1696
1697     switch (type) {
1698     case OP_SASSIGN:
1699         if (o->op_type == OP_RV2GV)
1700             return FALSE;
1701         /* FALL THROUGH */
1702     case OP_PREINC:
1703     case OP_PREDEC:
1704     case OP_POSTINC:
1705     case OP_POSTDEC:
1706     case OP_I_PREINC:
1707     case OP_I_PREDEC:
1708     case OP_I_POSTINC:
1709     case OP_I_POSTDEC:
1710     case OP_POW:
1711     case OP_MULTIPLY:
1712     case OP_DIVIDE:
1713     case OP_MODULO:
1714     case OP_REPEAT:
1715     case OP_ADD:
1716     case OP_SUBTRACT:
1717     case OP_I_MULTIPLY:
1718     case OP_I_DIVIDE:
1719     case OP_I_MODULO:
1720     case OP_I_ADD:
1721     case OP_I_SUBTRACT:
1722     case OP_LEFT_SHIFT:
1723     case OP_RIGHT_SHIFT:
1724     case OP_BIT_AND:
1725     case OP_BIT_XOR:
1726     case OP_BIT_OR:
1727     case OP_CONCAT:
1728     case OP_SUBST:
1729     case OP_TRANS:
1730     case OP_READ:
1731     case OP_SYSREAD:
1732     case OP_RECV:
1733     case OP_ANDASSIGN:
1734     case OP_ORASSIGN:
1735     case OP_DORASSIGN:
1736         return TRUE;
1737     default:
1738         return FALSE;
1739     }
1740 }
1741
1742 STATIC bool
1743 S_is_handle_constructor(const OP *o, I32 numargs)
1744 {
1745     PERL_ARGS_ASSERT_IS_HANDLE_CONSTRUCTOR;
1746
1747     switch (o->op_type) {
1748     case OP_PIPE_OP:
1749     case OP_SOCKPAIR:
1750         if (numargs == 2)
1751             return TRUE;
1752         /* FALL THROUGH */
1753     case OP_SYSOPEN:
1754     case OP_OPEN:
1755     case OP_SELECT:             /* XXX c.f. SelectSaver.pm */
1756     case OP_SOCKET:
1757     case OP_OPEN_DIR:
1758     case OP_ACCEPT:
1759         if (numargs == 1)
1760             return TRUE;
1761         /* FALLTHROUGH */
1762     default:
1763         return FALSE;
1764     }
1765 }
1766
1767 OP *
1768 Perl_refkids(pTHX_ OP *o, I32 type)
1769 {
1770     if (o && o->op_flags & OPf_KIDS) {
1771         OP *kid;
1772         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
1773             ref(kid, type);
1774     }
1775     return o;
1776 }
1777
1778 OP *
1779 Perl_doref(pTHX_ OP *o, I32 type, bool set_op_ref)
1780 {
1781     dVAR;
1782     OP *kid;
1783
1784     PERL_ARGS_ASSERT_DOREF;
1785
1786     if (!o || (PL_parser && PL_parser->error_count))
1787         return o;
1788
1789     switch (o->op_type) {
1790     case OP_ENTERSUB:
1791         if ((type == OP_EXISTS || type == OP_DEFINED || type == OP_LOCK) &&
1792             !(o->op_flags & OPf_STACKED)) {
1793             o->op_type = OP_RV2CV;             /* entersub => rv2cv */
1794             o->op_ppaddr = PL_ppaddr[OP_RV2CV];
1795             assert(cUNOPo->op_first->op_type == OP_NULL);
1796             op_null(((LISTOP*)cUNOPo->op_first)->op_first);     /* disable pushmark */
1797             o->op_flags |= OPf_SPECIAL;
1798             o->op_private &= ~1;
1799         }
1800         break;
1801
1802     case OP_COND_EXPR:
1803         for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
1804             doref(kid, type, set_op_ref);
1805         break;
1806     case OP_RV2SV:
1807         if (type == OP_DEFINED)
1808             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1809         doref(cUNOPo->op_first, o->op_type, set_op_ref);
1810         /* FALL THROUGH */
1811     case OP_PADSV:
1812         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1813             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1814                               : type == OP_RV2HV ? OPpDEREF_HV
1815                               : OPpDEREF_SV);
1816             o->op_flags |= OPf_MOD;
1817         }
1818         break;
1819
1820     case OP_RV2AV:
1821     case OP_RV2HV:
1822         if (set_op_ref)
1823             o->op_flags |= OPf_REF;
1824         /* FALL THROUGH */
1825     case OP_RV2GV:
1826         if (type == OP_DEFINED)
1827             o->op_flags |= OPf_SPECIAL;         /* don't create GV */
1828         doref(cUNOPo->op_first, o->op_type, set_op_ref);
1829         break;
1830
1831     case OP_PADAV:
1832     case OP_PADHV:
1833         if (set_op_ref)
1834             o->op_flags |= OPf_REF;
1835         break;
1836
1837     case OP_SCALAR:
1838     case OP_NULL:
1839         if (!(o->op_flags & OPf_KIDS))
1840             break;
1841         doref(cBINOPo->op_first, type, set_op_ref);
1842         break;
1843     case OP_AELEM:
1844     case OP_HELEM:
1845         doref(cBINOPo->op_first, o->op_type, set_op_ref);
1846         if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1847             o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1848                               : type == OP_RV2HV ? OPpDEREF_HV
1849                               : OPpDEREF_SV);
1850             o->op_flags |= OPf_MOD;
1851         }
1852         break;
1853
1854     case OP_SCOPE:
1855     case OP_LEAVE:
1856         set_op_ref = FALSE;
1857         /* FALL THROUGH */
1858     case OP_ENTER:
1859     case OP_LIST:
1860         if (!(o->op_flags & OPf_KIDS))
1861             break;
1862         doref(cLISTOPo->op_last, type, set_op_ref);
1863         break;
1864     default:
1865         break;
1866     }
1867     return scalar(o);
1868
1869 }
1870
1871 STATIC OP *
1872 S_dup_attrlist(pTHX_ OP *o)
1873 {
1874     dVAR;
1875     OP *rop;
1876
1877     PERL_ARGS_ASSERT_DUP_ATTRLIST;
1878
1879     /* An attrlist is either a simple OP_CONST or an OP_LIST with kids,
1880      * where the first kid is OP_PUSHMARK and the remaining ones
1881      * are OP_CONST.  We need to push the OP_CONST values.
1882      */
1883     if (o->op_type == OP_CONST)
1884         rop = newSVOP(OP_CONST, o->op_flags, SvREFCNT_inc_NN(cSVOPo->op_sv));
1885 #ifdef PERL_MAD
1886     else if (o->op_type == OP_NULL)
1887         rop = NULL;
1888 #endif
1889     else {
1890         assert((o->op_type == OP_LIST) && (o->op_flags & OPf_KIDS));
1891         rop = NULL;
1892         for (o = cLISTOPo->op_first; o; o=o->op_sibling) {
1893             if (o->op_type == OP_CONST)
1894                 rop = append_elem(OP_LIST, rop,
1895                                   newSVOP(OP_CONST, o->op_flags,
1896                                           SvREFCNT_inc_NN(cSVOPo->op_sv)));
1897         }
1898     }
1899     return rop;
1900 }
1901
1902 STATIC void
1903 S_apply_attrs(pTHX_ HV *stash, SV *target, OP *attrs, bool for_my)
1904 {
1905     dVAR;
1906     SV *stashsv;
1907
1908     PERL_ARGS_ASSERT_APPLY_ATTRS;
1909
1910     /* fake up C<use attributes $pkg,$rv,@attrs> */
1911     ENTER;              /* need to protect against side-effects of 'use' */
1912     stashsv = stash ? newSVhek(HvNAME_HEK(stash)) : &PL_sv_no;
1913
1914 #define ATTRSMODULE "attributes"
1915 #define ATTRSMODULE_PM "attributes.pm"
1916
1917     if (for_my) {
1918         /* Don't force the C<use> if we don't need it. */
1919         SV * const * const svp = hv_fetchs(GvHVn(PL_incgv), ATTRSMODULE_PM, FALSE);
1920         if (svp && *svp != &PL_sv_undef)
1921             NOOP;       /* already in %INC */
1922         else
1923             Perl_load_module(aTHX_ PERL_LOADMOD_NOIMPORT,
1924                              newSVpvs(ATTRSMODULE), NULL);
1925     }
1926     else {
1927         Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
1928                          newSVpvs(ATTRSMODULE),
1929                          NULL,
1930                          prepend_elem(OP_LIST,
1931                                       newSVOP(OP_CONST, 0, stashsv),
1932                                       prepend_elem(OP_LIST,
1933                                                    newSVOP(OP_CONST, 0,
1934                                                            newRV(target)),
1935                                                    dup_attrlist(attrs))));
1936     }
1937     LEAVE;
1938 }
1939
1940 STATIC void
1941 S_apply_attrs_my(pTHX_ HV *stash, OP *target, OP *attrs, OP **imopsp)
1942 {
1943     dVAR;
1944     OP *pack, *imop, *arg;
1945     SV *meth, *stashsv;
1946
1947     PERL_ARGS_ASSERT_APPLY_ATTRS_MY;
1948
1949     if (!attrs)
1950         return;
1951
1952     assert(target->op_type == OP_PADSV ||
1953            target->op_type == OP_PADHV ||
1954            target->op_type == OP_PADAV);
1955
1956     /* Ensure that attributes.pm is loaded. */
1957     apply_attrs(stash, PAD_SV(target->op_targ), attrs, TRUE);
1958
1959     /* Need package name for method call. */
1960     pack = newSVOP(OP_CONST, 0, newSVpvs(ATTRSMODULE));
1961
1962     /* Build up the real arg-list. */
1963     stashsv = stash ? newSVhek(HvNAME_HEK(stash)) : &PL_sv_no;
1964
1965     arg = newOP(OP_PADSV, 0);
1966     arg->op_targ = target->op_targ;
1967     arg = prepend_elem(OP_LIST,
1968                        newSVOP(OP_CONST, 0, stashsv),
1969                        prepend_elem(OP_LIST,
1970                                     newUNOP(OP_REFGEN, 0,
1971                                             mod(arg, OP_REFGEN)),
1972                                     dup_attrlist(attrs)));
1973
1974     /* Fake up a method call to import */
1975     meth = newSVpvs_share("import");
1976     imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL|OPf_WANT_VOID,
1977                    append_elem(OP_LIST,
1978                                prepend_elem(OP_LIST, pack, list(arg)),
1979                                newSVOP(OP_METHOD_NAMED, 0, meth)));
1980     imop->op_private |= OPpENTERSUB_NOMOD;
1981
1982     /* Combine the ops. */
1983     *imopsp = append_elem(OP_LIST, *imopsp, imop);
1984 }
1985
1986 /*
1987 =notfor apidoc apply_attrs_string
1988
1989 Attempts to apply a list of attributes specified by the C<attrstr> and
1990 C<len> arguments to the subroutine identified by the C<cv> argument which
1991 is expected to be associated with the package identified by the C<stashpv>
1992 argument (see L<attributes>).  It gets this wrong, though, in that it
1993 does not correctly identify the boundaries of the individual attribute
1994 specifications within C<attrstr>.  This is not really intended for the
1995 public API, but has to be listed here for systems such as AIX which
1996 need an explicit export list for symbols.  (It's called from XS code
1997 in support of the C<ATTRS:> keyword from F<xsubpp>.)  Patches to fix it
1998 to respect attribute syntax properly would be welcome.
1999
2000 =cut
2001 */
2002
2003 void
2004 Perl_apply_attrs_string(pTHX_ const char *stashpv, CV *cv,
2005                         const char *attrstr, STRLEN len)
2006 {
2007     OP *attrs = NULL;
2008
2009     PERL_ARGS_ASSERT_APPLY_ATTRS_STRING;
2010
2011     if (!len) {
2012         len = strlen(attrstr);
2013     }
2014
2015     while (len) {
2016         for (; isSPACE(*attrstr) && len; --len, ++attrstr) ;
2017         if (len) {
2018             const char * const sstr = attrstr;
2019             for (; !isSPACE(*attrstr) && len; --len, ++attrstr) ;
2020             attrs = append_elem(OP_LIST, attrs,
2021                                 newSVOP(OP_CONST, 0,
2022                                         newSVpvn(sstr, attrstr-sstr)));
2023         }
2024     }
2025
2026     Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
2027                      newSVpvs(ATTRSMODULE),
2028                      NULL, prepend_elem(OP_LIST,
2029                                   newSVOP(OP_CONST, 0, newSVpv(stashpv,0)),
2030                                   prepend_elem(OP_LIST,
2031                                                newSVOP(OP_CONST, 0,
2032                                                        newRV((SV*)cv)),
2033                                                attrs)));
2034 }
2035
2036 STATIC OP *
2037 S_my_kid(pTHX_ OP *o, OP *attrs, OP **imopsp)
2038 {
2039     dVAR;
2040     I32 type;
2041
2042     PERL_ARGS_ASSERT_MY_KID;
2043
2044     if (!o || (PL_parser && PL_parser->error_count))
2045         return o;
2046
2047     type = o->op_type;
2048     if (PL_madskills && type == OP_NULL && o->op_flags & OPf_KIDS) {
2049         (void)my_kid(cUNOPo->op_first, attrs, imopsp);
2050         return o;
2051     }
2052
2053     if (type == OP_LIST) {
2054         OP *kid;
2055         for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
2056             my_kid(kid, attrs, imopsp);
2057     } else if (type == OP_UNDEF
2058 #ifdef PERL_MAD
2059                || type == OP_STUB
2060 #endif
2061                ) {
2062         return o;
2063     } else if (type == OP_RV2SV ||      /* "our" declaration */
2064                type == OP_RV2AV ||
2065                type == OP_RV2HV) { /* XXX does this let anything illegal in? */
2066         if (cUNOPo->op_first->op_type != OP_GV) { /* MJD 20011224 */
2067             yyerror(Perl_form(aTHX_ "Can't declare %s in \"%s\"",
2068                         OP_DESC(o),
2069                         PL_parser->in_my == KEY_our
2070                             ? "our"
2071                             : PL_parser->in_my == KEY_state ? "state" : "my"));
2072         } else if (attrs) {
2073             GV * const gv = cGVOPx_gv(cUNOPo->op_first);
2074             PL_parser->in_my = FALSE;
2075             PL_parser->in_my_stash = NULL;
2076             apply_attrs(GvSTASH(gv),
2077                         (type == OP_RV2SV ? GvSV(gv) :
2078                          type == OP_RV2AV ? (SV*)GvAV(gv) :
2079                          type == OP_RV2HV ? (SV*)GvHV(gv) : (SV*)gv),
2080                         attrs, FALSE);
2081         }
2082         o->op_private |= OPpOUR_INTRO;
2083         return o;
2084     }
2085     else if (type != OP_PADSV &&
2086              type != OP_PADAV &&
2087              type != OP_PADHV &&
2088              type != OP_PUSHMARK)
2089     {
2090         yyerror(Perl_form(aTHX_ "Can't declare %s in \"%s\"",
2091                           OP_DESC(o),
2092                           PL_parser->in_my == KEY_our
2093                             ? "our"
2094                             : PL_parser->in_my == KEY_state ? "state" : "my"));
2095         return o;
2096     }
2097     else if (attrs && type != OP_PUSHMARK) {
2098         HV *stash;
2099
2100         PL_parser->in_my = FALSE;
2101         PL_parser->in_my_stash = NULL;
2102
2103         /* check for C<my Dog $spot> when deciding package */
2104         stash = PAD_COMPNAME_TYPE(o->op_targ);
2105         if (!stash)
2106             stash = PL_curstash;
2107         apply_attrs_my(stash, o, attrs, imopsp);
2108     }
2109     o->op_flags |= OPf_MOD;
2110     o->op_private |= OPpLVAL_INTRO;
2111     if (PL_parser->in_my == KEY_state)
2112         o->op_private |= OPpPAD_STATE;
2113     return o;
2114 }
2115
2116 OP *
2117 Perl_my_attrs(pTHX_ OP *o, OP *attrs)
2118 {
2119     dVAR;
2120     OP *rops;
2121     int maybe_scalar = 0;
2122
2123     PERL_ARGS_ASSERT_MY_ATTRS;
2124
2125 /* [perl #17376]: this appears to be premature, and results in code such as
2126    C< our(%x); > executing in list mode rather than void mode */
2127 #if 0
2128     if (o->op_flags & OPf_PARENS)
2129         list(o);
2130     else
2131         maybe_scalar = 1;
2132 #else
2133     maybe_scalar = 1;
2134 #endif
2135     if (attrs)
2136         SAVEFREEOP(attrs);
2137     rops = NULL;
2138     o = my_kid(o, attrs, &rops);
2139     if (rops) {
2140         if (maybe_scalar && o->op_type == OP_PADSV) {
2141             o = scalar(append_list(OP_LIST, (LISTOP*)rops, (LISTOP*)o));
2142             o->op_private |= OPpLVAL_INTRO;
2143         }
2144         else
2145             o = append_list(OP_LIST, (LISTOP*)o, (LISTOP*)rops);
2146     }
2147     PL_parser->in_my = FALSE;
2148     PL_parser->in_my_stash = NULL;
2149     return o;
2150 }
2151
2152 OP *
2153 Perl_my(pTHX_ OP *o)
2154 {
2155     PERL_ARGS_ASSERT_MY;
2156
2157     return my_attrs(o, NULL);
2158 }
2159
2160 OP *
2161 Perl_sawparens(pTHX_ OP *o)
2162 {
2163     PERL_UNUSED_CONTEXT;
2164     if (o)
2165         o->op_flags |= OPf_PARENS;
2166     return o;
2167 }
2168
2169 OP *
2170 Perl_bind_match(pTHX_ I32 type, OP *left, OP *right)
2171 {
2172     OP *o;
2173     bool ismatchop = 0;
2174     const OPCODE ltype = left->op_type;
2175     const OPCODE rtype = right->op_type;
2176
2177     PERL_ARGS_ASSERT_BIND_MATCH;
2178
2179     if ( (ltype == OP_RV2AV || ltype == OP_RV2HV || ltype == OP_PADAV
2180           || ltype == OP_PADHV) && ckWARN(WARN_MISC))
2181     {
2182       const char * const desc
2183           = PL_op_desc[(rtype == OP_SUBST || rtype == OP_TRANS)
2184                        ? (int)rtype : OP_MATCH];
2185       const char * const sample = ((ltype == OP_RV2AV || ltype == OP_PADAV)
2186              ? "@array" : "%hash");
2187       Perl_warner(aTHX_ packWARN(WARN_MISC),
2188              "Applying %s to %s will act on scalar(%s)",
2189              desc, sample, sample);
2190     }
2191
2192     if (rtype == OP_CONST &&
2193         cSVOPx(right)->op_private & OPpCONST_BARE &&
2194         cSVOPx(right)->op_private & OPpCONST_STRICT)
2195     {
2196         no_bareword_allowed(right);
2197     }
2198
2199     ismatchop = rtype == OP_MATCH ||
2200                 rtype == OP_SUBST ||
2201                 rtype == OP_TRANS;
2202     if (ismatchop && right->op_private & OPpTARGET_MY) {
2203         right->op_targ = 0;
2204         right->op_private &= ~OPpTARGET_MY;
2205     }
2206     if (!(right->op_flags & OPf_STACKED) && ismatchop) {
2207         OP *newleft;
2208
2209         right->op_flags |= OPf_STACKED;
2210         if (rtype != OP_MATCH &&
2211             ! (rtype == OP_TRANS &&
2212                right->op_private & OPpTRANS_IDENTICAL))
2213             newleft = mod(left, rtype);
2214         else
2215             newleft = left;
2216         if (right->op_type == OP_TRANS)
2217             o = newBINOP(OP_NULL, OPf_STACKED, scalar(newleft), right);
2218         else
2219             o = prepend_elem(rtype, scalar(newleft), right);
2220         if (type == OP_NOT)
2221             return newUNOP(OP_NOT, 0, scalar(o));
2222         return o;
2223     }
2224     else
2225         return bind_match(type, left,
2226                 pmruntime(newPMOP(OP_MATCH, 0), right, 0));
2227 }
2228
2229 OP *
2230 Perl_invert(pTHX_ OP *o)
2231 {
2232     if (!o)
2233         return NULL;
2234     return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
2235 }
2236
2237 OP *
2238 Perl_scope(pTHX_ OP *o)
2239 {
2240     dVAR;
2241     if (o) {
2242         if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
2243             o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
2244             o->op_type = OP_LEAVE;
2245             o->op_ppaddr = PL_ppaddr[OP_LEAVE];
2246         }
2247         else if (o->op_type == OP_LINESEQ) {
2248             OP *kid;
2249             o->op_type = OP_SCOPE;
2250             o->op_ppaddr = PL_ppaddr[OP_SCOPE];
2251             kid = ((LISTOP*)o)->op_first;
2252             if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE) {
2253                 op_null(kid);
2254
2255                 /* The following deals with things like 'do {1 for 1}' */
2256                 kid = kid->op_sibling;
2257                 if (kid &&
2258                     (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE))
2259                     op_null(kid);
2260             }
2261         }
2262         else
2263             o = newLISTOP(OP_SCOPE, 0, o, NULL);
2264     }
2265     return o;
2266 }
2267         
2268 int
2269 Perl_block_start(pTHX_ int full)
2270 {
2271     dVAR;
2272     const int retval = PL_savestack_ix;
2273     pad_block_start(full);
2274     SAVEHINTS();
2275     PL_hints &= ~HINT_BLOCK_SCOPE;
2276     SAVECOMPILEWARNINGS();
2277     PL_compiling.cop_warnings = DUP_WARNINGS(PL_compiling.cop_warnings);
2278     return retval;
2279 }
2280
2281 OP*
2282 Perl_block_end(pTHX_ I32 floor, OP *seq)
2283 {
2284     dVAR;
2285     const int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
2286     OP* const retval = scalarseq(seq);
2287     LEAVE_SCOPE(floor);
2288     CopHINTS_set(&PL_compiling, PL_hints);
2289     if (needblockscope)
2290         PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
2291     pad_leavemy();
2292     return retval;
2293 }
2294
2295 STATIC OP *
2296 S_newDEFSVOP(pTHX)
2297 {
2298     dVAR;
2299     const PADOFFSET offset = pad_findmy("$_");
2300     if (offset == NOT_IN_PAD || PAD_COMPNAME_FLAGS_isOUR(offset)) {
2301         return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
2302     }
2303     else {
2304         OP * const o = newOP(OP_PADSV, 0);
2305         o->op_targ = offset;
2306         return o;
2307     }
2308 }
2309
2310 void
2311 Perl_newPROG(pTHX_ OP *o)
2312 {
2313     dVAR;
2314
2315     PERL_ARGS_ASSERT_NEWPROG;
2316
2317     if (PL_in_eval) {
2318         if (PL_eval_root)
2319                 return;
2320         PL_eval_root = newUNOP(OP_LEAVEEVAL,
2321                                ((PL_in_eval & EVAL_KEEPERR)
2322                                 ? OPf_SPECIAL : 0), o);
2323         PL_eval_start = linklist(PL_eval_root);
2324         PL_eval_root->op_private |= OPpREFCOUNTED;
2325         OpREFCNT_set(PL_eval_root, 1);
2326         PL_eval_root->op_next = 0;
2327         CALL_PEEP(PL_eval_start);
2328     }
2329     else {
2330         if (o->op_type == OP_STUB) {
2331             PL_comppad_name = 0;
2332             PL_compcv = 0;
2333             S_op_destroy(aTHX_ o);
2334             return;
2335         }
2336         PL_main_root = scope(sawparens(scalarvoid(o)));
2337         PL_curcop = &PL_compiling;
2338         PL_main_start = LINKLIST(PL_main_root);
2339         PL_main_root->op_private |= OPpREFCOUNTED;
2340         OpREFCNT_set(PL_main_root, 1);
2341         PL_main_root->op_next = 0;
2342         CALL_PEEP(PL_main_start);
2343         PL_compcv = 0;
2344
2345         /* Register with debugger */
2346         if (PERLDB_INTER) {
2347             CV * const cv
2348                 = Perl_get_cvn_flags(aTHX_ STR_WITH_LEN("DB::postponed"), 0);
2349             if (cv) {
2350                 dSP;
2351                 PUSHMARK(SP);
2352                 XPUSHs((SV*)CopFILEGV(&PL_compiling));
2353                 PUTBACK;
2354                 call_sv((SV*)cv, G_DISCARD);
2355             }
2356         }
2357     }
2358 }
2359
2360 OP *
2361 Perl_localize(pTHX_ OP *o, I32 lex)
2362 {
2363     dVAR;
2364
2365     PERL_ARGS_ASSERT_LOCALIZE;
2366
2367     if (o->op_flags & OPf_PARENS)
2368 /* [perl #17376]: this appears to be premature, and results in code such as
2369    C< our(%x); > executing in list mode rather than void mode */
2370 #if 0
2371         list(o);
2372 #else
2373         NOOP;
2374 #endif
2375     else {
2376         if ( PL_parser->bufptr > PL_parser->oldbufptr
2377             && PL_parser->bufptr[-1] == ','
2378             && ckWARN(WARN_PARENTHESIS))
2379         {
2380             char *s = PL_parser->bufptr;
2381             bool sigil = FALSE;
2382
2383             /* some heuristics to detect a potential error */
2384             while (*s && (strchr(", \t\n", *s)))
2385                 s++;
2386
2387             while (1) {
2388                 if (*s && strchr("@$%*", *s) && *++s
2389                        && (isALNUM(*s) || UTF8_IS_CONTINUED(*s))) {
2390                     s++;
2391                     sigil = TRUE;
2392                     while (*s && (isALNUM(*s) || UTF8_IS_CONTINUED(*s)))
2393                         s++;
2394                     while (*s && (strchr(", \t\n", *s)))
2395                         s++;
2396                 }
2397                 else
2398                     break;
2399             }
2400             if (sigil && (*s == ';' || *s == '=')) {
2401                 Perl_warner(aTHX_ packWARN(WARN_PARENTHESIS),
2402                                 "Parentheses missing around \"%s\" list",
2403                                 lex
2404                                     ? (PL_parser->in_my == KEY_our
2405                                         ? "our"
2406                                         : PL_parser->in_my == KEY_state
2407                                             ? "state"
2408                                             : "my")
2409                                     : "local");
2410             }
2411         }
2412     }
2413     if (lex)
2414         o = my(o);
2415     else
2416         o = mod(o, OP_NULL);            /* a bit kludgey */
2417     PL_parser->in_my = FALSE;
2418     PL_parser->in_my_stash = NULL;
2419     return o;
2420 }
2421
2422 OP *
2423 Perl_jmaybe(pTHX_ OP *o)
2424 {
2425     PERL_ARGS_ASSERT_JMAYBE;
2426
2427     if (o->op_type == OP_LIST) {
2428         OP * const o2
2429             = newSVREF(newGVOP(OP_GV, 0, gv_fetchpvs(";", GV_ADD|GV_NOTQUAL, SVt_PV)));
2430         o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
2431     }
2432     return o;
2433 }
2434
2435 OP *
2436 Perl_fold_constants(pTHX_ register OP *o)
2437 {
2438     dVAR;
2439     register OP * VOL curop;
2440     OP *newop;
2441     VOL I32 type = o->op_type;
2442     SV * VOL sv = NULL;
2443     int ret = 0;
2444     I32 oldscope;
2445     OP *old_next;
2446     SV * const oldwarnhook = PL_warnhook;
2447     SV * const olddiehook  = PL_diehook;
2448     COP not_compiling;
2449     dJMPENV;
2450
2451     PERL_ARGS_ASSERT_FOLD_CONSTANTS;
2452
2453     if (PL_opargs[type] & OA_RETSCALAR)
2454         scalar(o);
2455     if (PL_opargs[type] & OA_TARGET && !o->op_targ)
2456         o->op_targ = pad_alloc(type, SVs_PADTMP);
2457
2458     /* integerize op, unless it happens to be C<-foo>.
2459      * XXX should pp_i_negate() do magic string negation instead? */
2460     if ((PL_opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER)
2461         && !(type == OP_NEGATE && cUNOPo->op_first->op_type == OP_CONST
2462              && (cUNOPo->op_first->op_private & OPpCONST_BARE)))
2463     {
2464         o->op_ppaddr = PL_ppaddr[type = ++(o->op_type)];
2465     }
2466
2467     if (!(PL_opargs[type] & OA_FOLDCONST))
2468         goto nope;
2469
2470     switch (type) {
2471     case OP_NEGATE:
2472         /* XXX might want a ck_negate() for this */
2473         cUNOPo->op_first->op_private &= ~OPpCONST_STRICT;
2474         break;
2475     case OP_UCFIRST:
2476     case OP_LCFIRST:
2477     case OP_UC:
2478     case OP_LC:
2479     case OP_SLT:
2480     case OP_SGT:
2481     case OP_SLE:
2482     case OP_SGE:
2483     case OP_SCMP:
2484         /* XXX what about the numeric ops? */
2485         if (PL_hints & HINT_LOCALE)
2486             goto nope;
2487         break;
2488     }
2489
2490     if (PL_parser && PL_parser->error_count)
2491         goto nope;              /* Don't try to run w/ errors */
2492
2493     for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
2494         const OPCODE type = curop->op_type;
2495         if ((type != OP_CONST || (curop->op_private & OPpCONST_BARE)) &&
2496             type != OP_LIST &&
2497             type != OP_SCALAR &&
2498             type != OP_NULL &&
2499             type != OP_PUSHMARK)
2500         {
2501             goto nope;
2502         }
2503     }
2504
2505     curop = LINKLIST(o);
2506     old_next = o->op_next;
2507     o->op_next = 0;
2508     PL_op = curop;
2509
2510     oldscope = PL_scopestack_ix;
2511     create_eval_scope(G_FAKINGEVAL);
2512
2513     /* Verify that we don't need to save it:  */
2514     assert(PL_curcop == &PL_compiling);
2515     StructCopy(&PL_compiling, &not_compiling, COP);
2516     PL_curcop = &not_compiling;
2517     /* The above ensures that we run with all the correct hints of the
2518        currently compiling COP, but that IN_PERL_RUNTIME is not true. */
2519     assert(IN_PERL_RUNTIME);
2520     PL_warnhook = PERL_WARNHOOK_FATAL;
2521     PL_diehook  = NULL;
2522     JMPENV_PUSH(ret);
2523
2524     switch (ret) {
2525     case 0:
2526         CALLRUNOPS(aTHX);
2527         sv = *(PL_stack_sp--);
2528         if (o->op_targ && sv == PAD_SV(o->op_targ))     /* grab pad temp? */
2529             pad_swipe(o->op_targ,  FALSE);
2530         else if (SvTEMP(sv)) {                  /* grab mortal temp? */
2531             SvREFCNT_inc_simple_void(sv);
2532             SvTEMP_off(sv);
2533         }
2534         break;
2535     case 3:
2536         /* Something tried to die.  Abandon constant folding.  */
2537         /* Pretend the error never happened.  */
2538         CLEAR_ERRSV();
2539         o->op_next = old_next;
2540         break;
2541     default:
2542         JMPENV_POP;
2543         /* Don't expect 1 (setjmp failed) or 2 (something called my_exit)  */
2544         PL_warnhook = oldwarnhook;
2545         PL_diehook  = olddiehook;
2546         /* XXX note that this croak may fail as we've already blown away
2547          * the stack - eg any nested evals */
2548         Perl_croak(aTHX_ "panic: fold_constants JMPENV_PUSH returned %d", ret);
2549     }
2550     JMPENV_POP;
2551     PL_warnhook = oldwarnhook;
2552     PL_diehook  = olddiehook;
2553     PL_curcop = &PL_compiling;
2554
2555     if (PL_scopestack_ix > oldscope)
2556         delete_eval_scope();
2557
2558     if (ret)
2559         goto nope;
2560
2561 #ifndef PERL_MAD
2562     op_free(o);
2563 #endif
2564     assert(sv);
2565     if (type == OP_RV2GV)
2566         newop = newGVOP(OP_GV, 0, (GV*)sv);
2567     else
2568         newop = newSVOP(OP_CONST, 0, (SV*)sv);
2569     op_getmad(o,newop,'f');
2570     return newop;
2571
2572  nope:
2573     return o;
2574 }
2575
2576 OP *
2577 Perl_gen_constant_list(pTHX_ register OP *o)
2578 {
2579     dVAR;
2580     register OP *curop;
2581     const I32 oldtmps_floor = PL_tmps_floor;
2582
2583     list(o);
2584     if (PL_parser && PL_parser->error_count)
2585         return o;               /* Don't attempt to run with errors */
2586
2587     PL_op = curop = LINKLIST(o);
2588     o->op_next = 0;
2589     CALL_PEEP(curop);
2590     pp_pushmark();
2591     CALLRUNOPS(aTHX);
2592     PL_op = curop;
2593     assert (!(curop->op_flags & OPf_SPECIAL));
2594     assert(curop->op_type == OP_RANGE);
2595     pp_anonlist();
2596     PL_tmps_floor = oldtmps_floor;
2597
2598     o->op_type = OP_RV2AV;
2599     o->op_ppaddr = PL_ppaddr[OP_RV2AV];
2600     o->op_flags &= ~OPf_REF;    /* treat \(1..2) like an ordinary list */
2601     o->op_flags |= OPf_PARENS;  /* and flatten \(1..2,3) */
2602     o->op_opt = 0;              /* needs to be revisited in peep() */
2603     curop = ((UNOP*)o)->op_first;
2604     ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc_NN(*PL_stack_sp--));
2605 #ifdef PERL_MAD
2606     op_getmad(curop,o,'O');
2607 #else
2608     op_free(curop);
2609 #endif
2610     linklist(o);
2611     return list(o);
2612 }
2613
2614 OP *
2615 Perl_convert(pTHX_ I32 type, I32 flags, OP *o)
2616 {
2617     dVAR;
2618     if (!o || o->op_type != OP_LIST)
2619         o = newLISTOP(OP_LIST, 0, o, NULL);
2620     else
2621         o->op_flags &= ~OPf_WANT;
2622
2623     if (!(PL_opargs[type] & OA_MARK))
2624         op_null(cLISTOPo->op_first);
2625
2626     o->op_type = (OPCODE)type;
2627     o->op_ppaddr = PL_ppaddr[type];
2628     o->op_flags |= flags;
2629
2630     o = CHECKOP(type, o);
2631     if (o->op_type != (unsigned)type)
2632         return o;
2633
2634     return fold_constants(o);
2635 }
2636
2637 /* List constructors */
2638
2639 OP *
2640 Perl_append_elem(pTHX_ I32 type, OP *first, OP *last)
2641 {
2642     if (!first)
2643         return last;
2644
2645     if (!last)
2646         return first;
2647
2648     if (first->op_type != (unsigned)type
2649         || (type == OP_LIST && (first->op_flags & OPf_PARENS)))
2650     {
2651         return newLISTOP(type, 0, first, last);
2652     }
2653
2654     if (first->op_flags & OPf_KIDS)
2655         ((LISTOP*)first)->op_last->op_sibling = last;
2656     else {
2657         first->op_flags |= OPf_KIDS;
2658         ((LISTOP*)first)->op_first = last;
2659     }
2660     ((LISTOP*)first)->op_last = last;
2661     return first;
2662 }
2663
2664 OP *
2665 Perl_append_list(pTHX_ I32 type, LISTOP *first, LISTOP *last)
2666 {
2667     if (!first)
2668         return (OP*)last;
2669
2670     if (!last)
2671         return (OP*)first;
2672
2673     if (first->op_type != (unsigned)type)
2674         return prepend_elem(type, (OP*)first, (OP*)last);
2675
2676     if (last->op_type != (unsigned)type)
2677         return append_elem(type, (OP*)first, (OP*)last);
2678
2679     first->op_last->op_sibling = last->op_first;
2680     first->op_last = last->op_last;
2681     first->op_flags |= (last->op_flags & OPf_KIDS);
2682
2683 #ifdef PERL_MAD
2684     if (last->op_first && first->op_madprop) {
2685         MADPROP *mp = last->op_first->op_madprop;
2686         if (mp) {
2687             while (mp->mad_next)
2688                 mp = mp->mad_next;
2689             mp->mad_next = first->op_madprop;
2690         }
2691         else {
2692             last->op_first->op_madprop = first->op_madprop;
2693         }
2694     }
2695     first->op_madprop = last->op_madprop;
2696     last->op_madprop = 0;
2697 #endif
2698
2699     S_op_destroy(aTHX_ (OP*)last);
2700
2701     return (OP*)first;
2702 }
2703
2704 OP *
2705 Perl_prepend_elem(pTHX_ I32 type, OP *first, OP *last)
2706 {
2707     if (!first)
2708         return last;
2709
2710     if (!last)
2711         return first;
2712
2713     if (last->op_type == (unsigned)type) {
2714         if (type == OP_LIST) {  /* already a PUSHMARK there */
2715             first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
2716             ((LISTOP*)last)->op_first->op_sibling = first;
2717             if (!(first->op_flags & OPf_PARENS))
2718                 last->op_flags &= ~OPf_PARENS;
2719         }
2720         else {
2721             if (!(last->op_flags & OPf_KIDS)) {
2722                 ((LISTOP*)last)->op_last = first;
2723                 last->op_flags |= OPf_KIDS;
2724             }
2725             first->op_sibling = ((LISTOP*)last)->op_first;
2726             ((LISTOP*)last)->op_first = first;
2727         }
2728         last->op_flags |= OPf_KIDS;
2729         return last;
2730     }
2731
2732     return newLISTOP(type, 0, first, last);
2733 }
2734
2735 /* Constructors */
2736
2737 #ifdef PERL_MAD
2738  
2739 TOKEN *
2740 Perl_newTOKEN(pTHX_ I32 optype, YYSTYPE lval, MADPROP* madprop)
2741 {
2742     TOKEN *tk;
2743     Newxz(tk, 1, TOKEN);
2744     tk->tk_type = (OPCODE)optype;
2745     tk->tk_type = 12345;
2746     tk->tk_lval = lval;
2747     tk->tk_mad = madprop;
2748     return tk;
2749 }
2750
2751 void
2752 Perl_token_free(pTHX_ TOKEN* tk)
2753 {
2754     PERL_ARGS_ASSERT_TOKEN_FREE;
2755
2756     if (tk->tk_type != 12345)
2757         return;
2758     mad_free(tk->tk_mad);
2759     Safefree(tk);
2760 }
2761
2762 void
2763 Perl_token_getmad(pTHX_ TOKEN* tk, OP* o, char slot)
2764 {
2765     MADPROP* mp;
2766     MADPROP* tm;
2767
2768     PERL_ARGS_ASSERT_TOKEN_GETMAD;
2769
2770     if (tk->tk_type != 12345) {
2771         Perl_warner(aTHX_ packWARN(WARN_MISC),
2772              "Invalid TOKEN object ignored");
2773         return;
2774     }
2775     tm = tk->tk_mad;
2776     if (!tm)
2777         return;
2778
2779     /* faked up qw list? */
2780     if (slot == '(' &&
2781         tm->mad_type == MAD_SV &&
2782         SvPVX((SV*)tm->mad_val)[0] == 'q')
2783             slot = 'x';
2784
2785     if (o) {
2786         mp = o->op_madprop;
2787         if (mp) {
2788             for (;;) {
2789                 /* pretend constant fold didn't happen? */
2790                 if (mp->mad_key == 'f' &&
2791                     (o->op_type == OP_CONST ||
2792                      o->op_type == OP_GV) )
2793                 {
2794                     token_getmad(tk,(OP*)mp->mad_val,slot);
2795                     return;
2796                 }
2797                 if (!mp->mad_next)
2798                     break;
2799                 mp = mp->mad_next;
2800             }
2801             mp->mad_next = tm;
2802             mp = mp->mad_next;
2803         }
2804         else {
2805             o->op_madprop = tm;
2806             mp = o->op_madprop;
2807         }
2808         if (mp->mad_key == 'X')
2809             mp->mad_key = slot; /* just change the first one */
2810
2811         tk->tk_mad = 0;
2812     }
2813     else
2814         mad_free(tm);
2815     Safefree(tk);
2816 }
2817
2818 void
2819 Perl_op_getmad_weak(pTHX_ OP* from, OP* o, char slot)
2820 {
2821     MADPROP* mp;
2822     if (!from)
2823         return;
2824     if (o) {
2825         mp = o->op_madprop;
2826         if (mp) {
2827             for (;;) {
2828                 /* pretend constant fold didn't happen? */
2829                 if (mp->mad_key == 'f' &&
2830                     (o->op_type == OP_CONST ||
2831                      o->op_type == OP_GV) )
2832                 {
2833                     op_getmad(from,(OP*)mp->mad_val,slot);
2834                     return;
2835                 }
2836                 if (!mp->mad_next)
2837                     break;
2838                 mp = mp->mad_next;
2839             }
2840             mp->mad_next = newMADPROP(slot,MAD_OP,from,0);
2841         }
2842         else {
2843             o->op_madprop = newMADPROP(slot,MAD_OP,from,0);
2844         }
2845     }
2846 }
2847
2848 void
2849 Perl_op_getmad(pTHX_ OP* from, OP* o, char slot)
2850 {
2851     MADPROP* mp;
2852     if (!from)
2853         return;
2854     if (o) {
2855         mp = o->op_madprop;
2856         if (mp) {
2857             for (;;) {
2858                 /* pretend constant fold didn't happen? */
2859                 if (mp->mad_key == 'f' &&
2860                     (o->op_type == OP_CONST ||
2861                      o->op_type == OP_GV) )
2862                 {
2863                     op_getmad(from,(OP*)mp->mad_val,slot);
2864                     return;
2865                 }
2866                 if (!mp->mad_next)
2867                     break;
2868                 mp = mp->mad_next;
2869             }
2870             mp->mad_next = newMADPROP(slot,MAD_OP,from,1);
2871         }
2872         else {
2873             o->op_madprop = newMADPROP(slot,MAD_OP,from,1);
2874         }
2875     }
2876     else {
2877         PerlIO_printf(PerlIO_stderr(),
2878                       "DESTROYING op = %0"UVxf"\n", PTR2UV(from));
2879         op_free(from);
2880     }
2881 }
2882
2883 void
2884 Perl_prepend_madprops(pTHX_ MADPROP* mp, OP* o, char slot)
2885 {
2886     MADPROP* tm;
2887     if (!mp || !o)
2888         return;
2889     if (slot)
2890         mp->mad_key = slot;
2891     tm = o->op_madprop;
2892     o->op_madprop = mp;
2893     for (;;) {
2894         if (!mp->mad_next)
2895             break;
2896         mp = mp->mad_next;
2897     }
2898     mp->mad_next = tm;
2899 }
2900
2901 void
2902 Perl_append_madprops(pTHX_ MADPROP* tm, OP* o, char slot)
2903 {
2904     if (!o)
2905         return;
2906     addmad(tm, &(o->op_madprop), slot);
2907 }
2908
2909 void
2910 Perl_addmad(pTHX_ MADPROP* tm, MADPROP** root, char slot)
2911 {
2912     MADPROP* mp;
2913     if (!tm || !root)
2914         return;
2915     if (slot)
2916         tm->mad_key = slot;
2917     mp = *root;
2918     if (!mp) {
2919         *root = tm;
2920         return;
2921     }
2922     for (;;) {
2923         if (!mp->mad_next)
2924             break;
2925         mp = mp->mad_next;
2926     }
2927     mp->mad_next = tm;
2928 }
2929
2930 MADPROP *
2931 Perl_newMADsv(pTHX_ char key, SV* sv)
2932 {
2933     PERL_ARGS_ASSERT_NEWMADSV;
2934
2935     return newMADPROP(key, MAD_SV, sv, 0);
2936 }
2937
2938 MADPROP *
2939 Perl_newMADPROP(pTHX_ char key, char type, const void* val, I32 vlen)
2940 {
2941     MADPROP *mp;
2942     Newxz(mp, 1, MADPROP);
2943     mp->mad_next = 0;
2944     mp->mad_key = key;
2945     mp->mad_vlen = vlen;
2946     mp->mad_type = type;
2947     mp->mad_val = val;
2948 /*    PerlIO_printf(PerlIO_stderr(), "NEW  mp = %0x\n", mp);  */
2949     return mp;
2950 }
2951
2952 void
2953 Perl_mad_free(pTHX_ MADPROP* mp)
2954 {
2955 /*    PerlIO_printf(PerlIO_stderr(), "FREE mp = %0x\n", mp); */
2956     if (!mp)
2957         return;
2958     if (mp->mad_next)
2959         mad_free(mp->mad_next);
2960 /*    if (PL_parser && PL_parser->lex_state != LEX_NOTPARSING && mp->mad_vlen)
2961         PerlIO_printf(PerlIO_stderr(), "DESTROYING '%c'=<%s>\n", mp->mad_key & 255, mp->mad_val); */
2962     switch (mp->mad_type) {
2963     case MAD_NULL:
2964         break;
2965     case MAD_PV:
2966         Safefree((char*)mp->mad_val);
2967         break;
2968     case MAD_OP:
2969         if (mp->mad_vlen)       /* vlen holds "strong/weak" boolean */
2970             op_free((OP*)mp->mad_val);
2971         break;
2972     case MAD_SV:
2973         sv_free((SV*)mp->mad_val);
2974         break;
2975     default:
2976         PerlIO_printf(PerlIO_stderr(), "Unrecognized mad\n");
2977         break;
2978     }
2979     Safefree(mp);
2980 }
2981
2982 #endif
2983
2984 OP *
2985 Perl_newNULLLIST(pTHX)
2986 {
2987     return newOP(OP_STUB, 0);
2988 }
2989
2990 OP *
2991 Perl_force_list(pTHX_ OP *o)
2992 {
2993     if (!o || o->op_type != OP_LIST)
2994         o = newLISTOP(OP_LIST, 0, o, NULL);
2995     op_null(o);
2996     return o;
2997 }
2998
2999 OP *
3000 Perl_newLISTOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
3001 {
3002     dVAR;
3003     LISTOP *listop;
3004
3005     NewOp(1101, listop, 1, LISTOP);
3006
3007     listop->op_type = (OPCODE)type;
3008     listop->op_ppaddr = PL_ppaddr[type];
3009     if (first || last)
3010         flags |= OPf_KIDS;
3011     listop->op_flags = (U8)flags;
3012
3013     if (!last && first)
3014         last = first;
3015     else if (!first && last)
3016         first = last;
3017     else if (first)
3018         first->op_sibling = last;
3019     listop->op_first = first;
3020     listop->op_last = last;
3021     if (type == OP_LIST) {
3022         OP* const pushop = newOP(OP_PUSHMARK, 0);
3023         pushop->op_sibling = first;
3024         listop->op_first = pushop;
3025         listop->op_flags |= OPf_KIDS;
3026         if (!last)
3027             listop->op_last = pushop;
3028     }
3029
3030     return CHECKOP(type, listop);
3031 }
3032
3033 OP *
3034 Perl_newOP(pTHX_ I32 type, I32 flags)
3035 {
3036     dVAR;
3037     OP *o;
3038     NewOp(1101, o, 1, OP);
3039     o->op_type = (OPCODE)type;
3040     o->op_ppaddr = PL_ppaddr[type];
3041     o->op_flags = (U8)flags;
3042     o->op_latefree = 0;
3043     o->op_latefreed = 0;
3044     o->op_attached = 0;
3045
3046     o->op_next = o;
3047     o->op_private = (U8)(0 | (flags >> 8));
3048     if (PL_opargs[type] & OA_RETSCALAR)
3049         scalar(o);
3050     if (PL_opargs[type] & OA_TARGET)
3051         o->op_targ = pad_alloc(type, SVs_PADTMP);
3052     return CHECKOP(type, o);
3053 }
3054
3055 OP *
3056 Perl_newUNOP(pTHX_ I32 type, I32 flags, OP *first)
3057 {
3058     dVAR;
3059     UNOP *unop;
3060
3061     if (!first)
3062         first = newOP(OP_STUB, 0);
3063     if (PL_opargs[type] & OA_MARK)
3064         first = force_list(first);
3065
3066     NewOp(1101, unop, 1, UNOP);
3067     unop->op_type = (OPCODE)type;
3068     unop->op_ppaddr = PL_ppaddr[type];
3069     unop->op_first = first;
3070     unop->op_flags = (U8)(flags | OPf_KIDS);
3071     unop->op_private = (U8)(1 | (flags >> 8));
3072     unop = (UNOP*) CHECKOP(type, unop);
3073     if (unop->op_next)
3074         return (OP*)unop;
3075
3076     return fold_constants((OP *) unop);
3077 }
3078
3079 OP *
3080 Perl_newBINOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
3081 {
3082     dVAR;
3083     BINOP *binop;
3084     NewOp(1101, binop, 1, BINOP);
3085
3086     if (!first)
3087         first = newOP(OP_NULL, 0);
3088
3089     binop->op_type = (OPCODE)type;
3090     binop->op_ppaddr = PL_ppaddr[type];
3091     binop->op_first = first;
3092     binop->op_flags = (U8)(flags | OPf_KIDS);
3093     if (!last) {
3094         last = first;
3095         binop->op_private = (U8)(1 | (flags >> 8));
3096     }
3097     else {
3098         binop->op_private = (U8)(2 | (flags >> 8));
3099         first->op_sibling = last;
3100     }
3101
3102     binop = (BINOP*)CHECKOP(type, binop);
3103     if (binop->op_next || binop->op_type != (OPCODE)type)
3104         return (OP*)binop;
3105
3106     binop->op_last = binop->op_first->op_sibling;
3107
3108     return fold_constants((OP *)binop);
3109 }
3110
3111 static int uvcompare(const void *a, const void *b)
3112     __attribute__nonnull__(1)
3113     __attribute__nonnull__(2)
3114     __attribute__pure__;
3115 static int uvcompare(const void *a, const void *b)
3116 {
3117     if (*((const UV *)a) < (*(const UV *)b))
3118         return -1;
3119     if (*((const UV *)a) > (*(const UV *)b))
3120         return 1;
3121     if (*((const UV *)a+1) < (*(const UV *)b+1))
3122         return -1;
3123     if (*((const UV *)a+1) > (*(const UV *)b+1))
3124         return 1;
3125     return 0;
3126 }
3127
3128 OP *
3129 Perl_pmtrans(pTHX_ OP *o, OP *expr, OP *repl)
3130 {
3131     dVAR;
3132     SV * const tstr = ((SVOP*)expr)->op_sv;
3133     SV * const rstr =
3134 #ifdef PERL_MAD
3135                         (repl->op_type == OP_NULL)
3136                             ? ((SVOP*)((LISTOP*)repl)->op_first)->op_sv :
3137 #endif
3138                               ((SVOP*)repl)->op_sv;
3139     STRLEN tlen;
3140     STRLEN rlen;
3141     const U8 *t = (U8*)SvPV_const(tstr, tlen);
3142     const U8 *r = (U8*)SvPV_const(rstr, rlen);
3143     register I32 i;
3144     register I32 j;
3145     I32 grows = 0;
3146     register short *tbl;
3147
3148     const I32 complement = o->op_private & OPpTRANS_COMPLEMENT;
3149     const I32 squash     = o->op_private & OPpTRANS_SQUASH;
3150     I32 del              = o->op_private & OPpTRANS_DELETE;
3151     SV* swash;
3152
3153     PERL_ARGS_ASSERT_PMTRANS;
3154
3155     PL_hints |= HINT_BLOCK_SCOPE;
3156
3157     if (SvUTF8(tstr))
3158         o->op_private |= OPpTRANS_FROM_UTF;
3159
3160     if (SvUTF8(rstr))
3161         o->op_private |= OPpTRANS_TO_UTF;
3162
3163     if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
3164         SV* const listsv = newSVpvs("# comment\n");
3165         SV* transv = NULL;
3166         const U8* tend = t + tlen;
3167         const U8* rend = r + rlen;
3168         STRLEN ulen;
3169         UV tfirst = 1;
3170         UV tlast = 0;
3171         IV tdiff;
3172         UV rfirst = 1;
3173         UV rlast = 0;
3174         IV rdiff;
3175         IV diff;
3176         I32 none = 0;
3177         U32 max = 0;
3178         I32 bits;
3179         I32 havefinal = 0;
3180         U32 final = 0;
3181         const I32 from_utf  = o->op_private & OPpTRANS_FROM_UTF;
3182         const I32 to_utf    = o->op_private & OPpTRANS_TO_UTF;
3183         U8* tsave = NULL;
3184         U8* rsave = NULL;
3185         const U32 flags = UTF8_ALLOW_DEFAULT;
3186
3187         if (!from_utf) {
3188             STRLEN len = tlen;
3189             t = tsave = bytes_to_utf8(t, &len);
3190             tend = t + len;
3191         }
3192         if (!to_utf && rlen) {
3193             STRLEN len = rlen;
3194             r = rsave = bytes_to_utf8(r, &len);
3195             rend = r + len;
3196         }
3197
3198 /* There are several snags with this code on EBCDIC:
3199    1. 0xFF is a legal UTF-EBCDIC byte (there are no illegal bytes).
3200    2. scan_const() in toke.c has encoded chars in native encoding which makes
3201       ranges at least in EBCDIC 0..255 range the bottom odd.
3202 */
3203
3204         if (complement) {
3205             U8 tmpbuf[UTF8_MAXBYTES+1];
3206             UV *cp;
3207             UV nextmin = 0;
3208             Newx(cp, 2*tlen, UV);
3209             i = 0;
3210             transv = newSVpvs("");
3211             while (t < tend) {
3212                 cp[2*i] = utf8n_to_uvuni(t, tend-t, &ulen, flags);
3213                 t += ulen;
3214                 if (t < tend && NATIVE_TO_UTF(*t) == 0xff) {
3215                     t++;
3216                     cp[2*i+1] = utf8n_to_uvuni(t, tend-t, &ulen, flags);
3217                     t += ulen;
3218                 }
3219                 else {
3220                  cp[2*i+1] = cp[2*i];
3221                 }
3222                 i++;
3223             }
3224             qsort(cp, i, 2*sizeof(UV), uvcompare);
3225             for (j = 0; j < i; j++) {
3226                 UV  val = cp[2*j];
3227                 diff = val - nextmin;
3228                 if (diff > 0) {
3229                     t = uvuni_to_utf8(tmpbuf,nextmin);
3230                     sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
3231                     if (diff > 1) {
3232                         U8  range_mark = UTF_TO_NATIVE(0xff);
3233                         t = uvuni_to_utf8(tmpbuf, val - 1);
3234                         sv_catpvn(transv, (char *)&range_mark, 1);
3235                         sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
3236                     }
3237                 }
3238                 val = cp[2*j+1];
3239                 if (val >= nextmin)
3240                     nextmin = val + 1;
3241             }
3242             t = uvuni_to_utf8(tmpbuf,nextmin);
3243             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
3244             {
3245                 U8 range_mark = UTF_TO_NATIVE(0xff);
3246                 sv_catpvn(transv, (char *)&range_mark, 1);
3247             }
3248             t = uvuni_to_utf8_flags(tmpbuf, 0x7fffffff,
3249                                     UNICODE_ALLOW_SUPER);
3250             sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
3251             t = (const U8*)SvPVX_const(transv);
3252             tlen = SvCUR(transv);
3253             tend = t + tlen;
3254             Safefree(cp);
3255         }
3256         else if (!rlen && !del) {
3257             r = t; rlen = tlen; rend = tend;
3258         }
3259         if (!squash) {
3260                 if ((!rlen && !del) || t == r ||
3261                     (tlen == rlen && memEQ((char *)t, (char *)r, tlen)))
3262                 {
3263                     o->op_private |= OPpTRANS_IDENTICAL;
3264                 }
3265         }
3266
3267         while (t < tend || tfirst <= tlast) {
3268             /* see if we need more "t" chars */
3269             if (tfirst > tlast) {
3270                 tfirst = (I32)utf8n_to_uvuni(t, tend - t, &ulen, flags);
3271                 t += ulen;
3272                 if (t < tend && NATIVE_TO_UTF(*t) == 0xff) {    /* illegal utf8 val indicates range */
3273                     t++;
3274                     tlast = (I32)utf8n_to_uvuni(t, tend - t, &ulen, flags);
3275                     t += ulen;
3276                 }
3277                 else
3278                     tlast = tfirst;
3279             }
3280
3281             /* now see if we need more "r" chars */
3282             if (rfirst > rlast) {
3283                 if (r < rend) {
3284                     rfirst = (I32)utf8n_to_uvuni(r, rend - r, &ulen, flags);
3285                     r += ulen;
3286                     if (r < rend && NATIVE_TO_UTF(*r) == 0xff) {        /* illegal utf8 val indicates range */
3287                         r++;
3288                         rlast = (I32)utf8n_to_uvuni(r, rend - r, &ulen, flags);
3289                         r += ulen;
3290                     }
3291                     else
3292                         rlast = rfirst;
3293                 }
3294                 else {
3295                     if (!havefinal++)
3296                         final = rlast;
3297                     rfirst = rlast = 0xffffffff;
3298                 }
3299             }
3300
3301             /* now see which range will peter our first, if either. */
3302             tdiff = tlast - tfirst;
3303             rdiff = rlast - rfirst;
3304
3305             if (tdiff <= rdiff)
3306                 diff = tdiff;
3307             else
3308                 diff = rdiff;
3309
3310             if (rfirst == 0xffffffff) {
3311                 diff = tdiff;   /* oops, pretend rdiff is infinite */
3312                 if (diff > 0)
3313                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\tXXXX\n",
3314                                    (long)tfirst, (long)tlast);
3315                 else
3316                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\tXXXX\n", (long)tfirst);
3317             }
3318             else {
3319                 if (diff > 0)
3320                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\t%04lx\n",
3321                                    (long)tfirst, (long)(tfirst + diff),
3322                                    (long)rfirst);
3323                 else
3324                     Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\t%04lx\n",
3325                                    (long)tfirst, (long)rfirst);
3326
3327                 if (rfirst + diff > max)
3328                     max = rfirst + diff;
3329                 if (!grows)
3330                     grows = (tfirst < rfirst &&
3331                              UNISKIP(tfirst) < UNISKIP(rfirst + diff));
3332                 rfirst += diff + 1;
3333             }
3334             tfirst += diff + 1;
3335         }
3336
3337         none = ++max;
3338         if (del)
3339             del = ++max;
3340
3341         if (max > 0xffff)
3342             bits = 32;
3343         else if (max > 0xff)
3344             bits = 16;
3345         else
3346             bits = 8;
3347
3348         PerlMemShared_free(cPVOPo->op_pv);
3349         cPVOPo->op_pv = NULL;
3350
3351         swash = (SV*)swash_init("utf8", "", listsv, bits, none);
3352 #ifdef USE_ITHREADS
3353         cPADOPo->op_padix = pad_alloc(OP_TRANS, SVs_PADTMP);
3354         SvREFCNT_dec(PAD_SVl(cPADOPo->op_padix));
3355         PAD_SETSV(cPADOPo->op_padix, swash);
3356         SvPADTMP_on(swash);
3357 #else
3358         cSVOPo->op_sv = swash;
3359 #endif
3360         SvREFCNT_dec(listsv);
3361         SvREFCNT_dec(transv);
3362
3363         if (!del && havefinal && rlen)
3364             (void)hv_store((HV*)SvRV(swash), "FINAL", 5,
3365                            newSVuv((UV)final), 0);
3366
3367         if (grows)
3368             o->op_private |= OPpTRANS_GROWS;
3369
3370         Safefree(tsave);
3371         Safefree(rsave);
3372
3373 #ifdef PERL_MAD
3374         op_getmad(expr,o,'e');
3375         op_getmad(repl,o,'r');
3376 #else
3377         op_free(expr);
3378         op_free(repl);
3379 #endif
3380         return o;
3381     }
3382
3383     tbl = (short*)cPVOPo->op_pv;
3384     if (complement) {
3385         Zero(tbl, 256, short);
3386         for (i = 0; i < (I32)tlen; i++)
3387             tbl[t[i]] = -1;
3388         for (i = 0, j = 0; i < 256; i++) {
3389             if (!tbl[i]) {
3390                 if (j >= (I32)rlen) {
3391                     if (del)
3392                         tbl[i] = -2;
3393                     else if (rlen)
3394                         tbl[i] = r[j-1];
3395                     else
3396                         tbl[i] = (short)i;
3397                 }
3398                 else {
3399                     if (i < 128 && r[j] >= 128)
3400                         grows = 1;
3401                     tbl[i] = r[j++];
3402                 }
3403             }
3404         }
3405         if (!del) {
3406             if (!rlen) {
3407                 j = rlen;
3408                 if (!squash)
3409                     o->op_private |= OPpTRANS_IDENTICAL;
3410             }
3411             else if (j >= (I32)rlen)
3412                 j = rlen - 1;
3413             else {
3414                 tbl = 
3415                     (short *)
3416                     PerlMemShared_realloc(tbl,
3417                                           (0x101+rlen-j) * sizeof(short));
3418                 cPVOPo->op_pv = (char*)tbl;
3419             }
3420             tbl[0x100] = (short)(rlen - j);
3421             for (i=0; i < (I32)rlen - j; i++)
3422                 tbl[0x101+i] = r[j+i];
3423         }
3424     }
3425     else {
3426         if (!rlen && !del) {
3427             r = t; rlen = tlen;
3428             if (!squash)
3429                 o->op_private |= OPpTRANS_IDENTICAL;
3430         }
3431         else if (!squash && rlen == tlen && memEQ((char*)t, (char*)r, tlen)) {
3432             o->op_private |= OPpTRANS_IDENTICAL;
3433         }
3434         for (i = 0; i < 256; i++)
3435             tbl[i] = -1;
3436         for (i = 0, j = 0; i < (I32)tlen; i++,j++) {
3437             if (j >= (I32)rlen) {
3438                 if (del) {
3439                     if (tbl[t[i]] == -1)
3440                         tbl[t[i]] = -2;
3441                     continue;
3442                 }
3443                 --j;
3444             }
3445             if (tbl[t[i]] == -1) {
3446                 if (t[i] < 128 && r[j] >= 128)
3447                     grows = 1;
3448                 tbl[t[i]] = r[j];
3449             }
3450         }
3451     }
3452     if (grows)
3453         o->op_private |= OPpTRANS_GROWS;
3454 #ifdef PERL_MAD
3455     op_getmad(expr,o,'e');
3456     op_getmad(repl,o,'r');
3457 #else
3458     op_free(expr);
3459     op_free(repl);
3460 #endif
3461
3462     return o;
3463 }
3464
3465 OP *
3466 Perl_newPMOP(pTHX_ I32 type, I32 flags)
3467 {
3468     dVAR;
3469     PMOP *pmop;
3470
3471     NewOp(1101, pmop, 1, PMOP);
3472     pmop->op_type = (OPCODE)type;
3473     pmop->op_ppaddr = PL_ppaddr[type];
3474     pmop->op_flags = (U8)flags;
3475     pmop->op_private = (U8)(0 | (flags >> 8));
3476
3477     if (PL_hints & HINT_RE_TAINT)
3478         pmop->op_pmflags |= PMf_RETAINT;
3479     if (PL_hints & HINT_LOCALE)
3480         pmop->op_pmflags |= PMf_LOCALE;
3481
3482
3483 #ifdef USE_ITHREADS
3484     assert(SvPOK(PL_regex_pad[0]));
3485     if (SvCUR(PL_regex_pad[0])) {
3486         /* Pop off the "packed" IV from the end.  */
3487         SV *const repointer_list = PL_regex_pad[0];
3488         const char *p = SvEND(repointer_list) - sizeof(IV);
3489         const IV offset = *((IV*)p);
3490
3491         assert(SvCUR(repointer_list) % sizeof(IV) == 0);
3492
3493         SvEND_set(repointer_list, p);
3494
3495         pmop->op_pmoffset = offset;
3496         /* This slot should be free, so assert this:  */
3497         assert(PL_regex_pad[offset] == &PL_sv_undef);
3498     } else {
3499         SV * const repointer = &PL_sv_undef;
3500         av_push(PL_regex_padav, repointer);
3501         pmop->op_pmoffset = av_len(PL_regex_padav);
3502         PL_regex_pad = AvARRAY(PL_regex_padav);
3503     }
3504 #endif
3505
3506     return CHECKOP(type, pmop);
3507 }
3508
3509 /* Given some sort of match op o, and an expression expr containing a
3510  * pattern, either compile expr into a regex and attach it to o (if it's
3511  * constant), or convert expr into a runtime regcomp op sequence (if it's
3512  * not)
3513  *
3514  * isreg indicates that the pattern is part of a regex construct, eg
3515  * $x =~ /pattern/ or split /pattern/, as opposed to $x =~ $pattern or
3516  * split "pattern", which aren't. In the former case, expr will be a list
3517  * if the pattern contains more than one term (eg /a$b/) or if it contains
3518  * a replacement, ie s/// or tr///.
3519  */
3520
3521 OP *
3522 Perl_pmruntime(pTHX_ OP *o, OP *expr, bool isreg)
3523 {
3524     dVAR;
3525     PMOP *pm;
3526     LOGOP *rcop;
3527     I32 repl_has_vars = 0;
3528     OP* repl = NULL;
3529     bool reglist;
3530
3531     PERL_ARGS_ASSERT_PMRUNTIME;
3532
3533     if (o->op_type == OP_SUBST || o->op_type == OP_TRANS) {
3534         /* last element in list is the replacement; pop it */
3535         OP* kid;
3536         repl = cLISTOPx(expr)->op_last;
3537         kid = cLISTOPx(expr)->op_first;
3538         while (kid->op_sibling != repl)
3539             kid = kid->op_sibling;
3540         kid->op_sibling = NULL;
3541         cLISTOPx(expr)->op_last = kid;
3542     }
3543
3544     if (isreg && expr->op_type == OP_LIST &&
3545         cLISTOPx(expr)->op_first->op_sibling == cLISTOPx(expr)->op_last)
3546     {
3547         /* convert single element list to element */
3548         OP* const oe = expr;
3549         expr = cLISTOPx(oe)->op_first->op_sibling;
3550         cLISTOPx(oe)->op_first->op_sibling = NULL;
3551         cLISTOPx(oe)->op_last = NULL;
3552         op_free(oe);
3553     }
3554
3555     if (o->op_type == OP_TRANS) {
3556         return pmtrans(o, expr, repl);
3557     }
3558
3559     reglist = isreg && expr->op_type == OP_LIST;
3560     if (reglist)
3561         op_null(expr);
3562
3563     PL_hints |= HINT_BLOCK_SCOPE;
3564     pm = (PMOP*)o;
3565
3566     if (expr->op_type == OP_CONST) {
3567         SV *pat = ((SVOP*)expr)->op_sv;
3568         U32 pm_flags = pm->op_pmflags & PMf_COMPILETIME;
3569
3570         if (o->op_flags & OPf_SPECIAL)
3571             pm_flags |= RXf_SPLIT;
3572
3573         if (DO_UTF8(pat)) {
3574             assert (SvUTF8(pat));
3575         } else if (SvUTF8(pat)) {
3576             /* Not doing UTF-8, despite what the SV says. Is this only if we're
3577                trapped in use 'bytes'?  */
3578             /* Make a copy of the octet sequence, but without the flag on, as
3579                the compiler now honours the SvUTF8 flag on pat.  */
3580             STRLEN len;
3581             const char *const p = SvPV(pat, len);
3582             pat = newSVpvn_flags(p, len, SVs_TEMP);
3583         }
3584
3585         PM_SETRE(pm, CALLREGCOMP(pat, pm_flags));
3586
3587 #ifdef PERL_MAD
3588         op_getmad(expr,(OP*)pm,'e');
3589 #else
3590         op_free(expr);
3591 #endif
3592     }
3593     else {
3594         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
3595             expr = newUNOP((!(PL_hints & HINT_RE_EVAL)
3596                             ? OP_REGCRESET
3597                             : OP_REGCMAYBE),0,expr);
3598
3599         NewOp(1101, rcop, 1, LOGOP);
3600         rcop->op_type = OP_REGCOMP;
3601         rcop->op_ppaddr = PL_ppaddr[OP_REGCOMP];
3602         rcop->op_first = scalar(expr);
3603         rcop->op_flags |= OPf_KIDS
3604                             | ((PL_hints & HINT_RE_EVAL) ? OPf_SPECIAL : 0)
3605                             | (reglist ? OPf_STACKED : 0);
3606         rcop->op_private = 1;
3607         rcop->op_other = o;
3608         if (reglist)
3609             rcop->op_targ = pad_alloc(rcop->op_type, SVs_PADTMP);
3610
3611         /* /$x/ may cause an eval, since $x might be qr/(?{..})/  */
3612         PL_cv_has_eval = 1;
3613
3614         /* establish postfix order */
3615         if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
3616             LINKLIST(expr);
3617             rcop->op_next = expr;
3618             ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
3619         }
3620         else {
3621             rcop->op_next = LINKLIST(expr);
3622             expr->op_next = (OP*)rcop;
3623         }
3624
3625         prepend_elem(o->op_type, scalar((OP*)rcop), o);
3626     }
3627
3628     if (repl) {
3629         OP *curop;
3630         if (pm->op_pmflags & PMf_EVAL) {
3631             curop = NULL;
3632             if (CopLINE(PL_curcop) < (line_t)PL_parser->multi_end)
3633                 CopLINE_set(PL_curcop, (line_t)PL_parser->multi_end);
3634         }
3635         else if (repl->op_type == OP_CONST)
3636             curop = repl;
3637         else {
3638             OP *lastop = NULL;
3639             for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
3640                 if (curop->op_type == OP_SCOPE
3641                         || curop->op_type == OP_LEAVE
3642                         || (PL_opargs[curop->op_type] & OA_DANGEROUS)) {
3643                     if (curop->op_type == OP_GV) {
3644                         GV * const gv = cGVOPx_gv(curop);
3645                         repl_has_vars = 1;
3646                         if (strchr("&`'123456789+-\016\022", *GvENAME(gv)))
3647                             break;
3648                     }
3649                     else if (curop->op_type == OP_RV2CV)
3650                         break;
3651                     else if (curop->op_type == OP_RV2SV ||
3652                              curop->op_type == OP_RV2AV ||
3653                              curop->op_type == OP_RV2HV ||
3654                              curop->op_type == OP_RV2GV) {
3655                         if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
3656                             break;
3657                     }
3658                     else if (curop->op_type == OP_PADSV ||
3659                              curop->op_type == OP_PADAV ||
3660                              curop->op_type == OP_PADHV ||
3661                              curop->op_type == OP_PADANY)
3662                     {
3663                         repl_has_vars = 1;
3664                     }
3665                     else if (curop->op_type == OP_PUSHRE)
3666                         NOOP; /* Okay here, dangerous in newASSIGNOP */
3667                     else
3668                         break;
3669                 }
3670                 lastop = curop;
3671             }
3672         }
3673         if (curop == repl
3674             && !(repl_has_vars
3675                  && (!PM_GETRE(pm)
3676                      || RX_EXTFLAGS(PM_GETRE(pm)) & RXf_EVAL_SEEN)))
3677         {
3678             pm->op_pmflags |= PMf_CONST;        /* const for long enough */
3679             prepend_elem(o->op_type, scalar(repl), o);
3680         }
3681         else {
3682             if (curop == repl && !PM_GETRE(pm)) { /* Has variables. */
3683                 pm->op_pmflags |= PMf_MAYBE_CONST;
3684             }
3685             NewOp(1101, rcop, 1, LOGOP);
3686             rcop->op_type = OP_SUBSTCONT;
3687             rcop->op_ppaddr = PL_ppaddr[OP_SUBSTCONT];
3688             rcop->op_first = scalar(repl);
3689             rcop->op_flags |= OPf_KIDS;
3690             rcop->op_private = 1;
3691             rcop->op_other = o;
3692
3693             /* establish postfix order */
3694             rcop->op_next = LINKLIST(repl);
3695             repl->op_next = (OP*)rcop;
3696
3697             pm->op_pmreplrootu.op_pmreplroot = scalar((OP*)rcop);
3698             assert(!(pm->op_pmflags & PMf_ONCE));
3699             pm->op_pmstashstartu.op_pmreplstart = LINKLIST(rcop);
3700             rcop->op_next = 0;
3701         }
3702     }
3703
3704     return (OP*)pm;
3705 }
3706
3707 OP *
3708 Perl_newSVOP(pTHX_ I32 type, I32 flags, SV *sv)
3709 {
3710     dVAR;
3711     SVOP *svop;
3712
3713     PERL_ARGS_ASSERT_NEWSVOP;
3714
3715     NewOp(1101, svop, 1, SVOP);
3716     svop->op_type = (OPCODE)type;
3717     svop->op_ppaddr = PL_ppaddr[type];
3718     svop->op_sv = sv;
3719     svop->op_next = (OP*)svop;
3720     svop->op_flags = (U8)flags;
3721     if (PL_opargs[type] & OA_RETSCALAR)
3722         scalar((OP*)svop);
3723     if (PL_opargs[type] & OA_TARGET)
3724         svop->op_targ = pad_alloc(type, SVs_PADTMP);
3725     return CHECKOP(type, svop);
3726 }
3727
3728 #ifdef USE_ITHREADS
3729 OP *
3730 Perl_newPADOP(pTHX_ I32 type, I32 flags, SV *sv)
3731 {
3732     dVAR;
3733     PADOP *padop;
3734
3735     PERL_ARGS_ASSERT_NEWPADOP;
3736
3737     NewOp(1101, padop, 1, PADOP);
3738     padop->op_type = (OPCODE)type;
3739     padop->op_ppaddr = PL_ppaddr[type];
3740     padop->op_padix = pad_alloc(type, SVs_PADTMP);
3741     SvREFCNT_dec(PAD_SVl(padop->op_padix));
3742     PAD_SETSV(padop->op_padix, sv);
3743     assert(sv);
3744     SvPADTMP_on(sv);
3745     padop->op_next = (OP*)padop;
3746     padop->op_flags = (U8)flags;
3747     if (PL_opargs[type] & OA_RETSCALAR)
3748         scalar((OP*)padop);
3749     if (PL_opargs[type] & OA_TARGET)
3750         padop->op_targ = pad_alloc(type, SVs_PADTMP);
3751     return CHECKOP(type, padop);
3752 }
3753 #endif
3754
3755 OP *
3756 Perl_newGVOP(pTHX_ I32 type, I32 flags, GV *gv)
3757 {
3758     dVAR;
3759
3760     PERL_ARGS_ASSERT_NEWGVOP;
3761
3762 #ifdef USE_ITHREADS
3763     GvIN_PAD_on(gv);
3764     return newPADOP(type, flags, SvREFCNT_inc_simple_NN(gv));
3765 #else
3766     return newSVOP(type, flags, SvREFCNT_inc_simple_NN(gv));
3767 #endif
3768 }
3769
3770 OP *
3771 Perl_newPVOP(pTHX_ I32 type, I32 flags, char *pv)
3772 {
3773     dVAR;
3774     PVOP *pvop;
3775     NewOp(1101, pvop, 1, PVOP);
3776     pvop->op_type = (OPCODE)type;
3777     pvop->op_ppaddr = PL_ppaddr[type];
3778     pvop->op_pv = pv;
3779     pvop->op_next = (OP*)pvop;
3780     pvop->op_flags = (U8)flags;
3781     if (PL_opargs[type] & OA_RETSCALAR)
3782         scalar((OP*)pvop);
3783     if (PL_opargs[type] & OA_TARGET)
3784         pvop->op_targ = pad_alloc(type, SVs_PADTMP);
3785     return CHECKOP(type, pvop);
3786 }
3787
3788 #ifdef PERL_MAD
3789 OP*
3790 #else
3791 void
3792 #endif
3793 Perl_package(pTHX_ OP *o)
3794 {
3795     dVAR;
3796     SV *const sv = cSVOPo->op_sv;
3797 #ifdef PERL_MAD
3798     OP *pegop;
3799 #endif
3800
3801     PERL_ARGS_ASSERT_PACKAGE;
3802
3803     save_hptr(&PL_curstash);
3804     save_item(PL_curstname);
3805
3806     PL_curstash = gv_stashsv(sv, GV_ADD);
3807
3808     sv_setsv(PL_curstname, sv);
3809
3810     PL_hints |= HINT_BLOCK_SCOPE;
3811     PL_parser->copline = NOLINE;
3812     PL_parser->expect = XSTATE;
3813
3814 #ifndef PERL_MAD
3815     op_free(o);
3816 #else
3817     if (!PL_madskills) {
3818         op_free(o);
3819         return NULL;
3820     }
3821
3822     pegop = newOP(OP_NULL,0);
3823     op_getmad(o,pegop,'P');
3824     return pegop;
3825 #endif
3826 }
3827
3828 #ifdef PERL_MAD
3829 OP*
3830 #else
3831 void
3832 #endif
3833 Perl_utilize(pTHX_ int aver, I32 floor, OP *version, OP *idop, OP *arg)
3834 {
3835     dVAR;
3836     OP *pack;
3837     OP *imop;
3838     OP *veop;
3839 #ifdef PERL_MAD
3840     OP *pegop = newOP(OP_NULL,0);
3841 #endif
3842
3843     PERL_ARGS_ASSERT_UTILIZE;
3844
3845     if (idop->op_type != OP_CONST)
3846         Perl_croak(aTHX_ "Module name must be constant");
3847
3848     if (PL_madskills)
3849         op_getmad(idop,pegop,'U');
3850
3851     veop = NULL;
3852
3853     if (version) {
3854         SV * const vesv = ((SVOP*)version)->op_sv;
3855
3856         if (PL_madskills)
3857             op_getmad(version,pegop,'V');
3858         if (!arg && !SvNIOKp(vesv)) {
3859             arg = version;
3860         }
3861         else {
3862             OP *pack;
3863             SV *meth;
3864
3865             if (version->op_type != OP_CONST || !SvNIOKp(vesv))
3866                 Perl_croak(aTHX_ "Version number must be constant number");
3867
3868             /* Make copy of idop so we don't free it twice */
3869             pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)idop)->op_sv));
3870
3871             /* Fake up a method call to VERSION */
3872             meth = newSVpvs_share("VERSION");
3873             veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3874                             append_elem(OP_LIST,
3875                                         prepend_elem(OP_LIST, pack, list(version)),
3876                                         newSVOP(OP_METHOD_NAMED, 0, meth)));
3877         }
3878     }
3879
3880     /* Fake up an import/unimport */
3881     if (arg && arg->op_type == OP_STUB) {
3882         if (PL_madskills)
3883             op_getmad(arg,pegop,'S');
3884         imop = arg;             /* no import on explicit () */
3885     }
3886     else if (SvNIOKp(((SVOP*)idop)->op_sv)) {
3887         imop = NULL;            /* use 5.0; */
3888         if (!aver)
3889             idop->op_private |= OPpCONST_NOVER;
3890     }
3891     else {
3892         SV *meth;
3893
3894         if (PL_madskills)
3895             op_getmad(arg,pegop,'A');
3896
3897         /* Make copy of idop so we don't free it twice */
3898         pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)idop)->op_sv));
3899
3900         /* Fake up a method call to import/unimport */
3901         meth = aver
3902             ? newSVpvs_share("import") : newSVpvs_share("unimport");
3903         imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3904                        append_elem(OP_LIST,
3905                                    prepend_elem(OP_LIST, pack, list(arg)),
3906                                    newSVOP(OP_METHOD_NAMED, 0, meth)));
3907     }
3908
3909     /* Fake up the BEGIN {}, which does its thing immediately. */
3910     newATTRSUB(floor,
3911         newSVOP(OP_CONST, 0, newSVpvs_share("BEGIN")),
3912         NULL,
3913         NULL,
3914         append_elem(OP_LINESEQ,
3915             append_elem(OP_LINESEQ,
3916                 newSTATEOP(0, NULL, newUNOP(OP_REQUIRE, 0, idop)),
3917                 newSTATEOP(0, NULL, veop)),
3918             newSTATEOP(0, NULL, imop) ));
3919
3920     /* The "did you use incorrect case?" warning used to be here.
3921      * The problem is that on case-insensitive filesystems one
3922      * might get false positives for "use" (and "require"):
3923      * "use Strict" or "require CARP" will work.  This causes
3924      * portability problems for the script: in case-strict
3925      * filesystems the script will stop working.
3926      *
3927      * The "incorrect case" warning checked whether "use Foo"
3928      * imported "Foo" to your namespace, but that is wrong, too:
3929      * there is no requirement nor promise in the language that
3930      * a Foo.pm should or would contain anything in package "Foo".
3931      *
3932      * There is very little Configure-wise that can be done, either:
3933      * the case-sensitivity of the build filesystem of Perl does not
3934      * help in guessing the case-sensitivity of the runtime environment.
3935      */
3936
3937     PL_hints |= HINT_BLOCK_SCOPE;
3938     PL_parser->copline = NOLINE;
3939     PL_parser->expect = XSTATE;
3940     PL_cop_seqmax++; /* Purely for B::*'s benefit */
3941
3942 #ifdef PERL_MAD
3943     if (!PL_madskills) {
3944         /* FIXME - don't allocate pegop if !PL_madskills */
3945         op_free(pegop);
3946         return NULL;
3947     }
3948     return pegop;
3949 #endif
3950 }
3951
3952 /*
3953 =head1 Embedding Functions
3954
3955 =for apidoc load_module
3956
3957 Loads the module whose name is pointed to by the string part of name.
3958 Note that the actual module name, not its filename, should be given.
3959 Eg, "Foo::Bar" instead of "Foo/Bar.pm".  flags can be any of
3960 PERL_LOADMOD_DENY, PERL_LOADMOD_NOIMPORT, or PERL_LOADMOD_IMPORT_OPS
3961 (or 0 for no flags). ver, if specified, provides version semantics
3962 similar to C<use Foo::Bar VERSION>.  The optional trailing SV*
3963 arguments can be used to specify arguments to the module's import()
3964 method, similar to C<use Foo::Bar VERSION LIST>.
3965
3966 =cut */
3967
3968 void
3969 Perl_load_module(pTHX_ U32 flags, SV *name, SV *ver, ...)
3970 {
3971     va_list args;
3972
3973     PERL_ARGS_ASSERT_LOAD_MODULE;
3974
3975     va_start(args, ver);
3976     vload_module(flags, name, ver, &args);
3977     va_end(args);
3978 }
3979
3980 #ifdef PERL_IMPLICIT_CONTEXT
3981 void
3982 Perl_load_module_nocontext(U32 flags, SV *name, SV *ver, ...)
3983 {
3984     dTHX;
3985     va_list args;
3986     PERL_ARGS_ASSERT_LOAD_MODULE_NOCONTEXT;
3987     va_start(args, ver);
3988     vload_module(flags, name, ver, &args);
3989     va_end(args);
3990 }
3991 #endif
3992
3993 void
3994 Perl_vload_module(pTHX_ U32 flags, SV *name, SV *ver, va_list *args)
3995 {
3996     dVAR;
3997     OP *veop, *imop;
3998     OP * const modname = newSVOP(OP_CONST, 0, name);
3999
4000     PERL_ARGS_ASSERT_VLOAD_MODULE;
4001
4002     modname->op_private |= OPpCONST_BARE;
4003     if (ver) {
4004         veop = newSVOP(OP_CONST, 0, ver);
4005     }
4006     else
4007         veop = NULL;
4008     if (flags & PERL_LOADMOD_NOIMPORT) {
4009         imop = sawparens(newNULLLIST());
4010     }
4011     else if (flags & PERL_LOADMOD_IMPORT_OPS) {
4012         imop = va_arg(*args, OP*);
4013     }
4014     else {
4015         SV *sv;
4016         imop = NULL;
4017         sv = va_arg(*args, SV*);
4018         while (sv) {
4019             imop = append_elem(OP_LIST, imop, newSVOP(OP_CONST, 0, sv));
4020             sv = va_arg(*args, SV*);
4021         }
4022     }
4023
4024     /* utilize() fakes up a BEGIN { require ..; import ... }, so make sure
4025      * that it has a PL_parser to play with while doing that, and also
4026      * that it doesn't mess with any existing parser, by creating a tmp
4027      * new parser with lex_start(). This won't actually be used for much,
4028      * since pp_require() will create another parser for the real work. */
4029
4030     ENTER;
4031     SAVEVPTR(PL_curcop);
4032     lex_start(NULL, NULL, FALSE);
4033     utilize(!(flags & PERL_LOADMOD_DENY), start_subparse(FALSE, 0),
4034             veop, modname, imop);
4035     LEAVE;
4036 }
4037
4038 OP *
4039 Perl_dofile(pTHX_ OP *term, I32 force_builtin)
4040 {
4041     dVAR;
4042     OP *doop;
4043     GV *gv = NULL;
4044
4045     PERL_ARGS_ASSERT_DOFILE;
4046
4047     if (!force_builtin) {
4048         gv = gv_fetchpvs("do", GV_NOTQUAL, SVt_PVCV);
4049         if (!(gv && GvCVu(gv) && GvIMPORTED_CV(gv))) {
4050             GV * const * const gvp = (GV**)hv_fetchs(PL_globalstash, "do", FALSE);
4051             gv = gvp ? *gvp : NULL;
4052         }
4053     }
4054
4055     if (gv && GvCVu(gv) && GvIMPORTED_CV(gv)) {
4056         doop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
4057                                append_elem(OP_LIST, term,
4058                                            scalar(newUNOP(OP_RV2CV, 0,
4059                                                           newGVOP(OP_GV, 0, gv))))));
4060     }
4061     else {
4062         doop = newUNOP(OP_DOFILE, 0, scalar(term));
4063     }
4064     return doop;
4065 }
4066
4067 OP *
4068 Perl_newSLICEOP(pTHX_ I32 flags, OP *subscript, OP *listval)
4069 {
4070     return newBINOP(OP_LSLICE, flags,
4071             list(force_list(subscript)),
4072             list(force_list(listval)) );
4073 }
4074
4075 STATIC I32
4076 S_is_list_assignment(pTHX_ register const OP *o)
4077 {
4078     unsigned type;
4079     U8 flags;
4080
4081     if (!o)
4082         return TRUE;
4083
4084     if ((o->op_type == OP_NULL) && (o->op_flags & OPf_KIDS))
4085         o = cUNOPo->op_first;
4086
4087     flags = o->op_flags;
4088     type = o->op_type;
4089     if (type == OP_COND_EXPR) {
4090         const I32 t = is_list_assignment(cLOGOPo->op_first->op_sibling);
4091         const I32 f = is_list_assignment(cLOGOPo->op_first->op_sibling->op_sibling);
4092
4093         if (t && f)
4094             return TRUE;
4095         if (t || f)
4096             yyerror("Assignment to both a list and a scalar");
4097         return FALSE;
4098     }
4099
4100     if (type == OP_LIST &&
4101         (flags & OPf_WANT) == OPf_WANT_SCALAR &&
4102         o->op_private & OPpLVAL_INTRO)
4103         return FALSE;
4104
4105     if (type == OP_LIST || flags & OPf_PARENS ||
4106         type == OP_RV2AV || type == OP_RV2HV ||
4107         type == OP_ASLICE || type == OP_HSLICE)
4108         return TRUE;
4109
4110     if (type == OP_PADAV || type == OP_PADHV)
4111         return TRUE;
4112
4113     if (type == OP_RV2SV)
4114         return FALSE;
4115
4116     return FALSE;
4117 }
4118
4119 OP *
4120 Perl_newASSIGNOP(pTHX_ I32 flags, OP *left, I32 optype, OP *right)
4121 {
4122     dVAR;
4123     OP *o;
4124
4125     if (optype) {
4126         if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN || optype == OP_DORASSIGN) {
4127             return newLOGOP(optype, 0,
4128                 mod(scalar(left), optype),
4129                 newUNOP(OP_SASSIGN, 0, scalar(right)));
4130         }
4131         else {
4132             return newBINOP(optype, OPf_STACKED,
4133                 mod(scalar(left), optype), scalar(right));
4134         }
4135     }
4136
4137     if (is_list_assignment(left)) {
4138         static const char no_list_state[] = "Initialization of state variables"
4139             " in list context currently forbidden";
4140         OP *curop;
4141         bool maybe_common_vars = TRUE;
4142
4143         PL_modcount = 0;
4144         /* Grandfathering $[ assignment here.  Bletch.*/
4145         /* Only simple assignments like C<< ($[) = 1 >> are allowed */
4146         PL_eval_start = (left->op_type == OP_CONST) ? right : NULL;
4147         left = mod(left, OP_AASSIGN);
4148         if (PL_eval_start)
4149             PL_eval_start = 0;
4150         else if (left->op_type == OP_CONST) {
4151             /* FIXME for MAD */
4152             /* Result of assignment is always 1 (or we'd be dead already) */
4153             return newSVOP(OP_CONST, 0, newSViv(1));
4154         }
4155         curop = list(force_list(left));
4156         o = newBINOP(OP_AASSIGN, flags, list(force_list(right)), curop);
4157         o->op_private = (U8)(0 | (flags >> 8));
4158
4159         if ((left->op_type == OP_LIST
4160              || (left->op_type == OP_NULL && left->op_targ == OP_LIST)))
4161         {
4162             OP* lop = ((LISTOP*)left)->op_first;
4163             maybe_common_vars = FALSE;
4164             while (lop) {
4165                 if (lop->op_type == OP_PADSV ||
4166                     lop->op_type == OP_PADAV ||
4167                     lop->op_type == OP_PADHV ||
4168                     lop->op_type == OP_PADANY) {
4169                     if (!(lop->op_private & OPpLVAL_INTRO))
4170                         maybe_common_vars = TRUE;
4171
4172                     if (lop->op_private & OPpPAD_STATE) {
4173                         if (left->op_private & OPpLVAL_INTRO) {
4174                             /* Each variable in state($a, $b, $c) = ... */
4175                         }
4176                         else {
4177                             /* Each state variable in
4178                                (state $a, my $b, our $c, $d, undef) = ... */
4179                         }
4180                         yyerror(no_list_state);
4181                     } else {
4182                         /* Each my variable in
4183                            (state $a, my $b, our $c, $d, undef) = ... */
4184                     }
4185                 } else if (lop->op_type == OP_UNDEF ||
4186                            lop->op_type == OP_PUSHMARK) {
4187                     /* undef may be interesting in
4188                        (state $a, undef, state $c) */
4189                 } else {
4190                     /* Other ops in the list. */
4191                     maybe_common_vars = TRUE;
4192                 }
4193                 lop = lop->op_sibling;
4194             }
4195         }
4196         else if ((left->op_private & OPpLVAL_INTRO)
4197                 && (   left->op_type == OP_PADSV
4198                     || left->op_type == OP_PADAV
4199                     || left->op_type == OP_PADHV
4200                     || left->op_type == OP_PADANY))
4201         {
4202             maybe_common_vars = FALSE;
4203             if (left->op_private & OPpPAD_STATE) {
4204                 /* All single variable list context state assignments, hence
4205                    state ($a) = ...
4206                    (state $a) = ...
4207                    state @a = ...
4208                    state (@a) = ...
4209                    (state @a) = ...
4210                    state %a = ...
4211                    state (%a) = ...
4212                    (state %a) = ...
4213                 */
4214                 yyerror(no_list_state);
4215             }
4216         }
4217
4218         /* PL_generation sorcery:
4219          * an assignment like ($a,$b) = ($c,$d) is easier than
4220          * ($a,$b) = ($c,$a), since there is no need for temporary vars.
4221          * To detect whether there are common vars, the global var
4222          * PL_generation is incremented for each assign op we compile.
4223          * Then, while compiling the assign op, we run through all the
4224          * variables on both sides of the assignment, setting a spare slot
4225          * in each of them to PL_generation. If any of them already have
4226          * that value, we know we've got commonality.  We could use a
4227          * single bit marker, but then we'd have to make 2 passes, first
4228          * to clear the flag, then to test and set it.  To find somewhere
4229          * to store these values, evil chicanery is done with SvUVX().
4230          */
4231
4232         if (maybe_common_vars) {
4233             OP *lastop = o;
4234             PL_generation++;
4235             for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
4236                 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
4237                     if (curop->op_type == OP_GV) {
4238                         GV *gv = cGVOPx_gv(curop);
4239                         if (gv == PL_defgv
4240                             || (int)GvASSIGN_GENERATION(gv) == PL_generation)
4241                             break;
4242                         GvASSIGN_GENERATION_set(gv, PL_generation);
4243                     }
4244                     else if (curop->op_type == OP_PADSV ||
4245                              curop->op_type == OP_PADAV ||
4246                              curop->op_type == OP_PADHV ||
4247                              curop->op_type == OP_PADANY)
4248                     {
4249                         if (PAD_COMPNAME_GEN(curop->op_targ)
4250                                                     == (STRLEN)PL_generation)
4251                             break;
4252                         PAD_COMPNAME_GEN_set(curop->op_targ, PL_generation);
4253
4254                     }
4255                     else if (curop->op_type == OP_RV2CV)
4256                         break;
4257                     else if (curop->op_type == OP_RV2SV ||
4258                              curop->op_type == OP_RV2AV ||
4259                              curop->op_type == OP_RV2HV ||
4260                              curop->op_type == OP_RV2GV) {
4261                         if (lastop->op_type != OP_GV)   /* funny deref? */
4262                             break;
4263                     }
4264                     else if (curop->op_type == OP_PUSHRE) {
4265 #ifdef USE_ITHREADS
4266                         if (((PMOP*)curop)->op_pmreplrootu.op_pmtargetoff) {
4267                             GV *const gv = (GV*)PAD_SVl(((PMOP*)curop)->op_pmreplrootu.op_pmtargetoff);
4268                             if (gv == PL_defgv
4269                                 || (int)GvASSIGN_GENERATION(gv) == PL_generation)
4270                                 break;
4271                             GvASSIGN_GENERATION_set(gv, PL_generation);
4272                         }
4273 #else
4274                         GV *const gv
4275                             = ((PMOP*)curop)->op_pmreplrootu.op_pmtargetgv;
4276                         if (gv) {
4277                             if (gv == PL_defgv
4278                                 || (int)GvASSIGN_GENERATION(gv) == PL_generation)
4279                                 break;
4280                             GvASSIGN_GENERATION_set(gv, PL_generation);
4281                         }
4282 #endif
4283                     }
4284                     else
4285                         break;
4286                 }
4287                 lastop = curop;
4288             }
4289             if (curop != o)
4290                 o->op_private |= OPpASSIGN_COMMON;
4291         }
4292
4293         if (right && right->op_type == OP_SPLIT && !PL_madskills) {
4294             OP* tmpop = ((LISTOP*)right)->op_first;
4295             if (tmpop && (tmpop->op_type == OP_PUSHRE)) {
4296                 PMOP * const pm = (PMOP*)tmpop;
4297                 if (left->op_type == OP_RV2AV &&
4298                     !(left->op_private & OPpLVAL_INTRO) &&
4299                     !(o->op_private & OPpASSIGN_COMMON) )
4300                 {
4301                     tmpop = ((UNOP*)left)->op_first;
4302                     if (tmpop->op_type == OP_GV
4303 #ifdef USE_ITHREADS
4304                         && !pm->op_pmreplrootu.op_pmtargetoff
4305 #else
4306                         && !pm->op_pmreplrootu.op_pmtargetgv
4307 #endif
4308                         ) {
4309 #ifdef USE_ITHREADS
4310                         pm->op_pmreplrootu.op_pmtargetoff
4311                             = cPADOPx(tmpop)->op_padix;
4312                         cPADOPx(tmpop)->op_padix = 0;   /* steal it */
4313 #else
4314                         pm->op_pmreplrootu.op_pmtargetgv
4315                             = (GV*)cSVOPx(tmpop)->op_sv;
4316                         cSVOPx(tmpop)->op_sv = NULL;    /* steal it */
4317 #endif
4318                         pm->op_pmflags |= PMf_ONCE;
4319                         tmpop = cUNOPo->op_first;       /* to list (nulled) */
4320                         tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
4321                         tmpop->op_sibling = NULL;       /* don't free split */
4322                         right->op_next = tmpop->op_next;  /* fix starting loc */
4323                         op_free(o);                     /* blow off assign */
4324                         right->op_flags &= ~OPf_WANT;
4325                                 /* "I don't know and I don't care." */
4326                         return right;
4327                     }
4328                 }
4329                 else {
4330                    if (PL_modcount < RETURN_UNLIMITED_NUMBER &&
4331                       ((LISTOP*)right)->op_last->op_type == OP_CONST)
4332                     {
4333                         SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
4334                         if (SvIVX(sv) == 0)
4335                             sv_setiv(sv, PL_modcount+1);
4336                     }
4337                 }
4338             }
4339         }
4340         return o;
4341     }
4342     if (!right)
4343         right = newOP(OP_UNDEF, 0);
4344     if (right->op_type == OP_READLINE) {
4345         right->op_flags |= OPf_STACKED;
4346         return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
4347     }
4348     else {
4349         PL_eval_start = right;  /* Grandfathering $[ assignment here.  Bletch.*/
4350         o = newBINOP(OP_SASSIGN, flags,
4351             scalar(right), mod(scalar(left), OP_SASSIGN) );
4352         if (PL_eval_start)
4353             PL_eval_start = 0;
4354         else {
4355             if (!PL_madskills) { /* assignment to $[ is ignored when making a mad dump */
4356                 op_free(o);
4357                 o = newSVOP(OP_CONST, 0, newSViv(CopARYBASE_get(&PL_compiling)));
4358                 o->op_private |= OPpCONST_ARYBASE;
4359             }
4360         }
4361     }
4362     return o;
4363 }
4364
4365 OP *
4366 Perl_newSTATEOP(pTHX_ I32 flags, char *label, OP *o)
4367 {
4368     dVAR;
4369     const U32 seq = intro_my();
4370     register COP *cop;
4371
4372     NewOp(1101, cop, 1, COP);
4373     if (PERLDB_LINE && CopLINE(PL_curcop) && PL_curstash != PL_debstash) {
4374         cop->op_type = OP_DBSTATE;
4375         cop->op_ppaddr = PL_ppaddr[ OP_DBSTATE ];
4376     }
4377     else {
4378         cop->op_type = OP_NEXTSTATE;
4379         cop->op_ppaddr = PL_ppaddr[ OP_NEXTSTATE ];
4380     }
4381     cop->op_flags = (U8)flags;
4382     CopHINTS_set(cop, PL_hints);
4383 #ifdef NATIVE_HINTS
4384     cop->op_private |= NATIVE_HINTS;
4385 #endif
4386     CopHINTS_set(&PL_compiling, CopHINTS_get(cop));
4387     cop->op_next = (OP*)cop;
4388
4389     cop->cop_seq = seq;
4390     /* CopARYBASE is now "virtual", in that it's stored as a flag bit in
4391        CopHINTS and a possible value in cop_hints_hash, so no need to copy it.
4392     */
4393     cop->cop_warnings = DUP_WARNINGS(PL_curcop->cop_warnings);
4394     cop->cop_hints_hash = PL_curcop->cop_hints_hash;
4395     if (cop->cop_hints_hash) {
4396         HINTS_REFCNT_LOCK;
4397         cop->cop_hints_hash->refcounted_he_refcnt++;
4398         HINTS_REFCNT_UNLOCK;
4399     }
4400     if (label) {
4401         cop->cop_hints_hash
4402             = Perl_store_cop_label(aTHX_ cop->cop_hints_hash, label);
4403                                                      
4404         PL_hints |= HINT_BLOCK_SCOPE;
4405         /* It seems that we need to defer freeing this pointer, as other parts
4406            of the grammar end up wanting to copy it after this op has been
4407            created. */
4408         SAVEFREEPV(label);
4409     }
4410
4411     if (PL_parser && PL_parser->copline == NOLINE)
4412         CopLINE_set(cop, CopLINE(PL_curcop));
4413     else {
4414         CopLINE_set(cop, PL_parser->copline);
4415         if (PL_parser)
4416             PL_parser->copline = NOLINE;
4417     }
4418 #ifdef USE_ITHREADS
4419     CopFILE_set(cop, CopFILE(PL_curcop));       /* XXX share in a pvtable? */
4420 #else
4421     CopFILEGV_set(cop, CopFILEGV(PL_curcop));
4422 #endif
4423     CopSTASH_set(cop, PL_curstash);
4424
4425     if (PERLDB_LINE && PL_curstash != PL_debstash) {
4426         AV *av = CopFILEAVx(PL_curcop);
4427         if (av) {
4428             SV * const * const svp = av_fetch(av, (I32)CopLINE(cop), FALSE);
4429             if (svp && *svp != &PL_sv_undef ) {
4430                 (void)SvIOK_on(*svp);
4431                 SvIV_set(*svp, PTR2IV(cop));
4432             }
4433         }
4434     }
4435
4436     if (flags & OPf_SPECIAL)
4437         op_null((OP*)cop);
4438     return prepend_elem(OP_LINESEQ, (OP*)cop, o);
4439 }
4440
4441
4442 OP *
4443 Perl_newLOGOP(pTHX_ I32 type, I32 flags, OP *first, OP *other)
4444 {
4445     dVAR;
4446
4447     PERL_ARGS_ASSERT_NEWLOGOP;
4448
4449     return new_logop(type, flags, &first, &other);
4450 }
4451
4452 STATIC OP *
4453 S_search_const(pTHX_ OP *o)
4454 {
4455     PERL_ARGS_ASSERT_SEARCH_CONST;
4456
4457     switch (o->op_type) {
4458         case OP_CONST:
4459             return o;
4460         case OP_NULL:
4461             if (o->op_flags & OPf_KIDS)
4462                 return search_const(cUNOPo->op_first);
4463             break;
4464         case OP_LEAVE:
4465         case OP_SCOPE:
4466         case OP_LINESEQ:
4467         {
4468             OP *kid;
4469             if (!(o->op_flags & OPf_KIDS))
4470                 return NULL;
4471             kid = cLISTOPo->op_first;
4472             do {
4473                 switch (kid->op_type) {
4474                     case OP_ENTER:
4475                     case OP_NULL:
4476                     case OP_NEXTSTATE:
4477                         kid = kid->op_sibling;
4478                         break;
4479                     default:
4480                         if (kid != cLISTOPo->op_last)
4481                             return NULL;
4482                         goto last;
4483                 }
4484             } while (kid);
4485             if (!kid)
4486                 kid = cLISTOPo->op_last;
4487 last:
4488             return search_const(kid);
4489         }
4490     }
4491
4492     return NULL;
4493 }
4494
4495 STATIC OP *
4496 S_new_logop(pTHX_ I32 type, I32 flags, OP** firstp, OP** otherp)
4497 {
4498     dVAR;
4499     LOGOP *logop;
4500     OP *o;
4501     OP *first;
4502     OP *other;
4503     OP *cstop = NULL;
4504     int prepend_not = 0;
4505
4506     PERL_ARGS_ASSERT_NEW_LOGOP;
4507
4508     first = *firstp;
4509     other = *otherp;
4510
4511     if (type == OP_XOR)         /* Not short circuit, but here by precedence. */
4512         return newBINOP(type, flags, scalar(first), scalar(other));
4513
4514     scalarboolean(first);
4515     /* optimize AND and OR ops that have NOTs as children */
4516     if (first->op_type == OP_NOT
4517         && (first->op_flags & OPf_KIDS)
4518         && ((first->op_flags & OPf_SPECIAL) /* unless ($x) { } */
4519             || (other->op_type == OP_NOT))  /* if (!$x && !$y) { } */
4520         && !PL_madskills) {
4521         if (type == OP_AND || type == OP_OR) {
4522             if (type == OP_AND)
4523                 type = OP_OR;
4524             else
4525                 type = OP_AND;
4526             op_null(first);
4527             if (other->op_type == OP_NOT) { /* !a AND|OR !b => !(a OR|AND b) */
4528                 op_null(other);
4529                 prepend_not = 1; /* prepend a NOT op later */
4530             }
4531         }
4532     }
4533     /* search for a constant op that could let us fold the test */
4534     if ((cstop = search_const(first))) {
4535         if (cstop->op_private & OPpCONST_STRICT)
4536             no_bareword_allowed(cstop);
4537         else if ((cstop->op_private & OPpCONST_BARE) && ckWARN(WARN_BAREWORD))
4538                 Perl_warner(aTHX_ packWARN(WARN_BAREWORD), "Bareword found in conditional");
4539         if ((type == OP_AND &&  SvTRUE(((SVOP*)cstop)->op_sv)) ||
4540             (type == OP_OR  && !SvTRUE(((SVOP*)cstop)->op_sv)) ||
4541             (type == OP_DOR && !SvOK(((SVOP*)cstop)->op_sv))) {
4542             *firstp = NULL;
4543             if (other->op_type == OP_CONST)
4544                 other->op_private |= OPpCONST_SHORTCIRCUIT;
4545             if (PL_madskills) {
4546                 OP *newop = newUNOP(OP_NULL, 0, other);
4547                 op_getmad(first, newop, '1');
4548                 newop->op_targ = type;  /* set "was" field */
4549                 return newop;
4550             }
4551             op_free(first);
4552             return other;
4553         }
4554         else {
4555             /* check for C<my $x if 0>, or C<my($x,$y) if 0> */
4556             const OP *o2 = other;
4557             if ( ! (o2->op_type == OP_LIST
4558                     && (( o2 = cUNOPx(o2)->op_first))
4559                     && o2->op_type == OP_PUSHMARK
4560                     && (( o2 = o2->op_sibling)) )
4561             )
4562                 o2 = other;
4563             if ((o2->op_type == OP_PADSV || o2->op_type == OP_PADAV
4564                         || o2->op_type == OP_PADHV)
4565                 && o2->op_private & OPpLVAL_INTRO
4566                 && !(o2->op_private & OPpPAD_STATE)
4567                 && ckWARN(WARN_DEPRECATED))
4568             {
4569                 Perl_warner(aTHX_ packWARN(WARN_DEPRECATED),
4570                             "Deprecated use of my() in false conditional");
4571             }
4572
4573             *otherp = NULL;
4574             if (first->op_type == OP_CONST)
4575                 first->op_private |= OPpCONST_SHORTCIRCUIT;
4576             if (PL_madskills) {
4577                 first = newUNOP(OP_NULL, 0, first);
4578                 op_getmad(other, first, '2');
4579                 first->op_targ = type;  /* set "was" field */
4580             }
4581             else
4582                 op_free(other);
4583             return first;
4584         }
4585     }
4586     else if ((first->op_flags & OPf_KIDS) && type != OP_DOR
4587         && ckWARN(WARN_MISC)) /* [#24076] Don't warn for <FH> err FOO. */
4588     {
4589         const OP * const k1 = ((UNOP*)first)->op_first;
4590         const OP * const k2 = k1->op_sibling;
4591         OPCODE warnop = 0;
4592         switch (first->op_type)
4593         {
4594         case OP_NULL:
4595             if (k2 && k2->op_type == OP_READLINE
4596                   && (k2->op_flags & OPf_STACKED)
4597                   && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
4598             {
4599                 warnop = k2->op_type;
4600             }
4601             break;
4602
4603         case OP_SASSIGN:
4604             if (k1->op_type == OP_READDIR
4605                   || k1->op_type == OP_GLOB
4606                   || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
4607                   || k1->op_type == OP_EACH)
4608             {
4609                 warnop = ((k1->op_type == OP_NULL)
4610                           ? (OPCODE)k1->op_targ : k1->op_type);
4611             }
4612             break;
4613         }
4614         if (warnop) {
4615             const line_t oldline = CopLINE(PL_curcop);
4616             CopLINE_set(PL_curcop, PL_parser->copline);
4617             Perl_warner(aTHX_ packWARN(WARN_MISC),
4618                  "Value of %s%s can be \"0\"; test with defined()",
4619                  PL_op_desc[warnop],
4620                  ((warnop == OP_READLINE || warnop == OP_GLOB)
4621                   ? " construct" : "() operator"));
4622             CopLINE_set(PL_curcop, oldline);
4623         }
4624     }
4625
4626     if (!other)
4627         return first;
4628
4629     if (type == OP_ANDASSIGN || type == OP_ORASSIGN || type == OP_DORASSIGN)
4630         other->op_private |= OPpASSIGN_BACKWARDS;  /* other is an OP_SASSIGN */
4631
4632     NewOp(1101, logop, 1, LOGOP);
4633
4634     logop->op_type = (OPCODE)type;
4635     logop->op_ppaddr = PL_ppaddr[type];
4636     logop->op_first = first;
4637     logop->op_flags = (U8)(flags | OPf_KIDS);
4638     logop->op_other = LINKLIST(other);
4639     logop->op_private = (U8)(1 | (flags >> 8));
4640
4641     /* establish postfix order */
4642     logop->op_next = LINKLIST(first);
4643     first->op_next = (OP*)logop;
4644     first->op_sibling = other;
4645
4646     CHECKOP(type,logop);
4647
4648     o = newUNOP(prepend_not ? OP_NOT : OP_NULL, 0, (OP*)logop);
4649     other->op_next = o;
4650
4651     return o;
4652 }
4653
4654 OP *
4655 Perl_newCONDOP(pTHX_ I32 flags, OP *first, OP *trueop, OP *falseop)
4656 {
4657     dVAR;
4658     LOGOP *logop;
4659     OP *start;
4660     OP *o;
4661     OP *cstop;
4662
4663     PERL_ARGS_ASSERT_NEWCONDOP;
4664
4665     if (!falseop)
4666         return newLOGOP(OP_AND, 0, first, trueop);
4667     if (!trueop)
4668         return newLOGOP(OP_OR, 0, first, falseop);
4669
4670     scalarboolean(first);
4671     if ((cstop = search_const(first))) {
4672         /* Left or right arm of the conditional?  */
4673         const bool left = SvTRUE(((SVOP*)cstop)->op_sv);
4674         OP *live = left ? trueop : falseop;
4675         OP *const dead = left ? falseop : trueop;
4676         if (cstop->op_private & OPpCONST_BARE &&
4677             cstop->op_private & OPpCONST_STRICT) {
4678             no_bareword_allowed(cstop);
4679         }
4680         if (PL_madskills) {
4681             /* This is all dead code when PERL_MAD is not defined.  */
4682             live = newUNOP(OP_NULL, 0, live);
4683             op_getmad(first, live, 'C');
4684             op_getmad(dead, live, left ? 'e' : 't');
4685         } else {
4686             op_free(first);
4687             op_free(dead);
4688         }
4689         return live;
4690     }
4691     NewOp(1101, logop, 1, LOGOP);
4692     logop->op_type = OP_COND_EXPR;
4693     logop->op_ppaddr = PL_ppaddr[OP_COND_EXPR];
4694     logop->op_first = first;
4695     logop->op_flags = (U8)(flags | OPf_KIDS);
4696     logop->op_private = (U8)(1 | (flags >> 8));
4697     logop->op_other = LINKLIST(trueop);
4698     logop->op_next = LINKLIST(falseop);
4699
4700     CHECKOP(OP_COND_EXPR, /* that's logop->op_type */
4701             logop);
4702
4703     /* establish postfix order */
4704     start = LINKLIST(first);
4705     first->op_next = (OP*)logop;
4706
4707     first->op_sibling = trueop;
4708     trueop->op_sibling = falseop;
4709     o = newUNOP(OP_NULL, 0, (OP*)logop);
4710
4711     trueop->op_next = falseop->op_next = o;
4712
4713     o->op_next = start;
4714     return o;
4715 }
4716
4717 OP *
4718 Perl_newRANGE(pTHX_ I32 flags, OP *left, OP *right)
4719 {
4720     dVAR;
4721     LOGOP *range;
4722     OP *flip;
4723     OP *flop;
4724     OP *leftstart;
4725     OP *o;
4726
4727     PERL_ARGS_ASSERT_NEWRANGE;
4728
4729     NewOp(1101, range, 1, LOGOP);
4730
4731     range->op_type = OP_RANGE;
4732     range->op_ppaddr = PL_ppaddr[OP_RANGE];
4733     range->op_first = left;
4734     range->op_flags = OPf_KIDS;
4735     leftstart = LINKLIST(left);
4736     range->op_other = LINKLIST(right);
4737     range->op_private = (U8)(1 | (flags >> 8));
4738
4739     left->op_sibling = right;
4740
4741     range->op_next = (OP*)range;
4742     flip = newUNOP(OP_FLIP, flags, (OP*)range);
4743     flop = newUNOP(OP_FLOP, 0, flip);
4744     o = newUNOP(OP_NULL, 0, flop);
4745     linklist(flop);
4746     range->op_next = leftstart;
4747
4748     left->op_next = flip;
4749     right->op_next = flop;
4750
4751     range->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
4752     sv_upgrade(PAD_SV(range->op_targ), SVt_PVNV);
4753     flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
4754     sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
4755
4756     flip->op_private =  left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
4757     flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
4758
4759     flip->op_next = o;
4760     if (!flip->op_private || !flop->op_private)
4761         linklist(o);            /* blow off optimizer unless constant */
4762
4763     return o;
4764 }
4765
4766 OP *
4767 Perl_newLOOPOP(pTHX_ I32 flags, I32 debuggable, OP *expr, OP *block)
4768 {
4769     dVAR;
4770     OP* listop;
4771     OP* o;
4772     const bool once = block && block->op_flags & OPf_SPECIAL &&
4773       (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
4774
4775     PERL_UNUSED_ARG(debuggable);
4776
4777     if (expr) {
4778         if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
4779             return block;       /* do {} while 0 does once */
4780         if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
4781             || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
4782             expr = newUNOP(OP_DEFINED, 0,
4783                 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
4784         } else if (expr->op_flags & OPf_KIDS) {
4785             const OP * const k1 = ((UNOP*)expr)->op_first;
4786             const OP * const k2 = k1 ? k1->op_sibling : NULL;
4787             switch (expr->op_type) {
4788               case OP_NULL:
4789                 if (k2 && k2->op_type == OP_READLINE
4790                       && (k2->op_flags & OPf_STACKED)
4791                       && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
4792                     expr = newUNOP(OP_DEFINED, 0, expr);
4793                 break;
4794
4795               case OP_SASSIGN:
4796                 if (k1 && (k1->op_type == OP_READDIR
4797                       || k1->op_type == OP_GLOB
4798                       || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
4799                       || k1->op_type == OP_EACH))
4800                     expr = newUNOP(OP_DEFINED, 0, expr);
4801                 break;
4802             }
4803         }
4804     }
4805
4806     /* if block is null, the next append_elem() would put UNSTACK, a scalar
4807      * op, in listop. This is wrong. [perl #27024] */
4808     if (!block)
4809         block = newOP(OP_NULL, 0);
4810     listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
4811     o = new_logop(OP_AND, 0, &expr, &listop);
4812
4813     if (listop)
4814         ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
4815
4816     if (once && o != listop)
4817         o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
4818
4819     if (o == listop)
4820         o = newUNOP(OP_NULL, 0, o);     /* or do {} while 1 loses outer block */
4821
4822     o->op_flags |= flags;
4823     o = scope(o);
4824     o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
4825     return o;
4826 }
4827
4828 OP *
4829 Perl_newWHILEOP(pTHX_ I32 flags, I32 debuggable, LOOP *loop, I32
4830 whileline, OP *expr, OP *block, OP *cont, I32 has_my)
4831 {
4832     dVAR;
4833     OP *redo;
4834     OP *next = NULL;
4835     OP *listop;
4836     OP *o;
4837     U8 loopflags = 0;