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