This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
https://perl5.git.perl.org / perl5.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
If /dev/null is not readable, perl -e fails with
[perl5.git] / op.c
CommitLineData
a0d0e21e 1/* op.c
79072805 2 *
4bb101f2 3 * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
cbdf9ef8 4 * 2000, 2001, 2002, 2003, 2004, 2005, by Larry Wall and others
79072805
LW		 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 *
a0d0e21e
LW		 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
79072805
LW		 17 */
18
166f8a29
DM		 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 */
ccfc67b7 43
61b743bb
DM		 44/*
45Perl'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
51The bottom-up pass is represented by all the "newOP" routines and
52the ck_ routines. The bottom-upness is actually driven by yacc.
53So at the point that a ck_ routine fires, we have no idea what the
54context is, either upward in the syntax tree, or either forward or
55backward in the execution order. (The bottom-up parser builds that
56part of the execution order it knows about, but if you follow the "next"
57links around, you'll find it's actually a closed loop through the
58top level node.
59
60Whenever the bottom-up parser gets to a node that supplies context to
61its components, it invokes that portion of the top-down pass that applies
62to that part of the subtree (and marks the top node as processed, so
63if a node further up supplies context, it doesn't have to take the
64plunge again). As a particular subcase of this, as the new node is
65built, it takes all the closed execution loops of its subcomponents
66and links them into a new closed loop for the higher level node. But
67it's still not the real execution order.
68
69The actual execution order is not known till we get a grammar reduction
70to 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
72into peep() to do that code's portion of the 3rd pass. It has to be
73recursive, but it's recursive on basic blocks, not on tree nodes.
74*/
75
79072805 76#include "EXTERN.h"
864dbfa3 77#define PERL_IN_OP_C
79072805 78#include "perl.h"
77ca0c92 79#include "keywords.h"
79072805 80
a07e034d 81#define CALL_PEEP(o) CALL_FPTR(PL_peepp)(aTHX_ o)
a2efc822 82
238a4c30
NIS		 83#if defined(PL_OP_SLAB_ALLOC)
84
85#ifndef PERL_SLAB_SIZE
86#define PERL_SLAB_SIZE 2048
87#endif
88
c7e45529
AE		 89void *
90Perl_Slab_Alloc(pTHX_ int m, size_t sz)
1c846c1f 91{
5a8e194f
NIS		 92 /*
93 * To make incrementing use count easy PL_OpSlab is an I32 *
94 * To make inserting the link to slab PL_OpPtr is I32 **
95 * So compute size in units of sizeof(I32 *) as that is how Pl_OpPtr increments
96 * Add an overhead for pointer to slab and round up as a number of pointers
97 */
98 sz = (sz + 2*sizeof(I32 *) -1)/sizeof(I32 *);
238a4c30 99 if ((PL_OpSpace -= sz) < 0) {
083fcd59
JH		 100 PL_OpPtr = (I32 **) PerlMemShared_malloc(PERL_SLAB_SIZE*sizeof(I32*));
101 if (!PL_OpPtr) {
238a4c30
NIS		 102 return NULL;
103 }
5a8e194f
NIS		 104 Zero(PL_OpPtr,PERL_SLAB_SIZE,I32 **);
105 /* We reserve the 0'th I32 sized chunk as a use count */
106 PL_OpSlab = (I32 *) PL_OpPtr;
107 /* Reduce size by the use count word, and by the size we need.
108 * Latter is to mimic the '-=' in the if() above
109 */
110 PL_OpSpace = PERL_SLAB_SIZE - (sizeof(I32)+sizeof(I32 **)-1)/sizeof(I32 **) - sz;
238a4c30
NIS		 111 /* Allocation pointer starts at the top.
112 Theory: because we build leaves before trunk allocating at end
113 means that at run time access is cache friendly upward
114 */
5a8e194f 115 PL_OpPtr += PERL_SLAB_SIZE;
238a4c30
NIS		 116 }
117 assert( PL_OpSpace >= 0 );
118 /* Move the allocation pointer down */
119 PL_OpPtr -= sz;
5a8e194f 120 assert( PL_OpPtr > (I32 **) PL_OpSlab );
238a4c30
NIS		 121 *PL_OpPtr = PL_OpSlab; /* Note which slab it belongs to */
122 (*PL_OpSlab)++; /* Increment use count of slab */
5a8e194f 123 assert( PL_OpPtr+sz <= ((I32 **) PL_OpSlab + PERL_SLAB_SIZE) );
238a4c30
NIS		 124 assert( *PL_OpSlab > 0 );
125 return (void *)(PL_OpPtr + 1);
126}
127
c7e45529
AE		 128void
129Perl_Slab_Free(pTHX_ void *op)
238a4c30 130{
aec46f14
AL		 131 I32 ** const ptr = (I32 **) op;
132 I32 * const slab = ptr[-1];
5a8e194f
NIS		 133 assert( ptr-1 > (I32 **) slab );
134 assert( ptr < ( (I32 **) slab + PERL_SLAB_SIZE) );
238a4c30
NIS		 135 assert( *slab > 0 );
136 if (--(*slab) == 0) {
7e4e8c89
NC		 137# ifdef NETWARE
138# define PerlMemShared PerlMem
139# endif
083fcd59
JH		 140
141 PerlMemShared_free(slab);
238a4c30
NIS		 142 if (slab == PL_OpSlab) {
143 PL_OpSpace = 0;
144 }
145 }
b7dc083c 146}
b7dc083c 147#endif
e50aee73 148/*
5dc0d613 149 * In the following definition, the ", Nullop" is just to make the compiler
a5f75d66 150 * think the expression is of the right type: croak actually does a Siglongjmp.
e50aee73 151 */
11343788 152#define CHECKOP(type,o) \
3280af22 153 ((PL_op_mask && PL_op_mask[type]) \
5dc0d613 154 ? ( op_free((OP*)o), \
cb77fdf0 155 Perl_croak(aTHX_ "'%s' trapped by operation mask", PL_op_desc[type]), \
28757baa 156 Nullop ) \
fc0dc3b3 157 : CALL_FPTR(PL_check[type])(aTHX_ (OP*)o))
e50aee73 158
e6438c1a 159#define RETURN_UNLIMITED_NUMBER (PERL_INT_MAX / 2)
c53d7c7d 160
8b6b16e7 161STATIC const char*
cea2e8a9 162S_gv_ename(pTHX_ GV *gv)
4633a7c4 163{
46c461b5 164 SV* const tmpsv = sv_newmortal();
46fc3d4c 165 gv_efullname3(tmpsv, gv, Nullch);
8b6b16e7 166 return SvPV_nolen_const(tmpsv);
4633a7c4
LW		 167}
168
76e3520e 169STATIC OP *
cea2e8a9 170S_no_fh_allowed(pTHX_ OP *o)
79072805 171{
cea2e8a9 172 yyerror(Perl_form(aTHX_ "Missing comma after first argument to %s function",
53e06cf0 173 OP_DESC(o)));
11343788 174 return o;
79072805
LW		 175}
176
76e3520e 177STATIC OP *
bfed75c6 178S_too_few_arguments(pTHX_ OP *o, const char *name)
79072805 179{
cea2e8a9 180 yyerror(Perl_form(aTHX_ "Not enough arguments for %s", name));
11343788 181 return o;
79072805
LW		 182}
183
76e3520e 184STATIC OP *
bfed75c6 185S_too_many_arguments(pTHX_ OP *o, const char *name)
79072805 186{
cea2e8a9 187 yyerror(Perl_form(aTHX_ "Too many arguments for %s", name));
11343788 188 return o;
79072805
LW		 189}
190
76e3520e 191STATIC void
6867be6d 192S_bad_type(pTHX_ I32 n, const char *t, const char *name, const OP *kid)
8990e307 193{
cea2e8a9 194 yyerror(Perl_form(aTHX_ "Type of arg %d to %s must be %s (not %s)",
53e06cf0 195 (int)n, name, t, OP_DESC(kid)));
8990e307
LW		 196}
197
7a52d87a 198STATIC void
6867be6d 199S_no_bareword_allowed(pTHX_ const OP *o)
7a52d87a 200{
5a844595 201 qerror(Perl_mess(aTHX_
35c1215d
NC		 202 "Bareword \"%"SVf"\" not allowed while \"strict subs\" in use",
203 cSVOPo_sv));
7a52d87a
GS		 204}
205
79072805
LW		 206/* "register" allocation */
207
208PADOFFSET
dd2155a4 209Perl_allocmy(pTHX_ char *name)
93a17b20 210{
a0d0e21e 211 PADOFFSET off;
a0d0e21e 212
59f00321 213 /* complain about "my $<special_var>" etc etc */
155aba94
GS		 214 if (!(PL_in_my == KEY_our ||
215 isALPHA(name[1]) ||
39e02b42 216 (USE_UTF8_IN_NAMES && UTF8_IS_START(name[1])) ||
59f00321 217 (name[1] == '_' && (*name == '$' || (int)strlen(name) > 2))))
834a4ddd 218 {
c4d0567e 219 if (!isPRINT(name[1]) || strchr("\t\n\r\f", name[1])) {
2b92dfce
GS		 220 /* 1999-02-27 mjd@plover.com */
221 char *p;
222 p = strchr(name, '\0');
223 /* The next block assumes the buffer is at least 205 chars
224 long. At present, it's always at least 256 chars. */
225 if (p-name > 200) {
226 strcpy(name+200, "...");
227 p = name+199;
228 }
229 else {
230 p[1] = '\0';
231 }
232 /* Move everything else down one character */
233 for (; p-name > 2; p--)
234 *p = *(p-1);
46fc3d4c 235 name[2] = toCTRL(name[1]);
236 name[1] = '^';
237 }
cea2e8a9 238 yyerror(Perl_form(aTHX_ "Can't use global %s in \"my\"",name));
a0d0e21e 239 }
748a9306 240
dd2155a4
DM		 241 /* check for duplicate declaration */
242 pad_check_dup(name,
c5661c80 243 (bool)(PL_in_my == KEY_our),
dd2155a4
DM		 244 (PL_curstash ? PL_curstash : PL_defstash)
245 );
33b8ce05 246
dd2155a4
DM		 247 if (PL_in_my_stash && *name != '$') {
248 yyerror(Perl_form(aTHX_
249 "Can't declare class for non-scalar %s in \"%s\"",
250 name, PL_in_my == KEY_our ? "our" : "my"));
6b35e009
GS		 251 }
252
dd2155a4 253 /* allocate a spare slot and store the name in that slot */
93a17b20 254
dd2155a4
DM		 255 off = pad_add_name(name,
256 PL_in_my_stash,
257 (PL_in_my == KEY_our
133706a6
RGS		 258 /* $_ is always in main::, even with our */
259 ? (PL_curstash && !strEQ(name,"$_") ? PL_curstash : PL_defstash)
dd2155a4
DM		 260 : Nullhv
261 ),
262 0 /* not fake */
263 );
264 return off;
79072805
LW		 265}
266
79072805
LW		 267/* Destructor */
268
269void
864dbfa3 270Perl_op_free(pTHX_ OP *o)
79072805 271{
27da23d5 272 dVAR;
acb36ea4 273 OPCODE type;
4026c95a 274 PADOFFSET refcnt;
79072805 275
2814eb74 276 if (!o || o->op_static)
79072805
LW		 277 return;
278
7934575e
GS		 279 if (o->op_private & OPpREFCOUNTED) {
280 switch (o->op_type) {
281 case OP_LEAVESUB:
282 case OP_LEAVESUBLV:
283 case OP_LEAVEEVAL:
284 case OP_LEAVE:
285 case OP_SCOPE:
286 case OP_LEAVEWRITE:
287 OP_REFCNT_LOCK;
4026c95a 288 refcnt = OpREFCNT_dec(o);
7934575e 289 OP_REFCNT_UNLOCK;
4026c95a
SH		 290 if (refcnt)
291 return;
7934575e
GS		 292 break;
293 default:
294 break;
295 }
296 }
297
11343788 298 if (o->op_flags & OPf_KIDS) {
6867be6d 299 register OP *kid, *nextkid;
11343788 300 for (kid = cUNOPo->op_first; kid; kid = nextkid) {
85e6fe83 301 nextkid = kid->op_sibling; /* Get before next freeing kid */
79072805 302 op_free(kid);
85e6fe83 303 }
79072805 304 }
acb36ea4
GS		 305 type = o->op_type;
306 if (type == OP_NULL)
eb160463 307 type = (OPCODE)o->op_targ;
acb36ea4
GS		 308
309 /* COP* is not cleared by op_clear() so that we may track line
310 * numbers etc even after null() */
311 if (type == OP_NEXTSTATE || type == OP_SETSTATE || type == OP_DBSTATE)
312 cop_free((COP*)o);
313
314 op_clear(o);
238a4c30 315 FreeOp(o);
4d494880
DM		 316#ifdef DEBUG_LEAKING_SCALARS
317 if (PL_op == o)
318 PL_op = Nullop;
319#endif
acb36ea4 320}
79072805 321
93c66552
DM		 322void
323Perl_op_clear(pTHX_ OP *o)
acb36ea4 324{
13137afc 325
27da23d5 326 dVAR;
11343788 327 switch (o->op_type) {
acb36ea4
GS		 328 case OP_NULL: /* Was holding old type, if any. */
329 case OP_ENTEREVAL: /* Was holding hints. */
acb36ea4 330 o->op_targ = 0;
a0d0e21e 331 break;
a6006777 332 default:
ac4c12e7 333 if (!(o->op_flags & OPf_REF)
0b94c7bb 334 || (PL_check[o->op_type] != MEMBER_TO_FPTR(Perl_ck_ftst)))
a6006777 335 break;
336 /* FALL THROUGH */
463ee0b2 337 case OP_GVSV:
79072805 338 case OP_GV:
a6006777 339 case OP_AELEMFAST:
6a077020
DM		 340 if (! (o->op_type == OP_AELEMFAST && o->op_flags & OPf_SPECIAL)) {
341 /* not an OP_PADAV replacement */
350de78d 342#ifdef USE_ITHREADS
6a077020
DM		 343 if (cPADOPo->op_padix > 0) {
344 /* No GvIN_PAD_off(cGVOPo_gv) here, because other references
345 * may still exist on the pad */
346 pad_swipe(cPADOPo->op_padix, TRUE);
347 cPADOPo->op_padix = 0;
348 }
350de78d 349#else
6a077020
DM		 350 SvREFCNT_dec(cSVOPo->op_sv);
351 cSVOPo->op_sv = Nullsv;
350de78d 352#endif
6a077020 353 }
79072805 354 break;
a1ae71d2 355 case OP_METHOD_NAMED:
79072805 356 case OP_CONST:
11343788 357 SvREFCNT_dec(cSVOPo->op_sv);
acb36ea4 358 cSVOPo->op_sv = Nullsv;
3b1c21fa
AB		 359#ifdef USE_ITHREADS
360 /** Bug #15654
361 Even if op_clear does a pad_free for the target of the op,
6a077020 362 pad_free doesn't actually remove the sv that exists in the pad;
3b1c21fa
AB		 363 instead it lives on. This results in that it could be reused as
364 a target later on when the pad was reallocated.
365 **/
366 if(o->op_targ) {
367 pad_swipe(o->op_targ,1);
368 o->op_targ = 0;
369 }
370#endif
79072805 371 break;
748a9306
LW		 372 case OP_GOTO:
373 case OP_NEXT:
374 case OP_LAST:
375 case OP_REDO:
11343788 376 if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
748a9306
LW		 377 break;
378 /* FALL THROUGH */
a0d0e21e 379 case OP_TRANS:
acb36ea4 380 if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
a0ed51b3 381 SvREFCNT_dec(cSVOPo->op_sv);
acb36ea4
GS		 382 cSVOPo->op_sv = Nullsv;
383 }
384 else {
a0ed51b3 385 Safefree(cPVOPo->op_pv);
acb36ea4
GS		 386 cPVOPo->op_pv = Nullch;
387 }
a0d0e21e
LW		 388 break;
389 case OP_SUBST:
11343788 390 op_free(cPMOPo->op_pmreplroot);
971a9dd3 391 goto clear_pmop;
748a9306 392 case OP_PUSHRE:
971a9dd3 393#ifdef USE_ITHREADS
ba89bb6e 394 if (INT2PTR(PADOFFSET, cPMOPo->op_pmreplroot)) {
dd2155a4
DM		 395 /* No GvIN_PAD_off here, because other references may still
396 * exist on the pad */
397 pad_swipe(INT2PTR(PADOFFSET, cPMOPo->op_pmreplroot), TRUE);
971a9dd3
GS		 398 }
399#else
400 SvREFCNT_dec((SV*)cPMOPo->op_pmreplroot);
401#endif
402 /* FALL THROUGH */
a0d0e21e 403 case OP_MATCH:
8782bef2 404 case OP_QR:
971a9dd3 405clear_pmop:
cb55de95
JH		 406 {
407 HV *pmstash = PmopSTASH(cPMOPo);
408 if (pmstash && SvREFCNT(pmstash)) {
8d2f4536
NC		 409 MAGIC *mg = mg_find((SV*)pmstash, PERL_MAGIC_symtab);
410 if (mg) {
411 PMOP *pmop = (PMOP*) mg->mg_obj;
412 PMOP *lastpmop = NULL;
413 while (pmop) {
414 if (cPMOPo == pmop) {
415 if (lastpmop)
416 lastpmop->op_pmnext = pmop->op_pmnext;
417 else
418 mg->mg_obj = (SV*) pmop->op_pmnext;
419 break;
420 }
421 lastpmop = pmop;
422 pmop = pmop->op_pmnext;
cb55de95 423 }
cb55de95 424 }
83da49e6 425 }
05ec9bb3 426 PmopSTASH_free(cPMOPo);
cb55de95 427 }
971a9dd3 428 cPMOPo->op_pmreplroot = Nullop;
5f8cb046
DM		 429 /* we use the "SAFE" version of the PM_ macros here
430 * since sv_clean_all might release some PMOPs
431 * after PL_regex_padav has been cleared
432 * and the clearing of PL_regex_padav needs to
433 * happen before sv_clean_all
434 */
435 ReREFCNT_dec(PM_GETRE_SAFE(cPMOPo));
436 PM_SETRE_SAFE(cPMOPo, (REGEXP*)NULL);
13137afc
AB		 437#ifdef USE_ITHREADS
438 if(PL_regex_pad) { /* We could be in destruction */
439 av_push((AV*) PL_regex_pad[0],(SV*) PL_regex_pad[(cPMOPo)->op_pmoffset]);
1cc8b4c5 440 SvREPADTMP_on(PL_regex_pad[(cPMOPo)->op_pmoffset]);
13137afc
AB		 441 PM_SETRE(cPMOPo, (cPMOPo)->op_pmoffset);
442 }
1eb1540c 443#endif
13137afc 444
a0d0e21e 445 break;
79072805
LW		 446 }
447
743e66e6 448 if (o->op_targ > 0) {
11343788 449 pad_free(o->op_targ);
743e66e6
GS		 450 o->op_targ = 0;
451 }
79072805
LW		 452}
453
76e3520e 454STATIC void
3eb57f73
HS		 455S_cop_free(pTHX_ COP* cop)
456{
05ec9bb3
NIS		 457 Safefree(cop->cop_label); /* FIXME: treaddead ??? */
458 CopFILE_free(cop);
459 CopSTASH_free(cop);
0453d815 460 if (! specialWARN(cop->cop_warnings))
3eb57f73 461 SvREFCNT_dec(cop->cop_warnings);
05ec9bb3
NIS		 462 if (! specialCopIO(cop->cop_io)) {
463#ifdef USE_ITHREADS
042f6df8 464#if 0
05ec9bb3
NIS		 465 STRLEN len;
466 char *s = SvPV(cop->cop_io,len);
b178108d
JH		 467 Perl_warn(aTHX_ "io='%.*s'",(int) len,s); /* ??? --jhi */
468#endif
05ec9bb3 469#else
ac27b0f5 470 SvREFCNT_dec(cop->cop_io);
05ec9bb3
NIS		 471#endif
472 }
3eb57f73
HS		 473}
474
93c66552
DM		 475void
476Perl_op_null(pTHX_ OP *o)
8990e307 477{
27da23d5 478 dVAR;
acb36ea4
GS		 479 if (o->op_type == OP_NULL)
480 return;
481 op_clear(o);
11343788
MB		 482 o->op_targ = o->op_type;
483 o->op_type = OP_NULL;
22c35a8c 484 o->op_ppaddr = PL_ppaddr[OP_NULL];
8990e307
LW		 485}
486
4026c95a
SH		 487void
488Perl_op_refcnt_lock(pTHX)
489{
27da23d5 490 dVAR;
4026c95a
SH		 491 OP_REFCNT_LOCK;
492}
493
494void
495Perl_op_refcnt_unlock(pTHX)
496{
27da23d5 497 dVAR;
4026c95a
SH		 498 OP_REFCNT_UNLOCK;
499}
500
79072805
LW		 501/* Contextualizers */
502
463ee0b2 503#define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
79072805
LW		 504
505OP *
864dbfa3 506Perl_linklist(pTHX_ OP *o)
79072805 507{
79072805 508
11343788
MB		 509 if (o->op_next)
510 return o->op_next;
79072805
LW		 511
512 /* establish postfix order */
11343788 513 if (cUNOPo->op_first) {
6867be6d 514 register OP *kid;
11343788
MB		 515 o->op_next = LINKLIST(cUNOPo->op_first);
516 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW		 517 if (kid->op_sibling)
518 kid->op_next = LINKLIST(kid->op_sibling);
519 else
11343788 520 kid->op_next = o;
79072805
LW		 521 }
522 }
523 else
11343788 524 o->op_next = o;
79072805 525
11343788 526 return o->op_next;
79072805
LW		 527}
528
529OP *
864dbfa3 530Perl_scalarkids(pTHX_ OP *o)
79072805 531{
11343788 532 if (o && o->op_flags & OPf_KIDS) {
bfed75c6 533 OP *kid;
11343788 534 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW		 535 scalar(kid);
536 }
11343788 537 return o;
79072805
LW		 538}
539
76e3520e 540STATIC OP *
cea2e8a9 541S_scalarboolean(pTHX_ OP *o)
8990e307 542{
d008e5eb 543 if (o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
d008e5eb 544 if (ckWARN(WARN_SYNTAX)) {
6867be6d 545 const line_t oldline = CopLINE(PL_curcop);
a0d0e21e 546
d008e5eb 547 if (PL_copline != NOLINE)
57843af0 548 CopLINE_set(PL_curcop, PL_copline);
9014280d 549 Perl_warner(aTHX_ packWARN(WARN_SYNTAX), "Found = in conditional, should be ==");
57843af0 550 CopLINE_set(PL_curcop, oldline);
d008e5eb 551 }
a0d0e21e 552 }
11343788 553 return scalar(o);
8990e307
LW		 554}
555
556OP *
864dbfa3 557Perl_scalar(pTHX_ OP *o)
79072805 558{
27da23d5 559 dVAR;
79072805
LW		 560 OP *kid;
561
a0d0e21e 562 /* assumes no premature commitment */
3280af22 563 if (!o || (o->op_flags & OPf_WANT) || PL_error_count
5dc0d613 564 || o->op_type == OP_RETURN)
7e363e51 565 {
11343788 566 return o;
7e363e51 567 }
79072805 568
5dc0d613 569 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
79072805 570
11343788 571 switch (o->op_type) {
79072805 572 case OP_REPEAT:
11343788 573 scalar(cBINOPo->op_first);
8990e307 574 break;
79072805
LW		 575 case OP_OR:
576 case OP_AND:
577 case OP_COND_EXPR:
11343788 578 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
8990e307 579 scalar(kid);
79072805 580 break;
a0d0e21e 581 case OP_SPLIT:
11343788 582 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e 583 if (!kPMOP->op_pmreplroot)
12bcd1a6 584 deprecate_old("implicit split to @_");
a0d0e21e
LW		 585 }
586 /* FALL THROUGH */
79072805 587 case OP_MATCH:
8782bef2 588 case OP_QR:
79072805
LW		 589 case OP_SUBST:
590 case OP_NULL:
8990e307 591 default:
11343788
MB		 592 if (o->op_flags & OPf_KIDS) {
593 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
8990e307
LW		 594 scalar(kid);
595 }
79072805
LW		 596 break;
597 case OP_LEAVE:
598 case OP_LEAVETRY:
5dc0d613 599 kid = cLISTOPo->op_first;
54310121 600 scalar(kid);
155aba94 601 while ((kid = kid->op_sibling)) {
54310121 602 if (kid->op_sibling)
603 scalarvoid(kid);
604 else
605 scalar(kid);
606 }
3280af22 607 WITH_THR(PL_curcop = &PL_compiling);
54310121 608 break;
748a9306 609 case OP_SCOPE:
79072805 610 case OP_LINESEQ:
8990e307 611 case OP_LIST:
11343788 612 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW		 613 if (kid->op_sibling)
614 scalarvoid(kid);
615 else
616 scalar(kid);
617 }
3280af22 618 WITH_THR(PL_curcop = &PL_compiling);
79072805 619 break;
a801c63c
RGS		 620 case OP_SORT:
621 if (ckWARN(WARN_VOID))
9014280d 622 Perl_warner(aTHX_ packWARN(WARN_VOID), "Useless use of sort in scalar context");
79072805 623 }
11343788 624 return o;
79072805
LW		 625}
626
627OP *
864dbfa3 628Perl_scalarvoid(pTHX_ OP *o)
79072805 629{
27da23d5 630 dVAR;
79072805 631 OP *kid;
e1ec3a88 632 const char* useless = 0;
8990e307 633 SV* sv;
2ebea0a1
GS		 634 U8 want;
635
acb36ea4
GS		 636 if (o->op_type == OP_NEXTSTATE
637 || o->op_type == OP_SETSTATE
638 || o->op_type == OP_DBSTATE
639 || (o->op_type == OP_NULL && (o->op_targ == OP_NEXTSTATE
640 || o->op_targ == OP_SETSTATE
641 || o->op_targ == OP_DBSTATE)))
2ebea0a1 642 PL_curcop = (COP*)o; /* for warning below */
79072805 643
54310121 644 /* assumes no premature commitment */
2ebea0a1
GS		 645 want = o->op_flags & OPf_WANT;
646 if ((want && want != OPf_WANT_SCALAR) || PL_error_count
5dc0d613 647 || o->op_type == OP_RETURN)
7e363e51 648 {
11343788 649 return o;
7e363e51 650 }
79072805 651
b162f9ea 652 if ((o->op_private & OPpTARGET_MY)
7e363e51
GS		 653 && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
654 {
b162f9ea 655 return scalar(o); /* As if inside SASSIGN */
7e363e51 656 }
1c846c1f 657
5dc0d613 658 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
79072805 659
11343788 660 switch (o->op_type) {
79072805 661 default:
22c35a8c 662 if (!(PL_opargs[o->op_type] & OA_FOLDCONST))
8990e307 663 break;
36477c24 664 /* FALL THROUGH */
665 case OP_REPEAT:
11343788 666 if (o->op_flags & OPf_STACKED)
8990e307 667 break;
5d82c453
GA		 668 goto func_ops;
669 case OP_SUBSTR:
670 if (o->op_private == 4)
671 break;
8990e307
LW		 672 /* FALL THROUGH */
673 case OP_GVSV:
674 case OP_WANTARRAY:
675 case OP_GV:
676 case OP_PADSV:
677 case OP_PADAV:
678 case OP_PADHV:
679 case OP_PADANY:
680 case OP_AV2ARYLEN:
8990e307 681 case OP_REF:
a0d0e21e
LW		 682 case OP_REFGEN:
683 case OP_SREFGEN:
8990e307
LW		 684 case OP_DEFINED:
685 case OP_HEX:
686 case OP_OCT:
687 case OP_LENGTH:
8990e307
LW		 688 case OP_VEC:
689 case OP_INDEX:
690 case OP_RINDEX:
691 case OP_SPRINTF:
692 case OP_AELEM:
693 case OP_AELEMFAST:
694 case OP_ASLICE:
8990e307
LW		 695 case OP_HELEM:
696 case OP_HSLICE:
697 case OP_UNPACK:
698 case OP_PACK:
8990e307
LW		 699 case OP_JOIN:
700 case OP_LSLICE:
701 case OP_ANONLIST:
702 case OP_ANONHASH:
703 case OP_SORT:
704 case OP_REVERSE:
705 case OP_RANGE:
706 case OP_FLIP:
707 case OP_FLOP:
708 case OP_CALLER:
709 case OP_FILENO:
710 case OP_EOF:
711 case OP_TELL:
712 case OP_GETSOCKNAME:
713 case OP_GETPEERNAME:
714 case OP_READLINK:
715 case OP_TELLDIR:
716 case OP_GETPPID:
717 case OP_GETPGRP:
718 case OP_GETPRIORITY:
719 case OP_TIME:
720 case OP_TMS:
721 case OP_LOCALTIME:
722 case OP_GMTIME:
723 case OP_GHBYNAME:
724 case OP_GHBYADDR:
725 case OP_GHOSTENT:
726 case OP_GNBYNAME:
727 case OP_GNBYADDR:
728 case OP_GNETENT:
729 case OP_GPBYNAME:
730 case OP_GPBYNUMBER:
731 case OP_GPROTOENT:
732 case OP_GSBYNAME:
733 case OP_GSBYPORT:
734 case OP_GSERVENT:
735 case OP_GPWNAM:
736 case OP_GPWUID:
737 case OP_GGRNAM:
738 case OP_GGRGID:
739 case OP_GETLOGIN:
78e1b766 740 case OP_PROTOTYPE:
5d82c453 741 func_ops:
64aac5a9 742 if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)))
53e06cf0 743 useless = OP_DESC(o);
8990e307
LW		 744 break;
745
9f82cd5f
YST		 746 case OP_NOT:
747 kid = cUNOPo->op_first;
748 if (kid->op_type != OP_MATCH && kid->op_type != OP_SUBST &&
749 kid->op_type != OP_TRANS) {
750 goto func_ops;
751 }
752 useless = "negative pattern binding (!~)";
753 break;
754
8990e307
LW		 755 case OP_RV2GV:
756 case OP_RV2SV:
757 case OP_RV2AV:
758 case OP_RV2HV:
192587c2 759 if (!(o->op_private & (OPpLVAL_INTRO|OPpOUR_INTRO)) &&
11343788 760 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
8990e307
LW		 761 useless = "a variable";
762 break;
79072805
LW		 763
764 case OP_CONST:
7766f137 765 sv = cSVOPo_sv;
7a52d87a
GS		 766 if (cSVOPo->op_private & OPpCONST_STRICT)
767 no_bareword_allowed(o);
768 else {
d008e5eb
GS		 769 if (ckWARN(WARN_VOID)) {
770 useless = "a constant";
e7fec78e 771 /* don't warn on optimised away booleans, eg
b5a930ec 772 * use constant Foo, 5; Foo || print; */
e7fec78e
DM		 773 if (cSVOPo->op_private & OPpCONST_SHORTCIRCUIT)
774 useless = 0;
960b4253
MG		 775 /* the constants 0 and 1 are permitted as they are
776 conventionally used as dummies in constructs like
777 1 while some_condition_with_side_effects; */
e7fec78e 778 else if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
d008e5eb
GS		 779 useless = 0;
780 else if (SvPOK(sv)) {
a52fe3ac
A		 781 /* perl4's way of mixing documentation and code
782 (before the invention of POD) was based on a
783 trick to mix nroff and perl code. The trick was
784 built upon these three nroff macros being used in
785 void context. The pink camel has the details in
786 the script wrapman near page 319. */
b15aece3
SP		 787 if (strnEQ(SvPVX_const(sv), "di", 2) ||
788 strnEQ(SvPVX_const(sv), "ds", 2) ||
789 strnEQ(SvPVX_const(sv), "ig", 2))
d008e5eb
GS		 790 useless = 0;
791 }
8990e307
LW		 792 }
793 }
93c66552 794 op_null(o); /* don't execute or even remember it */
79072805
LW		 795 break;
796
797 case OP_POSTINC:
11343788 798 o->op_type = OP_PREINC; /* pre-increment is faster */
22c35a8c 799 o->op_ppaddr = PL_ppaddr[OP_PREINC];
79072805
LW		 800 break;
801
802 case OP_POSTDEC:
11343788 803 o->op_type = OP_PREDEC; /* pre-decrement is faster */
22c35a8c 804 o->op_ppaddr = PL_ppaddr[OP_PREDEC];
79072805
LW		 805 break;
806
79072805
LW		 807 case OP_OR:
808 case OP_AND:
c963b151 809 case OP_DOR:
79072805 810 case OP_COND_EXPR:
11343788 811 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW		 812 scalarvoid(kid);
813 break;
5aabfad6 814
a0d0e21e 815 case OP_NULL:
11343788 816 if (o->op_flags & OPf_STACKED)
a0d0e21e 817 break;
5aabfad6 818 /* FALL THROUGH */
2ebea0a1
GS		 819 case OP_NEXTSTATE:
820 case OP_DBSTATE:
79072805
LW		 821 case OP_ENTERTRY:
822 case OP_ENTER:
11343788 823 if (!(o->op_flags & OPf_KIDS))
79072805 824 break;
54310121 825 /* FALL THROUGH */
463ee0b2 826 case OP_SCOPE:
79072805
LW		 827 case OP_LEAVE:
828 case OP_LEAVETRY:
a0d0e21e 829 case OP_LEAVELOOP:
79072805 830 case OP_LINESEQ:
79072805 831 case OP_LIST:
11343788 832 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW		 833 scalarvoid(kid);
834 break;
c90c0ff4 835 case OP_ENTEREVAL:
5196be3e 836 scalarkids(o);
c90c0ff4 837 break;
5aabfad6 838 case OP_REQUIRE:
c90c0ff4 839 /* all requires must return a boolean value */
5196be3e 840 o->op_flags &= ~OPf_WANT;
d6483035
GS		 841 /* FALL THROUGH */
842 case OP_SCALAR:
5196be3e 843 return scalar(o);
a0d0e21e 844 case OP_SPLIT:
11343788 845 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e 846 if (!kPMOP->op_pmreplroot)
12bcd1a6 847 deprecate_old("implicit split to @_");
a0d0e21e
LW		 848 }
849 break;
79072805 850 }
411caa50 851 if (useless && ckWARN(WARN_VOID))
9014280d 852 Perl_warner(aTHX_ packWARN(WARN_VOID), "Useless use of %s in void context", useless);
11343788 853 return o;
79072805
LW		 854}
855
856OP *
864dbfa3 857Perl_listkids(pTHX_ OP *o)
79072805 858{
11343788 859 if (o && o->op_flags & OPf_KIDS) {
6867be6d 860 OP *kid;
11343788 861 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW		 862 list(kid);
863 }
11343788 864 return o;
79072805
LW		 865}
866
867OP *
864dbfa3 868Perl_list(pTHX_ OP *o)
79072805 869{
27da23d5 870 dVAR;
79072805
LW		 871 OP *kid;
872
a0d0e21e 873 /* assumes no premature commitment */
3280af22 874 if (!o || (o->op_flags & OPf_WANT) || PL_error_count
5dc0d613 875 || o->op_type == OP_RETURN)
7e363e51 876 {
11343788 877 return o;
7e363e51 878 }
79072805 879
b162f9ea 880 if ((o->op_private & OPpTARGET_MY)
7e363e51
GS		 881 && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
882 {
b162f9ea 883 return o; /* As if inside SASSIGN */
7e363e51 884 }
1c846c1f 885
5dc0d613 886 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
79072805 887
11343788 888 switch (o->op_type) {
79072805
LW		 889 case OP_FLOP:
890 case OP_REPEAT:
11343788 891 list(cBINOPo->op_first);
79072805
LW		 892 break;
893 case OP_OR:
894 case OP_AND:
895 case OP_COND_EXPR:
11343788 896 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW		 897 list(kid);
898 break;
899 default:
900 case OP_MATCH:
8782bef2 901 case OP_QR:
79072805
LW		 902 case OP_SUBST:
903 case OP_NULL:
11343788 904 if (!(o->op_flags & OPf_KIDS))
79072805 905 break;
11343788
MB		 906 if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
907 list(cBINOPo->op_first);
908 return gen_constant_list(o);
79072805
LW		 909 }
910 case OP_LIST:
11343788 911 listkids(o);
79072805
LW		 912 break;
913 case OP_LEAVE:
914 case OP_LEAVETRY:
5dc0d613 915 kid = cLISTOPo->op_first;
54310121 916 list(kid);
155aba94 917 while ((kid = kid->op_sibling)) {
54310121 918 if (kid->op_sibling)
919 scalarvoid(kid);
920 else
921 list(kid);
922 }
3280af22 923 WITH_THR(PL_curcop = &PL_compiling);
54310121 924 break;
748a9306 925 case OP_SCOPE:
79072805 926 case OP_LINESEQ:
11343788 927 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW		 928 if (kid->op_sibling)
929 scalarvoid(kid);
930 else
931 list(kid);
932 }
3280af22 933 WITH_THR(PL_curcop = &PL_compiling);
79072805 934 break;
c90c0ff4 935 case OP_REQUIRE:
936 /* all requires must return a boolean value */
5196be3e
MB		 937 o->op_flags &= ~OPf_WANT;
938 return scalar(o);
79072805 939 }
11343788 940 return o;
79072805
LW		 941}
942
943OP *
864dbfa3 944Perl_scalarseq(pTHX_ OP *o)
79072805 945{
11343788
MB		 946 if (o) {
947 if (o->op_type == OP_LINESEQ ||
948 o->op_type == OP_SCOPE ||
949 o->op_type == OP_LEAVE ||
950 o->op_type == OP_LEAVETRY)
463ee0b2 951 {
6867be6d 952 OP *kid;
11343788 953 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
ed6116ce 954 if (kid->op_sibling) {
463ee0b2 955 scalarvoid(kid);
ed6116ce 956 }
463ee0b2 957 }
3280af22 958 PL_curcop = &PL_compiling;
79072805 959 }
11343788 960 o->op_flags &= ~OPf_PARENS;
3280af22 961 if (PL_hints & HINT_BLOCK_SCOPE)
11343788 962 o->op_flags |= OPf_PARENS;
79072805 963 }
8990e307 964 else
11343788
MB		 965 o = newOP(OP_STUB, 0);
966 return o;
79072805
LW		 967}
968
76e3520e 969STATIC OP *
cea2e8a9 970S_modkids(pTHX_ OP *o, I32 type)
79072805 971{
11343788 972 if (o && o->op_flags & OPf_KIDS) {
6867be6d 973 OP *kid;
11343788 974 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2 975 mod(kid, type);
79072805 976 }
11343788 977 return o;
79072805
LW		 978}
979
ddeae0f1
DM		 980/* Propagate lvalue ("modifiable") context to an op and it's children.
981 * 'type' represents the context type, roughly based on the type of op that
982 * would do the modifying, although local() is represented by OP_NULL.
983 * It's responsible for detecting things that can't be modified, flag
984 * things that need to behave specially in an lvalue context (e.g., "$$x = 5"
985 * might have to vivify a reference in $x), and so on.
986 *
987 * For example, "$a+1 = 2" would cause mod() to be called with o being
988 * OP_ADD and type being OP_SASSIGN, and would output an error.
989 */
990
79072805 991OP *
864dbfa3 992Perl_mod(pTHX_ OP *o, I32 type)
79072805 993{
27da23d5 994 dVAR;
79072805 995 OP *kid;
ddeae0f1
DM		 996 /* -1 = error on localize, 0 = ignore localize, 1 = ok to localize */
997 int localize = -1;
79072805 998
3280af22 999 if (!o || PL_error_count)
11343788 1000 return o;
79072805 1001
b162f9ea 1002 if ((o->op_private & OPpTARGET_MY)
7e363e51
GS		 1003 && (PL_opargs[o->op_type] & OA_TARGLEX))/* OPp share the meaning */
1004 {
b162f9ea 1005 return o;
7e363e51 1006 }
1c846c1f 1007
11343788 1008 switch (o->op_type) {
68dc0745 1009 case OP_UNDEF:
ddeae0f1 1010 localize = 0;
3280af22 1011 PL_modcount++;
5dc0d613 1012 return o;
a0d0e21e 1013 case OP_CONST:
11343788 1014 if (!(o->op_private & (OPpCONST_ARYBASE)))
a0d0e21e 1015 goto nomod;
3280af22 1016 if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
7766f137 1017 PL_compiling.cop_arybase = (I32)SvIV(cSVOPx(PL_eval_start)->op_sv);
3280af22 1018 PL_eval_start = 0;
a0d0e21e
LW		 1019 }
1020 else if (!type) {
3280af22
NIS		 1021 SAVEI32(PL_compiling.cop_arybase);
1022 PL_compiling.cop_arybase = 0;
a0d0e21e
LW		 1023 }
1024 else if (type == OP_REFGEN)
1025 goto nomod;
1026 else
cea2e8a9 1027 Perl_croak(aTHX_ "That use of $[ is unsupported");
a0d0e21e 1028 break;
5f05dabc 1029 case OP_STUB:
5196be3e 1030 if (o->op_flags & OPf_PARENS)
5f05dabc 1031 break;
1032 goto nomod;
a0d0e21e
LW		 1033 case OP_ENTERSUB:
1034 if ((type == OP_UNDEF || type == OP_REFGEN) &&
11343788
MB		 1035 !(o->op_flags & OPf_STACKED)) {
1036 o->op_type = OP_RV2CV; /* entersub => rv2cv */
22c35a8c 1037 o->op_ppaddr = PL_ppaddr[OP_RV2CV];
11343788 1038 assert(cUNOPo->op_first->op_type == OP_NULL);
93c66552 1039 op_null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
79072805
LW		 1040 break;
1041 }
95f0a2f1
SB		 1042 else if (o->op_private & OPpENTERSUB_NOMOD)
1043 return o;
cd06dffe
GS		 1044 else { /* lvalue subroutine call */
1045 o->op_private |= OPpLVAL_INTRO;
e6438c1a 1046 PL_modcount = RETURN_UNLIMITED_NUMBER;
4978d6d9 1047 if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN) {
cd06dffe
GS		 1048 /* Backward compatibility mode: */
1049 o->op_private |= OPpENTERSUB_INARGS;
1050 break;
1051 }
1052 else { /* Compile-time error message: */
1053 OP *kid = cUNOPo->op_first;
1054 CV *cv;
1055 OP *okid;
1056
1057 if (kid->op_type == OP_PUSHMARK)
1058 goto skip_kids;
1059 if (kid->op_type != OP_NULL || kid->op_targ != OP_LIST)
1060 Perl_croak(aTHX_
1061 "panic: unexpected lvalue entersub "
55140b79 1062 "args: type/targ %ld:%"UVuf,
3d811634 1063 (long)kid->op_type, (UV)kid->op_targ);
cd06dffe
GS		 1064 kid = kLISTOP->op_first;
1065 skip_kids:
1066 while (kid->op_sibling)
1067 kid = kid->op_sibling;
1068 if (!(kid->op_type == OP_NULL && kid->op_targ == OP_RV2CV)) {
1069 /* Indirect call */
1070 if (kid->op_type == OP_METHOD_NAMED
1071 || kid->op_type == OP_METHOD)
1072 {
87d7fd28 1073 UNOP *newop;
b2ffa427 1074
87d7fd28 1075 NewOp(1101, newop, 1, UNOP);
349fd7b7
GS		 1076 newop->op_type = OP_RV2CV;
1077 newop->op_ppaddr = PL_ppaddr[OP_RV2CV];
87d7fd28
GS		 1078 newop->op_first = Nullop;
1079 newop->op_next = (OP*)newop;
1080 kid->op_sibling = (OP*)newop;
349fd7b7 1081 newop->op_private |= OPpLVAL_INTRO;
cd06dffe
GS		 1082 break;
1083 }
b2ffa427 1084
cd06dffe
GS		 1085 if (kid->op_type != OP_RV2CV)
1086 Perl_croak(aTHX_
1087 "panic: unexpected lvalue entersub "
55140b79 1088 "entry via type/targ %ld:%"UVuf,
3d811634 1089 (long)kid->op_type, (UV)kid->op_targ);
cd06dffe
GS		 1090 kid->op_private |= OPpLVAL_INTRO;
1091 break; /* Postpone until runtime */
1092 }
b2ffa427
NIS		 1093
1094 okid = kid;
cd06dffe
GS		 1095 kid = kUNOP->op_first;
1096 if (kid->op_type == OP_NULL && kid->op_targ == OP_RV2SV)
1097 kid = kUNOP->op_first;
b2ffa427 1098 if (kid->op_type == OP_NULL)
cd06dffe
GS		 1099 Perl_croak(aTHX_
1100 "Unexpected constant lvalue entersub "
55140b79 1101 "entry via type/targ %ld:%"UVuf,
3d811634 1102 (long)kid->op_type, (UV)kid->op_targ);
cd06dffe
GS		 1103 if (kid->op_type != OP_GV) {
1104 /* Restore RV2CV to check lvalueness */
1105 restore_2cv:
1106 if (kid->op_next && kid->op_next != kid) { /* Happens? */
1107 okid->op_next = kid->op_next;
1108 kid->op_next = okid;
1109 }
1110 else
1111 okid->op_next = Nullop;
1112 okid->op_type = OP_RV2CV;
1113 okid->op_targ = 0;
1114 okid->op_ppaddr = PL_ppaddr[OP_RV2CV];
1115 okid->op_private |= OPpLVAL_INTRO;
1116 break;
1117 }
b2ffa427 1118
638eceb6 1119 cv = GvCV(kGVOP_gv);
1c846c1f 1120 if (!cv)
cd06dffe
GS		 1121 goto restore_2cv;
1122 if (CvLVALUE(cv))
1123 break;
1124 }
1125 }
79072805
LW		 1126 /* FALL THROUGH */
1127 default:
a0d0e21e
LW		 1128 nomod:
1129 /* grep, foreach, subcalls, refgen */
1130 if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1131 break;
cea2e8a9 1132 yyerror(Perl_form(aTHX_ "Can't modify %s in %s",
638bc118 1133 (o->op_type == OP_NULL && (o->op_flags & OPf_SPECIAL)
cd06dffe
GS		 1134 ? "do block"
1135 : (o->op_type == OP_ENTERSUB
1136 ? "non-lvalue subroutine call"
53e06cf0 1137 : OP_DESC(o))),
22c35a8c 1138 type ? PL_op_desc[type] : "local"));
11343788 1139 return o;
79072805 1140
a0d0e21e
LW		 1141 case OP_PREINC:
1142 case OP_PREDEC:
1143 case OP_POW:
1144 case OP_MULTIPLY:
1145 case OP_DIVIDE:
1146 case OP_MODULO:
1147 case OP_REPEAT:
1148 case OP_ADD:
1149 case OP_SUBTRACT:
1150 case OP_CONCAT:
1151 case OP_LEFT_SHIFT:
1152 case OP_RIGHT_SHIFT:
1153 case OP_BIT_AND:
1154 case OP_BIT_XOR:
1155 case OP_BIT_OR:
1156 case OP_I_MULTIPLY:
1157 case OP_I_DIVIDE:
1158 case OP_I_MODULO:
1159 case OP_I_ADD:
1160 case OP_I_SUBTRACT:
11343788 1161 if (!(o->op_flags & OPf_STACKED))
a0d0e21e 1162 goto nomod;
3280af22 1163 PL_modcount++;
a0d0e21e 1164 break;
b2ffa427 1165
79072805 1166 case OP_COND_EXPR:
ddeae0f1 1167 localize = 1;
11343788 1168 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2 1169 mod(kid, type);
79072805
LW		 1170 break;
1171
1172 case OP_RV2AV:
1173 case OP_RV2HV:
11343788 1174 if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
e6438c1a 1175 PL_modcount = RETURN_UNLIMITED_NUMBER;
11343788 1176 return o; /* Treat \(@foo) like ordinary list. */
748a9306
LW		 1177 }
1178 /* FALL THROUGH */
79072805 1179 case OP_RV2GV:
5dc0d613 1180 if (scalar_mod_type(o, type))
3fe9a6f1 1181 goto nomod;
11343788 1182 ref(cUNOPo->op_first, o->op_type);
79072805 1183 /* FALL THROUGH */
79072805
LW		 1184 case OP_ASLICE:
1185 case OP_HSLICE:
78f9721b
SM		 1186 if (type == OP_LEAVESUBLV)
1187 o->op_private |= OPpMAYBE_LVSUB;
ddeae0f1 1188 localize = 1;
78f9721b
SM		 1189 /* FALL THROUGH */
1190 case OP_AASSIGN:
93a17b20
LW		 1191 case OP_NEXTSTATE:
1192 case OP_DBSTATE:
e6438c1a 1193 PL_modcount = RETURN_UNLIMITED_NUMBER;
79072805 1194 break;
463ee0b2 1195 case OP_RV2SV:
aeea060c 1196 ref(cUNOPo->op_first, o->op_type);
ddeae0f1 1197 localize = 1;
463ee0b2 1198 /* FALL THROUGH */
79072805 1199 case OP_GV:
463ee0b2 1200 case OP_AV2ARYLEN:
3280af22 1201 PL_hints |= HINT_BLOCK_SCOPE;
463ee0b2 1202 case OP_SASSIGN:
bf4b1e52
GS		 1203 case OP_ANDASSIGN:
1204 case OP_ORASSIGN:
c963b151 1205 case OP_DORASSIGN:
ddeae0f1
DM		 1206 PL_modcount++;
1207 break;
1208
8990e307 1209 case OP_AELEMFAST:
6a077020 1210 localize = -1;
3280af22 1211 PL_modcount++;
8990e307
LW		 1212 break;
1213
748a9306
LW		 1214 case OP_PADAV:
1215 case OP_PADHV:
e6438c1a 1216 PL_modcount = RETURN_UNLIMITED_NUMBER;
5196be3e
MB		 1217 if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1218 return o; /* Treat \(@foo) like ordinary list. */
1219 if (scalar_mod_type(o, type))
3fe9a6f1 1220 goto nomod;
78f9721b
SM		 1221 if (type == OP_LEAVESUBLV)
1222 o->op_private |= OPpMAYBE_LVSUB;
748a9306
LW		 1223 /* FALL THROUGH */
1224 case OP_PADSV:
3280af22 1225 PL_modcount++;
ddeae0f1 1226 if (!type) /* local() */
cea2e8a9 1227 Perl_croak(aTHX_ "Can't localize lexical variable %s",
dd2155a4 1228 PAD_COMPNAME_PV(o->op_targ));
463ee0b2
LW		 1229 break;
1230
748a9306 1231 case OP_PUSHMARK:
ddeae0f1 1232 localize = 0;
748a9306 1233 break;
b2ffa427 1234
69969c6f
SB		 1235 case OP_KEYS:
1236 if (type != OP_SASSIGN)
1237 goto nomod;
5d82c453
GA		 1238 goto lvalue_func;
1239 case OP_SUBSTR:
1240 if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
1241 goto nomod;
5f05dabc 1242 /* FALL THROUGH */
a0d0e21e 1243 case OP_POS:
463ee0b2 1244 case OP_VEC:
78f9721b
SM		 1245 if (type == OP_LEAVESUBLV)
1246 o->op_private |= OPpMAYBE_LVSUB;
5d82c453 1247 lvalue_func:
11343788
MB		 1248 pad_free(o->op_targ);
1249 o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
5dc0d613 1250 assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
11343788
MB		 1251 if (o->op_flags & OPf_KIDS)
1252 mod(cBINOPo->op_first->op_sibling, type);
463ee0b2 1253 break;
a0d0e21e 1254
463ee0b2
LW		 1255 case OP_AELEM:
1256 case OP_HELEM:
11343788 1257 ref(cBINOPo->op_first, o->op_type);
68dc0745 1258 if (type == OP_ENTERSUB &&
5dc0d613
MB		 1259 !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1260 o->op_private |= OPpLVAL_DEFER;
78f9721b
SM		 1261 if (type == OP_LEAVESUBLV)
1262 o->op_private |= OPpMAYBE_LVSUB;
ddeae0f1 1263 localize = 1;
3280af22 1264 PL_modcount++;
463ee0b2
LW		 1265 break;
1266
1267 case OP_SCOPE:
1268 case OP_LEAVE:
1269 case OP_ENTER:
78f9721b 1270 case OP_LINESEQ:
ddeae0f1 1271 localize = 0;
11343788
MB		 1272 if (o->op_flags & OPf_KIDS)
1273 mod(cLISTOPo->op_last, type);
a0d0e21e
LW		 1274 break;
1275
1276 case OP_NULL:
ddeae0f1 1277 localize = 0;
638bc118
GS		 1278 if (o->op_flags & OPf_SPECIAL) /* do BLOCK */
1279 goto nomod;
1280 else if (!(o->op_flags & OPf_KIDS))
463ee0b2 1281 break;
11343788
MB		 1282 if (o->op_targ != OP_LIST) {
1283 mod(cBINOPo->op_first, type);
a0d0e21e
LW		 1284 break;
1285 }
1286 /* FALL THROUGH */
463ee0b2 1287 case OP_LIST:
ddeae0f1 1288 localize = 0;
11343788 1289 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW		 1290 mod(kid, type);
1291 break;
78f9721b
SM		 1292
1293 case OP_RETURN:
1294 if (type != OP_LEAVESUBLV)
1295 goto nomod;
1296 break; /* mod()ing was handled by ck_return() */
463ee0b2 1297 }
58d95175 1298
8be1be90
AMS		 1299 /* [20011101.069] File test operators interpret OPf_REF to mean that
1300 their argument is a filehandle; thus \stat(".") should not set
1301 it. AMS 20011102 */
1302 if (type == OP_REFGEN &&
1303 PL_check[o->op_type] == MEMBER_TO_FPTR(Perl_ck_ftst))
1304 return o;
1305
1306 if (type != OP_LEAVESUBLV)
1307 o->op_flags |= OPf_MOD;
1308
1309 if (type == OP_AASSIGN || type == OP_SASSIGN)
1310 o->op_flags |= OPf_SPECIAL|OPf_REF;
ddeae0f1
DM		 1311 else if (!type) { /* local() */
1312 switch (localize) {
1313 case 1:
1314 o->op_private |= OPpLVAL_INTRO;
1315 o->op_flags &= ~OPf_SPECIAL;
1316 PL_hints |= HINT_BLOCK_SCOPE;
1317 break;
1318 case 0:
1319 break;
1320 case -1:
1321 if (ckWARN(WARN_SYNTAX)) {
1322 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
1323 "Useless localization of %s", OP_DESC(o));
1324 }
1325 }
463ee0b2 1326 }
8be1be90
AMS		 1327 else if (type != OP_GREPSTART && type != OP_ENTERSUB
1328 && type != OP_LEAVESUBLV)
1329 o->op_flags |= OPf_REF;
11343788 1330 return o;
463ee0b2
LW		 1331}
1332
864dbfa3 1333STATIC bool
6867be6d 1334S_scalar_mod_type(pTHX_ const OP *o, I32 type)
3fe9a6f1 1335{
1336 switch (type) {
1337 case OP_SASSIGN:
5196be3e 1338 if (o->op_type == OP_RV2GV)
3fe9a6f1 1339 return FALSE;
1340 /* FALL THROUGH */
1341 case OP_PREINC:
1342 case OP_PREDEC:
1343 case OP_POSTINC:
1344 case OP_POSTDEC:
1345 case OP_I_PREINC:
1346 case OP_I_PREDEC:
1347 case OP_I_POSTINC:
1348 case OP_I_POSTDEC:
1349 case OP_POW:
1350 case OP_MULTIPLY:
1351 case OP_DIVIDE:
1352 case OP_MODULO:
1353 case OP_REPEAT:
1354 case OP_ADD:
1355 case OP_SUBTRACT:
1356 case OP_I_MULTIPLY:
1357 case OP_I_DIVIDE:
1358 case OP_I_MODULO:
1359 case OP_I_ADD:
1360 case OP_I_SUBTRACT:
1361 case OP_LEFT_SHIFT:
1362 case OP_RIGHT_SHIFT:
1363 case OP_BIT_AND:
1364 case OP_BIT_XOR:
1365 case OP_BIT_OR:
1366 case OP_CONCAT:
1367 case OP_SUBST:
1368 case OP_TRANS:
49e9fbe6
GS		 1369 case OP_READ:
1370 case OP_SYSREAD:
1371 case OP_RECV:
bf4b1e52
GS		 1372 case OP_ANDASSIGN:
1373 case OP_ORASSIGN:
3fe9a6f1 1374 return TRUE;
1375 default:
1376 return FALSE;
1377 }
1378}
1379
35cd451c 1380STATIC bool
504618e9 1381S_is_handle_constructor(pTHX_ const OP *o, I32 numargs)
35cd451c
GS		 1382{
1383 switch (o->op_type) {
1384 case OP_PIPE_OP:
1385 case OP_SOCKPAIR:
504618e9 1386 if (numargs == 2)
35cd451c
GS		 1387 return TRUE;
1388 /* FALL THROUGH */
1389 case OP_SYSOPEN:
1390 case OP_OPEN:
ded8aa31 1391 case OP_SELECT: /* XXX c.f. SelectSaver.pm */
35cd451c
GS		 1392 case OP_SOCKET:
1393 case OP_OPEN_DIR:
1394 case OP_ACCEPT:
504618e9 1395 if (numargs == 1)
35cd451c
GS		 1396 return TRUE;
1397 /* FALL THROUGH */
1398 default:
1399 return FALSE;
1400 }
1401}
1402
463ee0b2 1403OP *
864dbfa3 1404Perl_refkids(pTHX_ OP *o, I32 type)
463ee0b2 1405{
11343788 1406 if (o && o->op_flags & OPf_KIDS) {
6867be6d 1407 OP *kid;
11343788 1408 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW		 1409 ref(kid, type);
1410 }
11343788 1411 return o;
463ee0b2
LW		 1412}
1413
1414OP *
864dbfa3 1415Perl_ref(pTHX_ OP *o, I32 type)
463ee0b2 1416{
27da23d5 1417 dVAR;
463ee0b2 1418 OP *kid;
463ee0b2 1419
3280af22 1420 if (!o || PL_error_count)
11343788 1421 return o;
463ee0b2 1422
11343788 1423 switch (o->op_type) {
a0d0e21e 1424 case OP_ENTERSUB:
afebc493 1425 if ((type == OP_EXISTS || type == OP_DEFINED || type == OP_LOCK) &&
11343788
MB		 1426 !(o->op_flags & OPf_STACKED)) {
1427 o->op_type = OP_RV2CV; /* entersub => rv2cv */
22c35a8c 1428 o->op_ppaddr = PL_ppaddr[OP_RV2CV];
11343788 1429 assert(cUNOPo->op_first->op_type == OP_NULL);
93c66552 1430 op_null(((LISTOP*)cUNOPo->op_first)->op_first); /* disable pushmark */
11343788 1431 o->op_flags |= OPf_SPECIAL;
8990e307
LW		 1432 }
1433 break;
aeea060c 1434
463ee0b2 1435 case OP_COND_EXPR:
11343788 1436 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2
LW		 1437 ref(kid, type);
1438 break;
8990e307 1439 case OP_RV2SV:
35cd451c
GS		 1440 if (type == OP_DEFINED)
1441 o->op_flags |= OPf_SPECIAL; /* don't create GV */
11343788 1442 ref(cUNOPo->op_first, o->op_type);
4633a7c4
LW		 1443 /* FALL THROUGH */
1444 case OP_PADSV:
5f05dabc 1445 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB		 1446 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1447 : type == OP_RV2HV ? OPpDEREF_HV
1448 : OPpDEREF_SV);
11343788 1449 o->op_flags |= OPf_MOD;
a0d0e21e 1450 }
8990e307 1451 break;
1c846c1f 1452
2faa37cc 1453 case OP_THREADSV:
a863c7d1
MB		 1454 o->op_flags |= OPf_MOD; /* XXX ??? */
1455 break;
1456
463ee0b2
LW		 1457 case OP_RV2AV:
1458 case OP_RV2HV:
aeea060c 1459 o->op_flags |= OPf_REF;
8990e307 1460 /* FALL THROUGH */
463ee0b2 1461 case OP_RV2GV:
35cd451c
GS		 1462 if (type == OP_DEFINED)
1463 o->op_flags |= OPf_SPECIAL; /* don't create GV */
11343788 1464 ref(cUNOPo->op_first, o->op_type);
463ee0b2 1465 break;
8990e307 1466
463ee0b2
LW		 1467 case OP_PADAV:
1468 case OP_PADHV:
aeea060c 1469 o->op_flags |= OPf_REF;
79072805 1470 break;
aeea060c 1471
8990e307 1472 case OP_SCALAR:
79072805 1473 case OP_NULL:
11343788 1474 if (!(o->op_flags & OPf_KIDS))
463ee0b2 1475 break;
11343788 1476 ref(cBINOPo->op_first, type);
79072805
LW		 1477 break;
1478 case OP_AELEM:
1479 case OP_HELEM:
11343788 1480 ref(cBINOPo->op_first, o->op_type);
5f05dabc 1481 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB		 1482 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1483 : type == OP_RV2HV ? OPpDEREF_HV
1484 : OPpDEREF_SV);
11343788 1485 o->op_flags |= OPf_MOD;
8990e307 1486 }
79072805
LW		 1487 break;
1488
463ee0b2 1489 case OP_SCOPE:
79072805
LW		 1490 case OP_LEAVE:
1491 case OP_ENTER:
8990e307 1492 case OP_LIST:
11343788 1493 if (!(o->op_flags & OPf_KIDS))
79072805 1494 break;
11343788 1495 ref(cLISTOPo->op_last, type);
79072805 1496 break;
a0d0e21e
LW		 1497 default:
1498 break;
79072805 1499 }
11343788 1500 return scalar(o);
8990e307 1501
79072805
LW		 1502}
1503
09bef843
SB		 1504STATIC OP *
1505S_dup_attrlist(pTHX_ OP *o)
1506{
1507 OP *rop = Nullop;
1508
1509 /* An attrlist is either a simple OP_CONST or an OP_LIST with kids,
1510 * where the first kid is OP_PUSHMARK and the remaining ones
1511 * are OP_CONST. We need to push the OP_CONST values.
1512 */
1513 if (o->op_type == OP_CONST)
1514 rop = newSVOP(OP_CONST, o->op_flags, SvREFCNT_inc(cSVOPo->op_sv));
1515 else {
1516 assert((o->op_type == OP_LIST) && (o->op_flags & OPf_KIDS));
1517 for (o = cLISTOPo->op_first; o; o=o->op_sibling) {
1518 if (o->op_type == OP_CONST)
1519 rop = append_elem(OP_LIST, rop,
1520 newSVOP(OP_CONST, o->op_flags,
1521 SvREFCNT_inc(cSVOPo->op_sv)));
1522 }
1523 }
1524 return rop;
1525}
1526
1527STATIC void
95f0a2f1 1528S_apply_attrs(pTHX_ HV *stash, SV *target, OP *attrs, bool for_my)
09bef843 1529{
27da23d5 1530 dVAR;
09bef843
SB		 1531 SV *stashsv;
1532
1533 /* fake up C<use attributes $pkg,$rv,@attrs> */
1534 ENTER; /* need to protect against side-effects of 'use' */
1535 SAVEINT(PL_expect);
5aaec2b4 1536 stashsv = stash ? newSVhek(HvNAME_HEK(stash)) : &PL_sv_no;
e4783991 1537
09bef843 1538#define ATTRSMODULE "attributes"
95f0a2f1
SB		 1539#define ATTRSMODULE_PM "attributes.pm"
1540
1541 if (for_my) {
95f0a2f1 1542 /* Don't force the C<use> if we don't need it. */
504618e9 1543 SV **svp = hv_fetch(GvHVn(PL_incgv), ATTRSMODULE_PM,
95f0a2f1
SB		 1544 sizeof(ATTRSMODULE_PM)-1, 0);
1545 if (svp && *svp != &PL_sv_undef)
1546 ; /* already in %INC */
1547 else
1548 Perl_load_module(aTHX_ PERL_LOADMOD_NOIMPORT,
1549 newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1),
1550 Nullsv);
1551 }
1552 else {
1553 Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
1554 newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1),
1555 Nullsv,
1556 prepend_elem(OP_LIST,
1557 newSVOP(OP_CONST, 0, stashsv),
1558 prepend_elem(OP_LIST,
1559 newSVOP(OP_CONST, 0,
1560 newRV(target)),
1561 dup_attrlist(attrs))));
1562 }
09bef843
SB		 1563 LEAVE;
1564}
1565
95f0a2f1
SB		 1566STATIC void
1567S_apply_attrs_my(pTHX_ HV *stash, OP *target, OP *attrs, OP **imopsp)
1568{
1569 OP *pack, *imop, *arg;
1570 SV *meth, *stashsv;
1571
1572 if (!attrs)
1573 return;
1574
1575 assert(target->op_type == OP_PADSV ||
1576 target->op_type == OP_PADHV ||
1577 target->op_type == OP_PADAV);
1578
1579 /* Ensure that attributes.pm is loaded. */
dd2155a4 1580 apply_attrs(stash, PAD_SV(target->op_targ), attrs, TRUE);
95f0a2f1
SB		 1581
1582 /* Need package name for method call. */
1583 pack = newSVOP(OP_CONST, 0, newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1));
1584
1585 /* Build up the real arg-list. */
5aaec2b4
NC		 1586 stashsv = stash ? newSVhek(HvNAME_HEK(stash)) : &PL_sv_no;
1587
95f0a2f1
SB		 1588 arg = newOP(OP_PADSV, 0);
1589 arg->op_targ = target->op_targ;
1590 arg = prepend_elem(OP_LIST,
1591 newSVOP(OP_CONST, 0, stashsv),
1592 prepend_elem(OP_LIST,
1593 newUNOP(OP_REFGEN, 0,
1594 mod(arg, OP_REFGEN)),
1595 dup_attrlist(attrs)));
1596
1597 /* Fake up a method call to import */
427d62a4 1598 meth = newSVpvn_share("import", 6, 0);
95f0a2f1
SB		 1599 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL|OPf_WANT_VOID,
1600 append_elem(OP_LIST,
1601 prepend_elem(OP_LIST, pack, list(arg)),
1602 newSVOP(OP_METHOD_NAMED, 0, meth)));
1603 imop->op_private |= OPpENTERSUB_NOMOD;
1604
1605 /* Combine the ops. */
1606 *imopsp = append_elem(OP_LIST, *imopsp, imop);
1607}
1608
1609/*
1610=notfor apidoc apply_attrs_string
1611
1612Attempts to apply a list of attributes specified by the C<attrstr> and
1613C<len> arguments to the subroutine identified by the C<cv> argument which
1614is expected to be associated with the package identified by the C<stashpv>
1615argument (see L<attributes>). It gets this wrong, though, in that it
1616does not correctly identify the boundaries of the individual attribute
1617specifications within C<attrstr>. This is not really intended for the
1618public API, but has to be listed here for systems such as AIX which
1619need an explicit export list for symbols. (It's called from XS code
1620in support of the C<ATTRS:> keyword from F<xsubpp>.) Patches to fix it
1621to respect attribute syntax properly would be welcome.
1622
1623=cut
1624*/
1625
be3174d2 1626void
6867be6d
AL		 1627Perl_apply_attrs_string(pTHX_ const char *stashpv, CV *cv,
1628 const char *attrstr, STRLEN len)
be3174d2
GS		 1629{
1630 OP *attrs = Nullop;
1631
1632 if (!len) {
1633 len = strlen(attrstr);
1634 }
1635
1636 while (len) {
1637 for (; isSPACE(*attrstr) && len; --len, ++attrstr) ;
1638 if (len) {
890ce7af 1639 const char * const sstr = attrstr;
be3174d2
GS		 1640 for (; !isSPACE(*attrstr) && len; --len, ++attrstr) ;
1641 attrs = append_elem(OP_LIST, attrs,
1642 newSVOP(OP_CONST, 0,
1643 newSVpvn(sstr, attrstr-sstr)));
1644 }
1645 }
1646
1647 Perl_load_module(aTHX_ PERL_LOADMOD_IMPORT_OPS,
1648 newSVpvn(ATTRSMODULE, sizeof(ATTRSMODULE)-1),
1649 Nullsv, prepend_elem(OP_LIST,
1650 newSVOP(OP_CONST, 0, newSVpv(stashpv,0)),
1651 prepend_elem(OP_LIST,
1652 newSVOP(OP_CONST, 0,
1653 newRV((SV*)cv)),
1654 attrs)));
1655}
1656
09bef843 1657STATIC OP *
95f0a2f1 1658S_my_kid(pTHX_ OP *o, OP *attrs, OP **imopsp)
93a17b20 1659{
93a17b20
LW		 1660 I32 type;
1661
3280af22 1662 if (!o || PL_error_count)
11343788 1663 return o;
93a17b20 1664
11343788 1665 type = o->op_type;
93a17b20 1666 if (type == OP_LIST) {
6867be6d 1667 OP *kid;
11343788 1668 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
95f0a2f1 1669 my_kid(kid, attrs, imopsp);
dab48698 1670 } else if (type == OP_UNDEF) {
7766148a 1671 return o;
77ca0c92
LW		 1672 } else if (type == OP_RV2SV || /* "our" declaration */
1673 type == OP_RV2AV ||
1674 type == OP_RV2HV) { /* XXX does this let anything illegal in? */
1ce0b88c
RGS		 1675 if (cUNOPo->op_first->op_type != OP_GV) { /* MJD 20011224 */
1676 yyerror(Perl_form(aTHX_ "Can't declare %s in %s",
1677 OP_DESC(o), PL_in_my == KEY_our ? "our" : "my"));
1678 } else if (attrs) {
1679 GV *gv = cGVOPx_gv(cUNOPo->op_first);
1680 PL_in_my = FALSE;
1681 PL_in_my_stash = Nullhv;
1682 apply_attrs(GvSTASH(gv),
1683 (type == OP_RV2SV ? GvSV(gv) :
1684 type == OP_RV2AV ? (SV*)GvAV(gv) :
1685 type == OP_RV2HV ? (SV*)GvHV(gv) : (SV*)gv),
1686 attrs, FALSE);
1687 }
192587c2 1688 o->op_private |= OPpOUR_INTRO;
77ca0c92 1689 return o;
95f0a2f1
SB		 1690 }
1691 else if (type != OP_PADSV &&
93a17b20
LW		 1692 type != OP_PADAV &&
1693 type != OP_PADHV &&
1694 type != OP_PUSHMARK)
1695 {
eb64745e 1696 yyerror(Perl_form(aTHX_ "Can't declare %s in \"%s\"",
53e06cf0 1697 OP_DESC(o),
eb64745e 1698 PL_in_my == KEY_our ? "our" : "my"));
11343788 1699 return o;
93a17b20 1700 }
09bef843
SB		 1701 else if (attrs && type != OP_PUSHMARK) {
1702 HV *stash;
09bef843 1703
eb64745e
GS		 1704 PL_in_my = FALSE;
1705 PL_in_my_stash = Nullhv;
1706
09bef843 1707 /* check for C<my Dog $spot> when deciding package */
dd2155a4
DM		 1708 stash = PAD_COMPNAME_TYPE(o->op_targ);
1709 if (!stash)
09bef843 1710 stash = PL_curstash;
95f0a2f1 1711 apply_attrs_my(stash, o, attrs, imopsp);
09bef843 1712 }
11343788
MB		 1713 o->op_flags |= OPf_MOD;
1714 o->op_private |= OPpLVAL_INTRO;
1715 return o;
93a17b20
LW		 1716}
1717
1718OP *
09bef843
SB		 1719Perl_my_attrs(pTHX_ OP *o, OP *attrs)
1720{
95f0a2f1
SB		 1721 OP *rops = Nullop;
1722 int maybe_scalar = 0;
1723
d2be0de5 1724/* [perl #17376]: this appears to be premature, and results in code such as
c754c3d7 1725 C< our(%x); > executing in list mode rather than void mode */
d2be0de5 1726#if 0
09bef843
SB		 1727 if (o->op_flags & OPf_PARENS)
1728 list(o);
95f0a2f1
SB		 1729 else
1730 maybe_scalar = 1;
d2be0de5
YST		 1731#else
1732 maybe_scalar = 1;
1733#endif
09bef843
SB		 1734 if (attrs)
1735 SAVEFREEOP(attrs);
95f0a2f1
SB		 1736 o = my_kid(o, attrs, &rops);
1737 if (rops) {
1738 if (maybe_scalar && o->op_type == OP_PADSV) {
1739 o = scalar(append_list(OP_LIST, (LISTOP*)rops, (LISTOP*)o));
1740 o->op_private |= OPpLVAL_INTRO;
1741 }
1742 else
1743 o = append_list(OP_LIST, (LISTOP*)o, (LISTOP*)rops);
1744 }
eb64745e
GS		 1745 PL_in_my = FALSE;
1746 PL_in_my_stash = Nullhv;
1747 return o;
09bef843
SB		 1748}
1749
1750OP *
1751Perl_my(pTHX_ OP *o)
1752{
95f0a2f1 1753 return my_attrs(o, Nullop);
09bef843
SB		 1754}
1755
1756OP *
864dbfa3 1757Perl_sawparens(pTHX_ OP *o)
79072805
LW		 1758{
1759 if (o)
1760 o->op_flags |= OPf_PARENS;
1761 return o;
1762}
1763
1764OP *
864dbfa3 1765Perl_bind_match(pTHX_ I32 type, OP *left, OP *right)
79072805 1766{
11343788 1767 OP *o;
59f00321 1768 bool ismatchop = 0;
79072805 1769
041457d9 1770 if ( (left->op_type == OP_RV2AV ||
599cee73
PM		 1771 left->op_type == OP_RV2HV ||
1772 left->op_type == OP_PADAV ||
041457d9
DM		 1773 left->op_type == OP_PADHV)
1774 && ckWARN(WARN_MISC))
1775 {
e1ec3a88 1776 const char *desc = PL_op_desc[(right->op_type == OP_SUBST ||
599cee73
PM		 1777 right->op_type == OP_TRANS)
1778 ? right->op_type : OP_MATCH];
dff6d3cd
GS		 1779 const char *sample = ((left->op_type == OP_RV2AV ||
1780 left->op_type == OP_PADAV)
1781 ? "@array" : "%hash");
9014280d 1782 Perl_warner(aTHX_ packWARN(WARN_MISC),
1c846c1f 1783 "Applying %s to %s will act on scalar(%s)",
599cee73 1784 desc, sample, sample);
2ae324a7 1785 }
1786
5cc9e5c9
RH		 1787 if (right->op_type == OP_CONST &&
1788 cSVOPx(right)->op_private & OPpCONST_BARE &&
1789 cSVOPx(right)->op_private & OPpCONST_STRICT)
1790 {
1791 no_bareword_allowed(right);
1792 }
1793
59f00321
RGS		 1794 ismatchop = right->op_type == OP_MATCH ||
1795 right->op_type == OP_SUBST ||
1796 right->op_type == OP_TRANS;
1797 if (ismatchop && right->op_private & OPpTARGET_MY) {
1798 right->op_targ = 0;
1799 right->op_private &= ~OPpTARGET_MY;
1800 }
1801 if (!(right->op_flags & OPf_STACKED) && ismatchop) {
79072805 1802 right->op_flags |= OPf_STACKED;
18808301
JH		 1803 if (right->op_type != OP_MATCH &&
1804 ! (right->op_type == OP_TRANS &&
1805 right->op_private & OPpTRANS_IDENTICAL))
463ee0b2 1806 left = mod(left, right->op_type);
79072805 1807 if (right->op_type == OP_TRANS)
11343788 1808 o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
79072805 1809 else
11343788 1810 o = prepend_elem(right->op_type, scalar(left), right);
79072805 1811 if (type == OP_NOT)
11343788
MB		 1812 return newUNOP(OP_NOT, 0, scalar(o));
1813 return o;
79072805
LW		 1814 }
1815 else
1816 return bind_match(type, left,
131b3ad0 1817 pmruntime(newPMOP(OP_MATCH, 0), right, 0));
79072805
LW		 1818}
1819
1820OP *
864dbfa3 1821Perl_invert(pTHX_ OP *o)
79072805 1822{
11343788
MB		 1823 if (!o)
1824 return o;
79072805 1825 /* XXX need to optimize away NOT NOT here? Or do we let optimizer do it? */
11343788 1826 return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
79072805
LW		 1827}
1828
1829OP *
864dbfa3 1830Perl_scope(pTHX_ OP *o)
79072805 1831{
27da23d5 1832 dVAR;
79072805 1833 if (o) {
3280af22 1834 if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
463ee0b2
LW		 1835 o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1836 o->op_type = OP_LEAVE;
22c35a8c 1837 o->op_ppaddr = PL_ppaddr[OP_LEAVE];
463ee0b2 1838 }
fdb22418
HS		 1839 else if (o->op_type == OP_LINESEQ) {
1840 OP *kid;
1841 o->op_type = OP_SCOPE;
1842 o->op_ppaddr = PL_ppaddr[OP_SCOPE];
1843 kid = ((LISTOP*)o)->op_first;
1844 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE)
1845 op_null(kid);
463ee0b2 1846 }
fdb22418
HS		 1847 else
1848 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
79072805
LW		 1849 }
1850 return o;
1851}
1852
dfa41748 1853/* XXX kept for BINCOMPAT only */
b3ac6de7 1854void
864dbfa3 1855Perl_save_hints(pTHX)
b3ac6de7 1856{
dfa41748 1857 Perl_croak(aTHX_ "internal error: obsolete function save_hints() called");
b3ac6de7
IZ		 1858}
1859
a0d0e21e 1860int
864dbfa3 1861Perl_block_start(pTHX_ int full)
79072805 1862{
73d840c0 1863 const int retval = PL_savestack_ix;
dd2155a4 1864 pad_block_start(full);
b3ac6de7 1865 SAVEHINTS();
3280af22 1866 PL_hints &= ~HINT_BLOCK_SCOPE;
1c846c1f 1867 SAVESPTR(PL_compiling.cop_warnings);
0453d815 1868 if (! specialWARN(PL_compiling.cop_warnings)) {
599cee73
PM		 1869 PL_compiling.cop_warnings = newSVsv(PL_compiling.cop_warnings) ;
1870 SAVEFREESV(PL_compiling.cop_warnings) ;
1871 }
ac27b0f5
NIS		 1872 SAVESPTR(PL_compiling.cop_io);
1873 if (! specialCopIO(PL_compiling.cop_io)) {
1874 PL_compiling.cop_io = newSVsv(PL_compiling.cop_io) ;
1875 SAVEFREESV(PL_compiling.cop_io) ;
1876 }
a0d0e21e
LW		 1877 return retval;
1878}
1879
1880OP*
864dbfa3 1881Perl_block_end(pTHX_ I32 floor, OP *seq)
a0d0e21e 1882{
6867be6d 1883 const int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
e9f19e3c 1884 OP* retval = scalarseq(seq);
e9818f4e 1885 LEAVE_SCOPE(floor);
eb160463 1886 PL_compiling.op_private = (U8)(PL_hints & HINT_PRIVATE_MASK);
a0d0e21e 1887 if (needblockscope)
3280af22 1888 PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
dd2155a4 1889 pad_leavemy();
a0d0e21e
LW		 1890 return retval;
1891}
1892
76e3520e 1893STATIC OP *
cea2e8a9 1894S_newDEFSVOP(pTHX)
54b9620d 1895{
6867be6d 1896 const I32 offset = pad_findmy("$_");
59f00321
RGS		 1897 if (offset == NOT_IN_PAD || PAD_COMPNAME_FLAGS(offset) & SVpad_OUR) {
1898 return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
1899 }
1900 else {
1901 OP *o = newOP(OP_PADSV, 0);
1902 o->op_targ = offset;
1903 return o;
1904 }
54b9620d
MB		 1905}
1906
a0d0e21e 1907void
864dbfa3 1908Perl_newPROG(pTHX_ OP *o)
a0d0e21e 1909{
3280af22 1910 if (PL_in_eval) {
b295d113
TH		 1911 if (PL_eval_root)
1912 return;
faef0170
HS		 1913 PL_eval_root = newUNOP(OP_LEAVEEVAL,
1914 ((PL_in_eval & EVAL_KEEPERR)
1915 ? OPf_SPECIAL : 0), o);
3280af22 1916 PL_eval_start = linklist(PL_eval_root);
7934575e
GS		 1917 PL_eval_root->op_private |= OPpREFCOUNTED;
1918 OpREFCNT_set(PL_eval_root, 1);
3280af22 1919 PL_eval_root->op_next = 0;
a2efc822 1920 CALL_PEEP(PL_eval_start);
a0d0e21e
LW		 1921 }
1922 else {
6be89cf9
AE		 1923 if (o->op_type == OP_STUB) {
1924 PL_comppad_name = 0;
1925 PL_compcv = 0;
2a4f803a 1926 FreeOp(o);
a0d0e21e 1927 return;
6be89cf9 1928 }
3280af22
NIS		 1929 PL_main_root = scope(sawparens(scalarvoid(o)));
1930 PL_curcop = &PL_compiling;
1931 PL_main_start = LINKLIST(PL_main_root);
7934575e
GS		 1932 PL_main_root->op_private |= OPpREFCOUNTED;
1933 OpREFCNT_set(PL_main_root, 1);
3280af22 1934 PL_main_root->op_next = 0;
a2efc822 1935 CALL_PEEP(PL_main_start);
3280af22 1936 PL_compcv = 0;
3841441e 1937
4fdae800 1938 /* Register with debugger */
84902520 1939 if (PERLDB_INTER) {
864dbfa3 1940 CV *cv = get_cv("DB::postponed", FALSE);
3841441e
CS		 1941 if (cv) {
1942 dSP;
924508f0 1943 PUSHMARK(SP);
cc49e20b 1944 XPUSHs((SV*)CopFILEGV(&PL_compiling));
3841441e 1945 PUTBACK;
864dbfa3 1946 call_sv((SV*)cv, G_DISCARD);
3841441e
CS		 1947 }
1948 }
79072805 1949 }
79072805
LW		 1950}
1951
1952OP *
864dbfa3 1953Perl_localize(pTHX_ OP *o, I32 lex)
79072805
LW		 1954{
1955 if (o->op_flags & OPf_PARENS)
d2be0de5
YST		 1956/* [perl #17376]: this appears to be premature, and results in code such as
1957 C< our(%x); > executing in list mode rather than void mode */
1958#if 0
79072805 1959 list(o);
d2be0de5
YST		 1960#else
1961 ;
1962#endif
8990e307 1963 else {
041457d9
DM		 1964 if ( PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == ','
1965 && ckWARN(WARN_PARENTHESIS))
64420d0d
JH		 1966 {
1967 char *s = PL_bufptr;
bac662ee 1968 bool sigil = FALSE;
64420d0d 1969
8473848f 1970 /* some heuristics to detect a potential error */
bac662ee 1971 while (*s && (strchr(", \t\n", *s)))
64420d0d 1972 s++;
8473848f 1973
bac662ee
TS		 1974 while (1) {
1975 if (*s && strchr("@$%*", *s) && *++s
1976 && (isALNUM(*s) || UTF8_IS_CONTINUED(*s))) {
1977 s++;
1978 sigil = TRUE;
1979 while (*s && (isALNUM(*s) || UTF8_IS_CONTINUED(*s)))
1980 s++;
1981 while (*s && (strchr(", \t\n", *s)))
1982 s++;
1983 }
1984 else
1985 break;
1986 }
1987 if (sigil && (*s == ';' || *s == '=')) {
1988 Perl_warner(aTHX_ packWARN(WARN_PARENTHESIS),
8473848f
RGS		 1989 "Parentheses missing around \"%s\" list",
1990 lex ? (PL_in_my == KEY_our ? "our" : "my")
1991 : "local");
1992 }
8990e307
LW		 1993 }
1994 }
93a17b20 1995 if (lex)
eb64745e 1996 o = my(o);
93a17b20 1997 else
eb64745e
GS		 1998 o = mod(o, OP_NULL); /* a bit kludgey */
1999 PL_in_my = FALSE;
2000 PL_in_my_stash = Nullhv;
2001 return o;
79072805
LW		 2002}
2003
2004OP *
864dbfa3 2005Perl_jmaybe(pTHX_ OP *o)
79072805
LW		 2006{
2007 if (o->op_type == OP_LIST) {
554b3eca 2008 OP *o2;
554b3eca 2009 o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
554b3eca 2010 o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
79072805
LW		 2011 }
2012 return o;
2013}
2014
2015OP *
864dbfa3 2016Perl_fold_constants(pTHX_ register OP *o)
79072805 2017{
27da23d5 2018 dVAR;
79072805
LW		 2019 register OP *curop;
2020 I32 type = o->op_type;
748a9306 2021 SV *sv;
79072805 2022
22c35a8c 2023 if (PL_opargs[type] & OA_RETSCALAR)
79072805 2024 scalar(o);
b162f9ea 2025 if (PL_opargs[type] & OA_TARGET && !o->op_targ)
ed6116ce 2026 o->op_targ = pad_alloc(type, SVs_PADTMP);
79072805 2027
eac055e9
GS		 2028 /* integerize op, unless it happens to be C<-foo>.
2029 * XXX should pp_i_negate() do magic string negation instead? */
2030 if ((PL_opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER)
2031 && !(type == OP_NEGATE && cUNOPo->op_first->op_type == OP_CONST
2032 && (cUNOPo->op_first->op_private & OPpCONST_BARE)))
2033 {
22c35a8c 2034 o->op_ppaddr = PL_ppaddr[type = ++(o->op_type)];
eac055e9 2035 }
85e6fe83 2036
22c35a8c 2037 if (!(PL_opargs[type] & OA_FOLDCONST))
79072805
LW		 2038 goto nope;
2039
de939608 2040 switch (type) {
7a52d87a
GS		 2041 case OP_NEGATE:
2042 /* XXX might want a ck_negate() for this */
2043 cUNOPo->op_first->op_private &= ~OPpCONST_STRICT;
2044 break;
de939608
CS		 2045 case OP_SPRINTF:
2046 case OP_UCFIRST:
2047 case OP_LCFIRST:
2048 case OP_UC:
2049 case OP_LC:
69dcf70c
MB		 2050 case OP_SLT:
2051 case OP_SGT:
2052 case OP_SLE:
2053 case OP_SGE:
2054 case OP_SCMP:
2de3dbcc
JH		 2055 /* XXX what about the numeric ops? */
2056 if (PL_hints & HINT_LOCALE)
de939608
CS		 2057 goto nope;
2058 }
2059
3280af22 2060 if (PL_error_count)
a0d0e21e
LW		 2061 goto nope; /* Don't try to run w/ errors */
2062
79072805 2063 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
11fa937b
GS		 2064 if ((curop->op_type != OP_CONST ||
2065 (curop->op_private & OPpCONST_BARE)) &&
7a52d87a
GS		 2066 curop->op_type != OP_LIST &&
2067 curop->op_type != OP_SCALAR &&
2068 curop->op_type != OP_NULL &&
2069 curop->op_type != OP_PUSHMARK)
2070 {
79072805
LW		 2071 goto nope;
2072 }
2073 }
2074
2075 curop = LINKLIST(o);
2076 o->op_next = 0;
533c011a 2077 PL_op = curop;
cea2e8a9 2078 CALLRUNOPS(aTHX);
3280af22 2079 sv = *(PL_stack_sp--);
748a9306 2080 if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
dd2155a4 2081 pad_swipe(o->op_targ, FALSE);
748a9306
LW		 2082 else if (SvTEMP(sv)) { /* grab mortal temp? */
2083 (void)SvREFCNT_inc(sv);
2084 SvTEMP_off(sv);
85e6fe83 2085 }
79072805
LW		 2086 op_free(o);
2087 if (type == OP_RV2GV)
b1cb66bf 2088 return newGVOP(OP_GV, 0, (GV*)sv);
52a96ae6 2089 return newSVOP(OP_CONST, 0, sv);
aeea060c 2090
79072805 2091 nope:
79072805
LW		 2092 return o;
2093}
2094
2095OP *
864dbfa3 2096Perl_gen_constant_list(pTHX_ register OP *o)
79072805 2097{
27da23d5 2098 dVAR;
79072805 2099 register OP *curop;
6867be6d 2100 const I32 oldtmps_floor = PL_tmps_floor;
79072805 2101
a0d0e21e 2102 list(o);
3280af22 2103 if (PL_error_count)
a0d0e21e
LW		 2104 return o; /* Don't attempt to run with errors */
2105
533c011a 2106 PL_op = curop = LINKLIST(o);
a0d0e21e 2107 o->op_next = 0;
a2efc822 2108 CALL_PEEP(curop);
cea2e8a9
GS		 2109 pp_pushmark();
2110 CALLRUNOPS(aTHX);
533c011a 2111 PL_op = curop;
cea2e8a9 2112 pp_anonlist();
3280af22 2113 PL_tmps_floor = oldtmps_floor;
79072805
LW		 2114
2115 o->op_type = OP_RV2AV;
22c35a8c 2116 o->op_ppaddr = PL_ppaddr[OP_RV2AV];
fb53bbb2
SG		 2117 o->op_flags &= ~OPf_REF; /* treat \(1..2) like an ordinary list */
2118 o->op_flags |= OPf_PARENS; /* and flatten \(1..2,3) */
2814eb74 2119 o->op_opt = 0; /* needs to be revisited in peep() */
79072805 2120 curop = ((UNOP*)o)->op_first;
3280af22 2121 ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*PL_stack_sp--));
79072805 2122 op_free(curop);
79072805
LW		 2123 linklist(o);
2124 return list(o);
2125}
2126
2127OP *
864dbfa3 2128Perl_convert(pTHX_ I32 type, I32 flags, OP *o)
79072805 2129{
27da23d5 2130 dVAR;
11343788
MB		 2131 if (!o || o->op_type != OP_LIST)
2132 o = newLISTOP(OP_LIST, 0, o, Nullop);
748a9306 2133 else
5dc0d613 2134 o->op_flags &= ~OPf_WANT;
79072805 2135
22c35a8c 2136 if (!(PL_opargs[type] & OA_MARK))
93c66552 2137 op_null(cLISTOPo->op_first);
8990e307 2138
eb160463 2139 o->op_type = (OPCODE)type;
22c35a8c 2140 o->op_ppaddr = PL_ppaddr[type];
11343788 2141 o->op_flags |= flags;
79072805 2142
11343788 2143 o = CHECKOP(type, o);
fe2774ed 2144 if (o->op_type != (unsigned)type)
11343788 2145 return o;
79072805 2146
11343788 2147 return fold_constants(o);
79072805
LW		 2148}
2149
2150/* List constructors */
2151
2152OP *
864dbfa3 2153Perl_append_elem(pTHX_ I32 type, OP *first, OP *last)
79072805
LW		 2154{
2155 if (!first)
2156 return last;
8990e307
LW		 2157
2158 if (!last)
79072805 2159 return first;
8990e307 2160
fe2774ed 2161 if (first->op_type != (unsigned)type
155aba94
GS		 2162 || (type == OP_LIST && (first->op_flags & OPf_PARENS)))
2163 {
2164 return newLISTOP(type, 0, first, last);
2165 }
79072805 2166
a0d0e21e
LW		 2167 if (first->op_flags & OPf_KIDS)
2168 ((LISTOP*)first)->op_last->op_sibling = last;
2169 else {
2170 first->op_flags |= OPf_KIDS;
2171 ((LISTOP*)first)->op_first = last;
2172 }
2173 ((LISTOP*)first)->op_last = last;
a0d0e21e 2174 return first;
79072805
LW		 2175}
2176
2177OP *
864dbfa3 2178Perl_append_list(pTHX_ I32 type, LISTOP *first, LISTOP *last)
79072805
LW		 2179{
2180 if (!first)
2181 return (OP*)last;
8990e307
LW		 2182
2183 if (!last)
79072805 2184 return (OP*)first;
8990e307 2185
fe2774ed 2186 if (first->op_type != (unsigned)type)
79072805 2187 return prepend_elem(type, (OP*)first, (OP*)last);
8990e307 2188
fe2774ed 2189 if (last->op_type != (unsigned)type)
79072805
LW		 2190 return append_elem(type, (OP*)first, (OP*)last);
2191
2192 first->op_last->op_sibling = last->op_first;
2193 first->op_last = last->op_last;
117dada2 2194 first->op_flags |= (last->op_flags & OPf_KIDS);
1c846c1f 2195
238a4c30
NIS		 2196 FreeOp(last);
2197
79072805
LW		 2198 return (OP*)first;
2199}
2200
2201OP *
864dbfa3 2202Perl_prepend_elem(pTHX_ I32 type, OP *first, OP *last)
79072805
LW		 2203{
2204 if (!first)
2205 return last;
8990e307
LW		 2206
2207 if (!last)
79072805 2208 return first;
8990e307 2209
fe2774ed 2210 if (last->op_type == (unsigned)type) {
8990e307
LW		 2211 if (type == OP_LIST) { /* already a PUSHMARK there */
2212 first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
2213 ((LISTOP*)last)->op_first->op_sibling = first;
36a5d4ba
DC		 2214 if (!(first->op_flags & OPf_PARENS))
2215 last->op_flags &= ~OPf_PARENS;
8990e307
LW		 2216 }
2217 else {
2218 if (!(last->op_flags & OPf_KIDS)) {
2219 ((LISTOP*)last)->op_last = first;
2220 last->op_flags |= OPf_KIDS;
2221 }
2222 first->op_sibling = ((LISTOP*)last)->op_first;
2223 ((LISTOP*)last)->op_first = first;
79072805 2224 }
117dada2 2225 last->op_flags |= OPf_KIDS;
79072805
LW		 2226 return last;
2227 }
2228
2229 return newLISTOP(type, 0, first, last);
2230}
2231
2232/* Constructors */
2233
2234OP *
864dbfa3 2235Perl_newNULLLIST(pTHX)
79072805 2236{
8990e307
LW		 2237 return newOP(OP_STUB, 0);
2238}
2239
2240OP *
864dbfa3 2241Perl_force_list(pTHX_ OP *o)
8990e307 2242{
11343788
MB		 2243 if (!o || o->op_type != OP_LIST)
2244 o = newLISTOP(OP_LIST, 0, o, Nullop);
93c66552 2245 op_null(o);
11343788 2246 return o;
79072805
LW		 2247}
2248
2249OP *
864dbfa3 2250Perl_newLISTOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
79072805 2251{
27da23d5 2252 dVAR;
79072805
LW		 2253 LISTOP *listop;
2254
b7dc083c 2255 NewOp(1101, listop, 1, LISTOP);
79072805 2256
eb160463 2257 listop->op_type = (OPCODE)type;
22c35a8c 2258 listop->op_ppaddr = PL_ppaddr[type];
117dada2
SM		 2259 if (first || last)
2260 flags |= OPf_KIDS;
eb160463 2261 listop->op_flags = (U8)flags;
79072805
LW		 2262
2263 if (!last && first)
2264 last = first;
2265 else if (!first && last)
2266 first = last;
8990e307
LW		 2267 else if (first)
2268 first->op_sibling = last;
79072805
LW		 2269 listop->op_first = first;
2270 listop->op_last = last;
8990e307
LW		 2271 if (type == OP_LIST) {
2272 OP* pushop;
2273 pushop = newOP(OP_PUSHMARK, 0);
2274 pushop->op_sibling = first;
2275 listop->op_first = pushop;
2276 listop->op_flags |= OPf_KIDS;
2277 if (!last)
2278 listop->op_last = pushop;
2279 }
79072805 2280
463d09e6 2281 return CHECKOP(type, listop);
79072805
LW		 2282}
2283
2284OP *
864dbfa3 2285Perl_newOP(pTHX_ I32 type, I32 flags)
79072805 2286{
27da23d5 2287 dVAR;
11343788 2288 OP *o;
b7dc083c 2289 NewOp(1101, o, 1, OP);
eb160463 2290 o->op_type = (OPCODE)type;
22c35a8c 2291 o->op_ppaddr = PL_ppaddr[type];
eb160463 2292 o->op_flags = (U8)flags;
79072805 2293
11343788 2294 o->op_next = o;
eb160463 2295 o->op_private = (U8)(0 | (flags >> 8));
22c35a8c 2296 if (PL_opargs[type] & OA_RETSCALAR)
11343788 2297 scalar(o);
22c35a8c 2298 if (PL_opargs[type] & OA_TARGET)
11343788
MB		 2299 o->op_targ = pad_alloc(type, SVs_PADTMP);
2300 return CHECKOP(type, o);
79072805
LW		 2301}
2302
2303OP *
864dbfa3 2304Perl_newUNOP(pTHX_ I32 type, I32 flags, OP *first)
79072805 2305{
27da23d5 2306 dVAR;
79072805
LW		 2307 UNOP *unop;
2308
93a17b20 2309 if (!first)
aeea060c 2310 first = newOP(OP_STUB, 0);
22c35a8c 2311 if (PL_opargs[type] & OA_MARK)
8990e307 2312 first = force_list(first);
93a17b20 2313
b7dc083c 2314 NewOp(1101, unop, 1, UNOP);
eb160463 2315 unop->op_type = (OPCODE)type;
22c35a8c 2316 unop->op_ppaddr = PL_ppaddr[type];
79072805
LW		 2317 unop->op_first = first;
2318 unop->op_flags = flags | OPf_KIDS;
eb160463 2319 unop->op_private = (U8)(1 | (flags >> 8));
e50aee73 2320 unop = (UNOP*) CHECKOP(type, unop);
79072805
LW		 2321 if (unop->op_next)
2322 return (OP*)unop;
2323
a0d0e21e 2324 return fold_constants((OP *) unop);
79072805
LW		 2325}
2326
2327OP *
864dbfa3 2328Perl_newBINOP(pTHX_ I32 type, I32 flags, OP *first, OP *last)
79072805 2329{
27da23d5 2330 dVAR;
79072805 2331 BINOP *binop;
b7dc083c 2332 NewOp(1101, binop, 1, BINOP);
79072805
LW		 2333
2334 if (!first)
2335 first = newOP(OP_NULL, 0);
2336
eb160463 2337 binop->op_type = (OPCODE)type;
22c35a8c 2338 binop->op_ppaddr = PL_ppaddr[type];
79072805
LW		 2339 binop->op_first = first;
2340 binop->op_flags = flags | OPf_KIDS;
2341 if (!last) {
2342 last = first;
eb160463 2343 binop->op_private = (U8)(1 | (flags >> 8));
79072805
LW		 2344 }
2345 else {
eb160463 2346 binop->op_private = (U8)(2 | (flags >> 8));
79072805
LW		 2347 first->op_sibling = last;
2348 }
2349
e50aee73 2350 binop = (BINOP*)CHECKOP(type, binop);
eb160463 2351 if (binop->op_next || binop->op_type != (OPCODE)type)
79072805
LW		 2352 return (OP*)binop;
2353
7284ab6f 2354 binop->op_last = binop->op_first->op_sibling;
79072805 2355
a0d0e21e 2356 return fold_constants((OP *)binop);
79072805
LW		 2357}
2358
abb2c242
JH		 2359static int uvcompare(const void *a, const void *b) __attribute__nonnull__(1) __attribute__nonnull__(2) __attribute__pure__;
2360static int uvcompare(const void *a, const void *b)
2b9d42f0 2361{
e1ec3a88 2362 if (*((const UV *)a) < (*(const UV *)b))
2b9d42f0 2363 return -1;
e1ec3a88 2364 if (*((const UV *)a) > (*(const UV *)b))
2b9d42f0 2365 return 1;
e1ec3a88 2366 if (*((const UV *)a+1) < (*(const UV *)b+1))
2b9d42f0 2367 return -1;
e1ec3a88 2368 if (*((const UV *)a+1) > (*(const UV *)b+1))
2b9d42f0 2369 return 1;
a0ed51b3
LW		 2370 return 0;
2371}
2372
79072805 2373OP *
864dbfa3 2374Perl_pmtrans(pTHX_ OP *o, OP *expr, OP *repl)
79072805 2375{
2d03de9c
AL		 2376 SV * const tstr = ((SVOP*)expr)->op_sv;
2377 SV * const rstr = ((SVOP*)repl)->op_sv;
463ee0b2
LW		 2378 STRLEN tlen;
2379 STRLEN rlen;
5c144d81
NC		 2380 const U8 *t = (U8*)SvPV_const(tstr, tlen);
2381 const U8 *r = (U8*)SvPV_const(rstr, rlen);
79072805
LW		 2382 register I32 i;
2383 register I32 j;
a0ed51b3 2384 I32 del;
79072805 2385 I32 complement;
5d06d08e 2386 I32 squash;
9b877dbb 2387 I32 grows = 0;
79072805
LW		 2388 register short *tbl;
2389
800b4dc4 2390 PL_hints |= HINT_BLOCK_SCOPE;
11343788 2391 complement = o->op_private & OPpTRANS_COMPLEMENT;
a0ed51b3 2392 del = o->op_private & OPpTRANS_DELETE;
5d06d08e 2393 squash = o->op_private & OPpTRANS_SQUASH;
1c846c1f 2394
036b4402
GS		 2395 if (SvUTF8(tstr))
2396 o->op_private |= OPpTRANS_FROM_UTF;
1c846c1f
NIS		 2397
2398 if (SvUTF8(rstr))
036b4402 2399 o->op_private |= OPpTRANS_TO_UTF;
79072805 2400
a0ed51b3 2401 if (o->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF)) {
79cb57f6 2402 SV* listsv = newSVpvn("# comment\n",10);
a0ed51b3 2403 SV* transv = 0;
5c144d81
NC		 2404 const U8* tend = t + tlen;
2405 const U8* rend = r + rlen;
ba210ebe 2406 STRLEN ulen;
84c133a0
RB		 2407 UV tfirst = 1;
2408 UV tlast = 0;
2409 IV tdiff;
2410 UV rfirst = 1;
2411 UV rlast = 0;
2412 IV rdiff;
2413 IV diff;
a0ed51b3
LW		 2414 I32 none = 0;
2415 U32 max = 0;
2416 I32 bits;
a0ed51b3 2417 I32 havefinal = 0;
9c5ffd7c 2418 U32 final = 0;
a0ed51b3
LW		 2419 I32 from_utf = o->op_private & OPpTRANS_FROM_UTF;
2420 I32 to_utf = o->op_private & OPpTRANS_TO_UTF;
bf4a1e57
JH		 2421 U8* tsave = NULL;
2422 U8* rsave = NULL;
2423
2424 if (!from_utf) {
2425 STRLEN len = tlen;
5c144d81 2426 t = tsave = bytes_to_utf8(t, &len);
bf4a1e57
JH		 2427 tend = t + len;
2428 }
2429 if (!to_utf && rlen) {
2430 STRLEN len = rlen;
5c144d81 2431 r = rsave = bytes_to_utf8(r, &len);
bf4a1e57
JH		 2432 rend = r + len;
2433 }
a0ed51b3 2434
2b9d42f0
NIS		 2435/* There are several snags with this code on EBCDIC:
2436 1. 0xFF is a legal UTF-EBCDIC byte (there are no illegal bytes).
2437 2. scan_const() in toke.c has encoded chars in native encoding which makes
2438 ranges at least in EBCDIC 0..255 range the bottom odd.
2439*/
2440
a0ed51b3 2441 if (complement) {
89ebb4a3 2442 U8 tmpbuf[UTF8_MAXBYTES+1];
2b9d42f0 2443 UV *cp;
a0ed51b3 2444 UV nextmin = 0;
a02a5408 2445 Newx(cp, 2*tlen, UV);
a0ed51b3 2446 i = 0;
79cb57f6 2447 transv = newSVpvn("",0);
a0ed51b3 2448 while (t < tend) {
2b9d42f0
NIS		 2449 cp[2*i] = utf8n_to_uvuni(t, tend-t, &ulen, 0);
2450 t += ulen;
2451 if (t < tend && NATIVE_TO_UTF(*t) == 0xff) {
a0ed51b3 2452 t++;
2b9d42f0
NIS		 2453 cp[2*i+1] = utf8n_to_uvuni(t, tend-t, &ulen, 0);
2454 t += ulen;
a0ed51b3 2455 }
2b9d42f0
NIS		 2456 else {
2457 cp[2*i+1] = cp[2*i];
2458 }
2459 i++;
a0ed51b3 2460 }
2b9d42f0 2461 qsort(cp, i, 2*sizeof(UV), uvcompare);
a0ed51b3 2462 for (j = 0; j < i; j++) {
2b9d42f0 2463 UV val = cp[2*j];
a0ed51b3
LW		 2464 diff = val - nextmin;
2465 if (diff > 0) {
9041c2e3 2466 t = uvuni_to_utf8(tmpbuf,nextmin);
dfe13c55 2467 sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
a0ed51b3 2468 if (diff > 1) {
2b9d42f0 2469 U8 range_mark = UTF_TO_NATIVE(0xff);
9041c2e3 2470 t = uvuni_to_utf8(tmpbuf, val - 1);
2b9d42f0 2471 sv_catpvn(transv, (char *)&range_mark, 1);
dfe13c55 2472 sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
a0ed51b3
LW		 2473 }
2474 }
2b9d42f0 2475 val = cp[2*j+1];
a0ed51b3
LW		 2476 if (val >= nextmin)
2477 nextmin = val + 1;
2478 }
9041c2e3 2479 t = uvuni_to_utf8(tmpbuf,nextmin);
dfe13c55 2480 sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
2b9d42f0
NIS		 2481 {
2482 U8 range_mark = UTF_TO_NATIVE(0xff);
2483 sv_catpvn(transv, (char *)&range_mark, 1);
2484 }
b851fbc1
JH		 2485 t = uvuni_to_utf8_flags(tmpbuf, 0x7fffffff,
2486 UNICODE_ALLOW_SUPER);
dfe13c55 2487 sv_catpvn(transv, (char*)tmpbuf, t - tmpbuf);
93524f2b 2488 t = (const U8*)SvPVX_const(transv);
a0ed51b3
LW		 2489 tlen = SvCUR(transv);
2490 tend = t + tlen;
455d824a 2491 Safefree(cp);
a0ed51b3
LW		 2492 }
2493 else if (!rlen && !del) {
2494 r = t; rlen = tlen; rend = tend;
4757a243
LW		 2495 }
2496 if (!squash) {
05d340b8 2497 if ((!rlen && !del) || t == r ||
12ae5dfc 2498 (tlen == rlen && memEQ((char *)t, (char *)r, tlen)))
01ec43d0 2499 {
4757a243 2500 o->op_private |= OPpTRANS_IDENTICAL;
01ec43d0 2501 }
a0ed51b3
LW		 2502 }
2503
2504 while (t < tend || tfirst <= tlast) {
2505 /* see if we need more "t" chars */
2506 if (tfirst > tlast) {
9041c2e3 2507 tfirst = (I32)utf8n_to_uvuni(t, tend - t, &ulen, 0);
a0ed51b3 2508 t += ulen;
2b9d42f0 2509 if (t < tend && NATIVE_TO_UTF(*t) == 0xff) { /* illegal utf8 val indicates range */
ba210ebe 2510 t++;
9041c2e3 2511 tlast = (I32)utf8n_to_uvuni(t, tend - t, &ulen, 0);
a0ed51b3
LW		 2512 t += ulen;
2513 }
2514 else
2515 tlast = tfirst;
2516 }
2517
2518 /* now see if we need more "r" chars */
2519 if (rfirst > rlast) {
2520 if (r < rend) {
9041c2e3 2521 rfirst = (I32)utf8n_to_uvuni(r, rend - r, &ulen, 0);
a0ed51b3 2522 r += ulen;
2b9d42f0 2523 if (r < rend && NATIVE_TO_UTF(*r) == 0xff) { /* illegal utf8 val indicates range */
ba210ebe 2524 r++;
9041c2e3 2525 rlast = (I32)utf8n_to_uvuni(r, rend - r, &ulen, 0);
a0ed51b3
LW		 2526 r += ulen;
2527 }
2528 else
2529 rlast = rfirst;
2530 }
2531 else {
2532 if (!havefinal++)
2533 final = rlast;
2534 rfirst = rlast = 0xffffffff;
2535 }
2536 }
2537
2538 /* now see which range will peter our first, if either. */
2539 tdiff = tlast - tfirst;
2540 rdiff = rlast - rfirst;
2541
2542 if (tdiff <= rdiff)
2543 diff = tdiff;
2544 else
2545 diff = rdiff;
2546
2547 if (rfirst == 0xffffffff) {
2548 diff = tdiff; /* oops, pretend rdiff is infinite */
2549 if (diff > 0)
894356b3
GS		 2550 Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\tXXXX\n",
2551 (long)tfirst, (long)tlast);
a0ed51b3 2552 else
894356b3 2553 Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\tXXXX\n", (long)tfirst);
a0ed51b3
LW		 2554 }
2555 else {
2556 if (diff > 0)
894356b3
GS		 2557 Perl_sv_catpvf(aTHX_ listsv, "%04lx\t%04lx\t%04lx\n",
2558 (long)tfirst, (long)(tfirst + diff),
2559 (long)rfirst);
a0ed51b3 2560 else
894356b3
GS		 2561 Perl_sv_catpvf(aTHX_ listsv, "%04lx\t\t%04lx\n",
2562 (long)tfirst, (long)rfirst);
a0ed51b3
LW		 2563
2564 if (rfirst + diff > max)
2565 max = rfirst + diff;
9b877dbb 2566 if (!grows)
45005bfb
JH		 2567 grows = (tfirst < rfirst &&
2568 UNISKIP(tfirst) < UNISKIP(rfirst + diff));
2569 rfirst += diff + 1;
a0ed51b3
LW		 2570 }
2571 tfirst += diff + 1;
2572 }
2573
2574 none = ++max;
2575 if (del)
2576 del = ++max;
2577
2578 if (max > 0xffff)
2579 bits = 32;
2580 else if (max > 0xff)
2581 bits = 16;
2582 else
2583 bits = 8;
2584
455d824a 2585 Safefree(cPVOPo->op_pv);
a0ed51b3
LW		 2586 cSVOPo->op_sv = (SV*)swash_init("utf8", "", listsv, bits, none);
2587 SvREFCNT_dec(listsv);
2588 if (transv)
2589 SvREFCNT_dec(transv);
2590
45005bfb 2591 if (!del && havefinal && rlen)
b448e4fe
JH		 2592 (void)hv_store((HV*)SvRV((cSVOPo->op_sv)), "FINAL", 5,
2593 newSVuv((UV)final), 0);
a0ed51b3 2594
9b877dbb 2595 if (grows)
a0ed51b3
LW		 2596 o->op_private |= OPpTRANS_GROWS;
2597
9b877dbb
IH		 2598 if (tsave)
2599 Safefree(tsave);
2600 if (rsave)
2601 Safefree(rsave);
2602
a0ed51b3
LW		 2603 op_free(expr);
2604 op_free(repl);
2605 return o;
2606 }
2607
2608 tbl = (short*)cPVOPo->op_pv;
79072805
LW		 2609 if (complement) {
2610 Zero(tbl, 256, short);
eb160463 2611 for (i = 0; i < (I32)tlen; i++)
ec49126f 2612 tbl[t[i]] = -1;
79072805
LW		 2613 for (i = 0, j = 0; i < 256; i++) {
2614 if (!tbl[i]) {
eb160463 2615 if (j >= (I32)rlen) {
a0ed51b3 2616 if (del)
79072805
LW		 2617 tbl[i] = -2;
2618 else if (rlen)
ec49126f 2619 tbl[i] = r[j-1];
79072805 2620 else
eb160463 2621 tbl[i] = (short)i;
79072805 2622 }
9b877dbb
IH		 2623 else {
2624 if (i < 128 && r[j] >= 128)
2625 grows = 1;
ec49126f 2626 tbl[i] = r[j++];
9b877dbb 2627 }
79072805
LW		 2628 }
2629 }
05d340b8
JH		 2630 if (!del) {
2631 if (!rlen) {
2632 j = rlen;
2633 if (!squash)
2634 o->op_private |= OPpTRANS_IDENTICAL;
2635 }
eb160463 2636 else if (j >= (I32)rlen)
05d340b8
JH		 2637 j = rlen - 1;
2638 else
2639 cPVOPo->op_pv = (char*)Renew(tbl, 0x101+rlen-j, short);
8973db79 2640 tbl[0x100] = rlen - j;
eb160463 2641 for (i=0; i < (I32)rlen - j; i++)
8973db79
JH		 2642 tbl[0x101+i] = r[j+i];
2643 }
79072805
LW		 2644 }
2645 else {
a0ed51b3 2646 if (!rlen && !del) {
79072805 2647 r = t; rlen = tlen;
5d06d08e 2648 if (!squash)
4757a243 2649 o->op_private |= OPpTRANS_IDENTICAL;
79072805 2650 }
94bfe852
RGS		 2651 else if (!squash && rlen == tlen && memEQ((char*)t, (char*)r, tlen)) {
2652 o->op_private |= OPpTRANS_IDENTICAL;
2653 }
79072805
LW		 2654 for (i = 0; i < 256; i++)
2655 tbl[i] = -1;
eb160463
GS		 2656 for (i = 0, j = 0; i < (I32)tlen; i++,j++) {
2657 if (j >= (I32)rlen) {
a0ed51b3 2658 if (del) {
ec49126f 2659 if (tbl[t[i]] == -1)
2660 tbl[t[i]] = -2;
79072805
LW		 2661 continue;
2662 }
2663 --j;
2664 }
9b877dbb
IH		 2665 if (tbl[t[i]] == -1) {
2666 if (t[i] < 128 && r[j] >= 128)
2667 grows = 1;
ec49126f 2668 tbl[t[i]] = r[j];
9b877dbb 2669 }
79072805
LW		 2670 }
2671 }
9b877dbb
IH		 2672 if (grows)
2673 o->op_private |= OPpTRANS_GROWS;
79072805
LW		 2674 op_free(expr);
2675 op_free(repl);
2676
11343788 2677 return o;
79072805
LW		 2678}
2679
2680OP *
864dbfa3 2681Perl_newPMOP(pTHX_ I32 type, I32 flags)
79072805 2682{
27da23d5 2683 dVAR;
79072805
LW		 2684 PMOP *pmop;
2685
b7dc083c 2686 NewOp(1101, pmop, 1, PMOP);
eb160463 2687 pmop->op_type = (OPCODE)type;
22c35a8c 2688 pmop->op_ppaddr = PL_ppaddr[type];
eb160463
GS		 2689 pmop->op_flags = (U8)flags;
2690 pmop->op_private = (U8)(0 | (flags >> 8));
79072805 2691
3280af22 2692 if (PL_hints & HINT_RE_TAINT)
b3eb6a9b 2693 pmop->op_pmpermflags |= PMf_RETAINT;
3280af22 2694 if (PL_hints & HINT_LOCALE)
b3eb6a9b
GS		 2695 pmop->op_pmpermflags |= PMf_LOCALE;
2696 pmop->op_pmflags = pmop->op_pmpermflags;
36477c24 2697
debc9467 2698#ifdef USE_ITHREADS
13137afc
AB		 2699 {
2700 SV* repointer;
2701 if(av_len((AV*) PL_regex_pad[0]) > -1) {
2702 repointer = av_pop((AV*)PL_regex_pad[0]);
2703 pmop->op_pmoffset = SvIV(repointer);
1cc8b4c5 2704 SvREPADTMP_off(repointer);
13137afc 2705 sv_setiv(repointer,0);
1eb1540c 2706 } else {
13137afc
AB		 2707 repointer = newSViv(0);
2708 av_push(PL_regex_padav,SvREFCNT_inc(repointer));
2709 pmop->op_pmoffset = av_len(PL_regex_padav);
2710 PL_regex_pad = AvARRAY(PL_regex_padav);
1fcf4c12 2711 }
13137afc 2712 }
debc9467 2713#endif
1eb1540c 2714
1fcf4c12 2715 /* link into pm list */
3280af22 2716 if (type != OP_TRANS && PL_curstash) {
8d2f4536
NC		 2717 MAGIC *mg = mg_find((SV*)PL_curstash, PERL_MAGIC_symtab);
2718
2719 if (!mg) {
2720 mg = sv_magicext((SV*)PL_curstash, 0, PERL_MAGIC_symtab, 0, 0, 0);
2721 }
2722 pmop->op_pmnext = (PMOP*)mg->mg_obj;
2723 mg->mg_obj = (SV*)pmop;
cb55de95 2724 PmopSTASH_set(pmop,PL_curstash);
79072805
LW		 2725 }
2726
463d09e6 2727 return CHECKOP(type, pmop);
79072805
LW		 2728}
2729
131b3ad0
DM		 2730/* Given some sort of match op o, and an expression expr containing a
2731 * pattern, either compile expr into a regex and attach it to o (if it's
2732 * constant), or convert expr into a runtime regcomp op sequence (if it's
2733 * not)
2734 *
2735 * isreg indicates that the pattern is part of a regex construct, eg
2736 * $x =~ /pattern/ or split /pattern/, as opposed to $x =~ $pattern or
2737 * split "pattern", which aren't. In the former case, expr will be a list
2738 * if the pattern contains more than one term (eg /a$b/) or if it contains
2739 * a replacement, ie s/// or tr///.
2740 */
2741
79072805 2742OP *
131b3ad0 2743Perl_pmruntime(pTHX_ OP *o, OP *expr, bool isreg)
79072805 2744{
27da23d5 2745 dVAR;
79072805
LW		 2746 PMOP *pm;
2747 LOGOP *rcop;
ce862d02 2748 I32 repl_has_vars = 0;
131b3ad0
DM		 2749 OP* repl = Nullop;
2750 bool reglist;
2751
2752 if (o->op_type == OP_SUBST || o->op_type == OP_TRANS) {
2753 /* last element in list is the replacement; pop it */
2754 OP* kid;
2755 repl = cLISTOPx(expr)->op_last;
2756 kid = cLISTOPx(expr)->op_first;
2757 while (kid->op_sibling != repl)
2758 kid = kid->op_sibling;
2759 kid->op_sibling = Nullop;
2760 cLISTOPx(expr)->op_last = kid;
2761 }
79072805 2762
131b3ad0
DM		 2763 if (isreg && expr->op_type == OP_LIST &&
2764 cLISTOPx(expr)->op_first->op_sibling == cLISTOPx(expr)->op_last)
2765 {
2766 /* convert single element list to element */
2767 OP* oe = expr;
2768 expr = cLISTOPx(oe)->op_first->op_sibling;
2769 cLISTOPx(oe)->op_first->op_sibling = Nullop;
2770 cLISTOPx(oe)->op_last = Nullop;
2771 op_free(oe);
2772 }
2773
2774 if (o->op_type == OP_TRANS) {
11343788 2775 return pmtrans(o, expr, repl);
131b3ad0
DM		 2776 }
2777
2778 reglist = isreg && expr->op_type == OP_LIST;
2779 if (reglist)
2780 op_null(expr);
79072805 2781
3280af22 2782 PL_hints |= HINT_BLOCK_SCOPE;
11343788 2783 pm = (PMOP*)o;
79072805
LW		 2784
2785 if (expr->op_type == OP_CONST) {
463ee0b2 2786 STRLEN plen;
79072805 2787 SV *pat = ((SVOP*)expr)->op_sv;
5c144d81 2788 const char *p = SvPV_const(pat, plen);
770526c1 2789 if ((o->op_flags & OPf_SPECIAL) && (*p == ' ' && p[1] == '\0')) {
5c144d81
NC		 2790 U32 was_readonly = SvREADONLY(pat);
2791
2792 if (was_readonly) {
2793 if (SvFAKE(pat)) {
2794 sv_force_normal_flags(pat, 0);
2795 assert(!SvREADONLY(pat));
2796 was_readonly = 0;
2797 } else {
2798 SvREADONLY_off(pat);
2799 }
2800 }
2801
93a17b20 2802 sv_setpvn(pat, "\\s+", 3);
5c144d81
NC		 2803
2804 SvFLAGS(pat) |= was_readonly;
2805
2806 p = SvPV_const(pat, plen);
79072805
LW		 2807 pm->op_pmflags |= PMf_SKIPWHITE;
2808 }
5b71a6a7 2809 if (DO_UTF8(pat))
a5961de5 2810 pm->op_pmdynflags |= PMdf_UTF8;
5c144d81
NC		 2811 /* FIXME - can we make this function take const char * args? */
2812 PM_SETRE(pm, CALLREGCOMP(aTHX_ (char*)p, (char*)p + plen, pm));
aaa362c4 2813 if (strEQ("\\s+", PM_GETRE(pm)->precomp))
85e6fe83 2814 pm->op_pmflags |= PMf_WHITE;
79072805
LW		 2815 op_free(expr);
2816 }
2817 else {
3280af22 2818 if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
1c846c1f 2819 expr = newUNOP((!(PL_hints & HINT_RE_EVAL)
2cd61cdb
IZ		 2820 ? OP_REGCRESET
2821 : OP_REGCMAYBE),0,expr);
463ee0b2 2822
b7dc083c 2823 NewOp(1101, rcop, 1, LOGOP);
79072805 2824 rcop->op_type = OP_REGCOMP;
22c35a8c 2825 rcop->op_ppaddr = PL_ppaddr[OP_REGCOMP];
79072805 2826 rcop->op_first = scalar(expr);
131b3ad0
DM		 2827 rcop->op_flags |= OPf_KIDS
2828 | ((PL_hints & HINT_RE_EVAL) ? OPf_SPECIAL : 0)
2829 | (reglist ? OPf_STACKED : 0);
79072805 2830 rcop->op_private = 1;
11343788 2831 rcop->op_other = o;
131b3ad0
DM		 2832 if (reglist)
2833 rcop->op_targ = pad_alloc(rcop->op_type, SVs_PADTMP);
2834
b5c19bd7
DM		 2835 /* /$x/ may cause an eval, since $x might be qr/(?{..})/ */
2836 PL_cv_has_eval = 1;
79072805
LW		 2837
2838 /* establish postfix order */
3280af22 2839 if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
463ee0b2
LW		 2840 LINKLIST(expr);
2841 rcop->op_next = expr;
2842 ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2843 }
2844 else {
2845 rcop->op_next = LINKLIST(expr);
2846 expr->op_next = (OP*)rcop;
2847 }
79072805 2848
11343788 2849 prepend_elem(o->op_type, scalar((OP*)rcop), o);
79072805
LW		 2850 }
2851
2852 if (repl) {
748a9306 2853 OP *curop;
0244c3a4 2854 if (pm->op_pmflags & PMf_EVAL) {
748a9306 2855 curop = 0;
8bafa735 2856 if (CopLINE(PL_curcop) < (line_t)PL_multi_end)
eb160463 2857 CopLINE_set(PL_curcop, (line_t)PL_multi_end);
0244c3a4 2858 }
748a9306
LW		 2859 else if (repl->op_type == OP_CONST)
2860 curop = repl;
79072805 2861 else {
79072805
LW		 2862 OP *lastop = 0;
2863 for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
22c35a8c 2864 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
79072805 2865 if (curop->op_type == OP_GV) {
638eceb6 2866 GV *gv = cGVOPx_gv(curop);
ce862d02 2867 repl_has_vars = 1;
f702bf4a 2868 if (strchr("&`'123456789+-\016\022", *GvENAME(gv)))
79072805
LW		 2869 break;
2870 }
2871 else if (curop->op_type == OP_RV2CV)
2872 break;
2873 else if (curop->op_type == OP_RV2SV ||
2874 curop->op_type == OP_RV2AV ||
2875 curop->op_type == OP_RV2HV ||
2876 curop->op_type == OP_RV2GV) {
2877 if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2878 break;
2879 }
748a9306
LW		 2880 else if (curop->op_type == OP_PADSV ||
2881 curop->op_type == OP_PADAV ||
2882 curop->op_type == OP_PADHV ||
554b3eca 2883 curop->op_type == OP_PADANY) {
ce862d02 2884 repl_has_vars = 1;
748a9306 2885 }
1167e5da
SM		 2886 else if (curop->op_type == OP_PUSHRE)
2887 ; /* Okay here, dangerous in newASSIGNOP */
79072805
LW		 2888 else
2889 break;
2890 }
2891 lastop = curop;
2892 }
748a9306 2893 }
ce862d02 2894 if (curop == repl
1c846c1f 2895 && !(repl_has_vars
aaa362c4
RS		 2896 && (!PM_GETRE(pm)
2897 || PM_GETRE(pm)->reganch & ROPT_EVAL_SEEN))) {
748a9306 2898 pm->op_pmflags |= PMf_CONST; /* const for long enough */
4633a7c4 2899 pm->op_pmpermflags |= PMf_CONST; /* const for long enough */
11343788 2900 prepend_elem(o->op_type, scalar(repl), o);
748a9306
LW		 2901 }
2902 else {
aaa362c4 2903 if (curop == repl && !PM_GETRE(pm)) { /* Has variables. */
ce862d02
IZ		 2904 pm->op_pmflags |= PMf_MAYBE_CONST;
2905 pm->op_pmpermflags |= PMf_MAYBE_CONST;
2906 }
b7dc083c 2907 NewOp(1101, rcop, 1, LOGOP);
748a9306 2908 rcop->op_type = OP_SUBSTCONT;
22c35a8c 2909 rcop->op_ppaddr = PL_ppaddr[OP_SUBSTCONT];
748a9306
LW		 2910 rcop->op_first = scalar(repl);
2911 rcop->op_flags |= OPf_KIDS;
2912 rcop->op_private = 1;
11343788 2913 rcop->op_other = o;
748a9306
LW		 2914
2915 /* establish postfix order */
2916 rcop->op_next = LINKLIST(repl);
2917 repl->op_next = (OP*)rcop;
2918
2919 pm->op_pmreplroot = scalar((OP*)rcop);
2920 pm->op_pmreplstart = LINKLIST(rcop);
2921 rcop->op_next = 0;
79072805
LW		 2922 }
2923 }
2924
2925 return (OP*)pm;
2926}
2927
2928OP *
864dbfa3 2929Perl_newSVOP(pTHX_ I32 type, I32 flags, SV *sv)
79072805 2930{
27da23d5 2931 dVAR;
79072805 2932 SVOP *svop;
b7dc083c 2933 NewOp(1101, svop, 1, SVOP);
eb160463 2934 svop->op_type = (OPCODE)type;
22c35a8c 2935 svop->op_ppaddr = PL_ppaddr[type];
79072805
LW		 2936 svop->op_sv = sv;
2937 svop->op_next = (OP*)svop;
eb160463 2938 svop->op_flags = (U8)flags;
22c35a8c 2939 if (PL_opargs[type] & OA_RETSCALAR)
463ee0b2 2940 scalar((OP*)svop);
22c35a8c 2941 if (PL_opargs[type] & OA_TARGET)
ed6116ce 2942 svop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2943 return CHECKOP(type, svop);
79072805
LW		 2944}
2945
2946OP *
350de78d
GS		 2947Perl_newPADOP(pTHX_ I32 type, I32 flags, SV *sv)
2948{
27da23d5 2949 dVAR;
350de78d
GS		 2950 PADOP *padop;
2951 NewOp(1101, padop, 1, PADOP);
eb160463 2952 padop->op_type = (OPCODE)type;
350de78d
GS		 2953 padop->op_ppaddr = PL_ppaddr[type];
2954 padop->op_padix = pad_alloc(type, SVs_PADTMP);
dd2155a4
DM		 2955 SvREFCNT_dec(PAD_SVl(padop->op_padix));
2956 PAD_SETSV(padop->op_padix, sv);
ce50c033
AMS		 2957 if (sv)
2958 SvPADTMP_on(sv);
350de78d 2959 padop->op_next = (OP*)padop;
eb160463 2960 padop->op_flags = (U8)flags;
350de78d
GS		 2961 if (PL_opargs[type] & OA_RETSCALAR)
2962 scalar((OP*)padop);
2963 if (PL_opargs[type] & OA_TARGET)
2964 padop->op_targ = pad_alloc(type, SVs_PADTMP);
2965 return CHECKOP(type, padop);
2966}
2967
2968OP *
864dbfa3 2969Perl_newGVOP(pTHX_ I32 type, I32 flags, GV *gv)
79072805 2970{
27da23d5 2971 dVAR;
350de78d 2972#ifdef USE_ITHREADS
ce50c033
AMS		 2973 if (gv)
2974 GvIN_PAD_on(gv);
350de78d
GS		 2975 return newPADOP(type, flags, SvREFCNT_inc(gv));
2976#else
7934575e 2977 return newSVOP(type, flags, SvREFCNT_inc(gv));
350de78d 2978#endif
79072805
LW		 2979}
2980
2981OP *
864dbfa3 2982Perl_newPVOP(pTHX_ I32 type, I32 flags, char *pv)
79072805 2983{
27da23d5 2984 dVAR;
79072805 2985 PVOP *pvop;
b7dc083c 2986 NewOp(1101, pvop, 1, PVOP);
eb160463 2987 pvop->op_type = (OPCODE)type;
22c35a8c 2988 pvop->op_ppaddr = PL_ppaddr[type];
79072805
LW		 2989 pvop->op_pv = pv;
2990 pvop->op_next = (OP*)pvop;
eb160463 2991 pvop->op_flags = (U8)flags;
22c35a8c 2992 if (PL_opargs[type] & OA_RETSCALAR)
463ee0b2 2993 scalar((OP*)pvop);
22c35a8c 2994 if (PL_opargs[type] & OA_TARGET)
ed6116ce 2995 pvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2996 return CHECKOP(type, pvop);
79072805
LW		 2997}
2998
79072805 2999void
864dbfa3 3000Perl_package(pTHX_ OP *o)
79072805 3001{
6867be6d 3002 const char *name;
de11ba31 3003 STRLEN len;
79072805 3004
3280af22
NIS		 3005 save_hptr(&PL_curstash);
3006 save_item(PL_curstname);
de11ba31 3007
5c144d81 3008 name = SvPV_const(cSVOPo->op_sv, len);
de11ba31
AMS		 3009 PL_curstash = gv_stashpvn(name, len, TRUE);
3010 sv_setpvn(PL_curstname, name, len);
3011 op_free(o);
3012
7ad382f4 3013 PL_hints |= HINT_BLOCK_SCOPE;
3280af22
NIS		 3014 PL_copline = NOLINE;
3015 PL_expect = XSTATE;
79072805
LW		 3016}
3017
85e6fe83 3018void
88d95a4d 3019Perl_utilize(pTHX_ int aver, I32 floor, OP *version, OP *idop, OP *arg)
85e6fe83 3020{
a0d0e21e 3021 OP *pack;
a0d0e21e 3022 OP *imop;
b1cb66bf 3023 OP *veop;
85e6fe83 3024
88d95a4d 3025 if (idop->op_type != OP_CONST)
cea2e8a9 3026 Perl_croak(aTHX_ "Module name must be constant");
85e6fe83 3027
b1cb66bf 3028 veop = Nullop;
3029
aec46f14 3030 if (version) {
b1cb66bf 3031 SV *vesv = ((SVOP*)version)->op_sv;
3032
aec46f14 3033 if (!arg && !SvNIOKp(vesv)) {
b1cb66bf 3034 arg = version;
3035 }
3036 else {
3037 OP *pack;
0f79a09d 3038 SV *meth;
b1cb66bf 3039
44dcb63b 3040 if (version->op_type != OP_CONST || !SvNIOKp(vesv))
cea2e8a9 3041 Perl_croak(aTHX_ "Version number must be constant number");
b1cb66bf 3042
88d95a4d
JH		 3043 /* Make copy of idop so we don't free it twice */
3044 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)idop)->op_sv));
b1cb66bf 3045
3046 /* Fake up a method call to VERSION */
427d62a4 3047 meth = newSVpvn_share("VERSION", 7, 0);
b1cb66bf 3048 veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
3049 append_elem(OP_LIST,
0f79a09d
GS		 3050 prepend_elem(OP_LIST, pack, list(version)),
3051 newSVOP(OP_METHOD_NAMED, 0, meth)));
b1cb66bf 3052 }
3053 }
aeea060c 3054
a0d0e21e 3055 /* Fake up an import/unimport */
4633a7c4
LW		 3056 if (arg && arg->op_type == OP_STUB)
3057 imop = arg; /* no import on explicit () */
88d95a4d 3058 else if (SvNIOKp(((SVOP*)idop)->op_sv)) {
b1cb66bf 3059 imop = Nullop; /* use 5.0; */
468aa647
RGS		 3060 if (!aver)
3061 idop->op_private |= OPpCONST_NOVER;
b1cb66bf 3062 }
4633a7c4 3063 else {
0f79a09d
GS		 3064 SV *meth;
3065
88d95a4d
JH		 3066 /* Make copy of idop so we don't free it twice */
3067 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)idop)->op_sv));
0f79a09d
GS		 3068
3069 /* Fake up a method call to import/unimport */
427d62a4
NC		 3070 meth = aver
3071 ? newSVpvn_share("import",6, 0) : newSVpvn_share("unimport", 8, 0);
4633a7c4 3072 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
0f79a09d
GS		 3073 append_elem(OP_LIST,
3074 prepend_elem(OP_LIST, pack, list(arg)),
3075 newSVOP(OP_METHOD_NAMED, 0, meth)));
4633a7c4
LW		 3076 }
3077
a0d0e21e 3078 /* Fake up the BEGIN {}, which does its thing immediately. */
09bef843 3079 newATTRSUB(floor,
427d62a4 3080 newSVOP(OP_CONST, 0, newSVpvn_share("BEGIN", 5, 0)),
4633a7c4 3081 Nullop,
09bef843 3082 Nullop,
a0d0e21e 3083 append_elem(OP_LINESEQ,
b1cb66bf 3084 append_elem(OP_LINESEQ,
88d95a4d 3085 newSTATEOP(0, Nullch, newUNOP(OP_REQUIRE, 0, idop)),
b1cb66bf 3086 newSTATEOP(0, Nullch, veop)),
a0d0e21e 3087 newSTATEOP(0, Nullch, imop) ));
85e6fe83 3088
70f5e4ed
JH		 3089 /* The "did you use incorrect case?" warning used to be here.
3090 * The problem is that on case-insensitive filesystems one
3091 * might get false positives for "use" (and "require"):
3092 * "use Strict" or "require CARP" will work. This causes
3093 * portability problems for the script: in case-strict
3094 * filesystems the script will stop working.
3095 *
3096 * The "incorrect case" warning checked whether "use Foo"
3097 * imported "Foo" to your namespace, but that is wrong, too:
3098 * there is no requirement nor promise in the language that
3099 * a Foo.pm should or would contain anything in package "Foo".
3100 *
3101 * There is very little Configure-wise that can be done, either:
3102 * the case-sensitivity of the build filesystem of Perl does not
3103 * help in guessing the case-sensitivity of the runtime environment.
3104 */
18fc9488 3105
c305c6a0 3106 PL_hints |= HINT_BLOCK_SCOPE;
3280af22
NIS		 3107 PL_copline = NOLINE;
3108 PL_expect = XSTATE;
8ec8fbef 3109 PL_cop_seqmax++; /* Purely for B::*'s benefit */
85e6fe83
LW		 3110}
3111
7d3fb230 3112/*
ccfc67b7
JH		 3113=head1 Embedding Functions
3114
7d3fb230
BS		 3115=for apidoc load_module
3116
3117Loads the module whose name is pointed to by the string part of name.
3118Note that the actual module name, not its filename, should be given.
3119Eg, "Foo::Bar" instead of "Foo/Bar.pm". flags can be any of
3120PERL_LOADMOD_DENY, PERL_LOADMOD_NOIMPORT, or PERL_LOADMOD_IMPORT_OPS
3121(or 0 for no flags). ver, if specified, provides version semantics
3122similar to C<use Foo::Bar VERSION>. The optional trailing SV*
3123arguments can be used to specify arguments to the module's import()
3124method, similar to C<use Foo::Bar VERSION LIST>.
3125
3126=cut */
3127
e4783991
GS		 3128void
3129Perl_load_module(pTHX_ U32 flags, SV *name, SV *ver, ...)
3130{
3131 va_list args;
3132 va_start(args, ver);
3133 vload_module(flags, name, ver, &args);
3134 va_end(args);
3135}
3136
3137#ifdef PERL_IMPLICIT_CONTEXT
3138void
3139Perl_load_module_nocontext(U32 flags, SV *name, SV *ver, ...)
3140{
3141 dTHX;
3142 va_list args;
3143 va_start(args, ver);
3144 vload_module(flags, name, ver, &args);
3145 va_end(args);
3146}
3147#endif
3148
3149void
3150Perl_vload_module(pTHX_ U32 flags, SV *name, SV *ver, va_list *args)
3151{
3152 OP *modname, *veop, *imop;
3153
3154 modname = newSVOP(OP_CONST, 0, name);
3155 modname->op_private |= OPpCONST_BARE;
3156 if (ver) {
3157 veop = newSVOP(OP_CONST, 0, ver);
3158 }
3159 else
3160 veop = Nullop;
3161 if (flags & PERL_LOADMOD_NOIMPORT) {
3162 imop = sawparens(newNULLLIST());
3163 }
3164 else if (flags & PERL_LOADMOD_IMPORT_OPS) {
3165 imop = va_arg(*args, OP*);
3166 }
3167 else {
3168 SV *sv;
3169 imop = Nullop;
3170 sv = va_arg(*args, SV*);
3171 while (sv) {
3172 imop = append_elem(OP_LIST, imop, newSVOP(OP_CONST, 0, sv));
3173 sv = va_arg(*args, SV*);
3174 }
3175 }
81885997 3176 {
6867be6d
AL		 3177 const line_t ocopline = PL_copline;
3178 COP * const ocurcop = PL_curcop;
3179 const int oexpect = PL_expect;
81885997
GS		 3180
3181 utilize(!(flags & PERL_LOADMOD_DENY), start_subparse(FALSE, 0),
3182 veop, modname, imop);
3183 PL_expect = oexpect;
3184 PL_copline = ocopline;
834a3ffa 3185 PL_curcop = ocurcop;
81885997 3186 }
e4783991
GS		 3187}
3188
79072805 3189OP *
850e8516 3190Perl_dofile(pTHX_ OP *term, I32 force_builtin)
78ca652e
GS		 3191{
3192 OP *doop;
850e8516 3193 GV *gv = Nullgv;
78ca652e 3194
850e8516
RGS		 3195 if (!force_builtin) {
3196 gv = gv_fetchpv("do", FALSE, SVt_PVCV);
3197 if (!(gv && GvCVu(gv) && GvIMPORTED_CV(gv))) {
3198 GV **gvp = (GV**)hv_fetch(PL_globalstash, "do", 2, FALSE);
3199 if (gvp) gv = *gvp; else gv = Nullgv;
3200 }
3201 }
78ca652e 3202
b9f751c0 3203 if (gv && GvCVu(gv) && GvIMPORTED_CV(gv)) {
78ca652e
GS		 3204 doop = ck_subr(newUNOP(OP_ENTERSUB, OPf_STACKED,
3205 append_elem(OP_LIST, term,
3206 scalar(newUNOP(OP_RV2CV, 0,
3207 newGVOP(OP_GV, 0,
3208 gv))))));
3209 }
3210 else {
3211 doop = newUNOP(OP_DOFILE, 0, scalar(term));
3212 }
3213 return doop;
3214}
3215
3216OP *
864dbfa3 3217Perl_newSLICEOP(pTHX_ I32 flags, OP *subscript, OP *listval)
79072805
LW		 3218{
3219 return newBINOP(OP_LSLICE, flags,
8990e307
LW		 3220 list(force_list(subscript)),
3221 list(force_list(listval)) );
79072805
LW		 3222}
3223
76e3520e 3224STATIC I32
504618e9 3225S_is_list_assignment(pTHX_ register const OP *o)
79072805 3226{
11343788 3227 if (!o)
79072805
LW		 3228 return TRUE;
3229
11343788
MB		 3230 if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
3231 o = cUNOPo->op_first;
79072805 3232
11343788 3233 if (o->op_type == OP_COND_EXPR) {
504618e9
AL		 3234 const I32 t = is_list_assignment(cLOGOPo->op_first->op_sibling);
3235 const I32 f = is_list_assignment(cLOGOPo->op_first->op_sibling->op_sibling);
79072805
LW		 3236
3237 if (t && f)
3238 return TRUE;
3239 if (t || f)
3240 yyerror("Assignment to both a list and a scalar");
3241 return FALSE;
3242 }
3243
95f0a2f1
SB		 3244 if (o->op_type == OP_LIST &&
3245 (o->op_flags & OPf_WANT) == OPf_WANT_SCALAR &&
3246 o->op_private & OPpLVAL_INTRO)
3247 return FALSE;
3248
11343788
MB		 3249 if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
3250 o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
3251 o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
79072805
LW		 3252 return TRUE;
3253
11343788 3254 if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
93a17b20
LW		 3255 return TRUE;
3256
11343788 3257 if (o->op_type == OP_RV2SV)
79072805
LW		 3258 return FALSE;
3259
3260 return FALSE;
3261}
3262
3263OP *
864dbfa3 3264Perl_newASSIGNOP(pTHX_ I32 flags, OP *left, I32 optype, OP *right)
79072805 3265{
11343788 3266 OP *o;
79072805 3267
a0d0e21e 3268 if (optype) {
c963b151 3269 if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN || optype == OP_DORASSIGN) {
a0d0e21e
LW		 3270 return newLOGOP(optype, 0,
3271 mod(scalar(left), optype),
3272 newUNOP(OP_SASSIGN, 0, scalar(right)));
3273 }
3274 else {
3275 return newBINOP(optype, OPf_STACKED,
3276 mod(scalar(left), optype), scalar(right));
3277 }
3278 }
3279
504618e9 3280 if (is_list_assignment(left)) {
10c8fecd
GS		 3281 OP *curop;
3282
3280af22 3283 PL_modcount = 0;
dbfe47cf
RD		 3284 /* Grandfathering $[ assignment here. Bletch.*/
3285 /* Only simple assignments like C<< ($[) = 1 >> are allowed */
3286 PL_eval_start = (left->op_type == OP_CONST) ? right : 0;
463ee0b2 3287 left = mod(left, OP_AASSIGN);
3280af22
NIS		 3288 if (PL_eval_start)
3289 PL_eval_start = 0;
dbfe47cf
RD		 3290 else if (left->op_type == OP_CONST) {
3291 /* Result of assignment is always 1 (or we'd be dead already) */
3292 return newSVOP(OP_CONST, 0, newSViv(1));
a0d0e21e 3293 }
b9d46b39
RGS		 3294 /* optimise C<my @x = ()> to C<my @x>, and likewise for hashes */
3295 if ((left->op_type == OP_PADAV || left->op_type == OP_PADHV)
3296 && right->op_type == OP_STUB
3297 && (left->op_private & OPpLVAL_INTRO))
3298 {
3299 op_free(right);
9ff53bc9 3300 left->op_flags &= ~(OPf_REF|OPf_SPECIAL);
b9d46b39
RGS		 3301 return left;
3302 }
10c8fecd
GS		 3303 curop = list(force_list(left));
3304 o = newBINOP(OP_AASSIGN, flags, list(force_list(right)), curop);
eb160463 3305 o->op_private = (U8)(0 | (flags >> 8));
dd2155a4
DM		 3306
3307 /* PL_generation sorcery:
3308 * an assignment like ($a,$b) = ($c,$d) is easier than
3309 * ($a,$b) = ($c,$a), since there is no need for temporary vars.
3310 * To detect whether there are common vars, the global var
3311 * PL_generation is incremented for each assign op we compile.
3312 * Then, while compiling the assign op, we run through all the
3313 * variables on both sides of the assignment, setting a spare slot
3314 * in each of them to PL_generation. If any of them already have
3315 * that value, we know we've got commonality. We could use a
3316 * single bit marker, but then we'd have to make 2 passes, first
3317 * to clear the flag, then to test and set it. To find somewhere
3318 * to store these values, evil chicanery is done with SvCUR().
3319 */
3320
a0d0e21e 3321 if (!(left->op_private & OPpLVAL_INTRO)) {
11343788 3322 OP *lastop = o;
3280af22 3323 PL_generation++;
11343788 3324 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
22c35a8c 3325 if (PL_opargs[curop->op_type] & OA_DANGEROUS) {
79072805 3326 if (curop->op_type == OP_GV) {
638eceb6 3327 GV *gv = cGVOPx_gv(curop);
eb160463 3328 if (gv == PL_defgv || (int)SvCUR(gv) == PL_generation)
79072805 3329 break;
b162af07 3330 SvCUR_set(gv, PL_generation);
79072805 3331 }
748a9306
LW		 3332 else if (curop->op_type == OP_PADSV ||
3333 curop->op_type == OP_PADAV ||
3334 curop->op_type == OP_PADHV ||
dd2155a4
DM		 3335 curop->op_type == OP_PADANY)
3336 {
3337 if (PAD_COMPNAME_GEN(curop->op_targ)
92251a1e 3338 == (STRLEN)PL_generation)
748a9306 3339 break;
b162af07 3340 PAD_COMPNAME_GEN_set(curop->op_targ, PL_generation);
dd2155a4 3341
748a9306 3342 }
79072805
LW		 3343 else if (curop->op_type == OP_RV2CV)
3344 break;
3345 else if (curop->op_type == OP_RV2SV ||
3346 curop->op_type == OP_RV2AV ||
3347 curop->op_type == OP_RV2HV ||
3348 curop->op_type == OP_RV2GV) {
3349 if (lastop->op_type != OP_GV) /* funny deref? */
3350 break;
3351 }
1167e5da
SM		 3352 else if (curop->op_type == OP_PUSHRE) {
3353 if (((PMOP*)curop)->op_pmreplroot) {
b3f5893f 3354#ifdef USE_ITHREADS
dd2155a4
DM		 3355 GV *gv = (GV*)PAD_SVl(INT2PTR(PADOFFSET,
3356 ((PMOP*)curop)->op_pmreplroot));
b3f5893f 3357#else
1167e5da 3358 GV *gv = (GV*)((PMOP*)curop)->op_pmreplroot;
b3f5893f 3359#endif
eb160463 3360 if (gv == PL_defgv || (int)SvCUR(gv) == PL_generation)
1167e5da 3361 break;
b162af07 3362 SvCUR_set(gv, PL_generation);
b2ffa427 3363 }
1167e5da 3364 }
79072805
LW		 3365 else
3366 break;
3367 }
3368 lastop = curop;
3369 }
11343788 3370 if (curop != o)
10c8fecd 3371 o->op_private |= OPpASSIGN_COMMON;
79072805 3372 }
c07a80fd 3373 if (right && right->op_type == OP_SPLIT) {
3374 OP* tmpop;
3375 if ((tmpop = ((LISTOP*)right)->op_first) &&
3376 tmpop->op_type == OP_PUSHRE)
3377 {
3378 PMOP *pm = (PMOP*)tmpop;
3379 if (left->op_type == OP_RV2AV &&
3380 !(left->op_private & OPpLVAL_INTRO) &&
11343788 3381 !(o->op_private & OPpASSIGN_COMMON) )
c07a80fd 3382 {
3383 tmpop = ((UNOP*)left)->op_first;
3384 if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
971a9dd3 3385#ifdef USE_ITHREADS
ba89bb6e 3386 pm->op_pmreplroot = INT2PTR(OP*, cPADOPx(tmpop)->op_padix);
971a9dd3
GS		 3387 cPADOPx(tmpop)->op_padix = 0; /* steal it */
3388#else
3389 pm->op_pmreplroot = (OP*)cSVOPx(tmpop)->op_sv;
3390 cSVOPx(tmpop)->op_sv = Nullsv; /* steal it */
3391#endif
c07a80fd 3392 pm->op_pmflags |= PMf_ONCE;
11343788 3393 tmpop = cUNOPo->op_first; /* to list (nulled) */
c07a80fd 3394 tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
3395 tmpop->op_sibling = Nullop; /* don't free split */
3396 right->op_next = tmpop->op_next; /* fix starting loc */
11343788 3397 op_free(o); /* blow off assign */
54310121 3398 right->op_flags &= ~OPf_WANT;
a5f75d66 3399 /* "I don't know and I don't care." */
c07a80fd 3400 return right;
3401 }
3402 }
3403 else {
e6438c1a 3404 if (PL_modcount < RETURN_UNLIMITED_NUMBER &&
c07a80fd 3405 ((LISTOP*)right)->op_last->op_type == OP_CONST)
3406 {
3407 SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
3408 if (SvIVX(sv) == 0)
3280af22 3409 sv_setiv(sv, PL_modcount+1);
c07a80fd 3410 }
3411 }
3412 }
3413 }
11343788 3414 return o;
79072805
LW		 3415 }
3416 if (!right)
3417 right = newOP(OP_UNDEF, 0);
3418 if (right->op_type == OP_READLINE) {
3419 right->op_flags |= OPf_STACKED;
463ee0b2 3420 return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
79072805 3421 }
a0d0e21e 3422 else {
3280af22 3423 PL_eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
11343788 3424 o = newBINOP(OP_SASSIGN, flags,
463ee0b2 3425 scalar(right), mod(scalar(left), OP_SASSIGN) );
3280af22
NIS		 3426 if (PL_eval_start)
3427 PL_eval_start = 0;
748a9306 3428 else {
dbfe47cf 3429 o = newSVOP(OP_CONST, 0, newSViv(PL_compiling.cop_arybase));
a0d0e21e
LW		 3430 }
3431 }
11343788 3432 return o;
79072805
LW		 3433}
3434
3435OP *
864dbfa3 3436Perl_newSTATEOP(pTHX_ I32 flags, char *label, OP *o)
79072805 3437{
27da23d5 3438 dVAR;
e1ec3a88 3439 const U32 seq = intro_my();
79072805
LW		 3440 register COP *cop;
3441
b7dc083c 3442 NewOp(1101, cop, 1, COP);
57843af0 3443 if (PERLDB_LINE && CopLINE(PL_curcop) && PL_curstash != PL_debstash) {
8990e307 3444 cop->op_type = OP_DBSTATE;
22c35a8c 3445 cop->op_ppaddr = PL_ppaddr[ OP_DBSTATE ];
8990e307
LW		 3446 }
3447 else {
3448 cop->op_type = OP_NEXTSTATE;
22c35a8c 3449 cop->op_ppaddr = PL_ppaddr[ OP_NEXTSTATE ];
8990e307 3450 }
eb160463
GS		 3451 cop->op_flags = (U8)flags;
3452 cop->op_private = (U8)(PL_hints & HINT_PRIVATE_MASK);
ff0cee69 3453#ifdef NATIVE_HINTS
3454 cop->op_private |= NATIVE_HINTS;
3455#endif
e24b16f9 3456 PL_compiling.op_private = cop->op_private;
79072805
LW		 3457 cop->op_next = (OP*)cop;
3458
463ee0b2
LW		 3459 if (label) {
3460 cop->cop_label = label;
3280af22 3461 PL_hints |= HINT_BLOCK_SCOPE;
463ee0b2 3462 }
bbce6d69 3463 cop->cop_seq = seq;
3280af22 3464 cop->cop_arybase = PL_curcop->cop_arybase;
0453d815 3465 if (specialWARN(PL_curcop->cop_warnings))
599cee73 3466 cop->cop_warnings = PL_curcop->cop_warnings ;
1c846c1f 3467 else
599cee73 3468 cop->cop_warnings = newSVsv(PL_curcop->cop_warnings) ;
ac27b0f5
NIS		 3469 if (specialCopIO(PL_curcop->cop_io))
3470 cop->cop_io = PL_curcop->cop_io;
3471 else
3472 cop->cop_io = newSVsv(PL_curcop->cop_io) ;
599cee73 3473
79072805 3474
3280af22 3475 if (PL_copline == NOLINE)
57843af0 3476 CopLINE_set(cop, CopLINE(PL_curcop));
79072805 3477 else {
57843af0 3478 CopLINE_set(cop, PL_copline);
3280af22 3479 PL_copline = NOLINE;
79072805 3480 }
57843af0 3481#ifdef USE_ITHREADS
f4dd75d9 3482 CopFILE_set(cop, CopFILE(PL_curcop)); /* XXX share in a pvtable? */
57843af0 3483#else
f4dd75d9 3484 CopFILEGV_set(cop, CopFILEGV(PL_curcop));
57843af0 3485#endif
11faa288 3486 CopSTASH_set(cop, PL_curstash);
79072805 3487
3280af22 3488 if (PERLDB_LINE && PL_curstash != PL_debstash) {
2d03de9c
AL		 3489 SV ** const svp = av_fetch(CopFILEAV(PL_curcop), (I32)CopLINE(cop), FALSE);
3490 if (svp && *svp != &PL_sv_undef ) {
3491 (void)SvIOK_on(*svp);
45977657 3492 SvIV_set(*svp, PTR2IV(cop));
1eb1540c 3493 }
93a17b20
LW		 3494 }
3495
722969e2 3496 return prepend_elem(OP_LINESEQ, (OP*)cop, o);
79072805
LW		 3497}
3498
bbce6d69 3499
79072805 3500OP *
864dbfa3 3501Perl_newLOGOP(pTHX_ I32 type, I32 flags, OP *first, OP *other)
79072805 3502{
27da23d5 3503 dVAR;
883ffac3
CS		 3504 return new_logop(type, flags, &first, &other);
3505}
3506
3bd495df 3507STATIC OP *
cea2e8a9 3508S_new_logop(pTHX_ I32 type, I32 flags, OP** firstp, OP** otherp)
883ffac3 3509{
27da23d5 3510 dVAR;
79072805 3511 LOGOP *logop;