This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
https://perl5.git.perl.org / perl5.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Add avhv_store_ent. Add missing avhv_* to global.sym.
[perl5.git] / op.c
<
CommitLineData
a0d0e21e 1/* op.c
79072805 2 *
9607fc9c 3 * Copyright (c) 1991-1997, Larry Wall
79072805
LW		 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 *
a0d0e21e
LW		 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
79072805
LW		 16 */
17
18#include "EXTERN.h"
19#include "perl.h"
20
c07a80fd 21#define USE_OP_MASK /* Turned on by default in 5.002beta1h */
22
e50aee73
AD		 23#ifdef USE_OP_MASK
24/*
25 * In the following definition, the ", (OP *) op" is just to make the compiler
a5f75d66 26 * think the expression is of the right type: croak actually does a Siglongjmp.
e50aee73 27 */
c07a80fd 28#define CHECKOP(type,op) \
28757baa 29 ((op_mask && op_mask[type]) \
30 ? ( op_free((OP*)op), \
31 croak("%s trapped by operation mask", op_desc[type]), \
32 Nullop ) \
c07a80fd 33 : (*check[type])((OP*)op))
e50aee73
AD		 34#else
35#define CHECKOP(type,op) (*check[type])(op)
36#endif /* USE_OP_MASK */
37
a0d0e21e 38static I32 list_assignment _((OP *op));
4633a7c4 39static OP *bad_type _((I32 n, char *t, char *name, OP *kid));
a0d0e21e
LW		 40static OP *modkids _((OP *op, I32 type));
41static OP *no_fh_allowed _((OP *op));
3fe9a6f1 42static bool scalar_mod_type _((OP *op, I32 type));
a0d0e21e 43static OP *scalarboolean _((OP *op));
4633a7c4
LW		 44static OP *too_few_arguments _((OP *op, char* name));
45static OP *too_many_arguments _((OP *op, char* name));
a0d0e21e 46static void null _((OP* op));
bbce6d69 47static PADOFFSET pad_findlex _((char* name, PADOFFSET newoff, U32 seq,
748a9306 48 CV* startcv, I32 cx_ix));
79072805 49
4633a7c4 50static char*
46fc3d4c 51gv_ename(gv)
52GV* gv;
4633a7c4
LW		 53{
54 SV* tmpsv = sv_newmortal();
46fc3d4c 55 gv_efullname3(tmpsv, gv, Nullch);
4633a7c4
LW		 56 return SvPV(tmpsv,na);
57}
58
8990e307 59static OP *
79072805
LW		 60no_fh_allowed(op)
61OP *op;
62{
46fc3d4c 63 yyerror(form("Missing comma after first argument to %s function",
64 op_desc[op->op_type]));
79072805
LW		 65 return op;
66}
67
8990e307 68static OP *
4633a7c4
LW		 69too_few_arguments(op, name)
70OP* op;
71char* name;
79072805 72{
46fc3d4c 73 yyerror(form("Not enough arguments for %s", name));
79072805
LW		 74 return op;
75}
76
8990e307 77static OP *
4633a7c4 78too_many_arguments(op, name)
79072805 79OP *op;
4633a7c4 80char* name;
79072805 81{
46fc3d4c 82 yyerror(form("Too many arguments for %s", name));
79072805
LW		 83 return op;
84}
85
8990e307 86static OP *
4633a7c4 87bad_type(n, t, name, kid)
8990e307
LW		 88I32 n;
89char *t;
4633a7c4 90char *name;
8990e307
LW		 91OP *kid;
92{
46fc3d4c 93 yyerror(form("Type of arg %d to %s must be %s (not %s)",
94 (int)n, name, t, op_desc[kid->op_type]));
8990e307
LW		 95 return op;
96}
97
a0d0e21e
LW		 98void
99assertref(op)
100OP *op;
101{
102 int type = op->op_type;
103 if (type != OP_AELEM && type != OP_HELEM) {
46fc3d4c 104 yyerror(form("Can't use subscript on %s", op_desc[type]));
8ebc5c01 105 if (type == OP_ENTERSUB || type == OP_RV2HV || type == OP_PADHV)
748a9306 106 warn("(Did you mean $ or @ instead of %c?)\n",
8ebc5c01 107 type == OP_ENTERSUB ? '&' : '%');
a0d0e21e
LW		 108 }
109}
110
79072805
LW		 111/* "register" allocation */
112
113PADOFFSET
93a17b20
LW		 114pad_allocmy(name)
115char *name;
116{
a0d0e21e
LW		 117 PADOFFSET off;
118 SV *sv;
119
120 if (!(isALPHA(name[1]) || name[1] == '_' && (int)strlen(name) > 2)) {
46fc3d4c 121 if (!isPRINT(name[1])) {
122 name[3] = '\0';
123 name[2] = toCTRL(name[1]);
124 name[1] = '^';
125 }
a0d0e21e
LW		 126 croak("Can't use global %s in \"my\"",name);
127 }
b1cb66bf 128 if (AvFILL(comppad_name) >= 0) {
129 SV **svp = AvARRAY(comppad_name);
130 for (off = AvFILL(comppad_name); off > comppad_name_floor; off--) {
131 if ((sv = svp[off])
132 && sv != &sv_undef
133 && SvIVX(sv) == 999999999 /* var is in open scope */
134 && strEQ(name, SvPVX(sv)))
135 {
136 warn("\"my\" variable %s masks earlier declaration in same scope", name);
137 break;
138 }
139 }
140 }
a0d0e21e
LW		 141 off = pad_alloc(OP_PADSV, SVs_PADMY);
142 sv = NEWSV(1102,0);
93a17b20
LW		 143 sv_upgrade(sv, SVt_PVNV);
144 sv_setpv(sv, name);
c750a3ec
MB		 145 if (in_my_stash) {
146 if (*name != '$')
147 croak("Can't declare class for non-scalar %s in \"my\"",name);
148 SvOBJECT_on(sv);
149 (void)SvUPGRADE(sv, SVt_PVMG);
150 SvSTASH(sv) = (HV*)SvREFCNT_inc(in_my_stash);
151 sv_objcount++;
152 }
8990e307 153 av_store(comppad_name, off, sv);
748a9306 154 SvNVX(sv) = (double)999999999;
8990e307
LW		 155 SvIVX(sv) = 0; /* Not yet introduced--see newSTATEOP */
156 if (!min_intro_pending)
157 min_intro_pending = off;
158 max_intro_pending = off;
93a17b20 159 if (*name == '@')
463ee0b2 160 av_store(comppad, off, (SV*)newAV());
93a17b20 161 else if (*name == '%')
463ee0b2 162 av_store(comppad, off, (SV*)newHV());
ed6116ce 163 SvPADMY_on(curpad[off]);
93a17b20
LW		 164 return off;
165}
166
748a9306 167static PADOFFSET
e9a444f0 168#ifndef CAN_PROTOTYPE
748a9306 169pad_findlex(name, newoff, seq, startcv, cx_ix)
93a17b20 170char *name;
748a9306 171PADOFFSET newoff;
bbce6d69 172U32 seq;
748a9306
LW		 173CV* startcv;
174I32 cx_ix;
e9a444f0 175#else
bbce6d69 176pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
e9a444f0 177#endif
93a17b20 178{
748a9306 179 CV *cv;
93a17b20
LW		 180 I32 off;
181 SV *sv;
93a17b20
LW		 182 register I32 i;
183 register CONTEXT *cx;
a0d0e21e 184 int saweval;
93a17b20 185
748a9306 186 for (cv = startcv; cv; cv = CvOUTSIDE(cv)) {
4fdae800 187 AV *curlist = CvPADLIST(cv);
188 SV **svp = av_fetch(curlist, 0, FALSE);
748a9306 189 AV *curname;
4fdae800 190
748a9306 191 if (!svp || *svp == &sv_undef)
4633a7c4 192 continue;
748a9306
LW		 193 curname = (AV*)*svp;
194 svp = AvARRAY(curname);
195 for (off = AvFILL(curname); off > 0; off--) {
196 if ((sv = svp[off]) &&
197 sv != &sv_undef &&
198 seq <= SvIVX(sv) &&
13826f2c 199 seq > I_32(SvNVX(sv)) &&
748a9306
LW		 200 strEQ(SvPVX(sv), name))
201 {
5f05dabc 202 I32 depth;
203 AV *oldpad;
204 SV *oldsv;
205
206 depth = CvDEPTH(cv);
207 if (!depth) {
9607fc9c 208 if (newoff) {
209 if (SvFAKE(sv))
210 continue;
4fdae800 211 return 0; /* don't clone from inactive stack frame */
9607fc9c 212 }
5f05dabc 213 depth = 1;
214 }
215 oldpad = (AV*)*av_fetch(curlist, depth, FALSE);
216 oldsv = *av_fetch(oldpad, off, TRUE);
748a9306 217 if (!newoff) { /* Not a mere clone operation. */
9607fc9c 218 SV *namesv = NEWSV(1103,0);
748a9306 219 newoff = pad_alloc(OP_PADSV, SVs_PADMY);
9607fc9c 220 sv_upgrade(namesv, SVt_PVNV);
221 sv_setpv(namesv, name);
222 av_store(comppad_name, newoff, namesv);
223 SvNVX(namesv) = (double)curcop->cop_seq;
224 SvIVX(namesv) = 999999999; /* A ref, intro immediately */
225 SvFAKE_on(namesv); /* A ref, not a real var */
774d564b 226 if (CvANON(compcv) || SvTYPE(compcv) == SVt_PVFM) {
28757baa 227 /* "It's closures all the way down." */
228 CvCLONE_on(compcv);
54310121 229 if (cv == startcv) {
230 if (CvANON(compcv))
231 oldsv = Nullsv; /* no need to keep ref */
232 }
233 else {
28757baa 234 CV *bcv;
235 for (bcv = startcv;
236 bcv && bcv != cv && !CvCLONE(bcv);
237 bcv = CvOUTSIDE(bcv)) {
238 if (CvANON(bcv))
239 CvCLONE_on(bcv);
240 else {
774d564b 241 if (dowarn && !CvUNIQUE(cv))
44a8e56a 242 warn(
243 "Variable \"%s\" may be unavailable",
28757baa 244 name);
245 break;
246 }
247 }
248 }
249 }
44a8e56a 250 else if (!CvUNIQUE(compcv)) {
9607fc9c 251 if (dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
44a8e56a 252 warn("Variable \"%s\" will not stay shared", name);
5f05dabc 253 }
748a9306
LW		 254 }
255 av_store(comppad, newoff, SvREFCNT_inc(oldsv));
748a9306
LW		 256 return newoff;
257 }
93a17b20
LW		 258 }
259 }
260
261 /* Nothing in current lexical context--try eval's context, if any.
262 * This is necessary to let the perldb get at lexically scoped variables.
263 * XXX This will also probably interact badly with eval tree caching.
264 */
265
a0d0e21e 266 saweval = 0;
748a9306 267 for (i = cx_ix; i >= 0; i--) {
93a17b20
LW		 268 cx = &cxstack[i];
269 switch (cx->cx_type) {
270 default:
748a9306
LW		 271 if (i == 0 && saweval) {
272 seq = cxstack[saweval].blk_oldcop->cop_seq;
273 return pad_findlex(name, newoff, seq, main_cv, 0);
274 }
93a17b20
LW		 275 break;
276 case CXt_EVAL:
44a8e56a 277 switch (cx->blk_eval.old_op_type) {
278 case OP_ENTEREVAL:
279 saweval = i;
280 break;
281 case OP_REQUIRE:
282 /* require must have its own scope */
283 return 0;
284 }
93a17b20
LW		 285 break;
286 case CXt_SUB:
287 if (!saweval)
288 return 0;
289 cv = cx->blk_sub.cv;
748a9306
LW		 290 if (debstash && CvSTASH(cv) == debstash) { /* ignore DB'* scope */
291 saweval = i; /* so we know where we were called from */
93a17b20 292 continue;
93a17b20 293 }
748a9306
LW		 294 seq = cxstack[saweval].blk_oldcop->cop_seq;
295 return pad_findlex(name, newoff, seq, cv, i-1);
93a17b20
LW		 296 }
297 }
298
748a9306
LW		 299 return 0;
300}
a0d0e21e 301
748a9306
LW		 302PADOFFSET
303pad_findmy(name)
304char *name;
305{
306 I32 off;
54310121 307 I32 pendoff = 0;
748a9306
LW		 308 SV *sv;
309 SV **svp = AvARRAY(comppad_name);
bbce6d69 310 U32 seq = cop_seqmax;
748a9306
LW		 311
312 /* The one we're looking for is probably just before comppad_name_fill. */
4633a7c4 313 for (off = AvFILL(comppad_name); off > 0; off--) {
a0d0e21e
LW		 314 if ((sv = svp[off]) &&
315 sv != &sv_undef &&
54310121 316 (!SvIVX(sv) ||
317 (seq <= SvIVX(sv) &&
318 seq > I_32(SvNVX(sv)))) &&
a0d0e21e
LW		 319 strEQ(SvPVX(sv), name))
320 {
54310121 321 if (SvIVX(sv))
322 return (PADOFFSET)off;
323 pendoff = off; /* this pending def. will override import */
a0d0e21e
LW		 324 }
325 }
748a9306
LW		 326
327 /* See if it's in a nested scope */
328 off = pad_findlex(name, 0, seq, CvOUTSIDE(compcv), cxstack_ix);
54310121 329 if (off) {
330 /* If there is a pending local definition, this new alias must die */
331 if (pendoff)
332 SvIVX(AvARRAY(comppad_name)[off]) = seq;
748a9306 333 return off;
54310121 334 }
748a9306 335
93a17b20
LW		 336 return 0;
337}
338
339void
340pad_leavemy(fill)
341I32 fill;
342{
343 I32 off;
8990e307 344 SV **svp = AvARRAY(comppad_name);
93a17b20 345 SV *sv;
8990e307
LW		 346 if (min_intro_pending && fill < min_intro_pending) {
347 for (off = max_intro_pending; off >= min_intro_pending; off--) {
a0d0e21e 348 if ((sv = svp[off]) && sv != &sv_undef)
8990e307
LW		 349 warn("%s never introduced", SvPVX(sv));
350 }
351 }
352 /* "Deintroduce" my variables that are leaving with this scope. */
353 for (off = AvFILL(comppad_name); off > fill; off--) {
748a9306 354 if ((sv = svp[off]) && sv != &sv_undef && SvIVX(sv) == 999999999)
463ee0b2 355 SvIVX(sv) = cop_seqmax;
93a17b20
LW		 356 }
357}
358
359PADOFFSET
79072805
LW		 360pad_alloc(optype,tmptype)
361I32 optype;
ed6116ce 362U32 tmptype;
79072805
LW		 363{
364 SV *sv;
365 I32 retval;
366
367 if (AvARRAY(comppad) != curpad)
463ee0b2 368 croak("panic: pad_alloc");
a0d0e21e
LW		 369 if (pad_reset_pending)
370 pad_reset();
ed6116ce 371 if (tmptype & SVs_PADMY) {
79072805
LW		 372 do {
373 sv = *av_fetch(comppad, AvFILL(comppad) + 1, TRUE);
ed6116ce 374 } while (SvPADBUSY(sv)); /* need a fresh one */
79072805
LW		 375 retval = AvFILL(comppad);
376 }
377 else {
bbce6d69 378 SV **names = AvARRAY(comppad_name);
379 SSize_t names_fill = AvFILL(comppad_name);
380 for (;;) {
381 /*
382 * "foreach" index vars temporarily become aliases to non-"my"
383 * values. Thus we must skip, not just pad values that are
384 * marked as current pad values, but also those with names.
385 */
386 if (++padix <= names_fill &&
387 (sv = names[padix]) && sv != &sv_undef)
388 continue;
389 sv = *av_fetch(comppad, padix, TRUE);
390 if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)))
391 break;
392 }
79072805
LW		 393 retval = padix;
394 }
8990e307 395 SvFLAGS(sv) |= tmptype;
79072805 396 curpad = AvARRAY(comppad);
760ac839 397 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad alloc %ld for %s\n", (long) retval, op_name[optype]));
79072805
LW		 398 return (PADOFFSET)retval;
399}
400
401SV *
a0d0e21e 402#ifndef CAN_PROTOTYPE
79072805
LW		 403pad_sv(po)
404PADOFFSET po;
8990e307
LW		 405#else
406pad_sv(PADOFFSET po)
a0d0e21e 407#endif /* CAN_PROTOTYPE */
79072805
LW		 408{
409 if (!po)
463ee0b2 410 croak("panic: pad_sv po");
68dc0745 411 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad sv %lu\n", (unsigned long)po));
79072805
LW		 412 return curpad[po]; /* eventually we'll turn this into a macro */
413}
414
415void
a0d0e21e 416#ifndef CAN_PROTOTYPE
79072805
LW		 417pad_free(po)
418PADOFFSET po;
8990e307
LW		 419#else
420pad_free(PADOFFSET po)
a0d0e21e 421#endif /* CAN_PROTOTYPE */
79072805 422{
a0d0e21e
LW		 423 if (!curpad)
424 return;
79072805 425 if (AvARRAY(comppad) != curpad)
463ee0b2 426 croak("panic: pad_free curpad");
79072805 427 if (!po)
463ee0b2 428 croak("panic: pad_free po");
68dc0745 429 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad free %lu\n", (unsigned long)po));
ff0cee69 430 if (curpad[po] && !SvIMMORTAL(curpad[po]))
ed6116ce 431 SvPADTMP_off(curpad[po]);
a0d0e21e 432 if ((I32)po < padix)
79072805
LW		 433 padix = po - 1;
434}
435
436void
a0d0e21e 437#ifndef CAN_PROTOTYPE
79072805
LW		 438pad_swipe(po)
439PADOFFSET po;
8990e307
LW		 440#else
441pad_swipe(PADOFFSET po)
a0d0e21e 442#endif /* CAN_PROTOTYPE */
79072805
LW		 443{
444 if (AvARRAY(comppad) != curpad)
463ee0b2 445 croak("panic: pad_swipe curpad");
79072805 446 if (!po)
463ee0b2 447 croak("panic: pad_swipe po");
68dc0745 448 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad swipe %lu\n", (unsigned long)po));
ed6116ce 449 SvPADTMP_off(curpad[po]);
a0d0e21e
LW		 450 curpad[po] = NEWSV(1107,0);
451 SvPADTMP_on(curpad[po]);
452 if ((I32)po < padix)
79072805
LW		 453 padix = po - 1;
454}
455
456void
457pad_reset()
458{
459 register I32 po;
460
461 if (AvARRAY(comppad) != curpad)
463ee0b2 462 croak("panic: pad_reset curpad");
760ac839 463 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad reset\n"));
748a9306
LW		 464 if (!tainting) { /* Can't mix tainted and non-tainted temporaries. */
465 for (po = AvMAX(comppad); po > padix_floor; po--) {
ff0cee69 466 if (curpad[po] && !SvIMMORTAL(curpad[po]))
748a9306
LW		 467 SvPADTMP_off(curpad[po]);
468 }
469 padix = padix_floor;
79072805 470 }
a0d0e21e 471 pad_reset_pending = FALSE;
79072805
LW		 472}
473
474/* Destructor */
475
476void
477op_free(op)
478OP *op;
479{
85e6fe83 480 register OP *kid, *nextkid;
79072805 481
b1cb66bf 482 if (!op || op->op_seq == (U16)-1)
79072805
LW		 483 return;
484
485 if (op->op_flags & OPf_KIDS) {
85e6fe83
LW		 486 for (kid = cUNOP->op_first; kid; kid = nextkid) {
487 nextkid = kid->op_sibling; /* Get before next freeing kid */
79072805 488 op_free(kid);
85e6fe83 489 }
79072805
LW		 490 }
491
79072805 492 switch (op->op_type) {
8990e307
LW		 493 case OP_NULL:
494 op->op_targ = 0; /* Was holding old type, if any. */
495 break;
a0d0e21e
LW		 496 case OP_ENTEREVAL:
497 op->op_targ = 0; /* Was holding hints. */
498 break;
a6006777 499 default:
500 if (!(op->op_flags & OPf_REF) || (check[op->op_type] != ck_ftst))
501 break;
502 /* FALL THROUGH */
463ee0b2 503 case OP_GVSV:
79072805 504 case OP_GV:
a6006777 505 case OP_AELEMFAST:
a0d0e21e 506 SvREFCNT_dec(cGVOP->op_gv);
8990e307
LW		 507 break;
508 case OP_NEXTSTATE:
509 case OP_DBSTATE:
5f05dabc 510 Safefree(cCOP->cop_label);
8990e307 511 SvREFCNT_dec(cCOP->cop_filegv);
79072805
LW		 512 break;
513 case OP_CONST:
8990e307 514 SvREFCNT_dec(cSVOP->op_sv);
79072805 515 break;
748a9306
LW		 516 case OP_GOTO:
517 case OP_NEXT:
518 case OP_LAST:
519 case OP_REDO:
520 if (op->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
521 break;
522 /* FALL THROUGH */
a0d0e21e
LW		 523 case OP_TRANS:
524 Safefree(cPVOP->op_pv);
525 break;
526 case OP_SUBST:
527 op_free(cPMOP->op_pmreplroot);
528 /* FALL THROUGH */
748a9306 529 case OP_PUSHRE:
a0d0e21e 530 case OP_MATCH:
e50aee73 531 pregfree(cPMOP->op_pmregexp);
748a9306 532 SvREFCNT_dec(cPMOP->op_pmshort);
a0d0e21e 533 break;
79072805
LW		 534 }
535
8990e307
LW		 536 if (op->op_targ > 0)
537 pad_free(op->op_targ);
538
79072805
LW		 539 Safefree(op);
540}
541
8990e307
LW		 542static void
543null(op)
544OP* op;
545{
546 if (op->op_type != OP_NULL && op->op_targ > 0)
547 pad_free(op->op_targ);
548 op->op_targ = op->op_type;
549 op->op_type = OP_NULL;
550 op->op_ppaddr = ppaddr[OP_NULL];
551}
552
79072805
LW		 553/* Contextualizers */
554
463ee0b2 555#define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
79072805
LW		 556
557OP *
558linklist(op)
559OP *op;
560{
561 register OP *kid;
562
563 if (op->op_next)
564 return op->op_next;
565
566 /* establish postfix order */
567 if (cUNOP->op_first) {
568 op->op_next = LINKLIST(cUNOP->op_first);
569 for (kid = cUNOP->op_first; kid; kid = kid->op_sibling) {
570 if (kid->op_sibling)
571 kid->op_next = LINKLIST(kid->op_sibling);
572 else
573 kid->op_next = op;
574 }
575 }
576 else
577 op->op_next = op;
578
579 return op->op_next;
580}
581
582OP *
583scalarkids(op)
584OP *op;
585{
586 OP *kid;
587 if (op && op->op_flags & OPf_KIDS) {
588 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
589 scalar(kid);
590 }
591 return op;
592}
593
a0d0e21e 594static OP *
8990e307
LW		 595scalarboolean(op)
596OP *op;
597{
598 if (dowarn &&
a0d0e21e
LW		 599 op->op_type == OP_SASSIGN && cBINOP->op_first->op_type == OP_CONST) {
600 line_t oldline = curcop->cop_line;
601
602 if (copline != NOLINE)
603 curcop->cop_line = copline;
604 warn("Found = in conditional, should be ==");
605 curcop->cop_line = oldline;
606 }
8990e307
LW		 607 return scalar(op);
608}
609
610OP *
79072805
LW		 611scalar(op)
612OP *op;
613{
614 OP *kid;
615
a0d0e21e 616 /* assumes no premature commitment */
54310121 617 if (!op || (op->op_flags & OPf_WANT) || error_count
618 || op->op_type == OP_RETURN)
79072805
LW		 619 return op;
620
54310121 621 op->op_flags = (op->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
79072805
LW		 622
623 switch (op->op_type) {
624 case OP_REPEAT:
4633a7c4
LW		 625 if (op->op_private & OPpREPEAT_DOLIST)
626 null(((LISTOP*)cBINOP->op_first)->op_first);
79072805 627 scalar(cBINOP->op_first);
8990e307 628 break;
79072805
LW		 629 case OP_OR:
630 case OP_AND:
631 case OP_COND_EXPR:
8990e307
LW		 632 for (kid = cUNOP->op_first->op_sibling; kid; kid = kid->op_sibling)
633 scalar(kid);
79072805 634 break;
a0d0e21e
LW		 635 case OP_SPLIT:
636 if ((kid = ((LISTOP*)op)->op_first) && kid->op_type == OP_PUSHRE) {
637 if (!kPMOP->op_pmreplroot)
638 deprecate("implicit split to @_");
639 }
640 /* FALL THROUGH */
79072805
LW		 641 case OP_MATCH:
642 case OP_SUBST:
643 case OP_NULL:
8990e307
LW		 644 default:
645 if (op->op_flags & OPf_KIDS) {
646 for (kid = cUNOP->op_first; kid; kid = kid->op_sibling)
647 scalar(kid);
648 }
79072805
LW		 649 break;
650 case OP_LEAVE:
651 case OP_LEAVETRY:
54310121 652 kid = cLISTOP->op_first;
653 scalar(kid);
654 while (kid = kid->op_sibling) {
655 if (kid->op_sibling)
656 scalarvoid(kid);
657 else
658 scalar(kid);
659 }
660 curcop = &compiling;
661 break;
748a9306 662 case OP_SCOPE:
79072805 663 case OP_LINESEQ:
8990e307 664 case OP_LIST:
79072805
LW		 665 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling) {
666 if (kid->op_sibling)
667 scalarvoid(kid);
668 else
669 scalar(kid);
670 }
93a17b20 671 curcop = &compiling;
79072805
LW		 672 break;
673 }
79072805
LW		 674 return op;
675}
676
677OP *
678scalarvoid(op)
679OP *op;
680{
681 OP *kid;
8990e307
LW		 682 char* useless = 0;
683 SV* sv;
79072805 684
54310121 685 /* assumes no premature commitment */
686 if (!op || (op->op_flags & OPf_WANT) == OPf_WANT_LIST || error_count
687 || op->op_type == OP_RETURN)
79072805
LW		 688 return op;
689
54310121 690 op->op_flags = (op->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
79072805
LW		 691
692 switch (op->op_type) {
693 default:
8990e307
LW		 694 if (!(opargs[op->op_type] & OA_FOLDCONST))
695 break;
36477c24 696 /* FALL THROUGH */
697 case OP_REPEAT:
8990e307
LW		 698 if (op->op_flags & OPf_STACKED)
699 break;
700 /* FALL THROUGH */
701 case OP_GVSV:
702 case OP_WANTARRAY:
703 case OP_GV:
704 case OP_PADSV:
705 case OP_PADAV:
706 case OP_PADHV:
707 case OP_PADANY:
708 case OP_AV2ARYLEN:
8990e307 709 case OP_REF:
a0d0e21e
LW		 710 case OP_REFGEN:
711 case OP_SREFGEN:
8990e307
LW		 712 case OP_DEFINED:
713 case OP_HEX:
714 case OP_OCT:
715 case OP_LENGTH:
716 case OP_SUBSTR:
717 case OP_VEC:
718 case OP_INDEX:
719 case OP_RINDEX:
720 case OP_SPRINTF:
721 case OP_AELEM:
722 case OP_AELEMFAST:
723 case OP_ASLICE:
8990e307
LW		 724 case OP_HELEM:
725 case OP_HSLICE:
726 case OP_UNPACK:
727 case OP_PACK:
8990e307
LW		 728 case OP_JOIN:
729 case OP_LSLICE:
730 case OP_ANONLIST:
731 case OP_ANONHASH:
732 case OP_SORT:
733 case OP_REVERSE:
734 case OP_RANGE:
735 case OP_FLIP:
736 case OP_FLOP:
737 case OP_CALLER:
738 case OP_FILENO:
739 case OP_EOF:
740 case OP_TELL:
741 case OP_GETSOCKNAME:
742 case OP_GETPEERNAME:
743 case OP_READLINK:
744 case OP_TELLDIR:
745 case OP_GETPPID:
746 case OP_GETPGRP:
747 case OP_GETPRIORITY:
748 case OP_TIME:
749 case OP_TMS:
750 case OP_LOCALTIME:
751 case OP_GMTIME:
752 case OP_GHBYNAME:
753 case OP_GHBYADDR:
754 case OP_GHOSTENT:
755 case OP_GNBYNAME:
756 case OP_GNBYADDR:
757 case OP_GNETENT:
758 case OP_GPBYNAME:
759 case OP_GPBYNUMBER:
760 case OP_GPROTOENT:
761 case OP_GSBYNAME:
762 case OP_GSBYPORT:
763 case OP_GSERVENT:
764 case OP_GPWNAM:
765 case OP_GPWUID:
766 case OP_GGRNAM:
767 case OP_GGRGID:
768 case OP_GETLOGIN:
a0d0e21e 769 if (!(op->op_private & OPpLVAL_INTRO))
c07a80fd 770 useless = op_desc[op->op_type];
8990e307
LW		 771 break;
772
773 case OP_RV2GV:
774 case OP_RV2SV:
775 case OP_RV2AV:
776 case OP_RV2HV:
a0d0e21e 777 if (!(op->op_private & OPpLVAL_INTRO) &&
85e6fe83 778 (!op->op_sibling || op->op_sibling->op_type != OP_READLINE))
8990e307
LW		 779 useless = "a variable";
780 break;
79072805 781
93a17b20 782 case OP_NEXTSTATE:
8990e307 783 case OP_DBSTATE:
748a9306 784 curcop = ((COP*)op); /* for warning below */
93a17b20
LW		 785 break;
786
79072805 787 case OP_CONST:
8990e307
LW		 788 sv = cSVOP->op_sv;
789 if (dowarn) {
790 useless = "a constant";
791 if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
792 useless = 0;
793 else if (SvPOK(sv)) {
794 if (strnEQ(SvPVX(sv), "di", 2) ||
a0d0e21e 795 strnEQ(SvPVX(sv), "ds", 2) ||
8990e307
LW		 796 strnEQ(SvPVX(sv), "ig", 2))
797 useless = 0;
798 }
799 }
800 null(op); /* don't execute a constant */
801 SvREFCNT_dec(sv); /* don't even remember it */
79072805
LW		 802 break;
803
804 case OP_POSTINC:
8990e307 805 op->op_type = OP_PREINC; /* pre-increment is faster */
79072805
LW		 806 op->op_ppaddr = ppaddr[OP_PREINC];
807 break;
808
809 case OP_POSTDEC:
8990e307 810 op->op_type = OP_PREDEC; /* pre-decrement is faster */
79072805
LW		 811 op->op_ppaddr = ppaddr[OP_PREDEC];
812 break;
813
79072805
LW		 814 case OP_OR:
815 case OP_AND:
816 case OP_COND_EXPR:
817 for (kid = cUNOP->op_first->op_sibling; kid; kid = kid->op_sibling)
818 scalarvoid(kid);
819 break;
5aabfad6 820
a0d0e21e 821 case OP_NULL:
748a9306
LW		 822 if (op->op_targ == OP_NEXTSTATE || op->op_targ == OP_DBSTATE)
823 curcop = ((COP*)op); /* for warning below */
a0d0e21e
LW		 824 if (op->op_flags & OPf_STACKED)
825 break;
5aabfad6 826 /* FALL THROUGH */
79072805
LW		 827 case OP_ENTERTRY:
828 case OP_ENTER:
829 case OP_SCALAR:
79072805
LW		 830 if (!(op->op_flags & OPf_KIDS))
831 break;
54310121 832 /* FALL THROUGH */
463ee0b2 833 case OP_SCOPE:
79072805
LW		 834 case OP_LEAVE:
835 case OP_LEAVETRY:
a0d0e21e 836 case OP_LEAVELOOP:
79072805 837 case OP_LINESEQ:
79072805 838 case OP_LIST:
79072805
LW		 839 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
840 scalarvoid(kid);
841 break;
c90c0ff4 842 case OP_ENTEREVAL:
843 scalarkids(op);
844 break;
5aabfad6 845 case OP_REQUIRE:
c90c0ff4 846 /* all requires must return a boolean value */
5aabfad6 847 op->op_flags &= ~OPf_WANT;
848 return scalar(op);
a0d0e21e
LW		 849 case OP_SPLIT:
850 if ((kid = ((LISTOP*)op)->op_first) && kid->op_type == OP_PUSHRE) {
851 if (!kPMOP->op_pmreplroot)
852 deprecate("implicit split to @_");
853 }
854 break;
79072805 855 }
8990e307
LW		 856 if (useless && dowarn)
857 warn("Useless use of %s in void context", useless);
79072805
LW		 858 return op;
859}
860
861OP *
862listkids(op)
863OP *op;
864{
865 OP *kid;
866 if (op && op->op_flags & OPf_KIDS) {
867 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
868 list(kid);
869 }
870 return op;
871}
872
873OP *
874list(op)
875OP *op;
876{
877 OP *kid;
878
a0d0e21e 879 /* assumes no premature commitment */
54310121 880 if (!op || (op->op_flags & OPf_WANT) || error_count
881 || op->op_type == OP_RETURN)
79072805
LW		 882 return op;
883
54310121 884 op->op_flags = (op->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
79072805
LW		 885
886 switch (op->op_type) {
887 case OP_FLOP:
888 case OP_REPEAT:
889 list(cBINOP->op_first);
890 break;
891 case OP_OR:
892 case OP_AND:
893 case OP_COND_EXPR:
894 for (kid = cUNOP->op_first->op_sibling; kid; kid = kid->op_sibling)
895 list(kid);
896 break;
897 default:
898 case OP_MATCH:
899 case OP_SUBST:
900 case OP_NULL:
901 if (!(op->op_flags & OPf_KIDS))
902 break;
903 if (!op->op_next && cUNOP->op_first->op_type == OP_FLOP) {
904 list(cBINOP->op_first);
905 return gen_constant_list(op);
906 }
907 case OP_LIST:
908 listkids(op);
909 break;
910 case OP_LEAVE:
911 case OP_LEAVETRY:
54310121 912 kid = cLISTOP->op_first;
913 list(kid);
914 while (kid = kid->op_sibling) {
915 if (kid->op_sibling)
916 scalarvoid(kid);
917 else
918 list(kid);
919 }
920 curcop = &compiling;
921 break;
748a9306 922 case OP_SCOPE:
79072805
LW		 923 case OP_LINESEQ:
924 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling) {
925 if (kid->op_sibling)
926 scalarvoid(kid);
927 else
928 list(kid);
929 }
93a17b20 930 curcop = &compiling;
79072805 931 break;
c90c0ff4 932 case OP_REQUIRE:
933 /* all requires must return a boolean value */
934 op->op_flags &= ~OPf_WANT;
935 return scalar(op);
79072805
LW		 936 }
937 return op;
938}
939
940OP *
941scalarseq(op)
942OP *op;
943{
944 OP *kid;
945
463ee0b2
LW		 946 if (op) {
947 if (op->op_type == OP_LINESEQ ||
948 op->op_type == OP_SCOPE ||
79072805 949 op->op_type == OP_LEAVE ||
463ee0b2
LW		 950 op->op_type == OP_LEAVETRY)
951 {
952 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling) {
ed6116ce 953 if (kid->op_sibling) {
463ee0b2 954 scalarvoid(kid);
ed6116ce 955 }
463ee0b2
LW		 956 }
957 curcop = &compiling;
79072805 958 }
463ee0b2 959 op->op_flags &= ~OPf_PARENS;
85e6fe83 960 if (hints & HINT_BLOCK_SCOPE)
463ee0b2 961 op->op_flags |= OPf_PARENS;
79072805 962 }
8990e307
LW		 963 else
964 op = newOP(OP_STUB, 0);
79072805
LW		 965 return op;
966}
967
a0d0e21e 968static OP *
463ee0b2 969modkids(op, type)
79072805
LW		 970OP *op;
971I32 type;
972{
973 OP *kid;
974 if (op && op->op_flags & OPf_KIDS) {
975 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
463ee0b2 976 mod(kid, type);
79072805
LW		 977 }
978 return op;
979}
980
463ee0b2 981static I32 modcount;
79072805
LW		 982
983OP *
463ee0b2 984mod(op, type)
79072805
LW		 985OP *op;
986I32 type;
987{
988 OP *kid;
989 SV *sv;
990
a0d0e21e 991 if (!op || error_count)
79072805
LW		 992 return op;
993
994 switch (op->op_type) {
68dc0745 995 case OP_UNDEF:
996 return op;
a0d0e21e 997 case OP_CONST:
748a9306 998 if (!(op->op_private & (OPpCONST_ARYBASE)))
a0d0e21e
LW		 999 goto nomod;
1000 if (eval_start && eval_start->op_type == OP_CONST) {
1001 compiling.cop_arybase = (I32)SvIV(((SVOP*)eval_start)->op_sv);
1002 eval_start = 0;
1003 }
1004 else if (!type) {
1005 SAVEI32(compiling.cop_arybase);
748a9306 1006 compiling.cop_arybase = 0;
a0d0e21e
LW		 1007 }
1008 else if (type == OP_REFGEN)
1009 goto nomod;
1010 else
1011 croak("That use of $[ is unsupported");
1012 break;
5f05dabc 1013 case OP_STUB:
1014 if (op->op_flags & OPf_PARENS)
1015 break;
1016 goto nomod;
a0d0e21e
LW		 1017 case OP_ENTERSUB:
1018 if ((type == OP_UNDEF || type == OP_REFGEN) &&
1019 !(op->op_flags & OPf_STACKED)) {
1020 op->op_type = OP_RV2CV; /* entersub => rv2cv */
93a17b20 1021 op->op_ppaddr = ppaddr[OP_RV2CV];
85e6fe83
LW		 1022 assert(cUNOP->op_first->op_type == OP_NULL);
1023 null(((LISTOP*)cUNOP->op_first)->op_first); /* disable pushmark */
79072805
LW		 1024 break;
1025 }
1026 /* FALL THROUGH */
1027 default:
a0d0e21e
LW		 1028 nomod:
1029 /* grep, foreach, subcalls, refgen */
1030 if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1031 break;
46fc3d4c 1032 yyerror(form("Can't modify %s in %s",
1033 op_desc[op->op_type],
1034 type ? op_desc[type] : "local"));
79072805
LW		 1035 return op;
1036
a0d0e21e
LW		 1037 case OP_PREINC:
1038 case OP_PREDEC:
1039 case OP_POW:
1040 case OP_MULTIPLY:
1041 case OP_DIVIDE:
1042 case OP_MODULO:
1043 case OP_REPEAT:
1044 case OP_ADD:
1045 case OP_SUBTRACT:
1046 case OP_CONCAT:
1047 case OP_LEFT_SHIFT:
1048 case OP_RIGHT_SHIFT:
1049 case OP_BIT_AND:
1050 case OP_BIT_XOR:
1051 case OP_BIT_OR:
1052 case OP_I_MULTIPLY:
1053 case OP_I_DIVIDE:
1054 case OP_I_MODULO:
1055 case OP_I_ADD:
1056 case OP_I_SUBTRACT:
1057 if (!(op->op_flags & OPf_STACKED))
1058 goto nomod;
1059 modcount++;
1060 break;
1061
79072805
LW		 1062 case OP_COND_EXPR:
1063 for (kid = cUNOP->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2 1064 mod(kid, type);
79072805
LW		 1065 break;
1066
1067 case OP_RV2AV:
1068 case OP_RV2HV:
748a9306
LW		 1069 if (type == OP_REFGEN && op->op_flags & OPf_PARENS) {
1070 modcount = 10000;
1071 return op; /* Treat \(@foo) like ordinary list. */
1072 }
1073 /* FALL THROUGH */
79072805 1074 case OP_RV2GV:
3fe9a6f1 1075 if (scalar_mod_type(op, type))
1076 goto nomod;
93a17b20 1077 ref(cUNOP->op_first, op->op_type);
79072805
LW		 1078 /* FALL THROUGH */
1079 case OP_AASSIGN:
1080 case OP_ASLICE:
1081 case OP_HSLICE:
93a17b20
LW		 1082 case OP_NEXTSTATE:
1083 case OP_DBSTATE:
a0d0e21e
LW		 1084 case OP_REFGEN:
1085 case OP_CHOMP:
463ee0b2 1086 modcount = 10000;
79072805 1087 break;
463ee0b2 1088 case OP_RV2SV:
4633a7c4
LW		 1089 if (!type && cUNOP->op_first->op_type != OP_GV)
1090 croak("Can't localize a reference");
8990e307 1091 ref(cUNOP->op_first, op->op_type);
463ee0b2 1092 /* FALL THROUGH */
79072805 1093 case OP_GV:
463ee0b2
LW		 1094 case OP_AV2ARYLEN:
1095 case OP_SASSIGN:
8990e307
LW		 1096 case OP_AELEMFAST:
1097 modcount++;
1098 break;
1099
748a9306
LW		 1100 case OP_PADAV:
1101 case OP_PADHV:
1102 modcount = 10000;
58e0a6ae
GS		 1103 if (type == OP_REFGEN && op->op_flags & OPf_PARENS)
1104 return op; /* Treat \(@foo) like ordinary list. */
3fe9a6f1 1105 if (scalar_mod_type(op, type))
1106 goto nomod;
748a9306
LW		 1107 /* FALL THROUGH */
1108 case OP_PADSV:
1109 modcount++;
1110 if (!type)
1111 croak("Can't localize lexical variable %s",
1112 SvPV(*av_fetch(comppad_name, op->op_targ, 4), na));
463ee0b2
LW		 1113 break;
1114
748a9306
LW		 1115 case OP_PUSHMARK:
1116 break;
a0d0e21e 1117
69969c6f
SB		 1118 case OP_KEYS:
1119 if (type != OP_SASSIGN)
1120 goto nomod;
5f05dabc 1121 /* FALL THROUGH */
a0d0e21e 1122 case OP_POS:
463ee0b2 1123 case OP_VEC:
a0d0e21e 1124 case OP_SUBSTR:
8990e307 1125 pad_free(op->op_targ);
ed6116ce 1126 op->op_targ = pad_alloc(op->op_type, SVs_PADMY);
5f05dabc 1127 assert(SvTYPE(PAD_SV(op->op_targ)) == SVt_NULL);
8990e307 1128 if (op->op_flags & OPf_KIDS)
4633a7c4 1129 mod(cBINOP->op_first->op_sibling, type);
463ee0b2 1130 break;
a0d0e21e 1131
463ee0b2
LW		 1132 case OP_AELEM:
1133 case OP_HELEM:
8990e307 1134 ref(cBINOP->op_first, op->op_type);
68dc0745 1135 if (type == OP_ENTERSUB &&
1136 !(op->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1137 op->op_private |= OPpLVAL_DEFER;
a0d0e21e 1138 modcount++;
463ee0b2
LW		 1139 break;
1140
1141 case OP_SCOPE:
1142 case OP_LEAVE:
1143 case OP_ENTER:
a0d0e21e
LW		 1144 if (op->op_flags & OPf_KIDS)
1145 mod(cLISTOP->op_last, type);
1146 break;
1147
1148 case OP_NULL:
463ee0b2
LW		 1149 if (!(op->op_flags & OPf_KIDS))
1150 break;
a0d0e21e
LW		 1151 if (op->op_targ != OP_LIST) {
1152 mod(cBINOP->op_first, type);
1153 break;
1154 }
1155 /* FALL THROUGH */
463ee0b2
LW		 1156 case OP_LIST:
1157 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
1158 mod(kid, type);
1159 break;
1160 }
a0d0e21e
LW		 1161 op->op_flags |= OPf_MOD;
1162
1163 if (type == OP_AASSIGN || type == OP_SASSIGN)
1164 op->op_flags |= OPf_SPECIAL|OPf_REF;
1165 else if (!type) {
1166 op->op_private |= OPpLVAL_INTRO;
463ee0b2 1167 op->op_flags &= ~OPf_SPECIAL;
463ee0b2 1168 }
a0d0e21e
LW		 1169 else if (type != OP_GREPSTART && type != OP_ENTERSUB)
1170 op->op_flags |= OPf_REF;
463ee0b2
LW		 1171 return op;
1172}
1173
3fe9a6f1 1174static bool
1175scalar_mod_type(op, type)
1176OP *op;
1177I32 type;
1178{
1179 switch (type) {
1180 case OP_SASSIGN:
1181 if (op->op_type == OP_RV2GV)
1182 return FALSE;
1183 /* FALL THROUGH */
1184 case OP_PREINC:
1185 case OP_PREDEC:
1186 case OP_POSTINC:
1187 case OP_POSTDEC:
1188 case OP_I_PREINC:
1189 case OP_I_PREDEC:
1190 case OP_I_POSTINC:
1191 case OP_I_POSTDEC:
1192 case OP_POW:
1193 case OP_MULTIPLY:
1194 case OP_DIVIDE:
1195 case OP_MODULO:
1196 case OP_REPEAT:
1197 case OP_ADD:
1198 case OP_SUBTRACT:
1199 case OP_I_MULTIPLY:
1200 case OP_I_DIVIDE:
1201 case OP_I_MODULO:
1202 case OP_I_ADD:
1203 case OP_I_SUBTRACT:
1204 case OP_LEFT_SHIFT:
1205 case OP_RIGHT_SHIFT:
1206 case OP_BIT_AND:
1207 case OP_BIT_XOR:
1208 case OP_BIT_OR:
1209 case OP_CONCAT:
1210 case OP_SUBST:
1211 case OP_TRANS:
1212 case OP_ANDASSIGN: /* may work later */
1213 case OP_ORASSIGN: /* may work later */
1214 return TRUE;
1215 default:
1216 return FALSE;
1217 }
1218}
1219
463ee0b2
LW		 1220OP *
1221refkids(op, type)
1222OP *op;
1223I32 type;
1224{
1225 OP *kid;
1226 if (op && op->op_flags & OPf_KIDS) {
1227 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
1228 ref(kid, type);
1229 }
1230 return op;
1231}
1232
1233OP *
1234ref(op, type)
1235OP *op;
1236I32 type;
1237{
1238 OP *kid;
463ee0b2 1239
a0d0e21e 1240 if (!op || error_count)
463ee0b2
LW		 1241 return op;
1242
1243 switch (op->op_type) {
a0d0e21e
LW		 1244 case OP_ENTERSUB:
1245 if ((type == OP_DEFINED) &&
1246 !(op->op_flags & OPf_STACKED)) {
1247 op->op_type = OP_RV2CV; /* entersub => rv2cv */
8990e307 1248 op->op_ppaddr = ppaddr[OP_RV2CV];
85e6fe83
LW		 1249 assert(cUNOP->op_first->op_type == OP_NULL);
1250 null(((LISTOP*)cUNOP->op_first)->op_first); /* disable pushmark */
4633a7c4 1251 op->op_flags |= OPf_SPECIAL;
8990e307
LW		 1252 }
1253 break;
1254
463ee0b2
LW		 1255 case OP_COND_EXPR:
1256 for (kid = cUNOP->op_first->op_sibling; kid; kid = kid->op_sibling)
1257 ref(kid, type);
1258 break;
8990e307 1259 case OP_RV2SV:
8990e307 1260 ref(cUNOP->op_first, op->op_type);
4633a7c4
LW		 1261 /* FALL THROUGH */
1262 case OP_PADSV:
5f05dabc 1263 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1264 op->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1265 : type == OP_RV2HV ? OPpDEREF_HV
1266 : OPpDEREF_SV);
a0d0e21e
LW		 1267 op->op_flags |= OPf_MOD;
1268 }
8990e307
LW		 1269 break;
1270
463ee0b2
LW		 1271 case OP_RV2AV:
1272 case OP_RV2HV:
a0d0e21e 1273 op->op_flags |= OPf_REF;
8990e307 1274 /* FALL THROUGH */
463ee0b2
LW		 1275 case OP_RV2GV:
1276 ref(cUNOP->op_first, op->op_type);
463ee0b2 1277 break;
8990e307 1278
463ee0b2
LW		 1279 case OP_PADAV:
1280 case OP_PADHV:
a0d0e21e 1281 op->op_flags |= OPf_REF;
79072805 1282 break;
8990e307
LW		 1283
1284 case OP_SCALAR:
79072805
LW		 1285 case OP_NULL:
1286 if (!(op->op_flags & OPf_KIDS))
463ee0b2 1287 break;
8990e307 1288 ref(cBINOP->op_first, type);
79072805
LW		 1289 break;
1290 case OP_AELEM:
1291 case OP_HELEM:
8990e307 1292 ref(cBINOP->op_first, op->op_type);
5f05dabc 1293 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
1294 op->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1295 : type == OP_RV2HV ? OPpDEREF_HV
1296 : OPpDEREF_SV);
a0d0e21e 1297 op->op_flags |= OPf_MOD;
8990e307 1298 }
79072805
LW		 1299 break;
1300
463ee0b2 1301 case OP_SCOPE:
79072805
LW		 1302 case OP_LEAVE:
1303 case OP_ENTER:
8990e307 1304 case OP_LIST:
79072805
LW		 1305 if (!(op->op_flags & OPf_KIDS))
1306 break;
8990e307 1307 ref(cLISTOP->op_last, type);
79072805 1308 break;
a0d0e21e
LW		 1309 default:
1310 break;
79072805 1311 }
8990e307
LW		 1312 return scalar(op);
1313
79072805
LW		 1314}
1315
1316OP *
93a17b20
LW		 1317my(op)
1318OP *op;
1319{
1320 OP *kid;
93a17b20
LW		 1321 I32 type;
1322
a0d0e21e 1323 if (!op || error_count)
93a17b20
LW		 1324 return op;
1325
1326 type = op->op_type;
1327 if (type == OP_LIST) {
1328 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
1329 my(kid);
1330 }
1331 else if (type != OP_PADSV &&
1332 type != OP_PADAV &&
1333 type != OP_PADHV &&
1334 type != OP_PUSHMARK)
1335 {
46fc3d4c 1336 yyerror(form("Can't declare %s in my", op_desc[op->op_type]));
93a17b20
LW		 1337 return op;
1338 }
a0d0e21e
LW		 1339 op->op_flags |= OPf_MOD;
1340 op->op_private |= OPpLVAL_INTRO;
93a17b20
LW		 1341 return op;
1342}
1343
1344OP *
79072805
LW		 1345sawparens(o)
1346OP *o;
1347{
1348 if (o)
1349 o->op_flags |= OPf_PARENS;
1350 return o;
1351}
1352
1353OP *
1354bind_match(type, left, right)
1355I32 type;
1356OP *left;
1357OP *right;
1358{
1359 OP *op;
1360
2ae324a7 1361 if (dowarn &&
1362 (left->op_type == OP_RV2AV ||
1363 left->op_type == OP_RV2HV ||
1364 left->op_type == OP_PADAV ||
1365 left->op_type == OP_PADHV)) {
1366 char *desc = op_desc[(right->op_type == OP_SUBST ||
1367 right->op_type == OP_TRANS)
1368 ? right->op_type : OP_MATCH];
1369 char *sample = ((left->op_type == OP_RV2AV ||
1370 left->op_type == OP_PADAV)
1371 ? "@array" : "%hash");
1372 warn("Applying %s to %s will act on scalar(%s)", desc, sample, sample);
1373 }
1374
79072805
LW		 1375 if (right->op_type == OP_MATCH ||
1376 right->op_type == OP_SUBST ||
1377 right->op_type == OP_TRANS) {
1378 right->op_flags |= OPf_STACKED;
1379 if (right->op_type != OP_MATCH)
463ee0b2 1380 left = mod(left, right->op_type);
79072805 1381 if (right->op_type == OP_TRANS)
a0d0e21e 1382 op = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
79072805
LW		 1383 else
1384 op = prepend_elem(right->op_type, scalar(left), right);
1385 if (type == OP_NOT)
1386 return newUNOP(OP_NOT, 0, scalar(op));
1387 return op;
1388 }
1389 else
1390 return bind_match(type, left,
1391 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
1392}
1393
1394OP *
1395invert(op)
1396OP *op;
1397{
1398 if (!op)
1399 return op;
1400 /* XXX need to optimize away NOT NOT here? Or do we let optimizer do it? */
1401 return newUNOP(OP_NOT, OPf_SPECIAL, scalar(op));
1402}
1403
1404OP *
1405scope(o)
1406OP *o;
1407{
1408 if (o) {
4633a7c4 1409 if (o->op_flags & OPf_PARENS || perldb || tainting) {
463ee0b2
LW		 1410 o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1411 o->op_type = OP_LEAVE;
1412 o->op_ppaddr = ppaddr[OP_LEAVE];
1413 }
1414 else {
1415 if (o->op_type == OP_LINESEQ) {
1416 OP *kid;
1417 o->op_type = OP_SCOPE;
1418 o->op_ppaddr = ppaddr[OP_SCOPE];
1419 kid = ((LISTOP*)o)->op_first;
748a9306
LW		 1420 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE){
1421 SvREFCNT_dec(((COP*)kid)->cop_filegv);
8990e307 1422 null(kid);
748a9306 1423 }
463ee0b2
LW		 1424 }
1425 else
748a9306 1426 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
463ee0b2 1427 }
79072805
LW		 1428 }
1429 return o;
1430}
1431
a0d0e21e 1432int
55497cff 1433block_start(full)
1434int full;
79072805 1435{
a0d0e21e 1436 int retval = savestack_ix;
55497cff 1437 SAVEI32(comppad_name_floor);
1438 if (full) {
1439 if ((comppad_name_fill = AvFILL(comppad_name)) > 0)
1440 comppad_name_floor = comppad_name_fill;
1441 else
1442 comppad_name_floor = 0;
1443 }
1444 SAVEI32(min_intro_pending);
1445 SAVEI32(max_intro_pending);
a0d0e21e 1446 min_intro_pending = 0;
55497cff 1447 SAVEI32(comppad_name_fill);
1448 SAVEI32(padix_floor);
a0d0e21e
LW		 1449 padix_floor = padix;
1450 pad_reset_pending = FALSE;
55497cff 1451 SAVEI32(hints);
a0d0e21e
LW		 1452 hints &= ~HINT_BLOCK_SCOPE;
1453 return retval;
1454}
1455
1456OP*
36477c24 1457block_end(floor, seq)
1458I32 floor;
a0d0e21e
LW		 1459OP* seq;
1460{
1461 int needblockscope = hints & HINT_BLOCK_SCOPE;
1462 OP* retval = scalarseq(seq);
a0d0e21e
LW		 1463 LEAVE_SCOPE(floor);
1464 pad_reset_pending = FALSE;
1465 if (needblockscope)
1466 hints |= HINT_BLOCK_SCOPE; /* propagate out */
1467 pad_leavemy(comppad_name_fill);
bbce6d69 1468 cop_seqmax++;
a0d0e21e
LW		 1469 return retval;
1470}
1471
1472void
1473newPROG(op)
1474OP *op;
1475{
1476 if (in_eval) {
b1cb66bf 1477 eval_root = newUNOP(OP_LEAVEEVAL, ((in_eval & 4) ? OPf_SPECIAL : 0), op);
a0d0e21e
LW		 1478 eval_start = linklist(eval_root);
1479 eval_root->op_next = 0;
1480 peep(eval_start);
1481 }
1482 else {
4fdae800 1483 if (!op)
a0d0e21e 1484 return;
a0d0e21e
LW		 1485 main_root = scope(sawparens(scalarvoid(op)));
1486 curcop = &compiling;
1487 main_start = LINKLIST(main_root);
1488 main_root->op_next = 0;
1489 peep(main_start);
748a9306 1490 compcv = 0;
3841441e 1491
4fdae800 1492 /* Register with debugger */
3841441e
CS		 1493 if (perldb) {
1494 CV *cv = perl_get_cv("DB::postponed", FALSE);
3841441e
CS		 1495 if (cv) {
1496 dSP;
1497 PUSHMARK(sp);
1498 XPUSHs((SV*)compiling.cop_filegv);
1499 PUTBACK;
1500 perl_call_sv((SV*)cv, G_DISCARD);
1501 }
1502 }
79072805 1503 }
79072805
LW		 1504}
1505
1506OP *
93a17b20 1507localize(o, lex)
79072805 1508OP *o;
93a17b20 1509I32 lex;
79072805
LW		 1510{
1511 if (o->op_flags & OPf_PARENS)
1512 list(o);
8990e307 1513 else {
79072805 1514 scalar(o);
8990e307
LW		 1515 if (dowarn && bufptr > oldbufptr && bufptr[-1] == ',') {
1516 char *s;
1517 for (s = bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
a0d0e21e 1518 if (*s == ';' || *s == '=')
8990e307
LW		 1519 warn("Parens missing around \"%s\" list", lex ? "my" : "local");
1520 }
1521 }
93a17b20 1522 in_my = FALSE;
c750a3ec 1523 in_my_stash = Nullhv;
93a17b20
LW		 1524 if (lex)
1525 return my(o);
1526 else
463ee0b2 1527 return mod(o, OP_NULL); /* a bit kludgey */
79072805
LW		 1528}
1529
1530OP *
1531jmaybe(o)
1532OP *o;
1533{
1534 if (o->op_type == OP_LIST) {
1535 o = convert(OP_JOIN, 0,
1536 prepend_elem(OP_LIST,
85e6fe83 1537 newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
79072805
LW		 1538 o));
1539 }
1540 return o;
1541}
1542
1543OP *
1544fold_constants(o)
1545register OP *o;
1546{
1547 register OP *curop;
1548 I32 type = o->op_type;
748a9306 1549 SV *sv;
79072805
LW		 1550
1551 if (opargs[type] & OA_RETSCALAR)
1552 scalar(o);
1553 if (opargs[type] & OA_TARGET)
ed6116ce 1554 o->op_targ = pad_alloc(type, SVs_PADTMP);
79072805 1555
85e6fe83 1556 if ((opargs[type] & OA_OTHERINT) && (hints & HINT_INTEGER))
a0d0e21e 1557 o->op_ppaddr = ppaddr[type = ++(o->op_type)];
85e6fe83 1558
79072805
LW		 1559 if (!(opargs[type] & OA_FOLDCONST))
1560 goto nope;
1561
a0d0e21e
LW		 1562 if (error_count)
1563 goto nope; /* Don't try to run w/ errors */
1564
79072805 1565 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
93a17b20
LW		 1566 if (curop->op_type != OP_CONST &&
1567 curop->op_type != OP_LIST &&
1568 curop->op_type != OP_SCALAR &&
a0d0e21e 1569 curop->op_type != OP_NULL &&
93a17b20 1570 curop->op_type != OP_PUSHMARK) {
79072805
LW		 1571 goto nope;
1572 }
1573 }
1574
1575 curop = LINKLIST(o);
1576 o->op_next = 0;
1577 op = curop;
8da795c6 1578 runops();
748a9306
LW		 1579 sv = *(stack_sp--);
1580 if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
79072805 1581 pad_swipe(o->op_targ);
748a9306
LW		 1582 else if (SvTEMP(sv)) { /* grab mortal temp? */
1583 (void)SvREFCNT_inc(sv);
1584 SvTEMP_off(sv);
85e6fe83 1585 }
79072805
LW		 1586 op_free(o);
1587 if (type == OP_RV2GV)
b1cb66bf 1588 return newGVOP(OP_GV, 0, (GV*)sv);
748a9306
LW		 1589 else {
1590 if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK) {
1591 IV iv = SvIV(sv);
1592 if ((double)iv == SvNV(sv)) { /* can we smush double to int */
1593 SvREFCNT_dec(sv);
1594 sv = newSViv(iv);
1595 }
b1cb66bf 1596 else
1597 SvIOK_off(sv); /* undo SvIV() damage */
748a9306
LW		 1598 }
1599 return newSVOP(OP_CONST, 0, sv);
1600 }
79072805
LW		 1601
1602 nope:
1603 if (!(opargs[type] & OA_OTHERINT))
1604 return o;
79072805 1605
85e6fe83 1606 if (!(hints & HINT_INTEGER)) {
a0d0e21e 1607 if (type == OP_DIVIDE || !(o->op_flags & OPf_KIDS))
85e6fe83
LW		 1608 return o;
1609
1610 for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
1611 if (curop->op_type == OP_CONST) {
b1cb66bf 1612 if (SvIOK(((SVOP*)curop)->op_sv))
85e6fe83
LW		 1613 continue;
1614 return o;
1615 }
1616 if (opargs[curop->op_type] & OA_RETINTEGER)
79072805
LW		 1617 continue;
1618 return o;
1619 }
a0d0e21e 1620 o->op_ppaddr = ppaddr[++(o->op_type)];
79072805
LW		 1621 }
1622
79072805
LW		 1623 return o;
1624}
1625
1626OP *
1627gen_constant_list(o)
1628register OP *o;
1629{
1630 register OP *curop;
79072805 1631 I32 oldtmps_floor = tmps_floor;
79072805 1632
a0d0e21e
LW		 1633 list(o);
1634 if (error_count)
1635 return o; /* Don't attempt to run with errors */
1636
1637 op = curop = LINKLIST(o);
1638 o->op_next = 0;
1639 pp_pushmark();
8da795c6 1640 runops();
a0d0e21e
LW		 1641 op = curop;
1642 pp_anonlist();
79072805 1643 tmps_floor = oldtmps_floor;
79072805
LW		 1644
1645 o->op_type = OP_RV2AV;
1646 o->op_ppaddr = ppaddr[OP_RV2AV];
79072805 1647 curop = ((UNOP*)o)->op_first;
a0d0e21e 1648 ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*stack_sp--));
79072805 1649 op_free(curop);
79072805
LW		 1650 linklist(o);
1651 return list(o);
1652}
1653
1654OP *
1655convert(type, flags, op)
1656I32 type;
1657I32 flags;
1658OP* op;
1659{
1660 OP *kid;
a0d0e21e 1661 OP *last = 0;
79072805 1662
79072805
LW		 1663 if (!op || op->op_type != OP_LIST)
1664 op = newLISTOP(OP_LIST, 0, op, Nullop);
748a9306 1665 else
54310121 1666 op->op_flags &= ~OPf_WANT;
79072805 1667
8990e307
LW		 1668 if (!(opargs[type] & OA_MARK))
1669 null(cLISTOP->op_first);
1670
79072805
LW		 1671 op->op_type = type;
1672 op->op_ppaddr = ppaddr[type];
1673 op->op_flags |= flags;
1674
e50aee73 1675 op = CHECKOP(type, op);
79072805
LW		 1676 if (op->op_type != type)
1677 return op;
1678
1679 if (cLISTOP->op_children < 7) {
1680 /* XXX do we really need to do this if we're done appending?? */
1681 for (kid = cLISTOP->op_first; kid; kid = kid->op_sibling)
1682 last = kid;
1683 cLISTOP->op_last = last; /* in case check substituted last arg */
1684 }
1685
1686 return fold_constants(op);
1687}
1688
1689/* List constructors */
1690
1691OP *
1692append_elem(type, first, last)
1693I32 type;
1694OP* first;
1695OP* last;
1696{
1697 if (!first)
1698 return last;
8990e307
LW		 1699
1700 if (!last)
79072805 1701 return first;
8990e307 1702
a0d0e21e
LW		 1703 if (first->op_type != type || type==OP_LIST && first->op_flags & OPf_PARENS)
1704 return newLISTOP(type, 0, first, last);
79072805 1705
a0d0e21e
LW		 1706 if (first->op_flags & OPf_KIDS)
1707 ((LISTOP*)first)->op_last->op_sibling = last;
1708 else {
1709 first->op_flags |= OPf_KIDS;
1710 ((LISTOP*)first)->op_first = last;
1711 }
1712 ((LISTOP*)first)->op_last = last;
1713 ((LISTOP*)first)->op_children++;
1714 return first;
79072805
LW		 1715}
1716
1717OP *
1718append_list(type, first, last)
1719I32 type;
1720LISTOP* first;
1721LISTOP* last;
1722{
1723 if (!first)
1724 return (OP*)last;
8990e307
LW		 1725
1726 if (!last)
79072805 1727 return (OP*)first;
8990e307
LW		 1728
1729 if (first->op_type != type)
79072805 1730 return prepend_elem(type, (OP*)first, (OP*)last);
8990e307
LW		 1731
1732 if (last->op_type != type)
79072805
LW		 1733 return append_elem(type, (OP*)first, (OP*)last);
1734
1735 first->op_last->op_sibling = last->op_first;
1736 first->op_last = last->op_last;
1737 first->op_children += last->op_children;
1738 if (first->op_children)
1739 last->op_flags |= OPf_KIDS;
1740
1741 Safefree(last);
1742 return (OP*)first;
1743}
1744
1745OP *
1746prepend_elem(type, first, last)
1747I32 type;
1748OP* first;
1749OP* last;
1750{
1751 if (!first)
1752 return last;
8990e307
LW		 1753
1754 if (!last)
79072805 1755 return first;
8990e307
LW		 1756
1757 if (last->op_type == type) {
1758 if (type == OP_LIST) { /* already a PUSHMARK there */
1759 first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
1760 ((LISTOP*)last)->op_first->op_sibling = first;
1761 }
1762 else {
1763 if (!(last->op_flags & OPf_KIDS)) {
1764 ((LISTOP*)last)->op_last = first;
1765 last->op_flags |= OPf_KIDS;
1766 }
1767 first->op_sibling = ((LISTOP*)last)->op_first;
1768 ((LISTOP*)last)->op_first = first;
79072805 1769 }
79072805
LW		 1770 ((LISTOP*)last)->op_children++;
1771 return last;
1772 }
1773
1774 return newLISTOP(type, 0, first, last);
1775}
1776
1777/* Constructors */
1778
1779OP *
1780newNULLLIST()
1781{
8990e307
LW		 1782 return newOP(OP_STUB, 0);
1783}
1784
1785OP *
1786force_list(op)
1787OP* op;
1788{
1789 if (!op || op->op_type != OP_LIST)
1790 op = newLISTOP(OP_LIST, 0, op, Nullop);
1791 null(op);
1792 return op;
79072805
LW		 1793}
1794
1795OP *
1796newLISTOP(type, flags, first, last)
1797I32 type;
1798I32 flags;
1799OP* first;
1800OP* last;
1801{
1802 LISTOP *listop;
1803
1804 Newz(1101, listop, 1, LISTOP);
1805
1806 listop->op_type = type;
1807 listop->op_ppaddr = ppaddr[type];
1808 listop->op_children = (first != 0) + (last != 0);
1809 listop->op_flags = flags;
79072805
LW		 1810
1811 if (!last && first)
1812 last = first;
1813 else if (!first && last)
1814 first = last;
8990e307
LW		 1815 else if (first)
1816 first->op_sibling = last;
79072805
LW		 1817 listop->op_first = first;
1818 listop->op_last = last;
8990e307
LW		 1819 if (type == OP_LIST) {
1820 OP* pushop;
1821 pushop = newOP(OP_PUSHMARK, 0);
1822 pushop->op_sibling = first;
1823 listop->op_first = pushop;
1824 listop->op_flags |= OPf_KIDS;
1825 if (!last)
1826 listop->op_last = pushop;
1827 }
1828 else if (listop->op_children)
1829 listop->op_flags |= OPf_KIDS;
79072805
LW		 1830
1831 return (OP*)listop;
1832}
1833
1834OP *
1835newOP(type, flags)
1836I32 type;
1837I32 flags;
1838{
1839 OP *op;
1840 Newz(1101, op, 1, OP);
1841 op->op_type = type;
1842 op->op_ppaddr = ppaddr[type];
1843 op->op_flags = flags;
1844
1845 op->op_next = op;
c07a80fd 1846 op->op_private = 0 + (flags >> 8);
79072805
LW		 1847 if (opargs[type] & OA_RETSCALAR)
1848 scalar(op);
1849 if (opargs[type] & OA_TARGET)
ed6116ce 1850 op->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 1851 return CHECKOP(type, op);
79072805
LW		 1852}
1853
1854OP *
1855newUNOP(type, flags, first)
1856I32 type;
1857I32 flags;
1858OP* first;
1859{
1860 UNOP *unop;
1861
93a17b20
LW		 1862 if (!first)
1863 first = newOP(OP_STUB, 0);
8990e307
LW		 1864 if (opargs[type] & OA_MARK)
1865 first = force_list(first);
93a17b20 1866
79072805
LW		 1867 Newz(1101, unop, 1, UNOP);
1868 unop->op_type = type;
1869 unop->op_ppaddr = ppaddr[type];
1870 unop->op_first = first;
1871 unop->op_flags = flags | OPf_KIDS;
c07a80fd 1872 unop->op_private = 1 | (flags >> 8);
79072805 1873
e50aee73 1874 unop = (UNOP*) CHECKOP(type, unop);
79072805
LW		 1875 if (unop->op_next)
1876 return (OP*)unop;
1877
a0d0e21e 1878 return fold_constants((OP *) unop);
79072805
LW		 1879}
1880
1881OP *
1882newBINOP(type, flags, first, last)
1883I32 type;
1884I32 flags;
1885OP* first;
1886OP* last;
1887{
1888 BINOP *binop;
1889 Newz(1101, binop, 1, BINOP);
1890
1891 if (!first)
1892 first = newOP(OP_NULL, 0);
1893
1894 binop->op_type = type;
1895 binop->op_ppaddr = ppaddr[type];
1896 binop->op_first = first;
1897 binop->op_flags = flags | OPf_KIDS;
1898 if (!last) {
1899 last = first;
c07a80fd 1900 binop->op_private = 1 | (flags >> 8);
79072805
LW		 1901 }
1902 else {
c07a80fd 1903 binop->op_private = 2 | (flags >> 8);
79072805
LW		 1904 first->op_sibling = last;
1905 }
1906
e50aee73 1907 binop = (BINOP*)CHECKOP(type, binop);
79072805
LW		 1908 if (binop->op_next)
1909 return (OP*)binop;
1910
1911 binop->op_last = last = binop->op_first->op_sibling;
1912
a0d0e21e 1913 return fold_constants((OP *)binop);
79072805
LW		 1914}
1915
1916OP *
1917pmtrans(op, expr, repl)
1918OP *op;
1919OP *expr;
1920OP *repl;
1921{
79072805
LW		 1922 SV *tstr = ((SVOP*)expr)->op_sv;
1923 SV *rstr = ((SVOP*)repl)->op_sv;
463ee0b2
LW		 1924 STRLEN tlen;
1925 STRLEN rlen;
ec49126f 1926 register U8 *t = (U8*)SvPV(tstr, tlen);
1927 register U8 *r = (U8*)SvPV(rstr, rlen);
79072805
LW		 1928 register I32 i;
1929 register I32 j;
79072805
LW		 1930 I32 delete;
1931 I32 complement;
1932 register short *tbl;
1933
1934 tbl = (short*)cPVOP->op_pv;
1935 complement = op->op_private & OPpTRANS_COMPLEMENT;
1936 delete = op->op_private & OPpTRANS_DELETE;
748a9306 1937 /* squash = op->op_private & OPpTRANS_SQUASH; */
79072805
LW		 1938
1939 if (complement) {
1940 Zero(tbl, 256, short);
1941 for (i = 0; i < tlen; i++)
ec49126f 1942 tbl[t[i]] = -1;
79072805
LW		 1943 for (i = 0, j = 0; i < 256; i++) {
1944 if (!tbl[i]) {
1945 if (j >= rlen) {
1946 if (delete)
1947 tbl[i] = -2;
1948 else if (rlen)
ec49126f 1949 tbl[i] = r[j-1];
79072805
LW		 1950 else
1951 tbl[i] = i;
1952 }
1953 else
ec49126f 1954 tbl[i] = r[j++];
79072805
LW		 1955 }
1956 }
1957 }
1958 else {
1959 if (!rlen && !delete) {
1960 r = t; rlen = tlen;
1961 }
1962 for (i = 0; i < 256; i++)
1963 tbl[i] = -1;
1964 for (i = 0, j = 0; i < tlen; i++,j++) {
1965 if (j >= rlen) {
1966 if (delete) {
ec49126f 1967 if (tbl[t[i]] == -1)
1968 tbl[t[i]] = -2;
79072805
LW		 1969 continue;
1970 }
1971 --j;
1972 }
ec49126f 1973 if (tbl[t[i]] == -1)
1974 tbl[t[i]] = r[j];
79072805
LW		 1975 }
1976 }
1977 op_free(expr);
1978 op_free(repl);
1979
1980 return op;
1981}
1982
1983OP *
1984newPMOP(type, flags)
1985I32 type;
1986I32 flags;
1987{
1988 PMOP *pmop;
1989
1990 Newz(1101, pmop, 1, PMOP);
1991 pmop->op_type = type;
1992 pmop->op_ppaddr = ppaddr[type];
1993 pmop->op_flags = flags;
c07a80fd 1994 pmop->op_private = 0 | (flags >> 8);
79072805 1995
36477c24 1996 if (hints & HINT_LOCALE)
1997 pmop->op_pmpermflags = (pmop->op_pmflags |= PMf_LOCALE);
1998
79072805 1999 /* link into pm list */
a0d0e21e 2000 if (type != OP_TRANS && curstash) {
79072805
LW		 2001 pmop->op_pmnext = HvPMROOT(curstash);
2002 HvPMROOT(curstash) = pmop;
2003 }
2004
2005 return (OP*)pmop;
2006}
2007
2008OP *
2009pmruntime(op, expr, repl)
2010OP *op;
2011OP *expr;
2012OP *repl;
2013{
2014 PMOP *pm;
2015 LOGOP *rcop;
2016
2017 if (op->op_type == OP_TRANS)
2018 return pmtrans(op, expr, repl);
2019
2020 pm = (PMOP*)op;
2021
2022 if (expr->op_type == OP_CONST) {
463ee0b2 2023 STRLEN plen;
79072805 2024 SV *pat = ((SVOP*)expr)->op_sv;
463ee0b2 2025 char *p = SvPV(pat, plen);
79072805 2026 if ((op->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
93a17b20 2027 sv_setpvn(pat, "\\s+", 3);
463ee0b2 2028 p = SvPV(pat, plen);
79072805
LW		 2029 pm->op_pmflags |= PMf_SKIPWHITE;
2030 }
e50aee73 2031 pm->op_pmregexp = pregcomp(p, p + plen, pm);
85e6fe83
LW		 2032 if (strEQ("\\s+", pm->op_pmregexp->precomp))
2033 pm->op_pmflags |= PMf_WHITE;
79072805
LW		 2034 hoistmust(pm);
2035 op_free(expr);
2036 }
2037 else {
463ee0b2
LW		 2038 if (pm->op_pmflags & PMf_KEEP)
2039 expr = newUNOP(OP_REGCMAYBE,0,expr);
2040
79072805
LW		 2041 Newz(1101, rcop, 1, LOGOP);
2042 rcop->op_type = OP_REGCOMP;
2043 rcop->op_ppaddr = ppaddr[OP_REGCOMP];
2044 rcop->op_first = scalar(expr);
2045 rcop->op_flags |= OPf_KIDS;
2046 rcop->op_private = 1;
2047 rcop->op_other = op;
2048
2049 /* establish postfix order */
463ee0b2
LW		 2050 if (pm->op_pmflags & PMf_KEEP) {
2051 LINKLIST(expr);
2052 rcop->op_next = expr;
2053 ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2054 }
2055 else {
2056 rcop->op_next = LINKLIST(expr);
2057 expr->op_next = (OP*)rcop;
2058 }
79072805 2059
463ee0b2 2060 prepend_elem(op->op_type, scalar((OP*)rcop), op);
79072805
LW		 2061 }
2062
2063 if (repl) {
748a9306
LW		 2064 OP *curop;
2065 if (pm->op_pmflags & PMf_EVAL)
2066 curop = 0;
2067 else if (repl->op_type == OP_CONST)
2068 curop = repl;
79072805 2069 else {
79072805
LW		 2070 OP *lastop = 0;
2071 for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2072 if (opargs[curop->op_type] & OA_DANGEROUS) {
2073 if (curop->op_type == OP_GV) {
2074 GV *gv = ((GVOP*)curop)->op_gv;
93a17b20 2075 if (strchr("&`'123456789+", *GvENAME(gv)))
79072805
LW		 2076 break;
2077 }
2078 else if (curop->op_type == OP_RV2CV)
2079 break;
2080 else if (curop->op_type == OP_RV2SV ||
2081 curop->op_type == OP_RV2AV ||
2082 curop->op_type == OP_RV2HV ||
2083 curop->op_type == OP_RV2GV) {
2084 if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2085 break;
2086 }
748a9306
LW		 2087 else if (curop->op_type == OP_PADSV ||
2088 curop->op_type == OP_PADAV ||
2089 curop->op_type == OP_PADHV ||
2090 curop->op_type == OP_PADANY) {
2091 /* is okay */
2092 }
79072805
LW		 2093 else
2094 break;
2095 }
2096 lastop = curop;
2097 }
748a9306
LW		 2098 }
2099 if (curop == repl) {
2100 pm->op_pmflags |= PMf_CONST; /* const for long enough */
4633a7c4 2101 pm->op_pmpermflags |= PMf_CONST; /* const for long enough */
748a9306
LW		 2102 prepend_elem(op->op_type, scalar(repl), op);
2103 }
2104 else {
2105 Newz(1101, rcop, 1, LOGOP);
2106 rcop->op_type = OP_SUBSTCONT;
2107 rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
2108 rcop->op_first = scalar(repl);
2109 rcop->op_flags |= OPf_KIDS;
2110 rcop->op_private = 1;
2111 rcop->op_other = op;
2112
2113 /* establish postfix order */
2114 rcop->op_next = LINKLIST(repl);
2115 repl->op_next = (OP*)rcop;
2116
2117 pm->op_pmreplroot = scalar((OP*)rcop);
2118 pm->op_pmreplstart = LINKLIST(rcop);
2119 rcop->op_next = 0;
79072805
LW		 2120 }
2121 }
2122
2123 return (OP*)pm;
2124}
2125
2126OP *
2127newSVOP(type, flags, sv)
2128I32 type;
2129I32 flags;
2130SV *sv;
2131{
2132 SVOP *svop;
2133 Newz(1101, svop, 1, SVOP);
2134 svop->op_type = type;
2135 svop->op_ppaddr = ppaddr[type];
2136 svop->op_sv = sv;
2137 svop->op_next = (OP*)svop;
2138 svop->op_flags = flags;
2139 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2140 scalar((OP*)svop);
79072805 2141 if (opargs[type] & OA_TARGET)
ed6116ce 2142 svop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2143 return CHECKOP(type, svop);
79072805
LW		 2144}
2145
2146OP *
2147newGVOP(type, flags, gv)
2148I32 type;
2149I32 flags;
2150GV *gv;
2151{
2152 GVOP *gvop;
2153 Newz(1101, gvop, 1, GVOP);
2154 gvop->op_type = type;
2155 gvop->op_ppaddr = ppaddr[type];
8990e307 2156 gvop->op_gv = (GV*)SvREFCNT_inc(gv);
79072805
LW		 2157 gvop->op_next = (OP*)gvop;
2158 gvop->op_flags = flags;
2159 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2160 scalar((OP*)gvop);
79072805 2161 if (opargs[type] & OA_TARGET)
ed6116ce 2162 gvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2163 return CHECKOP(type, gvop);
79072805
LW		 2164}
2165
2166OP *
2167newPVOP(type, flags, pv)
2168I32 type;
2169I32 flags;
2170char *pv;
2171{
2172 PVOP *pvop;
2173 Newz(1101, pvop, 1, PVOP);
2174 pvop->op_type = type;
2175 pvop->op_ppaddr = ppaddr[type];
2176 pvop->op_pv = pv;
2177 pvop->op_next = (OP*)pvop;
2178 pvop->op_flags = flags;
2179 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2180 scalar((OP*)pvop);
79072805 2181 if (opargs[type] & OA_TARGET)
ed6116ce 2182 pvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2183 return CHECKOP(type, pvop);
79072805
LW		 2184}
2185
79072805
LW		 2186void
2187package(op)
2188OP *op;
2189{
93a17b20 2190 SV *sv;
79072805
LW		 2191
2192 save_hptr(&curstash);
2193 save_item(curstname);
93a17b20 2194 if (op) {
463ee0b2
LW		 2195 STRLEN len;
2196 char *name;
93a17b20 2197 sv = cSVOP->op_sv;
463ee0b2 2198 name = SvPV(sv, len);
b1cb66bf 2199 curstash = gv_stashpvn(name,len,TRUE);
463ee0b2 2200 sv_setpvn(curstname, name, len);
93a17b20
LW		 2201 op_free(op);
2202 }
2203 else {
2204 sv_setpv(curstname,"<none>");
2205 curstash = Nullhv;
2206 }
79072805 2207 copline = NOLINE;
8990e307 2208 expect = XSTATE;
79072805
LW		 2209}
2210
85e6fe83 2211void
b1cb66bf 2212utilize(aver, floor, version, id, arg)
85e6fe83 2213int aver;
c07a80fd 2214I32 floor;
b1cb66bf 2215OP *version;
85e6fe83
LW		 2216OP *id;
2217OP *arg;
2218{
a0d0e21e
LW		 2219 OP *pack;
2220 OP *meth;
2221 OP *rqop;
2222 OP *imop;
b1cb66bf 2223 OP *veop;
85e6fe83 2224
a0d0e21e
LW		 2225 if (id->op_type != OP_CONST)
2226 croak("Module name must be constant");
85e6fe83 2227
b1cb66bf 2228 veop = Nullop;
2229
2230 if(version != Nullop) {
2231 SV *vesv = ((SVOP*)version)->op_sv;
2232
2233 if (arg == Nullop && !SvNIOK(vesv)) {
2234 arg = version;
2235 }
2236 else {
2237 OP *pack;
2238 OP *meth;
2239
2240 if (version->op_type != OP_CONST || !SvNIOK(vesv))
2241 croak("Version number must be constant number");
2242
2243 /* Make copy of id so we don't free it twice */
2244 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2245
2246 /* Fake up a method call to VERSION */
2247 meth = newSVOP(OP_CONST, 0, newSVpv("VERSION", 7));
2248 veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2249 append_elem(OP_LIST,
2250 prepend_elem(OP_LIST, pack, list(version)),
2251 newUNOP(OP_METHOD, 0, meth)));
2252 }
2253 }
2254
a0d0e21e 2255 /* Fake up an import/unimport */
4633a7c4
LW		 2256 if (arg && arg->op_type == OP_STUB)
2257 imop = arg; /* no import on explicit () */
b1cb66bf 2258 else if(SvNIOK(((SVOP*)id)->op_sv)) {
2259 imop = Nullop; /* use 5.0; */
2260 }
4633a7c4
LW		 2261 else {
2262 /* Make copy of id so we don't free it twice */
2263 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
4633a7c4
LW		 2264 meth = newSVOP(OP_CONST, 0,
2265 aver
2266 ? newSVpv("import", 6)
2267 : newSVpv("unimport", 8)
2268 );
2269 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
a0d0e21e
LW		 2270 append_elem(OP_LIST,
2271 prepend_elem(OP_LIST, pack, list(arg)),
2272 newUNOP(OP_METHOD, 0, meth)));
4633a7c4
LW		 2273 }
2274
2275 /* Fake up a require */
2276 rqop = newUNOP(OP_REQUIRE, 0, id);
a0d0e21e
LW		 2277
2278 /* Fake up the BEGIN {}, which does its thing immediately. */
c07a80fd 2279 newSUB(floor,
a0d0e21e 2280 newSVOP(OP_CONST, 0, newSVpv("BEGIN", 5)),
4633a7c4 2281 Nullop,
a0d0e21e 2282 append_elem(OP_LINESEQ,
b1cb66bf 2283 append_elem(OP_LINESEQ,
2284 newSTATEOP(0, Nullch, rqop),
2285 newSTATEOP(0, Nullch, veop)),
a0d0e21e 2286 newSTATEOP(0, Nullch, imop) ));
85e6fe83 2287
85e6fe83
LW		 2288 copline = NOLINE;
2289 expect = XSTATE;
2290}
2291
79072805
LW		 2292OP *
2293newSLICEOP(flags, subscript, listval)
2294I32 flags;
2295OP *subscript;
2296OP *listval;
2297{
2298 return newBINOP(OP_LSLICE, flags,
8990e307
LW		 2299 list(force_list(subscript)),
2300 list(force_list(listval)) );
79072805
LW		 2301}
2302
2303static I32
2304list_assignment(op)
2305register OP *op;
2306{
2307 if (!op)
2308 return TRUE;
2309
2310 if (op->op_type == OP_NULL && op->op_flags & OPf_KIDS)
2311 op = cUNOP->op_first;
2312
2313 if (op->op_type == OP_COND_EXPR) {
2314 I32 t = list_assignment(cCONDOP->op_first->op_sibling);
2315 I32 f = list_assignment(cCONDOP->op_first->op_sibling->op_sibling);
2316
2317 if (t && f)
2318 return TRUE;
2319 if (t || f)
2320 yyerror("Assignment to both a list and a scalar");
2321 return FALSE;
2322 }
2323
2324 if (op->op_type == OP_LIST || op->op_flags & OPf_PARENS ||
2325 op->op_type == OP_RV2AV || op->op_type == OP_RV2HV ||
2326 op->op_type == OP_ASLICE || op->op_type == OP_HSLICE)
2327 return TRUE;
2328
93a17b20
LW		 2329 if (op->op_type == OP_PADAV || op->op_type == OP_PADHV)
2330 return TRUE;
2331
79072805
LW		 2332 if (op->op_type == OP_RV2SV)
2333 return FALSE;
2334
2335 return FALSE;
2336}
2337
2338OP *
a0d0e21e 2339newASSIGNOP(flags, left, optype, right)
79072805
LW		 2340I32 flags;
2341OP *left;
a0d0e21e 2342I32 optype;
79072805
LW		 2343OP *right;
2344{
2345 OP *op;
2346
a0d0e21e
LW		 2347 if (optype) {
2348 if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
2349 return newLOGOP(optype, 0,
2350 mod(scalar(left), optype),
2351 newUNOP(OP_SASSIGN, 0, scalar(right)));
2352 }
2353 else {
2354 return newBINOP(optype, OPf_STACKED,
2355 mod(scalar(left), optype), scalar(right));
2356 }
2357 }
2358
79072805 2359 if (list_assignment(left)) {
463ee0b2 2360 modcount = 0;
748a9306 2361 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
463ee0b2 2362 left = mod(left, OP_AASSIGN);
748a9306
LW		 2363 if (eval_start)
2364 eval_start = 0;
2365 else {
a0d0e21e
LW		 2366 op_free(left);
2367 op_free(right);
2368 return Nullop;
2369 }
79072805 2370 op = newBINOP(OP_AASSIGN, flags,
8990e307
LW		 2371 list(force_list(right)),
2372 list(force_list(left)) );
c07a80fd 2373 op->op_private = 0 | (flags >> 8);
a0d0e21e 2374 if (!(left->op_private & OPpLVAL_INTRO)) {
748a9306 2375 static int generation = 100;
79072805
LW		 2376 OP *curop;
2377 OP *lastop = op;
2378 generation++;
2379 for (curop = LINKLIST(op); curop != op; curop = LINKLIST(curop)) {
2380 if (opargs[curop->op_type] & OA_DANGEROUS) {
2381 if (curop->op_type == OP_GV) {
2382 GV *gv = ((GVOP*)curop)->op_gv;
2383 if (gv == defgv || SvCUR(gv) == generation)
2384 break;
2385 SvCUR(gv) = generation;
2386 }
748a9306
LW		 2387 else if (curop->op_type == OP_PADSV ||
2388 curop->op_type == OP_PADAV ||
2389 curop->op_type == OP_PADHV ||
2390 curop->op_type == OP_PADANY) {
2391 SV **svp = AvARRAY(comppad_name);
8e07c86e 2392 SV *sv = svp[curop->op_targ];
748a9306
LW		 2393 if (SvCUR(sv) == generation)
2394 break;
2395 SvCUR(sv) = generation; /* (SvCUR not used any more) */
2396 }
79072805
LW		 2397 else if (curop->op_type == OP_RV2CV)
2398 break;
2399 else if (curop->op_type == OP_RV2SV ||
2400 curop->op_type == OP_RV2AV ||
2401 curop->op_type == OP_RV2HV ||
2402 curop->op_type == OP_RV2GV) {
2403 if (lastop->op_type != OP_GV) /* funny deref? */
2404 break;
2405 }
2406 else
2407 break;
2408 }
2409 lastop = curop;
2410 }
2411 if (curop != op)
2412 op->op_private = OPpASSIGN_COMMON;
2413 }
c07a80fd 2414 if (right && right->op_type == OP_SPLIT) {
2415 OP* tmpop;
2416 if ((tmpop = ((LISTOP*)right)->op_first) &&
2417 tmpop->op_type == OP_PUSHRE)
2418 {
2419 PMOP *pm = (PMOP*)tmpop;
2420 if (left->op_type == OP_RV2AV &&
2421 !(left->op_private & OPpLVAL_INTRO) &&
2422 !(op->op_private & OPpASSIGN_COMMON) )
2423 {
2424 tmpop = ((UNOP*)left)->op_first;
2425 if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
2426 pm->op_pmreplroot = (OP*)((GVOP*)tmpop)->op_gv;
2427 pm->op_pmflags |= PMf_ONCE;
2428 tmpop = ((UNOP*)op)->op_first; /* to list (nulled) */
2429 tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
2430 tmpop->op_sibling = Nullop; /* don't free split */
2431 right->op_next = tmpop->op_next; /* fix starting loc */
2432 op_free(op); /* blow off assign */
54310121 2433 right->op_flags &= ~OPf_WANT;
a5f75d66 2434 /* "I don't know and I don't care." */
c07a80fd 2435 return right;
2436 }
2437 }
2438 else {
2439 if (modcount < 10000 &&
2440 ((LISTOP*)right)->op_last->op_type == OP_CONST)
2441 {
2442 SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
2443 if (SvIVX(sv) == 0)
2444 sv_setiv(sv, modcount+1);
2445 }
2446 }
2447 }
2448 }
79072805
LW		 2449 return op;
2450 }
2451 if (!right)
2452 right = newOP(OP_UNDEF, 0);
2453 if (right->op_type == OP_READLINE) {
2454 right->op_flags |= OPf_STACKED;
463ee0b2 2455 return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
79072805 2456 }
a0d0e21e 2457 else {
748a9306 2458 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
79072805 2459 op = newBINOP(OP_SASSIGN, flags,
463ee0b2 2460 scalar(right), mod(scalar(left), OP_SASSIGN) );
748a9306
LW		 2461 if (eval_start)
2462 eval_start = 0;
2463 else {
a0d0e21e
LW		 2464 op_free(op);
2465 return Nullop;
2466 }
2467 }
79072805
LW		 2468 return op;
2469}
2470
2471OP *
2472newSTATEOP(flags, label, op)
2473I32 flags;
2474char *label;
2475OP *op;
2476{
bbce6d69 2477 U32 seq = intro_my();
79072805
LW		 2478 register COP *cop;
2479
2480 Newz(1101, cop, 1, COP);
8990e307
LW		 2481 if (perldb && curcop->cop_line && curstash != debstash) {
2482 cop->op_type = OP_DBSTATE;
2483 cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
2484 }
2485 else {
2486 cop->op_type = OP_NEXTSTATE;
2487 cop->op_ppaddr = ppaddr[ OP_NEXTSTATE ];
2488 }
79072805 2489 cop->op_flags = flags;
c07a80fd 2490 cop->op_private = 0 | (flags >> 8);
ff0cee69 2491#ifdef NATIVE_HINTS
2492 cop->op_private |= NATIVE_HINTS;
2493#endif
79072805
LW		 2494 cop->op_next = (OP*)cop;
2495
463ee0b2
LW		 2496 if (label) {
2497 cop->cop_label = label;
85e6fe83 2498 hints |= HINT_BLOCK_SCOPE;
463ee0b2 2499 }
bbce6d69 2500 cop->cop_seq = seq;
a0d0e21e 2501 cop->cop_arybase = curcop->cop_arybase;
79072805
LW		 2502
2503 if (copline == NOLINE)
2504 cop->cop_line = curcop->cop_line;
2505 else {
2506 cop->cop_line = copline;
2507 copline = NOLINE;
2508 }
44a8e56a 2509 cop->cop_filegv = (GV*)SvREFCNT_inc(curcop->cop_filegv);
79072805
LW		 2510 cop->cop_stash = curstash;
2511
8990e307 2512 if (perldb && curstash != debstash) {
93a17b20
LW		 2513 SV **svp = av_fetch(GvAV(curcop->cop_filegv),(I32)cop->cop_line, FALSE);
2514 if (svp && *svp != &sv_undef && !SvIOK(*svp)) {
a0d0e21e 2515 (void)SvIOK_on(*svp);
a5f75d66 2516 SvIVX(*svp) = 1;
93a17b20
LW		 2517 SvSTASH(*svp) = (HV*)cop;
2518 }
2519 }
2520
79072805
LW		 2521 return prepend_elem(OP_LINESEQ, (OP*)cop, op);
2522}
2523
bbce6d69 2524/* "Introduce" my variables to visible status. */
2525U32
2526intro_my()
2527{
2528 SV **svp;
2529 SV *sv;
2530 I32 i;
2531
2532 if (! min_intro_pending)
2533 return cop_seqmax;
2534
2535 svp = AvARRAY(comppad_name);
2536 for (i = min_intro_pending; i <= max_intro_pending; i++) {
2537 if ((sv = svp[i]) && sv != &sv_undef && !SvIVX(sv)) {
2538 SvIVX(sv) = 999999999; /* Don't know scope end yet. */
2539 SvNVX(sv) = (double)cop_seqmax;
2540 }
2541 }
2542 min_intro_pending = 0;
2543 comppad_name_fill = max_intro_pending; /* Needn't search higher */
2544 return cop_seqmax++;
2545}
2546
79072805
LW		 2547OP *
2548newLOGOP(type, flags, first, other)
2549I32 type;
2550I32 flags;
2551OP* first;
2552OP* other;
2553{
2554 LOGOP *logop;
2555 OP *op;
2556
a0d0e21e
LW		 2557 if (type == OP_XOR) /* Not short circuit, but here by precedence. */
2558 return newBINOP(type, flags, scalar(first), scalar(other));
2559
8990e307 2560 scalarboolean(first);
79072805
LW		 2561 /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
2562 if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
2563 if (type == OP_AND || type == OP_OR) {
2564 if (type == OP_AND)
2565 type = OP_OR;
2566 else
2567 type = OP_AND;
2568 op = first;
2569 first = cUNOP->op_first;
2570 if (op->op_next)
2571 first->op_next = op->op_next;
2572 cUNOP->op_first = Nullop;
2573 op_free(op);
2574 }
2575 }
2576 if (first->op_type == OP_CONST) {
93a17b20 2577 if (dowarn && (first->op_private & OPpCONST_BARE))
c07a80fd 2578 warn("Probable precedence problem on %s", op_desc[type]);
79072805
LW		 2579 if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
2580 op_free(first);
2581 return other;
2582 }
2583 else {
2584 op_free(other);
2585 return first;
2586 }
2587 }
2588 else if (first->op_type == OP_WANTARRAY) {
2589 if (type == OP_AND)
2590 list(other);
2591 else
2592 scalar(other);
2593 }
a6006777 2594 else if (dowarn && (first->op_flags & OPf_KIDS)) {
2595 OP *k1 = ((UNOP*)first)->op_first;
2596 OP *k2 = k1->op_sibling;
2597 OPCODE warnop = 0;
2598 switch (first->op_type)
2599 {
2600 case OP_NULL:
2601 if (k2 && k2->op_type == OP_READLINE
2602 && (k2->op_flags & OPf_STACKED)
2603 && (k1->op_type == OP_RV2SV || k1->op_type == OP_PADSV))
2604 warnop = k2->op_type;
2605 break;
2606
2607 case OP_SASSIGN:
68dc0745 2608 if (k1->op_type == OP_READDIR
2609 || k1->op_type == OP_GLOB
2610 || k1->op_type == OP_EACH)
a6006777 2611 warnop = k1->op_type;
2612 break;
2613 }
8ebc5c01 2614 if (warnop) {
2615 line_t oldline = curcop->cop_line;
2616 curcop->cop_line = copline;
68dc0745 2617 warn("Value of %s%s can be \"0\"; test with defined()",
2618 op_desc[warnop],
2619 ((warnop == OP_READLINE || warnop == OP_GLOB)
2620 ? " construct" : "() operator"));
2621 curcop->cop_line = oldline;
8ebc5c01 2622 }
a6006777 2623 }
79072805
LW		 2624
2625 if (!other)
2626 return first;
2627
a0d0e21e
LW		 2628 if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
2629 other->op_private |= OPpASSIGN_BACKWARDS; /* other is an OP_SASSIGN */
2630
79072805
LW		 2631 Newz(1101, logop, 1, LOGOP);
2632
2633 logop->op_type = type;
2634 logop->op_ppaddr = ppaddr[type];
2635 logop->op_first = first;
2636 logop->op_flags = flags | OPf_KIDS;
2637 logop->op_other = LINKLIST(other);
c07a80fd 2638 logop->op_private = 1 | (flags >> 8);
79072805
LW		 2639
2640 /* establish postfix order */
2641 logop->op_next = LINKLIST(first);
2642 first->op_next = (OP*)logop;
2643 first->op_sibling = other;
2644
2645 op = newUNOP(OP_NULL, 0, (OP*)logop);
2646 other->op_next = op;
2647
2648 return op;
2649}
2650
2651OP *
b1cb66bf 2652newCONDOP(flags, first, trueop, falseop)
79072805
LW		 2653I32 flags;
2654OP* first;
b1cb66bf 2655OP* trueop;
2656OP* falseop;
79072805
LW		 2657{
2658 CONDOP *condop;
2659 OP *op;
2660
b1cb66bf 2661 if (!falseop)
2662 return newLOGOP(OP_AND, 0, first, trueop);
2663 if (!trueop)
2664 return newLOGOP(OP_OR, 0, first, falseop);
79072805 2665
8990e307 2666 scalarboolean(first);
79072805
LW		 2667 if (first->op_type == OP_CONST) {
2668 if (SvTRUE(((SVOP*)first)->op_sv)) {
2669 op_free(first);
b1cb66bf 2670 op_free(falseop);
2671 return trueop;
79072805
LW		 2672 }
2673 else {
2674 op_free(first);
b1cb66bf 2675 op_free(trueop);
2676 return falseop;
79072805
LW		 2677 }
2678 }
2679 else if (first->op_type == OP_WANTARRAY) {
b1cb66bf 2680 list(trueop);
2681 scalar(falseop);
79072805
LW		 2682 }
2683 Newz(1101, condop, 1, CONDOP);
2684
2685 condop->op_type = OP_COND_EXPR;
2686 condop->op_ppaddr = ppaddr[OP_COND_EXPR];
2687 condop->op_first = first;
2688 condop->op_flags = flags | OPf_KIDS;
b1cb66bf 2689 condop->op_true = LINKLIST(trueop);
2690 condop->op_false = LINKLIST(falseop);
c07a80fd 2691 condop->op_private = 1 | (flags >> 8);
79072805
LW		 2692
2693 /* establish postfix order */
2694 condop->op_next = LINKLIST(first);
2695 first->op_next = (OP*)condop;
2696
b1cb66bf 2697 first->op_sibling = trueop;
2698 trueop->op_sibling = falseop;
79072805
LW		 2699 op = newUNOP(OP_NULL, 0, (OP*)condop);
2700
b1cb66bf 2701 trueop->op_next = op;
2702 falseop->op_next = op;
79072805
LW		 2703
2704 return op;
2705}
2706
2707OP *
2708newRANGE(flags, left, right)
2709I32 flags;
2710OP *left;
2711OP *right;
2712{
2713 CONDOP *condop;
2714 OP *flip;
2715 OP *flop;
2716 OP *op;
2717
2718 Newz(1101, condop, 1, CONDOP);
2719
2720 condop->op_type = OP_RANGE;
2721 condop->op_ppaddr = ppaddr[OP_RANGE];
2722 condop->op_first = left;
2723 condop->op_flags = OPf_KIDS;
2724 condop->op_true = LINKLIST(left);
2725 condop->op_false = LINKLIST(right);
c07a80fd 2726 condop->op_private = 1 | (flags >> 8);
79072805
LW		 2727
2728 left->op_sibling = right;
2729
2730 condop->op_next = (OP*)condop;
2731 flip = newUNOP(OP_FLIP, flags, (OP*)condop);
2732 flop = newUNOP(OP_FLOP, 0, flip);
2733 op = newUNOP(OP_NULL, 0, flop);
2734 linklist(flop);
2735
2736 left->op_next = flip;
2737 right->op_next = flop;
2738
ed6116ce 2739 condop->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805 2740 sv_upgrade(PAD_SV(condop->op_targ), SVt_PVNV);
ed6116ce 2741 flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805
LW		 2742 sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
2743
2744 flip->op_private = left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2745 flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2746
2747 flip->op_next = op;
2748 if (!flip->op_private || !flop->op_private)
2749 linklist(op); /* blow off optimizer unless constant */
2750
2751 return op;
2752}
2753
2754OP *
2755newLOOPOP(flags, debuggable, expr, block)
2756I32 flags;
2757I32 debuggable;
2758OP *expr;
2759OP *block;
2760{
463ee0b2 2761 OP* listop;
93a17b20 2762 OP* op;
463ee0b2 2763 int once = block && block->op_flags & OPf_SPECIAL &&
a0d0e21e 2764 (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
93a17b20 2765
463ee0b2
LW		 2766 if (expr) {
2767 if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
2768 return block; /* do {} while 0 does once */
774d564b 2769 if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB) {
2770 expr = newUNOP(OP_DEFINED, 0,
2771 newASSIGNOP(0, newSVREF(newGVOP(OP_GV, 0, defgv)), 0, expr) );
2772 }
463ee0b2 2773 }
93a17b20 2774
8990e307 2775 listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
93a17b20 2776 op = newLOGOP(OP_AND, 0, expr, listop);
463ee0b2 2777
79072805
LW		 2778 ((LISTOP*)listop)->op_last->op_next = LINKLIST(op);
2779
463ee0b2 2780 if (once && op != listop)
79072805
LW		 2781 op->op_next = ((LOGOP*)cUNOP->op_first)->op_other;
2782
748a9306
LW		 2783 if (op == listop)
2784 op = newUNOP(OP_NULL, 0, op); /* or do {} while 1 loses outer block */
2785
79072805 2786 op->op_flags |= flags;
a0d0e21e 2787 op = scope(op);
748a9306 2788 op->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
a0d0e21e 2789 return op;
79072805
LW		 2790}
2791
2792OP *
2793newWHILEOP(flags, debuggable, loop, expr, block, cont)
2794I32 flags;
2795I32 debuggable;
2796LOOP *loop;
2797OP *expr;
2798OP *block;
2799OP *cont;
2800{
2801 OP *redo;
2802 OP *next = 0;
2803 OP *listop;
2804 OP *op;
2805 OP *condop;
2806
748a9306
LW		 2807 if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB)) {
2808 expr = newUNOP(OP_DEFINED, 0,
2809 newASSIGNOP(0, newSVREF(newGVOP(OP_GV, 0, defgv)), 0, expr) );
2810 }
79072805
LW		 2811
2812 if (!block)
2813 block = newOP(OP_NULL, 0);
2814
2815 if (cont)
2816 next = LINKLIST(cont);
2817 if (expr)
2818 cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
2819
463ee0b2 2820 listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
79072805
LW		 2821 redo = LINKLIST(listop);
2822
2823 if (expr) {
2824 op = newLOGOP(OP_AND, 0, expr, scalar(listop));
85e6fe83
LW		 2825 if (op == expr && op->op_type == OP_CONST && !SvTRUE(cSVOP->op_sv)) {
2826 op_free(expr); /* oops, it's a while (0) */
463ee0b2
LW		 2827 op_free((OP*)loop);
2828 return Nullop; /* (listop already freed by newLOGOP) */
2829 }
79072805
LW		 2830 ((LISTOP*)listop)->op_last->op_next = condop =
2831 (op == listop ? redo : LINKLIST(op));
2832 if (!next)
2833 next = condop;
2834 }
2835 else
2836 op = listop;
2837
2838 if (!loop) {
2839 Newz(1101,loop,1,LOOP);
2840 loop->op_type = OP_ENTERLOOP;
2841 loop->op_ppaddr = ppaddr[OP_ENTERLOOP];
2842 loop->op_private = 0;
2843 loop->op_next = (OP*)loop;
2844 }
2845
463ee0b2 2846 op = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, op);
79072805
LW		 2847
2848 loop->op_redoop = redo;
2849 loop->op_lastop = op;
2850
2851 if (next)
2852 loop->op_nextop = next;
2853 else
2854 loop->op_nextop = op;
2855
2856 op->op_flags |= flags;
c07a80fd 2857 op->op_private |= (flags >> 8);
79072805
LW		 2858 return op;
2859}
2860
2861OP *
a0d0e21e 2862#ifndef CAN_PROTOTYPE
79072805
LW		 2863newFOROP(flags,label,forline,sv,expr,block,cont)
2864I32 flags;
2865char *label;
2866line_t forline;
2867OP* sv;
2868OP* expr;
2869OP*block;
2870OP*cont;
8990e307
LW		 2871#else
2872newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
a0d0e21e 2873#endif /* CAN_PROTOTYPE */
79072805
LW		 2874{
2875 LOOP *loop;
85e6fe83 2876 int padoff = 0;
4633a7c4 2877 I32 iterflags = 0;
79072805
LW		 2878
2879 copline = forline;
2880 if (sv) {
85e6fe83 2881 if (sv->op_type == OP_RV2SV) { /* symbol table variable */
748a9306
LW		 2882 sv->op_type = OP_RV2GV;
2883 sv->op_ppaddr = ppaddr[OP_RV2GV];
79072805 2884 }
85e6fe83
LW		 2885 else if (sv->op_type == OP_PADSV) { /* private variable */
2886 padoff = sv->op_targ;
2887 op_free(sv);
2888 sv = Nullop;
2889 }
79072805 2890 else
c07a80fd 2891 croak("Can't use %s for loop variable", op_desc[sv->op_type]);
79072805
LW		 2892 }
2893 else {
2894 sv = newGVOP(OP_GV, 0, defgv);
2895 }
5f05dabc 2896 if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
4633a7c4
LW		 2897 expr = scalar(ref(expr, OP_ITER));
2898 iterflags |= OPf_STACKED;
2899 }
2900 loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
a0d0e21e
LW		 2901 append_elem(OP_LIST, mod(force_list(expr), OP_GREPSTART),
2902 scalar(sv))));
85e6fe83
LW		 2903 assert(!loop->op_next);
2904 Renew(loop, 1, LOOP);
2905 loop->op_targ = padoff;
2906 return newSTATEOP(0, label, newWHILEOP(flags, 1, loop,
2907 newOP(OP_ITER, 0), block, cont));
79072805
LW		 2908}
2909
8990e307
LW		 2910OP*
2911newLOOPEX(type, label)
2912I32 type;
2913OP* label;
2914{
2915 OP *op;
2916 if (type != OP_GOTO || label->op_type == OP_CONST) {
a0d0e21e
LW		 2917 op = newPVOP(type, 0, savepv(
2918 label->op_type == OP_CONST
2919 ? SvPVx(((SVOP*)label)->op_sv, na)
2920 : "" ));
8990e307
LW		 2921 op_free(label);
2922 }
2923 else {
a0d0e21e
LW		 2924 if (label->op_type == OP_ENTERSUB)
2925 label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
8990e307
LW		 2926 op = newUNOP(type, OPf_STACKED, label);
2927 }
85e6fe83 2928 hints |= HINT_BLOCK_SCOPE;
8990e307
LW		 2929 return op;
2930}
2931
79072805 2932void
85e6fe83 2933cv_undef(cv)
79072805
LW		 2934CV *cv;
2935{
a0d0e21e
LW		 2936 if (!CvXSUB(cv) && CvROOT(cv)) {
2937 if (CvDEPTH(cv))
2938 croak("Can't undef active subroutine");
8990e307 2939 ENTER;
a0d0e21e
LW		 2940
2941 SAVESPTR(curpad);
2942 curpad = 0;
2943
a5f75d66 2944 if (!CvCLONED(cv))
748a9306 2945 op_free(CvROOT(cv));
79072805 2946 CvROOT(cv) = Nullop;
8990e307 2947 LEAVE;
79072805 2948 }
1d5db326 2949 SvPOK_off((SV*)cv); /* forget prototype */
44a8e56a 2950 CvFLAGS(cv) = 0;
8e07c86e
AD		 2951 SvREFCNT_dec(CvGV(cv));
2952 CvGV(cv) = Nullgv;
2953 SvREFCNT_dec(CvOUTSIDE(cv));
2954 CvOUTSIDE(cv) = Nullcv;
2955 if (CvPADLIST(cv)) {
8ebc5c01 2956 /* may be during global destruction */
2957 if (SvREFCNT(CvPADLIST(cv))) {
2958 I32 i = AvFILL(CvPADLIST(cv));
2959 while (i >= 0) {
2960 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
46fc3d4c 2961 SV* sv = svp ? *svp : Nullsv;
2962 if (!sv)
2963 continue;
2964 if (sv == (SV*)comppad_name)
2965 comppad_name = Nullav;
2966 else if (sv == (SV*)comppad) {
2967 comppad = Nullav;
2968 curpad = Null(SV**);
2969 }
2970 SvREFCNT_dec(sv);
8ebc5c01 2971 }
2972 SvREFCNT_dec((SV*)CvPADLIST(cv));
8e07c86e 2973 }
8e07c86e
AD		 2974 CvPADLIST(cv) = Nullav;
2975 }
79072805
LW		 2976}
2977
5f05dabc 2978#ifdef DEBUG_CLOSURES
2979static void
2980cv_dump(cv)
2981CV* cv;
2982{
2983 CV *outside = CvOUTSIDE(cv);
2984 AV* padlist = CvPADLIST(cv);
4fdae800 2985 AV* pad_name;
2986 AV* pad;
2987 SV** pname;
2988 SV** ppad;
5f05dabc 2989 I32 ix;
2990
2991 PerlIO_printf(Perl_debug_log, "\tCV=0x%p (%s), OUTSIDE=0x%p (%s)\n",
ab50184a
CS		 2992 cv,
2993 (CvANON(cv) ? "ANON"
2994 : (cv == main_cv) ? "MAIN"
07055b4c 2995 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 2996 : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
ab50184a
CS		 2997 outside,
2998 (!outside ? "null"
2999 : CvANON(outside) ? "ANON"
3000 : (outside == main_cv) ? "MAIN"
07055b4c 3001 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3002 : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
5f05dabc 3003
4fdae800 3004 if (!padlist)
3005 return;
3006
3007 pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3008 pad = (AV*)*av_fetch(padlist, 1, FALSE);
3009 pname = AvARRAY(pad_name);
3010 ppad = AvARRAY(pad);
3011
9607fc9c 3012 for (ix = 1; ix <= AvFILL(pad_name); ix++) {
5f05dabc 3013 if (SvPOK(pname[ix]))
4fdae800 3014 PerlIO_printf(Perl_debug_log, "\t%4d. 0x%p (%s\"%s\" %ld-%ld)\n",
3015 ix, ppad[ix],
3016 SvFAKE(pname[ix]) ? "FAKE " : "",
3017 SvPVX(pname[ix]),
ab50184a
CS		 3018 (long)I_32(SvNVX(pname[ix])),
3019 (long)SvIVX(pname[ix]));
5f05dabc 3020 }
3021}
3022#endif /* DEBUG_CLOSURES */
3023
3024static CV *
3025cv_clone2(proto, outside)
748a9306 3026CV* proto;
5f05dabc 3027CV* outside;
748a9306
LW		 3028{
3029 AV* av;
3030 I32 ix;
3031 AV* protopadlist = CvPADLIST(proto);
3032 AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
3033 AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
5f05dabc 3034 SV** pname = AvARRAY(protopad_name);
3035 SV** ppad = AvARRAY(protopad);
9607fc9c 3036 I32 fname = AvFILL(protopad_name);
3037 I32 fpad = AvFILL(protopad);
748a9306
LW		 3038 AV* comppadlist;
3039 CV* cv;
3040
07055b4c
CS		 3041 assert(!CvUNIQUE(proto));
3042
748a9306
LW		 3043 ENTER;
3044 SAVESPTR(curpad);
3045 SAVESPTR(comppad);
46fc3d4c 3046 SAVESPTR(comppad_name);
748a9306
LW		 3047 SAVESPTR(compcv);
3048
3049 cv = compcv = (CV*)NEWSV(1104,0);
fa83b5b6 3050 sv_upgrade((SV *)cv, SvTYPE(proto));
a5f75d66 3051 CvCLONED_on(cv);
5f05dabc 3052 if (CvANON(proto))
3053 CvANON_on(cv);
748a9306
LW		 3054
3055 CvFILEGV(cv) = CvFILEGV(proto);
44a8e56a 3056 CvGV(cv) = (GV*)SvREFCNT_inc(CvGV(proto));
748a9306
LW		 3057 CvSTASH(cv) = CvSTASH(proto);
3058 CvROOT(cv) = CvROOT(proto);
3059 CvSTART(cv) = CvSTART(proto);
5f05dabc 3060 if (outside)
3061 CvOUTSIDE(cv) = (CV*)SvREFCNT_inc(outside);
748a9306 3062
68dc0745 3063 if (SvPOK(proto))
3064 sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
3065
46fc3d4c 3066 comppad_name = newAV();
3067 for (ix = fname; ix >= 0; ix--)
3068 av_store(comppad_name, ix, SvREFCNT_inc(pname[ix]));
748a9306
LW		 3069
3070 comppad = newAV();
3071
3072 comppadlist = newAV();
3073 AvREAL_off(comppadlist);
46fc3d4c 3074 av_store(comppadlist, 0, (SV*)comppad_name);
b355b4e0 3075 av_store(comppadlist, 1, (SV*)comppad);
748a9306 3076 CvPADLIST(cv) = comppadlist;
5f05dabc 3077 av_fill(comppad, AvFILL(protopad));
748a9306
LW		 3078 curpad = AvARRAY(comppad);
3079
3080 av = newAV(); /* will be @_ */
3081 av_extend(av, 0);
3082 av_store(comppad, 0, (SV*)av);
3083 AvFLAGS(av) = AVf_REIFY;
3084
9607fc9c 3085 for (ix = fpad; ix > 0; ix--) {
3086 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3087 if (namesv && namesv != &sv_undef) {
3088 char *name = SvPVX(namesv); /* XXX */
3089 if (SvFLAGS(namesv) & SVf_FAKE) { /* lexical from outside? */
3090 I32 off = pad_findlex(name, ix, SvIVX(namesv),
5f05dabc 3091 CvOUTSIDE(cv), cxstack_ix);
3092 if (!off)
3093 curpad[ix] = SvREFCNT_inc(ppad[ix]);
3094 else if (off != ix)
748a9306
LW		 3095 croak("panic: cv_clone: %s", name);
3096 }
3097 else { /* our own lexical */
aa689395 3098 SV* sv;
5f05dabc 3099 if (*name == '&') {
3100 /* anon code -- we'll come back for it */
3101 sv = SvREFCNT_inc(ppad[ix]);
3102 }
3103 else if (*name == '@')
3104 sv = (SV*)newAV();
748a9306 3105 else if (*name == '%')
5f05dabc 3106 sv = (SV*)newHV();
748a9306 3107 else
5f05dabc 3108 sv = NEWSV(0,0);
3109 if (!SvPADBUSY(sv))
3110 SvPADMY_on(sv);
3111 curpad[ix] = sv;
748a9306
LW		 3112 }
3113 }
3114 else {
aa689395 3115 SV* sv = NEWSV(0,0);
748a9306 3116 SvPADTMP_on(sv);
5f05dabc 3117 curpad[ix] = sv;
748a9306
LW		 3118 }
3119 }
3120
5f05dabc 3121 /* Now that vars are all in place, clone nested closures. */
3122
9607fc9c 3123 for (ix = fpad; ix > 0; ix--) {
3124 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3125 if (namesv
3126 && namesv != &sv_undef
3127 && !(SvFLAGS(namesv) & SVf_FAKE)
3128 && *SvPVX(namesv) == '&'
5f05dabc 3129 && CvCLONE(ppad[ix]))
3130 {
3131 CV *kid = cv_clone2((CV*)ppad[ix], cv);
3132 SvREFCNT_dec(ppad[ix]);
3133 CvCLONE_on(kid);
3134 SvPADMY_on(kid);
3135 curpad[ix] = (SV*)kid;
748a9306
LW		 3136 }
3137 }
3138
5f05dabc 3139#ifdef DEBUG_CLOSURES
ab50184a
CS		 3140 PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
3141 cv_dump(outside);
3142 PerlIO_printf(Perl_debug_log, " from:\n");
5f05dabc 3143 cv_dump(proto);
ab50184a 3144 PerlIO_printf(Perl_debug_log, " to:\n");
5f05dabc 3145 cv_dump(cv);
3146#endif
3147
748a9306
LW		 3148 LEAVE;
3149 return cv;
3150}
3151
3152CV *
5f05dabc 3153cv_clone(proto)
3154CV* proto;
3155{
3156 return cv_clone2(proto, CvOUTSIDE(proto));
3157}
3158
3fe9a6f1 3159void
3160cv_ckproto(cv, gv, p)
3161CV* cv;
3162GV* gv;
3163char* p;
3164{
3165 if ((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) {
46fc3d4c 3166 SV* msg = sv_newmortal();
3fe9a6f1 3167 SV* name = Nullsv;
3168
3169 if (gv)
46fc3d4c 3170 gv_efullname3(name = sv_newmortal(), gv, Nullch);
3171 sv_setpv(msg, "Prototype mismatch:");
3172 if (name)
fc36a67e 3173 sv_catpvf(msg, " sub %_", name);
3fe9a6f1 3174 if (SvPOK(cv))
46fc3d4c 3175 sv_catpvf(msg, " (%s)", SvPVX(cv));
3176 sv_catpv(msg, " vs ");
3177 if (p)
3178 sv_catpvf(msg, "(%s)", p);
3179 else
3180 sv_catpv(msg, "none");
fc36a67e 3181 warn("%_", msg);
3fe9a6f1 3182 }
3183}
3184
760ac839
LW		 3185SV *
3186cv_const_sv(cv)
3fe9a6f1 3187CV* cv;
760ac839
LW		 3188{
3189 OP *o;
54310121 3190 SV *sv;
760ac839 3191
54310121 3192 if (!cv || !SvPOK(cv) || SvCUR(cv))
3193 return Nullsv;
760ac839 3194
54310121 3195 sv = Nullsv;
3196 for (o = CvSTART(cv); o; o = o->op_next) {
3197 OPCODE type = o->op_type;
3198
3199 if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
3200 continue;
3201 if (type == OP_LEAVESUB || type == OP_RETURN)
3202 break;
3203 if (sv)
3204 return Nullsv;
3205 if (type == OP_CONST)
760ac839 3206 sv = ((SVOP*)o)->op_sv;
54310121 3207 else if (type == OP_PADSV) {
3208 AV* pad = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
3209 sv = pad ? AvARRAY(pad)[o->op_targ] : Nullsv;
5aabfad6 3210 if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
54310121 3211 return Nullsv;
760ac839 3212 }
54310121 3213 else
3214 return Nullsv;
760ac839 3215 }
5aabfad6 3216 if (sv)
3217 SvREADONLY_on(sv);
760ac839
LW		 3218 return sv;
3219}
3220
748a9306 3221CV *
4633a7c4 3222newSUB(floor,op,proto,block)
79072805
LW		 3223I32 floor;
3224OP *op;
4633a7c4 3225OP *proto;
79072805
LW		 3226OP *block;
3227{
44a8e56a 3228 char *name = op ? SvPVx(cSVOP->op_sv, na) : Nullch;
3229 GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
3fe9a6f1 3230 char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, na) : Nullch;
79072805 3231 register CV *cv;
a0d0e21e 3232 I32 ix;
79072805 3233
a0d0e21e 3234 if (op)
8ebc5c01 3235 SAVEFREEOP(op);
3fe9a6f1 3236 if (proto)
3237 SAVEFREEOP(proto);
3238
68dc0745 3239 if (!name || GvCVGEN(gv))
3240 cv = Nullcv;
3241 else if (cv = GvCV(gv)) {
3fe9a6f1 3242 cv_ckproto(cv, gv, ps);
68dc0745 3243 /* already defined (or promised)? */
3244 if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3245 SV* const_sv;
aa689395 3246 if (!block) {
3247 /* just a "sub foo;" when &foo is already defined */
3248 SAVEFREESV(compcv);
3249 goto done;
3250 }
7bac28a0 3251 /* ahem, death to those who redefine active sort subs */
3252 if (curstack == sortstack && sortcop == CvSTART(cv))
3253 croak("Can't redefine active sort subroutine %s", name);
68dc0745 3254 const_sv = cv_const_sv(cv);
44a8e56a 3255 if (const_sv || dowarn) {
79072805 3256 line_t oldline = curcop->cop_line;
79072805 3257 curcop->cop_line = copline;
760ac839 3258 warn(const_sv ? "Constant subroutine %s redefined"
68dc0745 3259 : "Subroutine %s redefined", name);
79072805
LW		 3260 curcop->cop_line = oldline;
3261 }
8990e307 3262 SvREFCNT_dec(cv);
68dc0745 3263 cv = Nullcv;
79072805
LW		 3264 }
3265 }
a0d0e21e 3266 if (cv) { /* must reuse cv if autoloaded */
4633a7c4 3267 cv_undef(cv);
44a8e56a 3268 CvFLAGS(cv) = CvFLAGS(compcv);
748a9306 3269 CvOUTSIDE(cv) = CvOUTSIDE(compcv);
e9a444f0 3270 CvOUTSIDE(compcv) = 0;
748a9306 3271 CvPADLIST(cv) = CvPADLIST(compcv);
4aa0a1f7 3272 CvPADLIST(compcv) = 0;
4633a7c4
LW		 3273 if (SvREFCNT(compcv) > 1) /* XXX Make closures transit through stub. */
3274 CvOUTSIDE(compcv) = (CV*)SvREFCNT_inc((SV*)cv);
748a9306 3275 SvREFCNT_dec(compcv);
a0d0e21e
LW		 3276 }
3277 else {
748a9306 3278 cv = compcv;
44a8e56a 3279 if (name) {
3280 GvCV(gv) = cv;
3281 GvCVGEN(gv) = 0;
3282 sub_generation++;
3283 }
a0d0e21e 3284 }
44a8e56a 3285 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805 3286 CvFILEGV(cv) = curcop->cop_filegv;
8990e307
LW		 3287 CvSTASH(cv) = curstash;
3288
3fe9a6f1 3289 if (ps)
3290 sv_setpv((SV*)cv, ps);
4633a7c4 3291
c07a80fd 3292 if (error_count) {
3293 op_free(block);
3294 block = Nullop;
68dc0745 3295 if (name) {
3296 char *s = strrchr(name, ':');
3297 s = s ? s+1 : name;
6d4c2119
CS		 3298 if (strEQ(s, "BEGIN")) {
3299 char *not_safe =
3300 "BEGIN not safe after errors--compilation aborted";
3301 if (in_eval & 4)
3302 croak(not_safe);
3303 else {
3304 /* force display of errors found but not reported */
3305 sv_catpv(GvSV(errgv), not_safe);
3306 croak("%s", SvPVx(GvSV(errgv), na));
3307 }
3308 }
68dc0745 3309 }
c07a80fd 3310 }
a0d0e21e 3311 if (!block) {
a0d0e21e
LW		 3312 copline = NOLINE;
3313 LEAVE_SCOPE(floor);
3314 return cv;
3315 }
3316
54310121 3317 if (AvFILL(comppad_name) < AvFILL(comppad))
3318 av_store(comppad_name, AvFILL(comppad), Nullsv);
a0d0e21e 3319
54310121 3320 if (CvCLONE(cv)) {
3321 SV **namep = AvARRAY(comppad_name);
3322 for (ix = AvFILL(comppad); ix > 0; ix--) {
3323 SV *namesv;
3324
3325 if (SvIMMORTAL(curpad[ix]))
3326 continue;
3327 /*
3328 * The only things that a clonable function needs in its
3329 * pad are references to outer lexicals and anonymous subs.
3330 * The rest are created anew during cloning.
3331 */
3332 if (!((namesv = namep[ix]) != Nullsv &&
3333 namesv != &sv_undef &&
3334 (SvFAKE(namesv) ||
3335 *SvPVX(namesv) == '&')))
3336 {
3337 SvREFCNT_dec(curpad[ix]);
3338 curpad[ix] = Nullsv;
3339 }
3340 }
a0d0e21e 3341 }
54310121 3342 else {
3343 AV *av = newAV(); /* Will be @_ */
3344 av_extend(av, 0);
3345 av_store(comppad, 0, (SV*)av);
3346 AvFLAGS(av) = AVf_REIFY;
79072805 3347
54310121 3348 for (ix = AvFILL(comppad); ix > 0; ix--) {
3349 if (SvIMMORTAL(curpad[ix]))
3350 continue;
3351 if (!SvPADMY(curpad[ix]))
3352 SvPADTMP_on(curpad[ix]);
3353 }
3354 }
79072805 3355
a0d0e21e 3356 CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
79072805
LW		 3357 CvSTART(cv) = LINKLIST(CvROOT(cv));
3358 CvROOT(cv)->op_next = 0;
3359 peep(CvSTART(cv));
93a17b20 3360
44a8e56a 3361 if (name) {
3362 char *s;
3363
3364 if (perldb && curstash != debstash) {
46fc3d4c 3365 SV *sv = NEWSV(0,0);
44a8e56a 3366 SV *tmpstr = sv_newmortal();
3367 static GV *db_postponed;
3368 CV *cv;
3369 HV *hv;
3370
fc36a67e 3371 sv_setpvf(sv, "%_:%ld-%ld",
46fc3d4c 3372 GvSV(curcop->cop_filegv),
3373 (long)subline, (long)curcop->cop_line);
44a8e56a 3374 gv_efullname3(tmpstr, gv, Nullch);
3375 hv_store(GvHV(DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
3376 if (!db_postponed) {
6bbcb22c 3377 db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
44a8e56a 3378 }
3379 hv = GvHVn(db_postponed);
9607fc9c 3380 if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
3381 && (cv = GvCV(db_postponed))) {
44a8e56a 3382 dSP;
3383 PUSHMARK(sp);
3384 XPUSHs(tmpstr);
3385 PUTBACK;
3386 perl_call_sv((SV*)cv, G_DISCARD);
3387 }
3388 }
79072805 3389
44a8e56a 3390 if ((s = strrchr(name,':')))
28757baa 3391 s++;
3392 else
3393 s = name;
68dc0745 3394 if (strEQ(s, "BEGIN")) {
2ae324a7 3395 I32 oldscope = scopestack_ix;
28757baa 3396 ENTER;
3397 SAVESPTR(compiling.cop_filegv);
3398 SAVEI16(compiling.cop_line);
3399 SAVEI32(perldb);
3400 save_svref(&rs);
3401 sv_setsv(rs, nrs);
3402
3403 if (!beginav)
3404 beginav = newAV();
3405 DEBUG_x( dump_sub(gv) );
3406 av_push(beginav, (SV *)cv);
3407 GvCV(gv) = 0;
68dc0745 3408 call_list(oldscope, beginav);
a6006777 3409
28757baa 3410 curcop = &compiling;
3411 LEAVE;
3412 }
3413 else if (strEQ(s, "END") && !error_count) {
3414 if (!endav)
3415 endav = newAV();
3416 av_unshift(endav, 1);
3417 av_store(endav, 0, (SV *)cv);
3418 GvCV(gv) = 0;
3419 }
ae77835f
MB		 3420 else if (strEQ(s, "RESTART") && !error_count) {
3421 if (!restartav)
3422 restartav = newAV();
3423 av_push(restartav, SvREFCNT_inc(cv));
3424 }
79072805 3425 }
a6006777 3426
aa689395 3427 done:
79072805 3428 copline = NOLINE;
8990e307 3429 LEAVE_SCOPE(floor);
a0d0e21e 3430 return cv;
79072805
LW		 3431}
3432
a0d0e21e
LW		 3433#ifdef DEPRECATED
3434CV *
463ee0b2 3435newXSUB(name, ix, subaddr, filename)
79072805
LW		 3436char *name;
3437I32 ix;
3438I32 (*subaddr)();
3439char *filename;
3440{
a0d0e21e 3441 CV* cv = newXS(name, (void(*)())subaddr, filename);
a5f75d66 3442 CvOLDSTYLE_on(cv);
a0d0e21e
LW		 3443 CvXSUBANY(cv).any_i32 = ix;
3444 return cv;
3445}
3446#endif
3447
3448CV *
3449newXS(name, subaddr, filename)
3450char *name;
3451void (*subaddr) _((CV*));
3452char *filename;
3453{
44a8e56a 3454 GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
79072805 3455 register CV *cv;
44a8e56a 3456
3457 if (cv = (name ? GvCV(gv) : Nullcv)) {
3458 if (GvCVGEN(gv)) {
3459 /* just a cached method */
3460 SvREFCNT_dec(cv);
3461 cv = 0;
3462 }
3463 else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3464 /* already defined (or promised) */
a0d0e21e
LW		 3465 if (dowarn) {
3466 line_t oldline = curcop->cop_line;
a0d0e21e
LW		 3467 curcop->cop_line = copline;
3468 warn("Subroutine %s redefined",name);
3469 curcop->cop_line = oldline;
3470 }
3471 SvREFCNT_dec(cv);
3472 cv = 0;
79072805 3473 }
79072805 3474 }
44a8e56a 3475
3476 if (cv) /* must reuse cv if autoloaded */
3477 cv_undef(cv);
a0d0e21e
LW		 3478 else {
3479 cv = (CV*)NEWSV(1105,0);
3480 sv_upgrade((SV *)cv, SVt_PVCV);
44a8e56a 3481 if (name) {
3482 GvCV(gv) = cv;
3483 GvCVGEN(gv) = 0;
3484 sub_generation++;
3485 }
a0d0e21e 3486 }
44a8e56a 3487 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805 3488 CvFILEGV(cv) = gv_fetchfile(filename);
a0d0e21e 3489 CvXSUB(cv) = subaddr;
44a8e56a 3490
28757baa 3491 if (name) {
3492 char *s = strrchr(name,':');
3493 if (s)
3494 s++;
3495 else
3496 s = name;
3497 if (strEQ(s, "BEGIN")) {
3498 if (!beginav)
3499 beginav = newAV();
44a8e56a 3500 av_push(beginav, (SV *)cv);
3501 GvCV(gv) = 0;
28757baa 3502 }
3503 else if (strEQ(s, "END")) {
3504 if (!endav)
3505 endav = newAV();
3506 av_unshift(endav, 1);
44a8e56a 3507 av_store(endav, 0, (SV *)cv);
3508 GvCV(gv) = 0;
28757baa 3509 }
ae77835f
MB		 3510 else if (strEQ(s, "RESTART")) {
3511 if (!restartav)
3512 restartav = newAV();
3513 av_push(restartav, (SV *)cv);
3514 }
28757baa 3515 }
8990e307 3516 else
a5f75d66 3517 CvANON_on(cv);
44a8e56a 3518
a0d0e21e 3519 return cv;
79072805
LW		 3520}
3521
3522void
3523newFORM(floor,op,block)
3524I32 floor;
3525OP *op;
3526OP *block;
3527{
3528 register CV *cv;
3529 char *name;
3530 GV *gv;
a0d0e21e 3531 I32 ix;
79072805
LW		 3532
3533 if (op)
463ee0b2 3534 name = SvPVx(cSVOP->op_sv, na);
79072805
LW		 3535 else
3536 name = "STDOUT";
85e6fe83 3537 gv = gv_fetchpv(name,TRUE, SVt_PVFM);
a5f75d66 3538 GvMULTI_on(gv);
79072805
LW		 3539 if (cv = GvFORM(gv)) {
3540 if (dowarn) {
3541 line_t oldline = curcop->cop_line;
3542
3543 curcop->cop_line = copline;
3544 warn("Format %s redefined",name);
3545 curcop->cop_line = oldline;
3546 }
8990e307 3547 SvREFCNT_dec(cv);
79072805 3548 }
748a9306 3549 cv = compcv;
79072805 3550 GvFORM(gv) = cv;
44a8e56a 3551 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805
LW		 3552 CvFILEGV(cv) = curcop->cop_filegv;
3553
a0d0e21e 3554 for (ix = AvFILL(comppad); ix > 0; ix--) {
44a8e56a 3555 if (!SvPADMY(curpad[ix]) && !SvIMMORTAL(curpad[ix]))
a0d0e21e
LW		 3556 SvPADTMP_on(curpad[ix]);
3557 }
3558
79072805
LW		 3559 CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
3560 CvSTART(cv) = LINKLIST(CvROOT(cv));
3561 CvROOT(cv)->op_next = 0;
3562 peep(CvSTART(cv));
79072805
LW		 3563 op_free(op);
3564 copline = NOLINE;
8990e307 3565 LEAVE_SCOPE(floor);
79072805
LW		 3566}
3567
3568OP *
79072805
LW		 3569newANONLIST(op)
3570OP* op;
3571{
93a17b20 3572 return newUNOP(OP_REFGEN, 0,
a0d0e21e 3573 mod(list(convert(OP_ANONLIST, 0, op)), OP_REFGEN));
79072805
LW		 3574}
3575
3576OP *
3577newANONHASH(op)
3578OP* op;
3579{
93a17b20 3580 return newUNOP(OP_REFGEN, 0,
a0d0e21e
LW		 3581 mod(list(convert(OP_ANONHASH, 0, op)), OP_REFGEN));
3582}
3583
3584OP *
4633a7c4 3585newANONSUB(floor, proto, block)
a0d0e21e 3586I32 floor;
4633a7c4 3587OP *proto;
a0d0e21e
LW		 3588OP *block;
3589{
3590 return newUNOP(OP_REFGEN, 0,
4633a7c4 3591 newSVOP(OP_ANONCODE, 0, (SV*)newSUB(floor, 0, proto, block)));
79072805
LW		 3592}
3593
3594OP *
3595oopsAV(o)
3596OP *o;
3597{
ed6116ce
LW		 3598 switch (o->op_type) {
3599 case OP_PADSV:
3600 o->op_type = OP_PADAV;
3601 o->op_ppaddr = ppaddr[OP_PADAV];
3602 return ref(newUNOP(OP_RV2AV, 0, scalar(o)), OP_RV2AV);
3603
3604 case OP_RV2SV:
79072805
LW		 3605 o->op_type = OP_RV2AV;
3606 o->op_ppaddr = ppaddr[OP_RV2AV];
3607 ref(o, OP_RV2AV);
ed6116ce
LW		 3608 break;
3609
3610 default:
79072805 3611 warn("oops: oopsAV");
ed6116ce
LW		 3612 break;
3613 }
79072805
LW		 3614 return o;
3615}
3616
3617OP *
3618oopsHV(o)
3619OP *o;
3620{
ed6116ce
LW		 3621 switch (o->op_type) {
3622 case OP_PADSV:
3623 case OP_PADAV:
3624 o->op_type = OP_PADHV;
3625 o->op_ppaddr = ppaddr[OP_PADHV];
3626 return ref(newUNOP(OP_RV2HV, 0, scalar(o)), OP_RV2HV);
3627
3628 case OP_RV2SV:
3629 case OP_RV2AV:
79072805
LW		 3630 o->op_type = OP_RV2HV;
3631 o->op_ppaddr = ppaddr[OP_RV2HV];
3632 ref(o, OP_RV2HV);
ed6116ce
LW		 3633 break;
3634
3635 default:
79072805 3636 warn("oops: oopsHV");
ed6116ce
LW		 3637 break;
3638 }
79072805
LW		 3639 return o;
3640}
3641
3642OP *
3643newAVREF(o)
3644OP *o;
3645{
ed6116ce
LW		 3646 if (o->op_type == OP_PADANY) {
3647 o->op_type = OP_PADAV;
3648 o->op_ppaddr = ppaddr[OP_PADAV];
93a17b20 3649 return o;
ed6116ce 3650 }
79072805
LW		 3651 return newUNOP(OP_RV2AV, 0, scalar(o));
3652}
3653
3654OP *
a0d0e21e
LW		 3655newGVREF(type,o)
3656I32 type;
79072805
LW		 3657OP *o;
3658{
a0d0e21e
LW		 3659 if (type == OP_MAPSTART)
3660 return newUNOP(OP_NULL, 0, o);
748a9306 3661 return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
79072805
LW		 3662}
3663
3664OP *
3665newHVREF(o)
3666OP *o;
3667{
ed6116ce
LW		 3668 if (o->op_type == OP_PADANY) {
3669 o->op_type = OP_PADHV;
3670 o->op_ppaddr = ppaddr[OP_PADHV];
93a17b20 3671 return o;
ed6116ce 3672 }
79072805
LW		 3673 return newUNOP(OP_RV2HV, 0, scalar(o));
3674}
3675
3676OP *
3677oopsCV(o)
3678OP *o;
3679{
463ee0b2 3680 croak("NOT IMPL LINE %d",__LINE__);
79072805
LW		 3681 /* STUB */
3682 return o;
3683}
3684
3685OP *
c07a80fd 3686newCVREF(flags, o)
3687I32 flags;
79072805
LW		 3688OP *o;
3689{
c07a80fd 3690 return newUNOP(OP_RV2CV, flags, scalar(o));
79072805
LW		 3691}
3692
3693OP *
3694newSVREF(o)
3695OP *o;
3696{
ed6116ce
LW		 3697 if (o->op_type == OP_PADANY) {
3698 o->op_type = OP_PADSV;
3699 o->op_ppaddr = ppaddr[OP_PADSV];
93a17b20 3700 return o;
ed6116ce 3701 }
79072805
LW		 3702 return newUNOP(OP_RV2SV, 0, scalar(o));
3703}
3704
3705/* Check routines. */
3706
3707OP *
5f05dabc 3708ck_anoncode(op)
3709OP *op;
3710{
178c6305
CS		 3711 PADOFFSET ix;
3712 SV* name;
3713
3714 name = NEWSV(1106,0);
3715 sv_upgrade(name, SVt_PVNV);
3716 sv_setpvn(name, "&", 1);
3717 SvIVX(name) = -1;
3718 SvNVX(name) = 1;
3719 ix = pad_alloc(op->op_type, SVs_PADMY);
3720 av_store(comppad_name, ix, name);
5f05dabc 3721 av_store(comppad, ix, cSVOP->op_sv);
3722 SvPADMY_on(cSVOP->op_sv);
3723 cSVOP->op_sv = Nullsv;
3724 cSVOP->op_targ = ix;
3725 return op;
3726}
3727
3728OP *
55497cff 3729ck_bitop(op)
3730OP *op;
3731{
3732 op->op_private = hints;
3733 return op;
3734}
3735
3736OP *
79072805
LW		 3737ck_concat(op)
3738OP *op;
3739{
3740 if (cUNOP->op_first->op_type == OP_CONCAT)
3741 op->op_flags |= OPf_STACKED;
3742 return op;
3743}
3744
3745OP *
a0d0e21e 3746ck_spair(op)
79072805
LW		 3747OP *op;
3748{
3749 if (op->op_flags & OPf_KIDS) {
3750 OP* newop;
a0d0e21e 3751 OP* kid;
8ebc5c01 3752 OPCODE type = op->op_type;
3753 op = modkids(ck_fun(op), type);
a0d0e21e
LW		 3754 kid = cUNOP->op_first;
3755 newop = kUNOP->op_first->op_sibling;
3756 if (newop &&
3757 (newop->op_sibling ||
3758 !(opargs[newop->op_type] & OA_RETSCALAR) ||
3759 newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
3760 newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
3761
79072805 3762 return op;
a0d0e21e
LW		 3763 }
3764 op_free(kUNOP->op_first);
3765 kUNOP->op_first = newop;
3766 }
3767 op->op_ppaddr = ppaddr[++op->op_type];
3768 return ck_fun(op);
3769}
3770
3771OP *
3772ck_delete(op)
3773OP *op;
3774{
3775 op = ck_fun(op);
5f05dabc 3776 op->op_private = 0;
a0d0e21e
LW		 3777 if (op->op_flags & OPf_KIDS) {
3778 OP *kid = cUNOP->op_first;
5f05dabc 3779 if (kid->op_type == OP_HSLICE)
3780 op->op_private |= OPpSLICE;
3781 else if (kid->op_type != OP_HELEM)
3782 croak("%s argument is not a HASH element or slice",
3783 op_desc[op->op_type]);
a0d0e21e 3784 null(kid);
79072805 3785 }
79072805
LW		 3786 return op;
3787}
3788
3789OP *
3790ck_eof(op)
3791OP *op;
3792{
3793 I32 type = op->op_type;
3794
8990e307
LW		 3795 if (op->op_flags & OPf_KIDS) {
3796 if (cLISTOP->op_first->op_type == OP_STUB) {
3797 op_free(op);
3798 op = newUNOP(type, OPf_SPECIAL,
85e6fe83 3799 newGVOP(OP_GV, 0, gv_fetchpv("main'ARGV", TRUE, SVt_PVAV)));
8990e307 3800 }
79072805 3801 return ck_fun(op);
79072805
LW		 3802 }
3803 return op;
3804}
3805
3806OP *
3807ck_eval(op)
3808OP *op;
3809{
85e6fe83 3810 hints |= HINT_BLOCK_SCOPE;
79072805
LW		 3811 if (op->op_flags & OPf_KIDS) {
3812 SVOP *kid = (SVOP*)cUNOP->op_first;
3813
93a17b20
LW		 3814 if (!kid) {
3815 op->op_flags &= ~OPf_KIDS;
8990e307 3816 null(op);
79072805
LW		 3817 }
3818 else if (kid->op_type == OP_LINESEQ) {
3819 LOGOP *enter;
3820
3821 kid->op_next = op->op_next;
3822 cUNOP->op_first = 0;
3823 op_free(op);
3824
3825 Newz(1101, enter, 1, LOGOP);
3826 enter->op_type = OP_ENTERTRY;
3827 enter->op_ppaddr = ppaddr[OP_ENTERTRY];
3828 enter->op_private = 0;
3829
3830 /* establish postfix order */
3831 enter->op_next = (OP*)enter;
3832
463ee0b2 3833 op = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
79072805
LW		 3834 op->op_type = OP_LEAVETRY;
3835 op->op_ppaddr = ppaddr[OP_LEAVETRY];
3836 enter->op_other = op;
3837 return op;
3838 }
3839 }
3840 else {
3841 op_free(op);
3842 op = newUNOP(OP_ENTEREVAL, 0, newSVREF(newGVOP(OP_GV, 0, defgv)));
3843 }
a0d0e21e 3844 op->op_targ = (PADOFFSET)hints;
79072805
LW		 3845 return op;
3846}
3847
3848OP *
3849ck_exec(op)
3850OP *op;
3851{
3852 OP *kid;
79072805 3853 if (op->op_flags & OPf_STACKED) {
463ee0b2 3854 op = ck_fun(op);
79072805 3855 kid = cUNOP->op_first->op_sibling;
8990e307
LW		 3856 if (kid->op_type == OP_RV2GV)
3857 null(kid);
79072805 3858 }
463ee0b2
LW		 3859 else
3860 op = listkids(op);
79072805
LW		 3861 return op;
3862}
3863
3864OP *
5f05dabc 3865ck_exists(op)
3866OP *op;
3867{
3868 op = ck_fun(op);
3869 if (op->op_flags & OPf_KIDS) {
3870 OP *kid = cUNOP->op_first;
3871 if (kid->op_type != OP_HELEM)
3872 croak("%s argument is not a HASH element", op_desc[op->op_type]);
3873 null(kid);
3874 }
3875 return op;
3876}
3877
3878OP *
79072805
LW		 3879ck_gvconst(o)
3880register OP *o;
3881{
3882 o = fold_constants(o);
3883 if (o->op_type == OP_CONST)
3884 o->op_type = OP_GV;
3885 return o;
3886}
3887
3888OP *
3889ck_rvconst(op)
3890register OP *op;
3891{
3892 SVOP *kid = (SVOP*)cUNOP->op_first;
85e6fe83 3893
c07a80fd 3894 op->op_private |= (hints & HINT_STRICT_REFS);
79072805 3895 if (kid->op_type == OP_CONST) {
44a8e56a 3896 char *name;
3897 int iscv;
3898 GV *gv;
3899
3900 name = SvPV(kid->op_sv, na);
3901 if ((hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
3902 char *badthing = Nullch;
3903 switch (op->op_type) {
3904 case OP_RV2SV:
3905 badthing = "a SCALAR";
3906 break;
3907 case OP_RV2AV:
3908 badthing = "an ARRAY";
3909 break;
3910 case OP_RV2HV:
3911 badthing = "a HASH";
3912 break;
3913 }
3914 if (badthing)
3915 croak(
3916 "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
3917 name, badthing);
3918 }
79072805 3919 kid->op_type = OP_GV;
44a8e56a 3920 iscv = (op->op_type == OP_RV2CV) * 2;
a0d0e21e 3921 for (gv = 0; !gv; iscv++) {
748a9306
LW		 3922 /*
3923 * This is a little tricky. We only want to add the symbol if we
3924 * didn't add it in the lexer. Otherwise we get duplicate strict
3925 * warnings. But if we didn't add it in the lexer, we must at
3926 * least pretend like we wanted to add it even if it existed before,
3927 * or we get possible typo warnings. OPpCONST_ENTERED says
3928 * whether the lexer already added THIS instance of this symbol.
3929 */
44a8e56a 3930 gv = gv_fetchpv(name,
748a9306 3931 iscv | !(kid->op_private & OPpCONST_ENTERED),
a0d0e21e
LW		 3932 iscv
3933 ? SVt_PVCV
3934 : op->op_type == OP_RV2SV
3935 ? SVt_PV
3936 : op->op_type == OP_RV2AV
3937 ? SVt_PVAV
3938 : op->op_type == OP_RV2HV
3939 ? SVt_PVHV
3940 : SVt_PVGV);
3941 }
adbc6bb1 3942 SvREFCNT_dec(kid->op_sv);
a0d0e21e 3943 kid->op_sv = SvREFCNT_inc(gv);
79072805
LW		 3944 }
3945 return op;
3946}