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