This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
README.os2 update
[perl5.git] / op.c
CommitLineData
a0d0e21e 1/* op.c
79072805 2 *
9607fc9c 3 * Copyright (c) 1991-1997, Larry Wall
79072805
LW
4 *
5 * You may distribute under the terms of either the GNU General Public
6 * License or the Artistic License, as specified in the README file.
7 *
a0d0e21e
LW
8 */
9
10/*
11 * "You see: Mr. Drogo, he married poor Miss Primula Brandybuck. She was
12 * our Mr. Bilbo's first cousin on the mother's side (her mother being the
13 * youngest of the Old Took's daughters); and Mr. Drogo was his second
14 * cousin. So Mr. Frodo is his first *and* second cousin, once removed
15 * either way, as the saying is, if you follow me." --the Gaffer
79072805
LW
16 */
17
18#include "EXTERN.h"
19#include "perl.h"
20
76e3520e
GS
21#ifdef PERL_OBJECT
22#define CHECKCALL this->*check
23#else
24#define CHECKCALL *check
25#endif
26
e50aee73 27/*
5dc0d613 28 * In the following definition, the ", Nullop" is just to make the compiler
a5f75d66 29 * think the expression is of the right type: croak actually does a Siglongjmp.
e50aee73 30 */
11343788 31#define CHECKOP(type,o) \
3280af22 32 ((PL_op_mask && PL_op_mask[type]) \
5dc0d613 33 ? ( op_free((OP*)o), \
28757baa 34 croak("%s trapped by operation mask", op_desc[type]), \
35 Nullop ) \
76e3520e 36 : (CHECKCALL[type])((OP*)o))
e50aee73 37
76e3520e
GS
38static bool scalar_mod_type _((OP *o, I32 type));
39#ifndef PERL_OBJECT
11343788 40static I32 list_assignment _((OP *o));
3bc5dc61 41static void bad_type _((I32 n, char *t, char *name, OP *kid));
11343788
MB
42static OP *modkids _((OP *o, I32 type));
43static OP *no_fh_allowed _((OP *o));
44static OP *scalarboolean _((OP *o));
45static OP *too_few_arguments _((OP *o, char* name));
46static OP *too_many_arguments _((OP *o, char* name));
47static void null _((OP* o));
bbce6d69 48static PADOFFSET pad_findlex _((char* name, PADOFFSET newoff, U32 seq,
748a9306 49 CV* startcv, I32 cx_ix));
54b9620d 50static OP *newDEFSVOP _((void));
883ffac3 51static OP *new_logop _((I32 type, I32 flags, OP **firstp, OP **otherp));
76e3520e 52#endif
79072805 53
76e3520e 54STATIC char*
8ac85365 55gv_ename(GV *gv)
4633a7c4
LW
56{
57 SV* tmpsv = sv_newmortal();
46fc3d4c 58 gv_efullname3(tmpsv, gv, Nullch);
3280af22 59 return SvPV(tmpsv,PL_na);
4633a7c4
LW
60}
61
76e3520e 62STATIC OP *
8ac85365 63no_fh_allowed(OP *o)
79072805 64{
46fc3d4c 65 yyerror(form("Missing comma after first argument to %s function",
5196be3e 66 op_desc[o->op_type]));
11343788 67 return o;
79072805
LW
68}
69
76e3520e 70STATIC OP *
8ac85365 71too_few_arguments(OP *o, char *name)
79072805 72{
46fc3d4c 73 yyerror(form("Not enough arguments for %s", name));
11343788 74 return o;
79072805
LW
75}
76
76e3520e 77STATIC OP *
8ac85365 78too_many_arguments(OP *o, char *name)
79072805 79{
46fc3d4c 80 yyerror(form("Too many arguments for %s", name));
11343788 81 return o;
79072805
LW
82}
83
76e3520e 84STATIC void
8ac85365 85bad_type(I32 n, char *t, char *name, OP *kid)
8990e307 86{
46fc3d4c 87 yyerror(form("Type of arg %d to %s must be %s (not %s)",
88 (int)n, name, t, op_desc[kid->op_type]));
8990e307
LW
89}
90
a0d0e21e 91void
8ac85365 92assertref(OP *o)
a0d0e21e 93{
11343788 94 int type = o->op_type;
136254bc 95 if (type != OP_AELEM && type != OP_HELEM && type != OP_GELEM) {
46fc3d4c 96 yyerror(form("Can't use subscript on %s", op_desc[type]));
bde90e66 97 if (type == OP_ENTERSUB || type == OP_RV2HV || type == OP_PADHV) {
9c82454c 98 dTHR;
bde90e66
HS
99 SV *msg = sv_2mortal(
100 newSVpvf("(Did you mean $ or @ instead of %c?)\n",
101 type == OP_ENTERSUB ? '&' : '%'));
3280af22 102 if (PL_in_eval & 2)
bde90e66 103 warn("%_", msg);
3280af22
NIS
104 else if (PL_in_eval)
105 sv_catsv(GvSV(PL_errgv), msg);
bde90e66
HS
106 else
107 PerlIO_write(PerlIO_stderr(), SvPVX(msg), SvCUR(msg));
108 }
a0d0e21e
LW
109 }
110}
111
79072805
LW
112/* "register" allocation */
113
114PADOFFSET
8ac85365 115pad_allocmy(char *name)
93a17b20 116{
11343788 117 dTHR;
a0d0e21e
LW
118 PADOFFSET off;
119 SV *sv;
120
121 if (!(isALPHA(name[1]) || name[1] == '_' && (int)strlen(name) > 2)) {
46fc3d4c 122 if (!isPRINT(name[1])) {
123 name[3] = '\0';
124 name[2] = toCTRL(name[1]);
125 name[1] = '^';
126 }
a0d0e21e
LW
127 croak("Can't use global %s in \"my\"",name);
128 }
3280af22
NIS
129 if (PL_dowarn && AvFILLp(PL_comppad_name) >= 0) {
130 SV **svp = AvARRAY(PL_comppad_name);
131 for (off = AvFILLp(PL_comppad_name); off > PL_comppad_name_floor; off--) {
b1cb66bf 132 if ((sv = svp[off])
3280af22 133 && sv != &PL_sv_undef
b1cb66bf 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);
3280af22 146 if (PL_in_my_stash) {
c750a3ec
MB
147 if (*name != '$')
148 croak("Can't declare class for non-scalar %s in \"my\"",name);
149 SvOBJECT_on(sv);
150 (void)SvUPGRADE(sv, SVt_PVMG);
3280af22
NIS
151 SvSTASH(sv) = (HV*)SvREFCNT_inc(PL_in_my_stash);
152 PL_sv_objcount++;
c750a3ec 153 }
3280af22 154 av_store(PL_comppad_name, off, sv);
748a9306 155 SvNVX(sv) = (double)999999999;
8990e307 156 SvIVX(sv) = 0; /* Not yet introduced--see newSTATEOP */
3280af22
NIS
157 if (!PL_min_intro_pending)
158 PL_min_intro_pending = off;
159 PL_max_intro_pending = off;
93a17b20 160 if (*name == '@')
3280af22 161 av_store(PL_comppad, off, (SV*)newAV());
93a17b20 162 else if (*name == '%')
3280af22
NIS
163 av_store(PL_comppad, off, (SV*)newHV());
164 SvPADMY_on(PL_curpad[off]);
93a17b20
LW
165 return off;
166}
167
76e3520e 168STATIC PADOFFSET
bbce6d69 169pad_findlex(char *name, PADOFFSET newoff, U32 seq, CV* startcv, I32 cx_ix)
93a17b20 170{
11343788 171 dTHR;
748a9306 172 CV *cv;
93a17b20
LW
173 I32 off;
174 SV *sv;
93a17b20 175 register I32 i;
c09156bb 176 register PERL_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
3280af22 184 if (!svp || *svp == &PL_sv_undef)
4633a7c4 185 continue;
748a9306
LW
186 curname = (AV*)*svp;
187 svp = AvARRAY(curname);
93965878 188 for (off = AvFILLp(curname); off > 0; off--) {
748a9306 189 if ((sv = svp[off]) &&
3280af22 190 sv != &PL_sv_undef &&
748a9306 191 seq <= SvIVX(sv) &&
13826f2c 192 seq > I_32(SvNVX(sv)) &&
748a9306
LW
193 strEQ(SvPVX(sv), name))
194 {
5f05dabc 195 I32 depth;
196 AV *oldpad;
197 SV *oldsv;
198
199 depth = CvDEPTH(cv);
200 if (!depth) {
9607fc9c 201 if (newoff) {
202 if (SvFAKE(sv))
203 continue;
4fdae800 204 return 0; /* don't clone from inactive stack frame */
9607fc9c 205 }
5f05dabc 206 depth = 1;
207 }
208 oldpad = (AV*)*av_fetch(curlist, depth, FALSE);
209 oldsv = *av_fetch(oldpad, off, TRUE);
748a9306 210 if (!newoff) { /* Not a mere clone operation. */
9607fc9c 211 SV *namesv = NEWSV(1103,0);
748a9306 212 newoff = pad_alloc(OP_PADSV, SVs_PADMY);
9607fc9c 213 sv_upgrade(namesv, SVt_PVNV);
214 sv_setpv(namesv, name);
3280af22
NIS
215 av_store(PL_comppad_name, newoff, namesv);
216 SvNVX(namesv) = (double)PL_curcop->cop_seq;
9607fc9c 217 SvIVX(namesv) = 999999999; /* A ref, intro immediately */
218 SvFAKE_on(namesv); /* A ref, not a real var */
3280af22 219 if (CvANON(PL_compcv) || SvTYPE(PL_compcv) == SVt_PVFM) {
28757baa 220 /* "It's closures all the way down." */
3280af22 221 CvCLONE_on(PL_compcv);
54310121 222 if (cv == startcv) {
3280af22 223 if (CvANON(PL_compcv))
54310121 224 oldsv = Nullsv; /* no need to keep ref */
225 }
226 else {
28757baa 227 CV *bcv;
228 for (bcv = startcv;
229 bcv && bcv != cv && !CvCLONE(bcv);
230 bcv = CvOUTSIDE(bcv)) {
231 if (CvANON(bcv))
232 CvCLONE_on(bcv);
233 else {
3280af22 234 if (PL_dowarn && !CvUNIQUE(cv))
44a8e56a 235 warn(
236 "Variable \"%s\" may be unavailable",
28757baa 237 name);
238 break;
239 }
240 }
241 }
242 }
3280af22
NIS
243 else if (!CvUNIQUE(PL_compcv)) {
244 if (PL_dowarn && !SvFAKE(sv) && !CvUNIQUE(cv))
44a8e56a 245 warn("Variable \"%s\" will not stay shared", name);
5f05dabc 246 }
748a9306 247 }
3280af22 248 av_store(PL_comppad, newoff, SvREFCNT_inc(oldsv));
748a9306
LW
249 return newoff;
250 }
93a17b20
LW
251 }
252 }
253
254 /* Nothing in current lexical context--try eval's context, if any.
255 * This is necessary to let the perldb get at lexically scoped variables.
256 * XXX This will also probably interact badly with eval tree caching.
257 */
258
a0d0e21e 259 saweval = 0;
748a9306 260 for (i = cx_ix; i >= 0; i--) {
93a17b20
LW
261 cx = &cxstack[i];
262 switch (cx->cx_type) {
263 default:
748a9306
LW
264 if (i == 0 && saweval) {
265 seq = cxstack[saweval].blk_oldcop->cop_seq;
3280af22 266 return pad_findlex(name, newoff, seq, PL_main_cv, 0);
748a9306 267 }
93a17b20
LW
268 break;
269 case CXt_EVAL:
44a8e56a 270 switch (cx->blk_eval.old_op_type) {
271 case OP_ENTEREVAL:
272 saweval = i;
273 break;
274 case OP_REQUIRE:
275 /* require must have its own scope */
276 return 0;
277 }
93a17b20
LW
278 break;
279 case CXt_SUB:
280 if (!saweval)
281 return 0;
282 cv = cx->blk_sub.cv;
3280af22 283 if (PL_debstash && CvSTASH(cv) == PL_debstash) { /* ignore DB'* scope */
748a9306 284 saweval = i; /* so we know where we were called from */
93a17b20 285 continue;
93a17b20 286 }
748a9306
LW
287 seq = cxstack[saweval].blk_oldcop->cop_seq;
288 return pad_findlex(name, newoff, seq, cv, i-1);
93a17b20
LW
289 }
290 }
291
748a9306
LW
292 return 0;
293}
a0d0e21e 294
748a9306 295PADOFFSET
8ac85365 296pad_findmy(char *name)
748a9306 297{
11343788 298 dTHR;
748a9306 299 I32 off;
54310121 300 I32 pendoff = 0;
748a9306 301 SV *sv;
3280af22
NIS
302 SV **svp = AvARRAY(PL_comppad_name);
303 U32 seq = PL_cop_seqmax;
748a9306 304
11343788
MB
305#ifdef USE_THREADS
306 /*
307 * Special case to get lexical (and hence per-thread) @_.
308 * XXX I need to find out how to tell at parse-time whether use
309 * of @_ should refer to a lexical (from a sub) or defgv (global
310 * scope and maybe weird sub-ish things like formats). See
311 * startsub in perly.y. It's possible that @_ could be lexical
312 * (at least from subs) even in non-threaded perl.
313 */
314 if (strEQ(name, "@_"))
315 return 0; /* success. (NOT_IN_PAD indicates failure) */
316#endif /* USE_THREADS */
317
748a9306 318 /* The one we're looking for is probably just before comppad_name_fill. */
3280af22 319 for (off = AvFILLp(PL_comppad_name); off > 0; off--) {
a0d0e21e 320 if ((sv = svp[off]) &&
3280af22 321 sv != &PL_sv_undef &&
54310121 322 (!SvIVX(sv) ||
323 (seq <= SvIVX(sv) &&
324 seq > I_32(SvNVX(sv)))) &&
a0d0e21e
LW
325 strEQ(SvPVX(sv), name))
326 {
54310121 327 if (SvIVX(sv))
328 return (PADOFFSET)off;
329 pendoff = off; /* this pending def. will override import */
a0d0e21e
LW
330 }
331 }
748a9306
LW
332
333 /* See if it's in a nested scope */
3280af22 334 off = pad_findlex(name, 0, seq, CvOUTSIDE(PL_compcv), cxstack_ix);
54310121 335 if (off) {
336 /* If there is a pending local definition, this new alias must die */
337 if (pendoff)
3280af22 338 SvIVX(AvARRAY(PL_comppad_name)[off]) = seq;
11343788 339 return off; /* pad_findlex returns 0 for failure...*/
54310121 340 }
11343788 341 return NOT_IN_PAD; /* ...but we return NOT_IN_PAD for failure */
93a17b20
LW
342}
343
344void
8ac85365 345pad_leavemy(I32 fill)
93a17b20
LW
346{
347 I32 off;
3280af22 348 SV **svp = AvARRAY(PL_comppad_name);
93a17b20 349 SV *sv;
3280af22
NIS
350 if (PL_min_intro_pending && fill < PL_min_intro_pending) {
351 for (off = PL_max_intro_pending; off >= PL_min_intro_pending; off--) {
352 if ((sv = svp[off]) && sv != &PL_sv_undef)
8990e307
LW
353 warn("%s never introduced", SvPVX(sv));
354 }
355 }
356 /* "Deintroduce" my variables that are leaving with this scope. */
3280af22
NIS
357 for (off = AvFILLp(PL_comppad_name); off > fill; off--) {
358 if ((sv = svp[off]) && sv != &PL_sv_undef && SvIVX(sv) == 999999999)
359 SvIVX(sv) = PL_cop_seqmax;
93a17b20
LW
360 }
361}
362
363PADOFFSET
8ac85365 364pad_alloc(I32 optype, U32 tmptype)
79072805 365{
11343788 366 dTHR;
79072805
LW
367 SV *sv;
368 I32 retval;
369
3280af22 370 if (AvARRAY(PL_comppad) != PL_curpad)
463ee0b2 371 croak("panic: pad_alloc");
3280af22 372 if (PL_pad_reset_pending)
a0d0e21e 373 pad_reset();
ed6116ce 374 if (tmptype & SVs_PADMY) {
79072805 375 do {
3280af22 376 sv = *av_fetch(PL_comppad, AvFILLp(PL_comppad) + 1, TRUE);
ed6116ce 377 } while (SvPADBUSY(sv)); /* need a fresh one */
3280af22 378 retval = AvFILLp(PL_comppad);
79072805
LW
379 }
380 else {
3280af22
NIS
381 SV **names = AvARRAY(PL_comppad_name);
382 SSize_t names_fill = AvFILLp(PL_comppad_name);
bbce6d69 383 for (;;) {
384 /*
385 * "foreach" index vars temporarily become aliases to non-"my"
386 * values. Thus we must skip, not just pad values that are
387 * marked as current pad values, but also those with names.
388 */
3280af22
NIS
389 if (++PL_padix <= names_fill &&
390 (sv = names[PL_padix]) && sv != &PL_sv_undef)
bbce6d69 391 continue;
3280af22 392 sv = *av_fetch(PL_comppad, PL_padix, TRUE);
bbce6d69 393 if (!(SvFLAGS(sv) & (SVs_PADTMP|SVs_PADMY)))
394 break;
395 }
3280af22 396 retval = PL_padix;
79072805 397 }
8990e307 398 SvFLAGS(sv) |= tmptype;
3280af22 399 PL_curpad = AvARRAY(PL_comppad);
11343788 400#ifdef USE_THREADS
5dc0d613 401 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx alloc %ld for %s\n",
533c011a 402 (unsigned long) thr, (unsigned long) PL_curpad,
5dc0d613 403 (long) retval, op_name[optype]));
11343788 404#else
d9bb4600 405 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx alloc %ld for %s\n",
3280af22 406 (unsigned long) PL_curpad,
5dc0d613 407 (long) retval, op_name[optype]));
11343788 408#endif /* USE_THREADS */
79072805
LW
409 return (PADOFFSET)retval;
410}
411
412SV *
8990e307 413pad_sv(PADOFFSET po)
79072805 414{
11343788
MB
415 dTHR;
416#ifdef USE_THREADS
5dc0d613 417 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx sv %d\n",
533c011a 418 (unsigned long) thr, (unsigned long) PL_curpad, po));
11343788 419#else
79072805 420 if (!po)
463ee0b2 421 croak("panic: pad_sv po");
d9bb4600 422 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx sv %d\n",
3280af22 423 (unsigned long) PL_curpad, po));
11343788 424#endif /* USE_THREADS */
3280af22 425 return PL_curpad[po]; /* eventually we'll turn this into a macro */
79072805
LW
426}
427
428void
8990e307 429pad_free(PADOFFSET po)
79072805 430{
11343788 431 dTHR;
3280af22 432 if (!PL_curpad)
a0d0e21e 433 return;
3280af22 434 if (AvARRAY(PL_comppad) != PL_curpad)
463ee0b2 435 croak("panic: pad_free curpad");
79072805 436 if (!po)
463ee0b2 437 croak("panic: pad_free po");
11343788 438#ifdef USE_THREADS
5dc0d613 439 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx free %d\n",
533c011a 440 (unsigned long) thr, (unsigned long) PL_curpad, po));
11343788 441#else
d9bb4600 442 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx free %d\n",
3280af22 443 (unsigned long) PL_curpad, po));
11343788 444#endif /* USE_THREADS */
3280af22
NIS
445 if (PL_curpad[po] && PL_curpad[po] != &PL_sv_undef)
446 SvPADTMP_off(PL_curpad[po]);
447 if ((I32)po < PL_padix)
448 PL_padix = po - 1;
79072805
LW
449}
450
451void
8990e307 452pad_swipe(PADOFFSET po)
79072805 453{
11343788 454 dTHR;
3280af22 455 if (AvARRAY(PL_comppad) != PL_curpad)
463ee0b2 456 croak("panic: pad_swipe curpad");
79072805 457 if (!po)
463ee0b2 458 croak("panic: pad_swipe po");
11343788 459#ifdef USE_THREADS
5dc0d613 460 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx swipe %d\n",
533c011a 461 (unsigned long) thr, (unsigned long) PL_curpad, po));
11343788 462#else
d9bb4600 463 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx swipe %d\n",
3280af22 464 (unsigned long) PL_curpad, po));
11343788 465#endif /* USE_THREADS */
3280af22
NIS
466 SvPADTMP_off(PL_curpad[po]);
467 PL_curpad[po] = NEWSV(1107,0);
468 SvPADTMP_on(PL_curpad[po]);
469 if ((I32)po < PL_padix)
470 PL_padix = po - 1;
79072805
LW
471}
472
d9bb4600
GS
473/* XXX pad_reset() is currently disabled because it results in serious bugs.
474 * It causes pad temp TARGs to be shared between OPs. Since TARGs are pushed
475 * on the stack by OPs that use them, there are several ways to get an alias
476 * to a shared TARG. Such an alias will change randomly and unpredictably.
477 * We avoid doing this until we can think of a Better Way.
478 * GSAR 97-10-29 */
79072805 479void
8ac85365 480pad_reset(void)
79072805 481{
d9bb4600 482#ifdef USE_BROKEN_PAD_RESET
11343788 483 dTHR;
79072805
LW
484 register I32 po;
485
6b88bc9c 486 if (AvARRAY(PL_comppad) != PL_curpad)
463ee0b2 487 croak("panic: pad_reset curpad");
11343788 488#ifdef USE_THREADS
5dc0d613 489 DEBUG_X(PerlIO_printf(Perl_debug_log, "0x%lx Pad 0x%lx reset\n",
6b88bc9c 490 (unsigned long) thr, (unsigned long) PL_curpad));
11343788 491#else
d9bb4600 492 DEBUG_X(PerlIO_printf(Perl_debug_log, "Pad 0x%lx reset\n",
6b88bc9c 493 (unsigned long) PL_curpad));
11343788 494#endif /* USE_THREADS */
6b88bc9c
GS
495 if (!PL_tainting) { /* Can't mix tainted and non-tainted temporaries. */
496 for (po = AvMAX(PL_comppad); po > PL_padix_floor; po--) {
497 if (PL_curpad[po] && !SvIMMORTAL(PL_curpad[po]))
498 SvPADTMP_off(PL_curpad[po]);
748a9306 499 }
6b88bc9c 500 PL_padix = PL_padix_floor;
79072805 501 }
d9bb4600 502#endif
3280af22 503 PL_pad_reset_pending = FALSE;
79072805
LW
504}
505
a863c7d1 506#ifdef USE_THREADS
54b9620d 507/* find_threadsv is not reentrant */
a863c7d1 508PADOFFSET
54b9620d 509find_threadsv(char *name)
a863c7d1
MB
510{
511 dTHR;
512 char *p;
513 PADOFFSET key;
554b3eca 514 SV **svp;
54b9620d 515 /* We currently only handle names of a single character */
533c011a 516 p = strchr(PL_threadsv_names, *name);
a863c7d1
MB
517 if (!p)
518 return NOT_IN_PAD;
533c011a 519 key = p - PL_threadsv_names;
54b9620d 520 svp = av_fetch(thr->threadsv, key, FALSE);
554b3eca
MB
521 if (!svp) {
522 SV *sv = NEWSV(0, 0);
54b9620d 523 av_store(thr->threadsv, key, sv);
940cb80d 524 thr->threadsvp = AvARRAY(thr->threadsv);
554b3eca
MB
525 /*
526 * Some magic variables used to be automagically initialised
527 * in gv_fetchpv. Those which are now per-thread magicals get
528 * initialised here instead.
529 */
530 switch (*name) {
54b9620d
MB
531 case '_':
532 break;
554b3eca
MB
533 case ';':
534 sv_setpv(sv, "\034");
54b9620d 535 sv_magic(sv, 0, 0, name, 1);
554b3eca 536 break;
c277df42
IZ
537 case '&':
538 case '`':
539 case '\'':
533c011a 540 PL_sawampersand = TRUE;
c277df42 541 SvREADONLY_on(sv);
d8b5173a 542 /* FALL THROUGH */
067391ea
GS
543
544 /* XXX %! tied to Errno.pm needs to be added here.
545 * See gv_fetchpv(). */
546 /* case '!': */
547
54b9620d
MB
548 default:
549 sv_magic(sv, 0, 0, name, 1);
554b3eca 550 }
8b73bbec 551 DEBUG_S(PerlIO_printf(PerlIO_stderr(),
54b9620d 552 "find_threadsv: new SV %p for $%s%c\n",
554b3eca
MB
553 sv, (*name < 32) ? "^" : "",
554 (*name < 32) ? toCTRL(*name) : *name));
a863c7d1
MB
555 }
556 return key;
557}
558#endif /* USE_THREADS */
559
79072805
LW
560/* Destructor */
561
562void
8ac85365 563op_free(OP *o)
79072805 564{
85e6fe83 565 register OP *kid, *nextkid;
79072805 566
5dc0d613 567 if (!o || o->op_seq == (U16)-1)
79072805
LW
568 return;
569
11343788
MB
570 if (o->op_flags & OPf_KIDS) {
571 for (kid = cUNOPo->op_first; kid; kid = nextkid) {
85e6fe83 572 nextkid = kid->op_sibling; /* Get before next freeing kid */
79072805 573 op_free(kid);
85e6fe83 574 }
79072805
LW
575 }
576
11343788 577 switch (o->op_type) {
8990e307 578 case OP_NULL:
11343788 579 o->op_targ = 0; /* Was holding old type, if any. */
8990e307 580 break;
a0d0e21e 581 case OP_ENTEREVAL:
11343788 582 o->op_targ = 0; /* Was holding hints. */
a0d0e21e 583 break;
554b3eca 584#ifdef USE_THREADS
8dd3ba40
SM
585 case OP_ENTERITER:
586 if (!(o->op_flags & OPf_SPECIAL))
587 break;
588 /* FALL THROUGH */
2faa37cc 589 case OP_THREADSV:
54b9620d 590 o->op_targ = 0; /* Was holding index into thr->threadsv AV. */
554b3eca
MB
591 break;
592#endif /* USE_THREADS */
a6006777 593 default:
ac4c12e7
GS
594 if (!(o->op_flags & OPf_REF)
595 || (check[o->op_type] != FUNC_NAME_TO_PTR(ck_ftst)))
a6006777 596 break;
597 /* FALL THROUGH */
463ee0b2 598 case OP_GVSV:
79072805 599 case OP_GV:
a6006777 600 case OP_AELEMFAST:
11343788 601 SvREFCNT_dec(cGVOPo->op_gv);
8990e307
LW
602 break;
603 case OP_NEXTSTATE:
604 case OP_DBSTATE:
5196be3e 605 Safefree(cCOPo->cop_label);
11343788 606 SvREFCNT_dec(cCOPo->cop_filegv);
79072805
LW
607 break;
608 case OP_CONST:
11343788 609 SvREFCNT_dec(cSVOPo->op_sv);
79072805 610 break;
748a9306
LW
611 case OP_GOTO:
612 case OP_NEXT:
613 case OP_LAST:
614 case OP_REDO:
11343788 615 if (o->op_flags & (OPf_SPECIAL|OPf_STACKED|OPf_KIDS))
748a9306
LW
616 break;
617 /* FALL THROUGH */
a0d0e21e 618 case OP_TRANS:
11343788 619 Safefree(cPVOPo->op_pv);
a0d0e21e
LW
620 break;
621 case OP_SUBST:
11343788 622 op_free(cPMOPo->op_pmreplroot);
a0d0e21e 623 /* FALL THROUGH */
748a9306 624 case OP_PUSHRE:
a0d0e21e 625 case OP_MATCH:
8782bef2 626 case OP_QR:
c277df42 627 ReREFCNT_dec(cPMOPo->op_pmregexp);
a0d0e21e 628 break;
79072805
LW
629 }
630
11343788
MB
631 if (o->op_targ > 0)
632 pad_free(o->op_targ);
8990e307 633
11343788 634 Safefree(o);
79072805
LW
635}
636
76e3520e 637STATIC void
8ac85365 638null(OP *o)
8990e307 639{
54b9620d 640 if (o->op_type != OP_NULL && o->op_type != OP_THREADSV && o->op_targ > 0)
11343788
MB
641 pad_free(o->op_targ);
642 o->op_targ = o->op_type;
643 o->op_type = OP_NULL;
644 o->op_ppaddr = ppaddr[OP_NULL];
8990e307
LW
645}
646
79072805
LW
647/* Contextualizers */
648
463ee0b2 649#define LINKLIST(o) ((o)->op_next ? (o)->op_next : linklist((OP*)o))
79072805
LW
650
651OP *
8ac85365 652linklist(OP *o)
79072805
LW
653{
654 register OP *kid;
655
11343788
MB
656 if (o->op_next)
657 return o->op_next;
79072805
LW
658
659 /* establish postfix order */
11343788
MB
660 if (cUNOPo->op_first) {
661 o->op_next = LINKLIST(cUNOPo->op_first);
662 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
663 if (kid->op_sibling)
664 kid->op_next = LINKLIST(kid->op_sibling);
665 else
11343788 666 kid->op_next = o;
79072805
LW
667 }
668 }
669 else
11343788 670 o->op_next = o;
79072805 671
11343788 672 return o->op_next;
79072805
LW
673}
674
675OP *
8ac85365 676scalarkids(OP *o)
79072805
LW
677{
678 OP *kid;
11343788
MB
679 if (o && o->op_flags & OPf_KIDS) {
680 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
681 scalar(kid);
682 }
11343788 683 return o;
79072805
LW
684}
685
76e3520e 686STATIC OP *
8ac85365 687scalarboolean(OP *o)
8990e307 688{
3280af22 689 if (PL_dowarn &&
11343788 690 o->op_type == OP_SASSIGN && cBINOPo->op_first->op_type == OP_CONST) {
0f15f207 691 dTHR;
3280af22 692 line_t oldline = PL_curcop->cop_line;
a0d0e21e 693
3280af22
NIS
694 if (PL_copline != NOLINE)
695 PL_curcop->cop_line = PL_copline;
a0d0e21e 696 warn("Found = in conditional, should be ==");
3280af22 697 PL_curcop->cop_line = oldline;
a0d0e21e 698 }
11343788 699 return scalar(o);
8990e307
LW
700}
701
702OP *
8ac85365 703scalar(OP *o)
79072805
LW
704{
705 OP *kid;
706
a0d0e21e 707 /* assumes no premature commitment */
3280af22 708 if (!o || (o->op_flags & OPf_WANT) || PL_error_count
5dc0d613 709 || o->op_type == OP_RETURN)
11343788 710 return o;
79072805 711
5dc0d613 712 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_SCALAR;
79072805 713
11343788 714 switch (o->op_type) {
79072805 715 case OP_REPEAT:
11343788
MB
716 if (o->op_private & OPpREPEAT_DOLIST)
717 null(((LISTOP*)cBINOPo->op_first)->op_first);
718 scalar(cBINOPo->op_first);
8990e307 719 break;
79072805
LW
720 case OP_OR:
721 case OP_AND:
722 case OP_COND_EXPR:
11343788 723 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
8990e307 724 scalar(kid);
79072805 725 break;
a0d0e21e 726 case OP_SPLIT:
11343788 727 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e
LW
728 if (!kPMOP->op_pmreplroot)
729 deprecate("implicit split to @_");
730 }
731 /* FALL THROUGH */
79072805 732 case OP_MATCH:
8782bef2 733 case OP_QR:
79072805
LW
734 case OP_SUBST:
735 case OP_NULL:
8990e307 736 default:
11343788
MB
737 if (o->op_flags & OPf_KIDS) {
738 for (kid = cUNOPo->op_first; kid; kid = kid->op_sibling)
8990e307
LW
739 scalar(kid);
740 }
79072805
LW
741 break;
742 case OP_LEAVE:
743 case OP_LEAVETRY:
5dc0d613 744 kid = cLISTOPo->op_first;
54310121 745 scalar(kid);
746 while (kid = kid->op_sibling) {
747 if (kid->op_sibling)
748 scalarvoid(kid);
749 else
750 scalar(kid);
751 }
3280af22 752 WITH_THR(PL_curcop = &PL_compiling);
54310121 753 break;
748a9306 754 case OP_SCOPE:
79072805 755 case OP_LINESEQ:
8990e307 756 case OP_LIST:
11343788 757 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
758 if (kid->op_sibling)
759 scalarvoid(kid);
760 else
761 scalar(kid);
762 }
3280af22 763 WITH_THR(PL_curcop = &PL_compiling);
79072805
LW
764 break;
765 }
11343788 766 return o;
79072805
LW
767}
768
769OP *
8ac85365 770scalarvoid(OP *o)
79072805
LW
771{
772 OP *kid;
8990e307
LW
773 char* useless = 0;
774 SV* sv;
79072805 775
54310121 776 /* assumes no premature commitment */
3280af22 777 if (!o || (o->op_flags & OPf_WANT) == OPf_WANT_LIST || PL_error_count
5dc0d613 778 || o->op_type == OP_RETURN)
11343788 779 return o;
79072805 780
5dc0d613 781 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_VOID;
79072805 782
11343788 783 switch (o->op_type) {
79072805 784 default:
11343788 785 if (!(opargs[o->op_type] & OA_FOLDCONST))
8990e307 786 break;
36477c24 787 /* FALL THROUGH */
788 case OP_REPEAT:
11343788 789 if (o->op_flags & OPf_STACKED)
8990e307 790 break;
5d82c453
GA
791 goto func_ops;
792 case OP_SUBSTR:
793 if (o->op_private == 4)
794 break;
8990e307
LW
795 /* FALL THROUGH */
796 case OP_GVSV:
797 case OP_WANTARRAY:
798 case OP_GV:
799 case OP_PADSV:
800 case OP_PADAV:
801 case OP_PADHV:
802 case OP_PADANY:
803 case OP_AV2ARYLEN:
8990e307 804 case OP_REF:
a0d0e21e
LW
805 case OP_REFGEN:
806 case OP_SREFGEN:
8990e307
LW
807 case OP_DEFINED:
808 case OP_HEX:
809 case OP_OCT:
810 case OP_LENGTH:
8990e307
LW
811 case OP_VEC:
812 case OP_INDEX:
813 case OP_RINDEX:
814 case OP_SPRINTF:
815 case OP_AELEM:
816 case OP_AELEMFAST:
817 case OP_ASLICE:
8990e307
LW
818 case OP_HELEM:
819 case OP_HSLICE:
820 case OP_UNPACK:
821 case OP_PACK:
8990e307
LW
822 case OP_JOIN:
823 case OP_LSLICE:
824 case OP_ANONLIST:
825 case OP_ANONHASH:
826 case OP_SORT:
827 case OP_REVERSE:
828 case OP_RANGE:
829 case OP_FLIP:
830 case OP_FLOP:
831 case OP_CALLER:
832 case OP_FILENO:
833 case OP_EOF:
834 case OP_TELL:
835 case OP_GETSOCKNAME:
836 case OP_GETPEERNAME:
837 case OP_READLINK:
838 case OP_TELLDIR:
839 case OP_GETPPID:
840 case OP_GETPGRP:
841 case OP_GETPRIORITY:
842 case OP_TIME:
843 case OP_TMS:
844 case OP_LOCALTIME:
845 case OP_GMTIME:
846 case OP_GHBYNAME:
847 case OP_GHBYADDR:
848 case OP_GHOSTENT:
849 case OP_GNBYNAME:
850 case OP_GNBYADDR:
851 case OP_GNETENT:
852 case OP_GPBYNAME:
853 case OP_GPBYNUMBER:
854 case OP_GPROTOENT:
855 case OP_GSBYNAME:
856 case OP_GSBYPORT:
857 case OP_GSERVENT:
858 case OP_GPWNAM:
859 case OP_GPWUID:
860 case OP_GGRNAM:
861 case OP_GGRGID:
862 case OP_GETLOGIN:
5d82c453 863 func_ops:
11343788
MB
864 if (!(o->op_private & OPpLVAL_INTRO))
865 useless = op_desc[o->op_type];
8990e307
LW
866 break;
867
868 case OP_RV2GV:
869 case OP_RV2SV:
870 case OP_RV2AV:
871 case OP_RV2HV:
11343788
MB
872 if (!(o->op_private & OPpLVAL_INTRO) &&
873 (!o->op_sibling || o->op_sibling->op_type != OP_READLINE))
8990e307
LW
874 useless = "a variable";
875 break;
79072805 876
93a17b20 877 case OP_NEXTSTATE:
8990e307 878 case OP_DBSTATE:
3280af22 879 WITH_THR(PL_curcop = ((COP*)o)); /* for warning below */
93a17b20
LW
880 break;
881
79072805 882 case OP_CONST:
11343788 883 sv = cSVOPo->op_sv;
3280af22 884 if (PL_dowarn) {
8990e307
LW
885 useless = "a constant";
886 if (SvNIOK(sv) && (SvNV(sv) == 0.0 || SvNV(sv) == 1.0))
887 useless = 0;
888 else if (SvPOK(sv)) {
889 if (strnEQ(SvPVX(sv), "di", 2) ||
a0d0e21e 890 strnEQ(SvPVX(sv), "ds", 2) ||
8990e307
LW
891 strnEQ(SvPVX(sv), "ig", 2))
892 useless = 0;
893 }
894 }
11343788 895 null(o); /* don't execute a constant */
8990e307 896 SvREFCNT_dec(sv); /* don't even remember it */
79072805
LW
897 break;
898
899 case OP_POSTINC:
11343788
MB
900 o->op_type = OP_PREINC; /* pre-increment is faster */
901 o->op_ppaddr = ppaddr[OP_PREINC];
79072805
LW
902 break;
903
904 case OP_POSTDEC:
11343788
MB
905 o->op_type = OP_PREDEC; /* pre-decrement is faster */
906 o->op_ppaddr = ppaddr[OP_PREDEC];
79072805
LW
907 break;
908
79072805
LW
909 case OP_OR:
910 case OP_AND:
911 case OP_COND_EXPR:
11343788 912 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW
913 scalarvoid(kid);
914 break;
5aabfad6 915
a0d0e21e 916 case OP_NULL:
11343788 917 if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
3280af22 918 WITH_THR(PL_curcop = ((COP*)o)); /* for warning below */
11343788 919 if (o->op_flags & OPf_STACKED)
a0d0e21e 920 break;
5aabfad6 921 /* FALL THROUGH */
79072805
LW
922 case OP_ENTERTRY:
923 case OP_ENTER:
924 case OP_SCALAR:
11343788 925 if (!(o->op_flags & OPf_KIDS))
79072805 926 break;
54310121 927 /* FALL THROUGH */
463ee0b2 928 case OP_SCOPE:
79072805
LW
929 case OP_LEAVE:
930 case OP_LEAVETRY:
a0d0e21e 931 case OP_LEAVELOOP:
79072805 932 case OP_LINESEQ:
79072805 933 case OP_LIST:
11343788 934 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
935 scalarvoid(kid);
936 break;
c90c0ff4 937 case OP_ENTEREVAL:
5196be3e 938 scalarkids(o);
c90c0ff4 939 break;
5aabfad6 940 case OP_REQUIRE:
c90c0ff4 941 /* all requires must return a boolean value */
5196be3e
MB
942 o->op_flags &= ~OPf_WANT;
943 return scalar(o);
a0d0e21e 944 case OP_SPLIT:
11343788 945 if ((kid = cLISTOPo->op_first) && kid->op_type == OP_PUSHRE) {
a0d0e21e
LW
946 if (!kPMOP->op_pmreplroot)
947 deprecate("implicit split to @_");
948 }
949 break;
79072805 950 }
3280af22 951 if (useless && PL_dowarn)
8990e307 952 warn("Useless use of %s in void context", useless);
11343788 953 return o;
79072805
LW
954}
955
956OP *
8ac85365 957listkids(OP *o)
79072805
LW
958{
959 OP *kid;
11343788
MB
960 if (o && o->op_flags & OPf_KIDS) {
961 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805
LW
962 list(kid);
963 }
11343788 964 return o;
79072805
LW
965}
966
967OP *
8ac85365 968list(OP *o)
79072805
LW
969{
970 OP *kid;
971
a0d0e21e 972 /* assumes no premature commitment */
3280af22 973 if (!o || (o->op_flags & OPf_WANT) || PL_error_count
5dc0d613 974 || o->op_type == OP_RETURN)
11343788 975 return o;
79072805 976
5dc0d613 977 o->op_flags = (o->op_flags & ~OPf_WANT) | OPf_WANT_LIST;
79072805 978
11343788 979 switch (o->op_type) {
79072805
LW
980 case OP_FLOP:
981 case OP_REPEAT:
11343788 982 list(cBINOPo->op_first);
79072805
LW
983 break;
984 case OP_OR:
985 case OP_AND:
986 case OP_COND_EXPR:
11343788 987 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
79072805
LW
988 list(kid);
989 break;
990 default:
991 case OP_MATCH:
8782bef2 992 case OP_QR:
79072805
LW
993 case OP_SUBST:
994 case OP_NULL:
11343788 995 if (!(o->op_flags & OPf_KIDS))
79072805 996 break;
11343788
MB
997 if (!o->op_next && cUNOPo->op_first->op_type == OP_FLOP) {
998 list(cBINOPo->op_first);
999 return gen_constant_list(o);
79072805
LW
1000 }
1001 case OP_LIST:
11343788 1002 listkids(o);
79072805
LW
1003 break;
1004 case OP_LEAVE:
1005 case OP_LEAVETRY:
5dc0d613 1006 kid = cLISTOPo->op_first;
54310121 1007 list(kid);
1008 while (kid = kid->op_sibling) {
1009 if (kid->op_sibling)
1010 scalarvoid(kid);
1011 else
1012 list(kid);
1013 }
3280af22 1014 WITH_THR(PL_curcop = &PL_compiling);
54310121 1015 break;
748a9306 1016 case OP_SCOPE:
79072805 1017 case OP_LINESEQ:
11343788 1018 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
79072805
LW
1019 if (kid->op_sibling)
1020 scalarvoid(kid);
1021 else
1022 list(kid);
1023 }
3280af22 1024 WITH_THR(PL_curcop = &PL_compiling);
79072805 1025 break;
c90c0ff4 1026 case OP_REQUIRE:
1027 /* all requires must return a boolean value */
5196be3e
MB
1028 o->op_flags &= ~OPf_WANT;
1029 return scalar(o);
79072805 1030 }
11343788 1031 return o;
79072805
LW
1032}
1033
1034OP *
8ac85365 1035scalarseq(OP *o)
79072805
LW
1036{
1037 OP *kid;
1038
11343788
MB
1039 if (o) {
1040 if (o->op_type == OP_LINESEQ ||
1041 o->op_type == OP_SCOPE ||
1042 o->op_type == OP_LEAVE ||
1043 o->op_type == OP_LEAVETRY)
463ee0b2 1044 {
0f15f207 1045 dTHR;
11343788 1046 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling) {
ed6116ce 1047 if (kid->op_sibling) {
463ee0b2 1048 scalarvoid(kid);
ed6116ce 1049 }
463ee0b2 1050 }
3280af22 1051 PL_curcop = &PL_compiling;
79072805 1052 }
11343788 1053 o->op_flags &= ~OPf_PARENS;
3280af22 1054 if (PL_hints & HINT_BLOCK_SCOPE)
11343788 1055 o->op_flags |= OPf_PARENS;
79072805 1056 }
8990e307 1057 else
11343788
MB
1058 o = newOP(OP_STUB, 0);
1059 return o;
79072805
LW
1060}
1061
76e3520e 1062STATIC OP *
8ac85365 1063modkids(OP *o, I32 type)
79072805
LW
1064{
1065 OP *kid;
11343788
MB
1066 if (o && o->op_flags & OPf_KIDS) {
1067 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2 1068 mod(kid, type);
79072805 1069 }
11343788 1070 return o;
79072805
LW
1071}
1072
79072805 1073OP *
8ac85365 1074mod(OP *o, I32 type)
79072805 1075{
11343788 1076 dTHR;
79072805
LW
1077 OP *kid;
1078 SV *sv;
1079
3280af22 1080 if (!o || PL_error_count)
11343788 1081 return o;
79072805 1082
11343788 1083 switch (o->op_type) {
68dc0745 1084 case OP_UNDEF:
3280af22 1085 PL_modcount++;
5dc0d613 1086 return o;
a0d0e21e 1087 case OP_CONST:
11343788 1088 if (!(o->op_private & (OPpCONST_ARYBASE)))
a0d0e21e 1089 goto nomod;
3280af22
NIS
1090 if (PL_eval_start && PL_eval_start->op_type == OP_CONST) {
1091 PL_compiling.cop_arybase = (I32)SvIV(((SVOP*)PL_eval_start)->op_sv);
1092 PL_eval_start = 0;
a0d0e21e
LW
1093 }
1094 else if (!type) {
3280af22
NIS
1095 SAVEI32(PL_compiling.cop_arybase);
1096 PL_compiling.cop_arybase = 0;
a0d0e21e
LW
1097 }
1098 else if (type == OP_REFGEN)
1099 goto nomod;
1100 else
1101 croak("That use of $[ is unsupported");
1102 break;
5f05dabc 1103 case OP_STUB:
5196be3e 1104 if (o->op_flags & OPf_PARENS)
5f05dabc 1105 break;
1106 goto nomod;
a0d0e21e
LW
1107 case OP_ENTERSUB:
1108 if ((type == OP_UNDEF || type == OP_REFGEN) &&
11343788
MB
1109 !(o->op_flags & OPf_STACKED)) {
1110 o->op_type = OP_RV2CV; /* entersub => rv2cv */
1111 o->op_ppaddr = ppaddr[OP_RV2CV];
1112 assert(cUNOPo->op_first->op_type == OP_NULL);
1113 null(((LISTOP*)cUNOPo->op_first)->op_first);/* disable pushmark */
79072805
LW
1114 break;
1115 }
1116 /* FALL THROUGH */
1117 default:
a0d0e21e
LW
1118 nomod:
1119 /* grep, foreach, subcalls, refgen */
1120 if (type == OP_GREPSTART || type == OP_ENTERSUB || type == OP_REFGEN)
1121 break;
46fc3d4c 1122 yyerror(form("Can't modify %s in %s",
5dc0d613 1123 op_desc[o->op_type],
46fc3d4c 1124 type ? op_desc[type] : "local"));
11343788 1125 return o;
79072805 1126
a0d0e21e
LW
1127 case OP_PREINC:
1128 case OP_PREDEC:
1129 case OP_POW:
1130 case OP_MULTIPLY:
1131 case OP_DIVIDE:
1132 case OP_MODULO:
1133 case OP_REPEAT:
1134 case OP_ADD:
1135 case OP_SUBTRACT:
1136 case OP_CONCAT:
1137 case OP_LEFT_SHIFT:
1138 case OP_RIGHT_SHIFT:
1139 case OP_BIT_AND:
1140 case OP_BIT_XOR:
1141 case OP_BIT_OR:
1142 case OP_I_MULTIPLY:
1143 case OP_I_DIVIDE:
1144 case OP_I_MODULO:
1145 case OP_I_ADD:
1146 case OP_I_SUBTRACT:
11343788 1147 if (!(o->op_flags & OPf_STACKED))
a0d0e21e 1148 goto nomod;
3280af22 1149 PL_modcount++;
a0d0e21e
LW
1150 break;
1151
79072805 1152 case OP_COND_EXPR:
11343788 1153 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2 1154 mod(kid, type);
79072805
LW
1155 break;
1156
1157 case OP_RV2AV:
1158 case OP_RV2HV:
93af7a87 1159 if (!type && cUNOPo->op_first->op_type != OP_GV)
706a304b 1160 croak("Can't localize through a reference");
11343788 1161 if (type == OP_REFGEN && o->op_flags & OPf_PARENS) {
3280af22 1162 PL_modcount = 10000;
11343788 1163 return o; /* Treat \(@foo) like ordinary list. */
748a9306
LW
1164 }
1165 /* FALL THROUGH */
79072805 1166 case OP_RV2GV:
5dc0d613 1167 if (scalar_mod_type(o, type))
3fe9a6f1 1168 goto nomod;
11343788 1169 ref(cUNOPo->op_first, o->op_type);
79072805
LW
1170 /* FALL THROUGH */
1171 case OP_AASSIGN:
1172 case OP_ASLICE:
1173 case OP_HSLICE:
93a17b20
LW
1174 case OP_NEXTSTATE:
1175 case OP_DBSTATE:
a0d0e21e
LW
1176 case OP_REFGEN:
1177 case OP_CHOMP:
3280af22 1178 PL_modcount = 10000;
79072805 1179 break;
463ee0b2 1180 case OP_RV2SV:
11343788 1181 if (!type && cUNOPo->op_first->op_type != OP_GV)
706a304b 1182 croak("Can't localize through a reference");
aeea060c 1183 ref(cUNOPo->op_first, o->op_type);
463ee0b2 1184 /* FALL THROUGH */
79072805 1185 case OP_GV:
463ee0b2 1186 case OP_AV2ARYLEN:
3280af22 1187 PL_hints |= HINT_BLOCK_SCOPE;
463ee0b2 1188 case OP_SASSIGN:
8990e307 1189 case OP_AELEMFAST:
3280af22 1190 PL_modcount++;
8990e307
LW
1191 break;
1192
748a9306
LW
1193 case OP_PADAV:
1194 case OP_PADHV:
3280af22 1195 PL_modcount = 10000;
5196be3e
MB
1196 if (type == OP_REFGEN && o->op_flags & OPf_PARENS)
1197 return o; /* Treat \(@foo) like ordinary list. */
1198 if (scalar_mod_type(o, type))
3fe9a6f1 1199 goto nomod;
748a9306
LW
1200 /* FALL THROUGH */
1201 case OP_PADSV:
3280af22 1202 PL_modcount++;
748a9306
LW
1203 if (!type)
1204 croak("Can't localize lexical variable %s",
3280af22 1205 SvPV(*av_fetch(PL_comppad_name, o->op_targ, 4), PL_na));
463ee0b2
LW
1206 break;
1207
554b3eca 1208#ifdef USE_THREADS
2faa37cc 1209 case OP_THREADSV:
533c011a 1210 PL_modcount++; /* XXX ??? */
554b3eca
MB
1211 break;
1212#endif /* USE_THREADS */
1213
748a9306
LW
1214 case OP_PUSHMARK:
1215 break;
a0d0e21e 1216
69969c6f
SB
1217 case OP_KEYS:
1218 if (type != OP_SASSIGN)
1219 goto nomod;
5d82c453
GA
1220 goto lvalue_func;
1221 case OP_SUBSTR:
1222 if (o->op_private == 4) /* don't allow 4 arg substr as lvalue */
1223 goto nomod;
5f05dabc 1224 /* FALL THROUGH */
a0d0e21e 1225 case OP_POS:
463ee0b2 1226 case OP_VEC:
5d82c453 1227 lvalue_func:
11343788
MB
1228 pad_free(o->op_targ);
1229 o->op_targ = pad_alloc(o->op_type, SVs_PADMY);
5dc0d613 1230 assert(SvTYPE(PAD_SV(o->op_targ)) == SVt_NULL);
11343788
MB
1231 if (o->op_flags & OPf_KIDS)
1232 mod(cBINOPo->op_first->op_sibling, type);
463ee0b2 1233 break;
a0d0e21e 1234
463ee0b2
LW
1235 case OP_AELEM:
1236 case OP_HELEM:
11343788 1237 ref(cBINOPo->op_first, o->op_type);
68dc0745 1238 if (type == OP_ENTERSUB &&
5dc0d613
MB
1239 !(o->op_private & (OPpLVAL_INTRO | OPpDEREF)))
1240 o->op_private |= OPpLVAL_DEFER;
3280af22 1241 PL_modcount++;
463ee0b2
LW
1242 break;
1243
1244 case OP_SCOPE:
1245 case OP_LEAVE:
1246 case OP_ENTER:
11343788
MB
1247 if (o->op_flags & OPf_KIDS)
1248 mod(cLISTOPo->op_last, type);
a0d0e21e
LW
1249 break;
1250
1251 case OP_NULL:
11343788 1252 if (!(o->op_flags & OPf_KIDS))
463ee0b2 1253 break;
11343788
MB
1254 if (o->op_targ != OP_LIST) {
1255 mod(cBINOPo->op_first, type);
a0d0e21e
LW
1256 break;
1257 }
1258 /* FALL THROUGH */
463ee0b2 1259 case OP_LIST:
11343788 1260 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW
1261 mod(kid, type);
1262 break;
1263 }
11343788 1264 o->op_flags |= OPf_MOD;
a0d0e21e
LW
1265
1266 if (type == OP_AASSIGN || type == OP_SASSIGN)
11343788 1267 o->op_flags |= OPf_SPECIAL|OPf_REF;
a0d0e21e 1268 else if (!type) {
11343788
MB
1269 o->op_private |= OPpLVAL_INTRO;
1270 o->op_flags &= ~OPf_SPECIAL;
3280af22 1271 PL_hints |= HINT_BLOCK_SCOPE;
463ee0b2 1272 }
a0d0e21e 1273 else if (type != OP_GREPSTART && type != OP_ENTERSUB)
11343788
MB
1274 o->op_flags |= OPf_REF;
1275 return o;
463ee0b2
LW
1276}
1277
3fe9a6f1 1278static bool
8ac85365 1279scalar_mod_type(OP *o, I32 type)
3fe9a6f1 1280{
1281 switch (type) {
1282 case OP_SASSIGN:
5196be3e 1283 if (o->op_type == OP_RV2GV)
3fe9a6f1 1284 return FALSE;
1285 /* FALL THROUGH */
1286 case OP_PREINC:
1287 case OP_PREDEC:
1288 case OP_POSTINC:
1289 case OP_POSTDEC:
1290 case OP_I_PREINC:
1291 case OP_I_PREDEC:
1292 case OP_I_POSTINC:
1293 case OP_I_POSTDEC:
1294 case OP_POW:
1295 case OP_MULTIPLY:
1296 case OP_DIVIDE:
1297 case OP_MODULO:
1298 case OP_REPEAT:
1299 case OP_ADD:
1300 case OP_SUBTRACT:
1301 case OP_I_MULTIPLY:
1302 case OP_I_DIVIDE:
1303 case OP_I_MODULO:
1304 case OP_I_ADD:
1305 case OP_I_SUBTRACT:
1306 case OP_LEFT_SHIFT:
1307 case OP_RIGHT_SHIFT:
1308 case OP_BIT_AND:
1309 case OP_BIT_XOR:
1310 case OP_BIT_OR:
1311 case OP_CONCAT:
1312 case OP_SUBST:
1313 case OP_TRANS:
49e9fbe6
GS
1314 case OP_READ:
1315 case OP_SYSREAD:
1316 case OP_RECV:
3fe9a6f1 1317 case OP_ANDASSIGN: /* may work later */
1318 case OP_ORASSIGN: /* may work later */
1319 return TRUE;
1320 default:
1321 return FALSE;
1322 }
1323}
1324
463ee0b2 1325OP *
8ac85365 1326refkids(OP *o, I32 type)
463ee0b2
LW
1327{
1328 OP *kid;
11343788
MB
1329 if (o && o->op_flags & OPf_KIDS) {
1330 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
463ee0b2
LW
1331 ref(kid, type);
1332 }
11343788 1333 return o;
463ee0b2
LW
1334}
1335
1336OP *
8ac85365 1337ref(OP *o, I32 type)
463ee0b2
LW
1338{
1339 OP *kid;
463ee0b2 1340
3280af22 1341 if (!o || PL_error_count)
11343788 1342 return o;
463ee0b2 1343
11343788 1344 switch (o->op_type) {
a0d0e21e 1345 case OP_ENTERSUB:
e55aaa0e 1346 if ((type == OP_DEFINED || type == OP_LOCK) &&
11343788
MB
1347 !(o->op_flags & OPf_STACKED)) {
1348 o->op_type = OP_RV2CV; /* entersub => rv2cv */
1349 o->op_ppaddr = ppaddr[OP_RV2CV];
1350 assert(cUNOPo->op_first->op_type == OP_NULL);
1351 null(((LISTOP*)cUNOPo->op_first)->op_first); /* disable pushmark */
1352 o->op_flags |= OPf_SPECIAL;
8990e307
LW
1353 }
1354 break;
aeea060c 1355
463ee0b2 1356 case OP_COND_EXPR:
11343788 1357 for (kid = cUNOPo->op_first->op_sibling; kid; kid = kid->op_sibling)
463ee0b2
LW
1358 ref(kid, type);
1359 break;
8990e307 1360 case OP_RV2SV:
11343788 1361 ref(cUNOPo->op_first, o->op_type);
4633a7c4
LW
1362 /* FALL THROUGH */
1363 case OP_PADSV:
5f05dabc 1364 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB
1365 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1366 : type == OP_RV2HV ? OPpDEREF_HV
1367 : OPpDEREF_SV);
11343788 1368 o->op_flags |= OPf_MOD;
a0d0e21e 1369 }
8990e307
LW
1370 break;
1371
2faa37cc 1372 case OP_THREADSV:
a863c7d1
MB
1373 o->op_flags |= OPf_MOD; /* XXX ??? */
1374 break;
1375
463ee0b2
LW
1376 case OP_RV2AV:
1377 case OP_RV2HV:
aeea060c 1378 o->op_flags |= OPf_REF;
8990e307 1379 /* FALL THROUGH */
463ee0b2 1380 case OP_RV2GV:
11343788 1381 ref(cUNOPo->op_first, o->op_type);
463ee0b2 1382 break;
8990e307 1383
463ee0b2
LW
1384 case OP_PADAV:
1385 case OP_PADHV:
aeea060c 1386 o->op_flags |= OPf_REF;
79072805 1387 break;
aeea060c 1388
8990e307 1389 case OP_SCALAR:
79072805 1390 case OP_NULL:
11343788 1391 if (!(o->op_flags & OPf_KIDS))
463ee0b2 1392 break;
11343788 1393 ref(cBINOPo->op_first, type);
79072805
LW
1394 break;
1395 case OP_AELEM:
1396 case OP_HELEM:
11343788 1397 ref(cBINOPo->op_first, o->op_type);
5f05dabc 1398 if (type == OP_RV2SV || type == OP_RV2AV || type == OP_RV2HV) {
5dc0d613
MB
1399 o->op_private |= (type == OP_RV2AV ? OPpDEREF_AV
1400 : type == OP_RV2HV ? OPpDEREF_HV
1401 : OPpDEREF_SV);
11343788 1402 o->op_flags |= OPf_MOD;
8990e307 1403 }
79072805
LW
1404 break;
1405
463ee0b2 1406 case OP_SCOPE:
79072805
LW
1407 case OP_LEAVE:
1408 case OP_ENTER:
8990e307 1409 case OP_LIST:
11343788 1410 if (!(o->op_flags & OPf_KIDS))
79072805 1411 break;
11343788 1412 ref(cLISTOPo->op_last, type);
79072805 1413 break;
a0d0e21e
LW
1414 default:
1415 break;
79072805 1416 }
11343788 1417 return scalar(o);
8990e307 1418
79072805
LW
1419}
1420
1421OP *
8ac85365 1422my(OP *o)
93a17b20
LW
1423{
1424 OP *kid;
93a17b20
LW
1425 I32 type;
1426
3280af22 1427 if (!o || PL_error_count)
11343788 1428 return o;
93a17b20 1429
11343788 1430 type = o->op_type;
93a17b20 1431 if (type == OP_LIST) {
11343788 1432 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
93a17b20 1433 my(kid);
dab48698 1434 } else if (type == OP_UNDEF) {
7766148a 1435 return o;
dab48698 1436 } else if (type != OP_PADSV &&
93a17b20
LW
1437 type != OP_PADAV &&
1438 type != OP_PADHV &&
1439 type != OP_PUSHMARK)
1440 {
5dc0d613 1441 yyerror(form("Can't declare %s in my", op_desc[o->op_type]));
11343788 1442 return o;
93a17b20 1443 }
11343788
MB
1444 o->op_flags |= OPf_MOD;
1445 o->op_private |= OPpLVAL_INTRO;
1446 return o;
93a17b20
LW
1447}
1448
1449OP *
8ac85365 1450sawparens(OP *o)
79072805
LW
1451{
1452 if (o)
1453 o->op_flags |= OPf_PARENS;
1454 return o;
1455}
1456
1457OP *
8ac85365 1458bind_match(I32 type, OP *left, OP *right)
79072805 1459{
11343788 1460 OP *o;
79072805 1461
3280af22 1462 if (PL_dowarn &&
2ae324a7 1463 (left->op_type == OP_RV2AV ||
1464 left->op_type == OP_RV2HV ||
1465 left->op_type == OP_PADAV ||
1466 left->op_type == OP_PADHV)) {
1467 char *desc = op_desc[(right->op_type == OP_SUBST ||
1468 right->op_type == OP_TRANS)
1469 ? right->op_type : OP_MATCH];
1470 char *sample = ((left->op_type == OP_RV2AV ||
1471 left->op_type == OP_PADAV)
1472 ? "@array" : "%hash");
1473 warn("Applying %s to %s will act on scalar(%s)", desc, sample, sample);
1474 }
1475
79072805
LW
1476 if (right->op_type == OP_MATCH ||
1477 right->op_type == OP_SUBST ||
1478 right->op_type == OP_TRANS) {
1479 right->op_flags |= OPf_STACKED;
1480 if (right->op_type != OP_MATCH)
463ee0b2 1481 left = mod(left, right->op_type);
79072805 1482 if (right->op_type == OP_TRANS)
11343788 1483 o = newBINOP(OP_NULL, OPf_STACKED, scalar(left), right);
79072805 1484 else
11343788 1485 o = prepend_elem(right->op_type, scalar(left), right);
79072805 1486 if (type == OP_NOT)
11343788
MB
1487 return newUNOP(OP_NOT, 0, scalar(o));
1488 return o;
79072805
LW
1489 }
1490 else
1491 return bind_match(type, left,
1492 pmruntime(newPMOP(OP_MATCH, 0), right, Nullop));
1493}
1494
1495OP *
8ac85365 1496invert(OP *o)
79072805 1497{
11343788
MB
1498 if (!o)
1499 return o;
79072805 1500 /* XXX need to optimize away NOT NOT here? Or do we let optimizer do it? */
11343788 1501 return newUNOP(OP_NOT, OPf_SPECIAL, scalar(o));
79072805
LW
1502}
1503
1504OP *
8ac85365 1505scope(OP *o)
79072805
LW
1506{
1507 if (o) {
3280af22 1508 if (o->op_flags & OPf_PARENS || PERLDB_NOOPT || PL_tainting) {
463ee0b2
LW
1509 o = prepend_elem(OP_LINESEQ, newOP(OP_ENTER, 0), o);
1510 o->op_type = OP_LEAVE;
1511 o->op_ppaddr = ppaddr[OP_LEAVE];
1512 }
1513 else {
1514 if (o->op_type == OP_LINESEQ) {
1515 OP *kid;
1516 o->op_type = OP_SCOPE;
1517 o->op_ppaddr = ppaddr[OP_SCOPE];
1518 kid = ((LISTOP*)o)->op_first;
748a9306
LW
1519 if (kid->op_type == OP_NEXTSTATE || kid->op_type == OP_DBSTATE){
1520 SvREFCNT_dec(((COP*)kid)->cop_filegv);
8990e307 1521 null(kid);
748a9306 1522 }
463ee0b2
LW
1523 }
1524 else
748a9306 1525 o = newLISTOP(OP_SCOPE, 0, o, Nullop);
463ee0b2 1526 }
79072805
LW
1527 }
1528 return o;
1529}
1530
b3ac6de7
IZ
1531void
1532save_hints(void)
1533{
3280af22
NIS
1534 SAVEI32(PL_hints);
1535 SAVESPTR(GvHV(PL_hintgv));
1536 GvHV(PL_hintgv) = newHVhv(GvHV(PL_hintgv));
1537 SAVEFREESV(GvHV(PL_hintgv));
b3ac6de7
IZ
1538}
1539
a0d0e21e 1540int
8ac85365 1541block_start(int full)
79072805 1542{
11343788 1543 dTHR;
3280af22 1544 int retval = PL_savestack_ix;
b3ac6de7 1545
3280af22 1546 SAVEI32(PL_comppad_name_floor);
55497cff 1547 if (full) {
3280af22
NIS
1548 if ((PL_comppad_name_fill = AvFILLp(PL_comppad_name)) > 0)
1549 PL_comppad_name_floor = PL_comppad_name_fill;
55497cff 1550 else
3280af22
NIS
1551 PL_comppad_name_floor = 0;
1552 }
1553 SAVEI32(PL_min_intro_pending);
1554 SAVEI32(PL_max_intro_pending);
1555 PL_min_intro_pending = 0;
1556 SAVEI32(PL_comppad_name_fill);
1557 SAVEI32(PL_padix_floor);
1558 PL_padix_floor = PL_padix;
1559 PL_pad_reset_pending = FALSE;
b3ac6de7 1560 SAVEHINTS();
3280af22 1561 PL_hints &= ~HINT_BLOCK_SCOPE;
a0d0e21e
LW
1562 return retval;
1563}
1564
1565OP*
8ac85365 1566block_end(I32 floor, OP *seq)
a0d0e21e 1567{
11343788 1568 dTHR;
3280af22 1569 int needblockscope = PL_hints & HINT_BLOCK_SCOPE;
a0d0e21e 1570 OP* retval = scalarseq(seq);
a0d0e21e 1571 LEAVE_SCOPE(floor);
3280af22 1572 PL_pad_reset_pending = FALSE;
a0d0e21e 1573 if (needblockscope)
3280af22
NIS
1574 PL_hints |= HINT_BLOCK_SCOPE; /* propagate out */
1575 pad_leavemy(PL_comppad_name_fill);
1576 PL_cop_seqmax++;
a0d0e21e
LW
1577 return retval;
1578}
1579
76e3520e 1580STATIC OP *
54b9620d
MB
1581newDEFSVOP(void)
1582{
1583#ifdef USE_THREADS
1584 OP *o = newOP(OP_THREADSV, 0);
1585 o->op_targ = find_threadsv("_");
1586 return o;
1587#else
3280af22 1588 return newSVREF(newGVOP(OP_GV, 0, PL_defgv));
54b9620d
MB
1589#endif /* USE_THREADS */
1590}
1591
a0d0e21e 1592void
8ac85365 1593newPROG(OP *o)
a0d0e21e 1594{
11343788 1595 dTHR;
3280af22
NIS
1596 if (PL_in_eval) {
1597 PL_eval_root = newUNOP(OP_LEAVEEVAL, ((PL_in_eval & 4) ? OPf_SPECIAL : 0), o);
1598 PL_eval_start = linklist(PL_eval_root);
1599 PL_eval_root->op_next = 0;
1600 peep(PL_eval_start);
a0d0e21e
LW
1601 }
1602 else {
5dc0d613 1603 if (!o)
a0d0e21e 1604 return;
3280af22
NIS
1605 PL_main_root = scope(sawparens(scalarvoid(o)));
1606 PL_curcop = &PL_compiling;
1607 PL_main_start = LINKLIST(PL_main_root);
1608 PL_main_root->op_next = 0;
1609 peep(PL_main_start);
1610 PL_compcv = 0;
3841441e 1611
4fdae800 1612 /* Register with debugger */
84902520 1613 if (PERLDB_INTER) {
3841441e 1614 CV *cv = perl_get_cv("DB::postponed", FALSE);
3841441e
CS
1615 if (cv) {
1616 dSP;
924508f0 1617 PUSHMARK(SP);
3280af22 1618 XPUSHs((SV*)PL_compiling.cop_filegv);
3841441e
CS
1619 PUTBACK;
1620 perl_call_sv((SV*)cv, G_DISCARD);
1621 }
1622 }
79072805 1623 }
79072805
LW
1624}
1625
1626OP *
8ac85365 1627localize(OP *o, I32 lex)
79072805
LW
1628{
1629 if (o->op_flags & OPf_PARENS)
1630 list(o);
8990e307 1631 else {
3280af22 1632 if (PL_dowarn && PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == ',') {
8990e307 1633 char *s;
3280af22 1634 for (s = PL_bufptr; *s && (isALNUM(*s) || strchr("@$%, ",*s)); s++) ;
a0d0e21e 1635 if (*s == ';' || *s == '=')
8990e307
LW
1636 warn("Parens missing around \"%s\" list", lex ? "my" : "local");
1637 }
1638 }
3280af22
NIS
1639 PL_in_my = FALSE;
1640 PL_in_my_stash = Nullhv;
93a17b20
LW
1641 if (lex)
1642 return my(o);
1643 else
463ee0b2 1644 return mod(o, OP_NULL); /* a bit kludgey */
79072805
LW
1645}
1646
1647OP *
8ac85365 1648jmaybe(OP *o)
79072805
LW
1649{
1650 if (o->op_type == OP_LIST) {
554b3eca
MB
1651 OP *o2;
1652#ifdef USE_THREADS
2faa37cc 1653 o2 = newOP(OP_THREADSV, 0);
54b9620d 1654 o2->op_targ = find_threadsv(";");
554b3eca
MB
1655#else
1656 o2 = newSVREF(newGVOP(OP_GV, 0, gv_fetchpv(";", TRUE, SVt_PV))),
1657#endif /* USE_THREADS */
1658 o = convert(OP_JOIN, 0, prepend_elem(OP_LIST, o2, o));
79072805
LW
1659 }
1660 return o;
1661}
1662
1663OP *
8ac85365 1664fold_constants(register OP *o)
79072805 1665{
11343788 1666 dTHR;
79072805
LW
1667 register OP *curop;
1668 I32 type = o->op_type;
748a9306 1669 SV *sv;
79072805
LW
1670
1671 if (opargs[type] & OA_RETSCALAR)
1672 scalar(o);
1673 if (opargs[type] & OA_TARGET)
ed6116ce 1674 o->op_targ = pad_alloc(type, SVs_PADTMP);
79072805 1675
3280af22 1676 if ((opargs[type] & OA_OTHERINT) && (PL_hints & HINT_INTEGER))
a0d0e21e 1677 o->op_ppaddr = ppaddr[type = ++(o->op_type)];
85e6fe83 1678
79072805
LW
1679 if (!(opargs[type] & OA_FOLDCONST))
1680 goto nope;
1681
de939608
CS
1682 switch (type) {
1683 case OP_SPRINTF:
1684 case OP_UCFIRST:
1685 case OP_LCFIRST:
1686 case OP_UC:
1687 case OP_LC:
69dcf70c
MB
1688 case OP_SLT:
1689 case OP_SGT:
1690 case OP_SLE:
1691 case OP_SGE:
1692 case OP_SCMP:
1693
de939608
CS
1694 if (o->op_private & OPpLOCALE)
1695 goto nope;
1696 }
1697
3280af22 1698 if (PL_error_count)
a0d0e21e
LW
1699 goto nope; /* Don't try to run w/ errors */
1700
79072805 1701 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
93a17b20
LW
1702 if (curop->op_type != OP_CONST &&
1703 curop->op_type != OP_LIST &&
1704 curop->op_type != OP_SCALAR &&
a0d0e21e 1705 curop->op_type != OP_NULL &&
93a17b20 1706 curop->op_type != OP_PUSHMARK) {
79072805
LW
1707 goto nope;
1708 }
1709 }
1710
1711 curop = LINKLIST(o);
1712 o->op_next = 0;
533c011a 1713 PL_op = curop;
76e3520e 1714 CALLRUNOPS();
3280af22 1715 sv = *(PL_stack_sp--);
748a9306 1716 if (o->op_targ && sv == PAD_SV(o->op_targ)) /* grab pad temp? */
79072805 1717 pad_swipe(o->op_targ);
748a9306
LW
1718 else if (SvTEMP(sv)) { /* grab mortal temp? */
1719 (void)SvREFCNT_inc(sv);
1720 SvTEMP_off(sv);
85e6fe83 1721 }
79072805
LW
1722 op_free(o);
1723 if (type == OP_RV2GV)
b1cb66bf 1724 return newGVOP(OP_GV, 0, (GV*)sv);
748a9306 1725 else {
ee580363
GS
1726 /* try to smush double to int, but don't smush -2.0 to -2 */
1727 if ((SvFLAGS(sv) & (SVf_IOK|SVf_NOK|SVf_POK)) == SVf_NOK &&
1728 type != OP_NEGATE)
1729 {
748a9306 1730 IV iv = SvIV(sv);
ee580363 1731 if ((double)iv == SvNV(sv)) {
748a9306
LW
1732 SvREFCNT_dec(sv);
1733 sv = newSViv(iv);
1734 }
b1cb66bf 1735 else
1736 SvIOK_off(sv); /* undo SvIV() damage */
748a9306
LW
1737 }
1738 return newSVOP(OP_CONST, 0, sv);
1739 }
aeea060c 1740
79072805
LW
1741 nope:
1742 if (!(opargs[type] & OA_OTHERINT))
1743 return o;
79072805 1744
3280af22 1745 if (!(PL_hints & HINT_INTEGER)) {
a0d0e21e 1746 if (type == OP_DIVIDE || !(o->op_flags & OPf_KIDS))
85e6fe83
LW
1747 return o;
1748
1749 for (curop = ((UNOP*)o)->op_first; curop; curop = curop->op_sibling) {
1750 if (curop->op_type == OP_CONST) {
b1cb66bf 1751 if (SvIOK(((SVOP*)curop)->op_sv))
85e6fe83
LW
1752 continue;
1753 return o;
1754 }
1755 if (opargs[curop->op_type] & OA_RETINTEGER)
79072805
LW
1756 continue;
1757 return o;
1758 }
a0d0e21e 1759 o->op_ppaddr = ppaddr[++(o->op_type)];
79072805
LW
1760 }
1761
79072805
LW
1762 return o;
1763}
1764
1765OP *
8ac85365 1766gen_constant_list(register OP *o)
79072805 1767{
11343788 1768 dTHR;
79072805 1769 register OP *curop;
3280af22 1770 I32 oldtmps_floor = PL_tmps_floor;
79072805 1771
a0d0e21e 1772 list(o);
3280af22 1773 if (PL_error_count)
a0d0e21e
LW
1774 return o; /* Don't attempt to run with errors */
1775
533c011a 1776 PL_op = curop = LINKLIST(o);
a0d0e21e 1777 o->op_next = 0;
11343788 1778 pp_pushmark(ARGS);
76e3520e 1779 CALLRUNOPS();
533c011a 1780 PL_op = curop;
11343788 1781 pp_anonlist(ARGS);
3280af22 1782 PL_tmps_floor = oldtmps_floor;
79072805
LW
1783
1784 o->op_type = OP_RV2AV;
1785 o->op_ppaddr = ppaddr[OP_RV2AV];
79072805 1786 curop = ((UNOP*)o)->op_first;
3280af22 1787 ((UNOP*)o)->op_first = newSVOP(OP_CONST, 0, SvREFCNT_inc(*PL_stack_sp--));
79072805 1788 op_free(curop);
79072805
LW
1789 linklist(o);
1790 return list(o);
1791}
1792
1793OP *
8ac85365 1794convert(I32 type, I32 flags, OP *o)
79072805
LW
1795{
1796 OP *kid;
a0d0e21e 1797 OP *last = 0;
79072805 1798
11343788
MB
1799 if (!o || o->op_type != OP_LIST)
1800 o = newLISTOP(OP_LIST, 0, o, Nullop);
748a9306 1801 else
5dc0d613 1802 o->op_flags &= ~OPf_WANT;
79072805 1803
8990e307 1804 if (!(opargs[type] & OA_MARK))
11343788 1805 null(cLISTOPo->op_first);
8990e307 1806
11343788
MB
1807 o->op_type = type;
1808 o->op_ppaddr = ppaddr[type];
1809 o->op_flags |= flags;
79072805 1810
11343788
MB
1811 o = CHECKOP(type, o);
1812 if (o->op_type != type)
1813 return o;
79072805 1814
11343788 1815 if (cLISTOPo->op_children < 7) {
79072805 1816 /* XXX do we really need to do this if we're done appending?? */
11343788 1817 for (kid = cLISTOPo->op_first; kid; kid = kid->op_sibling)
79072805 1818 last = kid;
11343788 1819 cLISTOPo->op_last = last; /* in case check substituted last arg */
79072805
LW
1820 }
1821
11343788 1822 return fold_constants(o);
79072805
LW
1823}
1824
1825/* List constructors */
1826
1827OP *
8ac85365 1828append_elem(I32 type, OP *first, OP *last)
79072805
LW
1829{
1830 if (!first)
1831 return last;
8990e307
LW
1832
1833 if (!last)
79072805 1834 return first;
8990e307 1835
a0d0e21e
LW
1836 if (first->op_type != type || type==OP_LIST && first->op_flags & OPf_PARENS)
1837 return newLISTOP(type, 0, first, last);
79072805 1838
a0d0e21e
LW
1839 if (first->op_flags & OPf_KIDS)
1840 ((LISTOP*)first)->op_last->op_sibling = last;
1841 else {
1842 first->op_flags |= OPf_KIDS;
1843 ((LISTOP*)first)->op_first = last;
1844 }
1845 ((LISTOP*)first)->op_last = last;
1846 ((LISTOP*)first)->op_children++;
1847 return first;
79072805
LW
1848}
1849
1850OP *
8ac85365 1851append_list(I32 type, LISTOP *first, LISTOP *last)
79072805
LW
1852{
1853 if (!first)
1854 return (OP*)last;
8990e307
LW
1855
1856 if (!last)
79072805 1857 return (OP*)first;
8990e307
LW
1858
1859 if (first->op_type != type)
79072805 1860 return prepend_elem(type, (OP*)first, (OP*)last);
8990e307
LW
1861
1862 if (last->op_type != type)
79072805
LW
1863 return append_elem(type, (OP*)first, (OP*)last);
1864
1865 first->op_last->op_sibling = last->op_first;
1866 first->op_last = last->op_last;
1867 first->op_children += last->op_children;
1868 if (first->op_children)
1869 last->op_flags |= OPf_KIDS;
1870
1871 Safefree(last);
1872 return (OP*)first;
1873}
1874
1875OP *
8ac85365 1876prepend_elem(I32 type, OP *first, OP *last)
79072805
LW
1877{
1878 if (!first)
1879 return last;
8990e307
LW
1880
1881 if (!last)
79072805 1882 return first;
8990e307
LW
1883
1884 if (last->op_type == type) {
1885 if (type == OP_LIST) { /* already a PUSHMARK there */
1886 first->op_sibling = ((LISTOP*)last)->op_first->op_sibling;
1887 ((LISTOP*)last)->op_first->op_sibling = first;
1888 }
1889 else {
1890 if (!(last->op_flags & OPf_KIDS)) {
1891 ((LISTOP*)last)->op_last = first;
1892 last->op_flags |= OPf_KIDS;
1893 }
1894 first->op_sibling = ((LISTOP*)last)->op_first;
1895 ((LISTOP*)last)->op_first = first;
79072805 1896 }
79072805
LW
1897 ((LISTOP*)last)->op_children++;
1898 return last;
1899 }
1900
1901 return newLISTOP(type, 0, first, last);
1902}
1903
1904/* Constructors */
1905
1906OP *
8ac85365 1907newNULLLIST(void)
79072805 1908{
8990e307
LW
1909 return newOP(OP_STUB, 0);
1910}
1911
1912OP *
8ac85365 1913force_list(OP *o)
8990e307 1914{
11343788
MB
1915 if (!o || o->op_type != OP_LIST)
1916 o = newLISTOP(OP_LIST, 0, o, Nullop);
1917 null(o);
1918 return o;
79072805
LW
1919}
1920
1921OP *
8ac85365 1922newLISTOP(I32 type, I32 flags, OP *first, OP *last)
79072805
LW
1923{
1924 LISTOP *listop;
1925
1926 Newz(1101, listop, 1, LISTOP);
1927
1928 listop->op_type = type;
1929 listop->op_ppaddr = ppaddr[type];
1930 listop->op_children = (first != 0) + (last != 0);
1931 listop->op_flags = flags;
79072805
LW
1932
1933 if (!last && first)
1934 last = first;
1935 else if (!first && last)
1936 first = last;
8990e307
LW
1937 else if (first)
1938 first->op_sibling = last;
79072805
LW
1939 listop->op_first = first;
1940 listop->op_last = last;
8990e307
LW
1941 if (type == OP_LIST) {
1942 OP* pushop;
1943 pushop = newOP(OP_PUSHMARK, 0);
1944 pushop->op_sibling = first;
1945 listop->op_first = pushop;
1946 listop->op_flags |= OPf_KIDS;
1947 if (!last)
1948 listop->op_last = pushop;
1949 }
1950 else if (listop->op_children)
1951 listop->op_flags |= OPf_KIDS;
79072805
LW
1952
1953 return (OP*)listop;
1954}
1955
1956OP *
8ac85365 1957newOP(I32 type, I32 flags)
79072805 1958{
11343788
MB
1959 OP *o;
1960 Newz(1101, o, 1, OP);
1961 o->op_type = type;
1962 o->op_ppaddr = ppaddr[type];
1963 o->op_flags = flags;
79072805 1964
11343788
MB
1965 o->op_next = o;
1966 o->op_private = 0 + (flags >> 8);
79072805 1967 if (opargs[type] & OA_RETSCALAR)
11343788 1968 scalar(o);
79072805 1969 if (opargs[type] & OA_TARGET)
11343788
MB
1970 o->op_targ = pad_alloc(type, SVs_PADTMP);
1971 return CHECKOP(type, o);
79072805
LW
1972}
1973
1974OP *
8ac85365 1975newUNOP(I32 type, I32 flags, OP *first)
79072805
LW
1976{
1977 UNOP *unop;
1978
93a17b20 1979 if (!first)
aeea060c 1980 first = newOP(OP_STUB, 0);
8990e307
LW
1981 if (opargs[type] & OA_MARK)
1982 first = force_list(first);
93a17b20 1983
79072805
LW
1984 Newz(1101, unop, 1, UNOP);
1985 unop->op_type = type;
1986 unop->op_ppaddr = ppaddr[type];
1987 unop->op_first = first;
1988 unop->op_flags = flags | OPf_KIDS;
c07a80fd 1989 unop->op_private = 1 | (flags >> 8);
e50aee73 1990 unop = (UNOP*) CHECKOP(type, unop);
79072805
LW
1991 if (unop->op_next)
1992 return (OP*)unop;
1993
a0d0e21e 1994 return fold_constants((OP *) unop);
79072805
LW
1995}
1996
1997OP *
8ac85365 1998newBINOP(I32 type, I32 flags, OP *first, OP *last)
79072805
LW
1999{
2000 BINOP *binop;
2001 Newz(1101, binop, 1, BINOP);
2002
2003 if (!first)
2004 first = newOP(OP_NULL, 0);
2005
2006 binop->op_type = type;
2007 binop->op_ppaddr = ppaddr[type];
2008 binop->op_first = first;
2009 binop->op_flags = flags | OPf_KIDS;
2010 if (!last) {
2011 last = first;
c07a80fd 2012 binop->op_private = 1 | (flags >> 8);
79072805
LW
2013 }
2014 else {
c07a80fd 2015 binop->op_private = 2 | (flags >> 8);
79072805
LW
2016 first->op_sibling = last;
2017 }
2018
e50aee73 2019 binop = (BINOP*)CHECKOP(type, binop);
79072805
LW
2020 if (binop->op_next)
2021 return (OP*)binop;
2022
2023 binop->op_last = last = binop->op_first->op_sibling;
2024
a0d0e21e 2025 return fold_constants((OP *)binop);
79072805
LW
2026}
2027
2028OP *
8ac85365 2029pmtrans(OP *o, OP *expr, OP *repl)
79072805 2030{
79072805
LW
2031 SV *tstr = ((SVOP*)expr)->op_sv;
2032 SV *rstr = ((SVOP*)repl)->op_sv;
463ee0b2
LW
2033 STRLEN tlen;
2034 STRLEN rlen;
ec49126f 2035 register U8 *t = (U8*)SvPV(tstr, tlen);
2036 register U8 *r = (U8*)SvPV(rstr, rlen);
79072805
LW
2037 register I32 i;
2038 register I32 j;
8ac85365 2039 I32 Delete;
79072805 2040 I32 complement;
5d06d08e 2041 I32 squash;
79072805
LW
2042 register short *tbl;
2043
11343788
MB
2044 tbl = (short*)cPVOPo->op_pv;
2045 complement = o->op_private & OPpTRANS_COMPLEMENT;
8ac85365 2046 Delete = o->op_private & OPpTRANS_DELETE;
5d06d08e 2047 squash = o->op_private & OPpTRANS_SQUASH;
79072805
LW
2048
2049 if (complement) {
2050 Zero(tbl, 256, short);
2051 for (i = 0; i < tlen; i++)
ec49126f 2052 tbl[t[i]] = -1;
79072805
LW
2053 for (i = 0, j = 0; i < 256; i++) {
2054 if (!tbl[i]) {
2055 if (j >= rlen) {
8ac85365 2056 if (Delete)
79072805
LW
2057 tbl[i] = -2;
2058 else if (rlen)
ec49126f 2059 tbl[i] = r[j-1];
79072805
LW
2060 else
2061 tbl[i] = i;
2062 }
2063 else
ec49126f 2064 tbl[i] = r[j++];
79072805
LW
2065 }
2066 }
2067 }
2068 else {
8ac85365 2069 if (!rlen && !Delete) {
79072805 2070 r = t; rlen = tlen;
5d06d08e
MB
2071 if (!squash)
2072 o->op_private |= OPpTRANS_COUNTONLY;
79072805
LW
2073 }
2074 for (i = 0; i < 256; i++)
2075 tbl[i] = -1;
2076 for (i = 0, j = 0; i < tlen; i++,j++) {
2077 if (j >= rlen) {
8ac85365 2078 if (Delete) {
ec49126f 2079 if (tbl[t[i]] == -1)
2080 tbl[t[i]] = -2;
79072805
LW
2081 continue;
2082 }
2083 --j;
2084 }
ec49126f 2085 if (tbl[t[i]] == -1)
2086 tbl[t[i]] = r[j];
79072805
LW
2087 }
2088 }
2089 op_free(expr);
2090 op_free(repl);
2091
11343788 2092 return o;
79072805
LW
2093}
2094
2095OP *
8ac85365 2096newPMOP(I32 type, I32 flags)
79072805 2097{
11343788 2098 dTHR;
79072805
LW
2099 PMOP *pmop;
2100
2101 Newz(1101, pmop, 1, PMOP);
2102 pmop->op_type = type;
2103 pmop->op_ppaddr = ppaddr[type];
2104 pmop->op_flags = flags;
c07a80fd 2105 pmop->op_private = 0 | (flags >> 8);
79072805 2106
3280af22 2107 if (PL_hints & HINT_RE_TAINT)
b3eb6a9b 2108 pmop->op_pmpermflags |= PMf_RETAINT;
3280af22 2109 if (PL_hints & HINT_LOCALE)
b3eb6a9b
GS
2110 pmop->op_pmpermflags |= PMf_LOCALE;
2111 pmop->op_pmflags = pmop->op_pmpermflags;
36477c24 2112
79072805 2113 /* link into pm list */
3280af22
NIS
2114 if (type != OP_TRANS && PL_curstash) {
2115 pmop->op_pmnext = HvPMROOT(PL_curstash);
2116 HvPMROOT(PL_curstash) = pmop;
79072805
LW
2117 }
2118
2119 return (OP*)pmop;
2120}
2121
2122OP *
8ac85365 2123pmruntime(OP *o, OP *expr, OP *repl)
79072805 2124{
5c0ca799 2125 dTHR;
79072805
LW
2126 PMOP *pm;
2127 LOGOP *rcop;
ce862d02 2128 I32 repl_has_vars = 0;
79072805 2129
11343788
MB
2130 if (o->op_type == OP_TRANS)
2131 return pmtrans(o, expr, repl);
79072805 2132
3280af22 2133 PL_hints |= HINT_BLOCK_SCOPE;
11343788 2134 pm = (PMOP*)o;
79072805
LW
2135
2136 if (expr->op_type == OP_CONST) {
463ee0b2 2137 STRLEN plen;
79072805 2138 SV *pat = ((SVOP*)expr)->op_sv;
463ee0b2 2139 char *p = SvPV(pat, plen);
11343788 2140 if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
93a17b20 2141 sv_setpvn(pat, "\\s+", 3);
463ee0b2 2142 p = SvPV(pat, plen);
79072805
LW
2143 pm->op_pmflags |= PMf_SKIPWHITE;
2144 }
15e52e56 2145 pm->op_pmregexp = CALLREGCOMP(p, p + plen, pm);
aeea060c 2146 if (strEQ("\\s+", pm->op_pmregexp->precomp))
85e6fe83 2147 pm->op_pmflags |= PMf_WHITE;
79072805
LW
2148 op_free(expr);
2149 }
2150 else {
3280af22
NIS
2151 if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL))
2152 expr = newUNOP((!(PL_hints & HINT_RE_EVAL)
2cd61cdb
IZ
2153 ? OP_REGCRESET
2154 : OP_REGCMAYBE),0,expr);
463ee0b2 2155
79072805
LW
2156 Newz(1101, rcop, 1, LOGOP);
2157 rcop->op_type = OP_REGCOMP;
2158 rcop->op_ppaddr = ppaddr[OP_REGCOMP];
2159 rcop->op_first = scalar(expr);
3280af22 2160 rcop->op_flags |= ((PL_hints & HINT_RE_EVAL)
2cd61cdb
IZ
2161 ? (OPf_SPECIAL | OPf_KIDS)
2162 : OPf_KIDS);
79072805 2163 rcop->op_private = 1;
11343788 2164 rcop->op_other = o;
79072805
LW
2165
2166 /* establish postfix order */
3280af22 2167 if (pm->op_pmflags & PMf_KEEP || !(PL_hints & HINT_RE_EVAL)) {
463ee0b2
LW
2168 LINKLIST(expr);
2169 rcop->op_next = expr;
2170 ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2171 }
2172 else {
2173 rcop->op_next = LINKLIST(expr);
2174 expr->op_next = (OP*)rcop;
2175 }
79072805 2176
11343788 2177 prepend_elem(o->op_type, scalar((OP*)rcop), o);
79072805
LW
2178 }
2179
2180 if (repl) {
748a9306
LW
2181 OP *curop;
2182 if (pm->op_pmflags & PMf_EVAL)
2183 curop = 0;
554b3eca 2184#ifdef USE_THREADS
2faa37cc 2185 else if (repl->op_type == OP_THREADSV
554b3eca 2186 && strchr("&`'123456789+",
533c011a 2187 PL_threadsv_names[repl->op_targ]))
554b3eca
MB
2188 {
2189 curop = 0;
2190 }
2191#endif /* USE_THREADS */
748a9306
LW
2192 else if (repl->op_type == OP_CONST)
2193 curop = repl;
79072805 2194 else {
79072805
LW
2195 OP *lastop = 0;
2196 for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2197 if (opargs[curop->op_type] & OA_DANGEROUS) {
554b3eca 2198#ifdef USE_THREADS
ce862d02
IZ
2199 if (curop->op_type == OP_THREADSV) {
2200 repl_has_vars = 1;
be949f6f 2201 if (strchr("&`'123456789+", curop->op_private))
ce862d02 2202 break;
554b3eca
MB
2203 }
2204#else
79072805
LW
2205 if (curop->op_type == OP_GV) {
2206 GV *gv = ((GVOP*)curop)->op_gv;
ce862d02 2207 repl_has_vars = 1;
93a17b20 2208 if (strchr("&`'123456789+", *GvENAME(gv)))
79072805
LW
2209 break;
2210 }
554b3eca 2211#endif /* USE_THREADS */
79072805
LW
2212 else if (curop->op_type == OP_RV2CV)
2213 break;
2214 else if (curop->op_type == OP_RV2SV ||
2215 curop->op_type == OP_RV2AV ||
2216 curop->op_type == OP_RV2HV ||
2217 curop->op_type == OP_RV2GV) {
2218 if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2219 break;
2220 }
748a9306
LW
2221 else if (curop->op_type == OP_PADSV ||
2222 curop->op_type == OP_PADAV ||
2223 curop->op_type == OP_PADHV ||
554b3eca 2224 curop->op_type == OP_PADANY) {
ce862d02 2225 repl_has_vars = 1;
748a9306 2226 }
1167e5da
SM
2227 else if (curop->op_type == OP_PUSHRE)
2228 ; /* Okay here, dangerous in newASSIGNOP */
79072805
LW
2229 else
2230 break;
2231 }
2232 lastop = curop;
2233 }
748a9306 2234 }
ce862d02
IZ
2235 if (curop == repl
2236 && !(repl_has_vars
2237 && (!pm->op_pmregexp
2238 || pm->op_pmregexp->reganch & ROPT_EVAL_SEEN))) {
748a9306 2239 pm->op_pmflags |= PMf_CONST; /* const for long enough */
4633a7c4 2240 pm->op_pmpermflags |= PMf_CONST; /* const for long enough */
11343788 2241 prepend_elem(o->op_type, scalar(repl), o);
748a9306
LW
2242 }
2243 else {
ce862d02
IZ
2244 if (curop == repl && !pm->op_pmregexp) { /* Has variables. */
2245 pm->op_pmflags |= PMf_MAYBE_CONST;
2246 pm->op_pmpermflags |= PMf_MAYBE_CONST;
2247 }
748a9306
LW
2248 Newz(1101, rcop, 1, LOGOP);
2249 rcop->op_type = OP_SUBSTCONT;
2250 rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
2251 rcop->op_first = scalar(repl);
2252 rcop->op_flags |= OPf_KIDS;
2253 rcop->op_private = 1;
11343788 2254 rcop->op_other = o;
748a9306
LW
2255
2256 /* establish postfix order */
2257 rcop->op_next = LINKLIST(repl);
2258 repl->op_next = (OP*)rcop;
2259
2260 pm->op_pmreplroot = scalar((OP*)rcop);
2261 pm->op_pmreplstart = LINKLIST(rcop);
2262 rcop->op_next = 0;
79072805
LW
2263 }
2264 }
2265
2266 return (OP*)pm;
2267}
2268
2269OP *
8ac85365 2270newSVOP(I32 type, I32 flags, SV *sv)
79072805
LW
2271{
2272 SVOP *svop;
2273 Newz(1101, svop, 1, SVOP);
2274 svop->op_type = type;
2275 svop->op_ppaddr = ppaddr[type];
2276 svop->op_sv = sv;
2277 svop->op_next = (OP*)svop;
2278 svop->op_flags = flags;
2279 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2280 scalar((OP*)svop);
79072805 2281 if (opargs[type] & OA_TARGET)
ed6116ce 2282 svop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2283 return CHECKOP(type, svop);
79072805
LW
2284}
2285
2286OP *
8ac85365 2287newGVOP(I32 type, I32 flags, GV *gv)
79072805 2288{
11343788 2289 dTHR;
79072805
LW
2290 GVOP *gvop;
2291 Newz(1101, gvop, 1, GVOP);
2292 gvop->op_type = type;
2293 gvop->op_ppaddr = ppaddr[type];
8990e307 2294 gvop->op_gv = (GV*)SvREFCNT_inc(gv);
79072805
LW
2295 gvop->op_next = (OP*)gvop;
2296 gvop->op_flags = flags;
2297 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2298 scalar((OP*)gvop);
79072805 2299 if (opargs[type] & OA_TARGET)
ed6116ce 2300 gvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2301 return CHECKOP(type, gvop);
79072805
LW
2302}
2303
2304OP *
8ac85365 2305newPVOP(I32 type, I32 flags, char *pv)
79072805
LW
2306{
2307 PVOP *pvop;
2308 Newz(1101, pvop, 1, PVOP);
2309 pvop->op_type = type;
2310 pvop->op_ppaddr = ppaddr[type];
2311 pvop->op_pv = pv;
2312 pvop->op_next = (OP*)pvop;
2313 pvop->op_flags = flags;
2314 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2315 scalar((OP*)pvop);
79072805 2316 if (opargs[type] & OA_TARGET)
ed6116ce 2317 pvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2318 return CHECKOP(type, pvop);
79072805
LW
2319}
2320
79072805 2321void
8ac85365 2322package(OP *o)
79072805 2323{
11343788 2324 dTHR;
93a17b20 2325 SV *sv;
79072805 2326
3280af22
NIS
2327 save_hptr(&PL_curstash);
2328 save_item(PL_curstname);
11343788 2329 if (o) {
463ee0b2
LW
2330 STRLEN len;
2331 char *name;
11343788 2332 sv = cSVOPo->op_sv;
463ee0b2 2333 name = SvPV(sv, len);
3280af22
NIS
2334 PL_curstash = gv_stashpvn(name,len,TRUE);
2335 sv_setpvn(PL_curstname, name, len);
11343788 2336 op_free(o);
93a17b20
LW
2337 }
2338 else {
3280af22
NIS
2339 sv_setpv(PL_curstname,"<none>");
2340 PL_curstash = Nullhv;
93a17b20 2341 }
3280af22
NIS
2342 PL_copline = NOLINE;
2343 PL_expect = XSTATE;
79072805
LW
2344}
2345
85e6fe83 2346void
8ac85365 2347utilize(int aver, I32 floor, OP *version, OP *id, OP *arg)
85e6fe83 2348{
a0d0e21e
LW
2349 OP *pack;
2350 OP *meth;
2351 OP *rqop;
2352 OP *imop;
b1cb66bf 2353 OP *veop;
85e6fe83 2354
a0d0e21e
LW
2355 if (id->op_type != OP_CONST)
2356 croak("Module name must be constant");
85e6fe83 2357
b1cb66bf 2358 veop = Nullop;
2359
2360 if(version != Nullop) {
2361 SV *vesv = ((SVOP*)version)->op_sv;
2362
2363 if (arg == Nullop && !SvNIOK(vesv)) {
2364 arg = version;
2365 }
2366 else {
2367 OP *pack;
2368 OP *meth;
2369
2370 if (version->op_type != OP_CONST || !SvNIOK(vesv))
2371 croak("Version number must be constant number");
2372
2373 /* Make copy of id so we don't free it twice */
2374 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2375
2376 /* Fake up a method call to VERSION */
2377 meth = newSVOP(OP_CONST, 0, newSVpv("VERSION", 7));
2378 veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2379 append_elem(OP_LIST,
2380 prepend_elem(OP_LIST, pack, list(version)),
2381 newUNOP(OP_METHOD, 0, meth)));
2382 }
2383 }
aeea060c 2384
a0d0e21e 2385 /* Fake up an import/unimport */
4633a7c4
LW
2386 if (arg && arg->op_type == OP_STUB)
2387 imop = arg; /* no import on explicit () */
b1cb66bf 2388 else if(SvNIOK(((SVOP*)id)->op_sv)) {
2389 imop = Nullop; /* use 5.0; */
2390 }
4633a7c4
LW
2391 else {
2392 /* Make copy of id so we don't free it twice */
2393 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
4633a7c4
LW
2394 meth = newSVOP(OP_CONST, 0,
2395 aver
2396 ? newSVpv("import", 6)
2397 : newSVpv("unimport", 8)
2398 );
2399 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
a0d0e21e
LW
2400 append_elem(OP_LIST,
2401 prepend_elem(OP_LIST, pack, list(arg)),
2402 newUNOP(OP_METHOD, 0, meth)));
4633a7c4
LW
2403 }
2404
2405 /* Fake up a require */
2406 rqop = newUNOP(OP_REQUIRE, 0, id);
a0d0e21e
LW
2407
2408 /* Fake up the BEGIN {}, which does its thing immediately. */
c07a80fd 2409 newSUB(floor,
a0d0e21e 2410 newSVOP(OP_CONST, 0, newSVpv("BEGIN", 5)),
4633a7c4 2411 Nullop,
a0d0e21e 2412 append_elem(OP_LINESEQ,
b1cb66bf 2413 append_elem(OP_LINESEQ,
2414 newSTATEOP(0, Nullch, rqop),
2415 newSTATEOP(0, Nullch, veop)),
a0d0e21e 2416 newSTATEOP(0, Nullch, imop) ));
85e6fe83 2417
3280af22
NIS
2418 PL_copline = NOLINE;
2419 PL_expect = XSTATE;
85e6fe83
LW
2420}
2421
79072805 2422OP *
8ac85365 2423newSLICEOP(I32 flags, OP *subscript, OP *listval)
79072805
LW
2424{
2425 return newBINOP(OP_LSLICE, flags,
8990e307
LW
2426 list(force_list(subscript)),
2427 list(force_list(listval)) );
79072805
LW
2428}
2429
76e3520e 2430STATIC I32
8ac85365 2431list_assignment(register OP *o)
79072805 2432{
11343788 2433 if (!o)
79072805
LW
2434 return TRUE;
2435
11343788
MB
2436 if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
2437 o = cUNOPo->op_first;
79072805 2438
11343788
MB
2439 if (o->op_type == OP_COND_EXPR) {
2440 I32 t = list_assignment(cCONDOPo->op_first->op_sibling);
2441 I32 f = list_assignment(cCONDOPo->op_first->op_sibling->op_sibling);
79072805
LW
2442
2443 if (t && f)
2444 return TRUE;
2445 if (t || f)
2446 yyerror("Assignment to both a list and a scalar");
2447 return FALSE;
2448 }
2449
11343788
MB
2450 if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
2451 o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
2452 o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
79072805
LW
2453 return TRUE;
2454
11343788 2455 if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
93a17b20
LW
2456 return TRUE;
2457
11343788 2458 if (o->op_type == OP_RV2SV)
79072805
LW
2459 return FALSE;
2460
2461 return FALSE;
2462}
2463
2464OP *
8ac85365 2465newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
79072805 2466{
11343788 2467 OP *o;
79072805 2468
a0d0e21e
LW
2469 if (optype) {
2470 if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
2471 return newLOGOP(optype, 0,
2472 mod(scalar(left), optype),
2473 newUNOP(OP_SASSIGN, 0, scalar(right)));
2474 }
2475 else {
2476 return newBINOP(optype, OPf_STACKED,
2477 mod(scalar(left), optype), scalar(right));
2478 }
2479 }
2480
79072805 2481 if (list_assignment(left)) {
6ee623d5 2482 dTHR;
3280af22
NIS
2483 PL_modcount = 0;
2484 PL_eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
463ee0b2 2485 left = mod(left, OP_AASSIGN);
3280af22
NIS
2486 if (PL_eval_start)
2487 PL_eval_start = 0;
748a9306 2488 else {
a0d0e21e
LW
2489 op_free(left);
2490 op_free(right);
2491 return Nullop;
2492 }
11343788 2493 o = newBINOP(OP_AASSIGN, flags,
8990e307
LW
2494 list(force_list(right)),
2495 list(force_list(left)) );
11343788 2496 o->op_private = 0 | (flags >> 8);
a0d0e21e 2497 if (!(left->op_private & OPpLVAL_INTRO)) {
79072805 2498 OP *curop;
11343788 2499 OP *lastop = o;
3280af22 2500 PL_generation++;
11343788 2501 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
79072805
LW
2502 if (opargs[curop->op_type] & OA_DANGEROUS) {
2503 if (curop->op_type == OP_GV) {
2504 GV *gv = ((GVOP*)curop)->op_gv;
3280af22 2505 if (gv == PL_defgv || SvCUR(gv) == PL_generation)
79072805 2506 break;
3280af22 2507 SvCUR(gv) = PL_generation;
79072805 2508 }
748a9306
LW
2509 else if (curop->op_type == OP_PADSV ||
2510 curop->op_type == OP_PADAV ||
2511 curop->op_type == OP_PADHV ||
2512 curop->op_type == OP_PADANY) {
3280af22 2513 SV **svp = AvARRAY(PL_comppad_name);
8e07c86e 2514 SV *sv = svp[curop->op_targ];
3280af22 2515 if (SvCUR(sv) == PL_generation)
748a9306 2516 break;
3280af22 2517 SvCUR(sv) = PL_generation; /* (SvCUR not used any more) */
748a9306 2518 }
79072805
LW
2519 else if (curop->op_type == OP_RV2CV)
2520 break;
2521 else if (curop->op_type == OP_RV2SV ||
2522 curop->op_type == OP_RV2AV ||
2523 curop->op_type == OP_RV2HV ||
2524 curop->op_type == OP_RV2GV) {
2525 if (lastop->op_type != OP_GV) /* funny deref? */
2526 break;
2527 }
1167e5da
SM
2528 else if (curop->op_type == OP_PUSHRE) {
2529 if (((PMOP*)curop)->op_pmreplroot) {
2530 GV *gv = (GV*)((PMOP*)curop)->op_pmreplroot;
3280af22 2531 if (gv == PL_defgv || SvCUR(gv) == PL_generation)
1167e5da 2532 break;
3280af22 2533 SvCUR(gv) = PL_generation;
1167e5da
SM
2534 }
2535 }
79072805
LW
2536 else
2537 break;
2538 }
2539 lastop = curop;
2540 }
11343788
MB
2541 if (curop != o)
2542 o->op_private = OPpASSIGN_COMMON;
79072805 2543 }
c07a80fd 2544 if (right && right->op_type == OP_SPLIT) {
2545 OP* tmpop;
2546 if ((tmpop = ((LISTOP*)right)->op_first) &&
2547 tmpop->op_type == OP_PUSHRE)
2548 {
2549 PMOP *pm = (PMOP*)tmpop;
2550 if (left->op_type == OP_RV2AV &&
2551 !(left->op_private & OPpLVAL_INTRO) &&
11343788 2552 !(o->op_private & OPpASSIGN_COMMON) )
c07a80fd 2553 {
2554 tmpop = ((UNOP*)left)->op_first;
2555 if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
2556 pm->op_pmreplroot = (OP*)((GVOP*)tmpop)->op_gv;
2557 pm->op_pmflags |= PMf_ONCE;
11343788 2558 tmpop = cUNOPo->op_first; /* to list (nulled) */
c07a80fd 2559 tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
2560 tmpop->op_sibling = Nullop; /* don't free split */
2561 right->op_next = tmpop->op_next; /* fix starting loc */
11343788 2562 op_free(o); /* blow off assign */
54310121 2563 right->op_flags &= ~OPf_WANT;
a5f75d66 2564 /* "I don't know and I don't care." */
c07a80fd 2565 return right;
2566 }
2567 }
2568 else {
3280af22 2569 if (PL_modcount < 10000 &&
c07a80fd 2570 ((LISTOP*)right)->op_last->op_type == OP_CONST)
2571 {
2572 SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
2573 if (SvIVX(sv) == 0)
3280af22 2574 sv_setiv(sv, PL_modcount+1);
c07a80fd 2575 }
2576 }
2577 }
2578 }
11343788 2579 return o;
79072805
LW
2580 }
2581 if (!right)
2582 right = newOP(OP_UNDEF, 0);
2583 if (right->op_type == OP_READLINE) {
2584 right->op_flags |= OPf_STACKED;
463ee0b2 2585 return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
79072805 2586 }
a0d0e21e 2587 else {
3280af22 2588 PL_eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
11343788 2589 o = newBINOP(OP_SASSIGN, flags,
463ee0b2 2590 scalar(right), mod(scalar(left), OP_SASSIGN) );
3280af22
NIS
2591 if (PL_eval_start)
2592 PL_eval_start = 0;
748a9306 2593 else {
11343788 2594 op_free(o);
a0d0e21e
LW
2595 return Nullop;
2596 }
2597 }
11343788 2598 return o;
79072805
LW
2599}
2600
2601OP *
8ac85365 2602newSTATEOP(I32 flags, char *label, OP *o)
79072805 2603{
11343788 2604 dTHR;
bbce6d69 2605 U32 seq = intro_my();
79072805
LW
2606 register COP *cop;
2607
2608 Newz(1101, cop, 1, COP);
3280af22 2609 if (PERLDB_LINE && PL_curcop->cop_line && PL_curstash != PL_debstash) {
8990e307
LW
2610 cop->op_type = OP_DBSTATE;
2611 cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
2612 }
2613 else {
2614 cop->op_type = OP_NEXTSTATE;
2615 cop->op_ppaddr = ppaddr[ OP_NEXTSTATE ];
2616 }
79072805 2617 cop->op_flags = flags;
c07a80fd 2618 cop->op_private = 0 | (flags >> 8);
ff0cee69 2619#ifdef NATIVE_HINTS
2620 cop->op_private |= NATIVE_HINTS;
2621#endif
79072805
LW
2622 cop->op_next = (OP*)cop;
2623
463ee0b2
LW
2624 if (label) {
2625 cop->cop_label = label;
3280af22 2626 PL_hints |= HINT_BLOCK_SCOPE;
463ee0b2 2627 }
bbce6d69 2628 cop->cop_seq = seq;
3280af22 2629 cop->cop_arybase = PL_curcop->cop_arybase;
79072805 2630
3280af22
NIS
2631 if (PL_copline == NOLINE)
2632 cop->cop_line = PL_curcop->cop_line;
79072805 2633 else {
3280af22
NIS
2634 cop->cop_line = PL_copline;
2635 PL_copline = NOLINE;
79072805 2636 }
3280af22
NIS
2637 cop->cop_filegv = (GV*)SvREFCNT_inc(PL_curcop->cop_filegv);
2638 cop->cop_stash = PL_curstash;
79072805 2639
3280af22
NIS
2640 if (PERLDB_LINE && PL_curstash != PL_debstash) {
2641 SV **svp = av_fetch(GvAV(PL_curcop->cop_filegv),(I32)cop->cop_line, FALSE);
2642 if (svp && *svp != &PL_sv_undef && !SvIOK(*svp)) {
a0d0e21e 2643 (void)SvIOK_on(*svp);
a5f75d66 2644 SvIVX(*svp) = 1;
93a17b20
LW
2645 SvSTASH(*svp) = (HV*)cop;
2646 }
2647 }
2648
11343788 2649 return prepend_elem(OP_LINESEQ, (OP*)cop, o);
79072805
LW
2650}
2651
bbce6d69 2652/* "Introduce" my variables to visible status. */
2653U32
8ac85365 2654intro_my(void)
bbce6d69 2655{
2656 SV **svp;
2657 SV *sv;
2658 I32 i;
2659
3280af22
NIS
2660 if (! PL_min_intro_pending)
2661 return PL_cop_seqmax;
bbce6d69 2662
3280af22
NIS
2663 svp = AvARRAY(PL_comppad_name);
2664 for (i = PL_min_intro_pending; i <= PL_max_intro_pending; i++) {
2665 if ((sv = svp[i]) && sv != &PL_sv_undef && !SvIVX(sv)) {
bbce6d69 2666 SvIVX(sv) = 999999999; /* Don't know scope end yet. */
3280af22 2667 SvNVX(sv) = (double)PL_cop_seqmax;
bbce6d69 2668 }
2669 }
3280af22
NIS
2670 PL_min_intro_pending = 0;
2671 PL_comppad_name_fill = PL_max_intro_pending; /* Needn't search higher */
2672 return PL_cop_seqmax++;
bbce6d69 2673}
2674
79072805 2675OP *
8ac85365 2676newLOGOP(I32 type, I32 flags, OP *first, OP *other)
79072805 2677{
883ffac3
CS
2678 return new_logop(type, flags, &first, &other);
2679}
2680
3bd495df 2681STATIC OP *
883ffac3
CS
2682new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
2683{
11343788 2684 dTHR;
79072805 2685 LOGOP *logop;
11343788 2686 OP *o;
883ffac3
CS
2687 OP *first = *firstp;
2688 OP *other = *otherp;
79072805 2689
a0d0e21e
LW
2690 if (type == OP_XOR) /* Not short circuit, but here by precedence. */
2691 return newBINOP(type, flags, scalar(first), scalar(other));
2692
8990e307 2693 scalarboolean(first);
79072805
LW
2694 /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
2695 if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
2696 if (type == OP_AND || type == OP_OR) {
2697 if (type == OP_AND)
2698 type = OP_OR;
2699 else
2700 type = OP_AND;
11343788 2701 o = first;
883ffac3 2702 first = *firstp = cUNOPo->op_first;
11343788
MB
2703 if (o->op_next)
2704 first->op_next = o->op_next;
2705 cUNOPo->op_first = Nullop;
2706 op_free(o);
79072805
LW
2707 }
2708 }
2709 if (first->op_type == OP_CONST) {
3280af22 2710 if (PL_dowarn && (first->op_private & OPpCONST_BARE))
c07a80fd 2711 warn("Probable precedence problem on %s", op_desc[type]);
79072805
LW
2712 if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
2713 op_free(first);
883ffac3 2714 *firstp = Nullop;
79072805
LW
2715 return other;
2716 }
2717 else {
2718 op_free(other);
883ffac3 2719 *otherp = Nullop;
79072805
LW
2720 return first;
2721 }
2722 }
2723 else if (first->op_type == OP_WANTARRAY) {
2724 if (type == OP_AND)
2725 list(other);
2726 else
2727 scalar(other);
2728 }
3280af22 2729 else if (PL_dowarn && (first->op_flags & OPf_KIDS)) {
a6006777 2730 OP *k1 = ((UNOP*)first)->op_first;
2731 OP *k2 = k1->op_sibling;
2732 OPCODE warnop = 0;
2733 switch (first->op_type)
2734 {
2735 case OP_NULL:
2736 if (k2 && k2->op_type == OP_READLINE
2737 && (k2->op_flags & OPf_STACKED)
55d729e4 2738 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
a6006777 2739 warnop = k2->op_type;
2740 break;
2741
2742 case OP_SASSIGN:
68dc0745 2743 if (k1->op_type == OP_READDIR
2744 || k1->op_type == OP_GLOB
2745 || k1->op_type == OP_EACH)
a6006777 2746 warnop = k1->op_type;
2747 break;
2748 }
8ebc5c01 2749 if (warnop) {
3280af22
NIS
2750 line_t oldline = PL_curcop->cop_line;
2751 PL_curcop->cop_line = PL_copline;
68dc0745 2752 warn("Value of %s%s can be \"0\"; test with defined()",
2753 op_desc[warnop],
2754 ((warnop == OP_READLINE || warnop == OP_GLOB)
2755 ? " construct" : "() operator"));
3280af22 2756 PL_curcop->cop_line = oldline;
8ebc5c01 2757 }
a6006777 2758 }
79072805
LW
2759
2760 if (!other)
2761 return first;
2762
a0d0e21e
LW
2763 if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
2764 other->op_private |= OPpASSIGN_BACKWARDS; /* other is an OP_SASSIGN */
2765
79072805
LW
2766 Newz(1101, logop, 1, LOGOP);
2767
2768 logop->op_type = type;
2769 logop->op_ppaddr = ppaddr[type];
2770 logop->op_first = first;
2771 logop->op_flags = flags | OPf_KIDS;
2772 logop->op_other = LINKLIST(other);
c07a80fd 2773 logop->op_private = 1 | (flags >> 8);
79072805
LW
2774
2775 /* establish postfix order */
2776 logop->op_next = LINKLIST(first);
2777 first->op_next = (OP*)logop;
2778 first->op_sibling = other;
2779
11343788
MB
2780 o = newUNOP(OP_NULL, 0, (OP*)logop);
2781 other->op_next = o;
79072805 2782
11343788 2783 return o;
79072805
LW
2784}
2785
2786OP *
8ac85365 2787newCONDOP(I32 flags, OP *first, OP *trueop, OP *falseop)
79072805 2788{
11343788 2789 dTHR;
79072805 2790 CONDOP *condop;
11343788 2791 OP *o;
79072805 2792
b1cb66bf 2793 if (!falseop)
2794 return newLOGOP(OP_AND, 0, first, trueop);
2795 if (!trueop)
2796 return newLOGOP(OP_OR, 0, first, falseop);
79072805 2797
8990e307 2798 scalarboolean(first);
79072805
LW
2799 if (first->op_type == OP_CONST) {
2800 if (SvTRUE(((SVOP*)first)->op_sv)) {
2801 op_free(first);
b1cb66bf 2802 op_free(falseop);
2803 return trueop;
79072805
LW
2804 }
2805 else {
2806 op_free(first);
b1cb66bf 2807 op_free(trueop);
2808 return falseop;
79072805
LW
2809 }
2810 }
2811 else if (first->op_type == OP_WANTARRAY) {
b1cb66bf 2812 list(trueop);
2813 scalar(falseop);
79072805
LW
2814 }
2815 Newz(1101, condop, 1, CONDOP);
2816
2817 condop->op_type = OP_COND_EXPR;
2818 condop->op_ppaddr = ppaddr[OP_COND_EXPR];
2819 condop->op_first = first;
2820 condop->op_flags = flags | OPf_KIDS;
b1cb66bf 2821 condop->op_true = LINKLIST(trueop);
2822 condop->op_false = LINKLIST(falseop);
c07a80fd 2823 condop->op_private = 1 | (flags >> 8);
79072805
LW
2824
2825 /* establish postfix order */
2826 condop->op_next = LINKLIST(first);
2827 first->op_next = (OP*)condop;
2828
b1cb66bf 2829 first->op_sibling = trueop;
2830 trueop->op_sibling = falseop;
11343788 2831 o = newUNOP(OP_NULL, 0, (OP*)condop);
79072805 2832
5dc0d613
MB
2833 trueop->op_next = o;
2834 falseop->op_next = o;
79072805 2835
11343788 2836 return o;
79072805
LW
2837}
2838
2839OP *
8ac85365 2840newRANGE(I32 flags, OP *left, OP *right)
79072805 2841{
b35b2403 2842 dTHR;
79072805
LW
2843 CONDOP *condop;
2844 OP *flip;
2845 OP *flop;
11343788 2846 OP *o;
79072805
LW
2847
2848 Newz(1101, condop, 1, CONDOP);
2849
2850 condop->op_type = OP_RANGE;
2851 condop->op_ppaddr = ppaddr[OP_RANGE];
2852 condop->op_first = left;
2853 condop->op_flags = OPf_KIDS;
2854 condop->op_true = LINKLIST(left);
2855 condop->op_false = LINKLIST(right);
c07a80fd 2856 condop->op_private = 1 | (flags >> 8);
79072805
LW
2857
2858 left->op_sibling = right;
2859
2860 condop->op_next = (OP*)condop;
2861 flip = newUNOP(OP_FLIP, flags, (OP*)condop);
2862 flop = newUNOP(OP_FLOP, 0, flip);
11343788 2863 o = newUNOP(OP_NULL, 0, flop);
79072805
LW
2864 linklist(flop);
2865
2866 left->op_next = flip;
2867 right->op_next = flop;
2868
ed6116ce 2869 condop->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805 2870 sv_upgrade(PAD_SV(condop->op_targ), SVt_PVNV);
ed6116ce 2871 flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805
LW
2872 sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
2873
2874 flip->op_private = left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2875 flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2876
11343788 2877 flip->op_next = o;
79072805 2878 if (!flip->op_private || !flop->op_private)
11343788 2879 linklist(o); /* blow off optimizer unless constant */
79072805 2880
11343788 2881 return o;
79072805
LW
2882}
2883
2884OP *
8ac85365 2885newLOOPOP(I32 flags, I32 debuggable, OP *expr, OP *block)
79072805 2886{
11343788 2887 dTHR;
463ee0b2 2888 OP* listop;
11343788 2889 OP* o;
463ee0b2 2890 int once = block && block->op_flags & OPf_SPECIAL &&
a0d0e21e 2891 (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
93a17b20 2892
463ee0b2
LW
2893 if (expr) {
2894 if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
2895 return block; /* do {} while 0 does once */
fb73857a 2896 if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2897 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
774d564b 2898 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2899 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
55d729e4
GS
2900 } else if (expr->op_flags & OPf_KIDS) {
2901 OP *k1 = ((UNOP*)expr)->op_first;
2902 OP *k2 = (k1) ? k1->op_sibling : NULL;
2903 switch (expr->op_type) {
2904 case OP_NULL:
2905 if (k2 && k2->op_type == OP_READLINE
2906 && (k2->op_flags & OPf_STACKED)
2907 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
2908 expr = newUNOP(OP_DEFINED, 0, expr);
2909 break;
2910
2911 case OP_SASSIGN:
2912 if (k1->op_type == OP_READDIR
2913 || k1->op_type == OP_GLOB
2914 || k1->op_type == OP_EACH)
2915 expr = newUNOP(OP_DEFINED, 0, expr);
2916 break;
2917 }
774d564b 2918 }
463ee0b2 2919 }
93a17b20 2920
8990e307 2921 listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
883ffac3 2922 o = new_logop(OP_AND, 0, &expr, &listop);
463ee0b2 2923
883ffac3
CS
2924 if (listop)
2925 ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
79072805 2926
11343788
MB
2927 if (once && o != listop)
2928 o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
79072805 2929
11343788
MB
2930 if (o == listop)
2931 o = newUNOP(OP_NULL, 0, o); /* or do {} while 1 loses outer block */
748a9306 2932
11343788
MB
2933 o->op_flags |= flags;
2934 o = scope(o);
2935 o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
2936 return o;
79072805
LW
2937}
2938
2939OP *
8ac85365 2940newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
79072805 2941{
11343788 2942 dTHR;
79072805
LW
2943 OP *redo;
2944 OP *next = 0;
2945 OP *listop;
11343788 2946 OP *o;
79072805
LW
2947 OP *condop;
2948
fb73857a 2949 if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2950 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
748a9306 2951 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2952 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
55d729e4
GS
2953 } else if (expr && (expr->op_flags & OPf_KIDS)) {
2954 OP *k1 = ((UNOP*)expr)->op_first;
2955 OP *k2 = (k1) ? k1->op_sibling : NULL;
2956 switch (expr->op_type) {
2957 case OP_NULL:
2958 if (k2 && k2->op_type == OP_READLINE
2959 && (k2->op_flags & OPf_STACKED)
2960 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
2961 expr = newUNOP(OP_DEFINED, 0, expr);
2962 break;
2963
2964 case OP_SASSIGN:
2965 if (k1->op_type == OP_READDIR
2966 || k1->op_type == OP_GLOB
2967 || k1->op_type == OP_EACH)
2968 expr = newUNOP(OP_DEFINED, 0, expr);
2969 break;
2970 }
748a9306 2971 }
79072805
LW
2972
2973 if (!block)
2974 block = newOP(OP_NULL, 0);
2975
2976 if (cont)
2977 next = LINKLIST(cont);
fb73857a 2978 if (expr) {
79072805 2979 cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
fb73857a 2980 if ((line_t)whileline != NOLINE) {
3280af22 2981 PL_copline = whileline;
fb73857a 2982 cont = append_elem(OP_LINESEQ, cont,
2983 newSTATEOP(0, Nullch, Nullop));
2984 }
2985 }
79072805 2986
463ee0b2 2987 listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
79072805
LW
2988 redo = LINKLIST(listop);
2989
2990 if (expr) {
3280af22 2991 PL_copline = whileline;
883ffac3
CS
2992 scalar(listop);
2993 o = new_logop(OP_AND, 0, &expr, &listop);
11343788 2994 if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
85e6fe83 2995 op_free(expr); /* oops, it's a while (0) */
463ee0b2 2996 op_free((OP*)loop);
883ffac3 2997 return Nullop; /* listop already freed by new_logop */
463ee0b2 2998 }
883ffac3
CS
2999 if (listop)
3000 ((LISTOP*)listop)->op_last->op_next = condop =
3001 (o == listop ? redo : LINKLIST(o));
79072805
LW
3002 if (!next)
3003 next = condop;
3004 }
3005 else
11343788 3006 o = listop;
79072805
LW
3007
3008 if (!loop) {
3009 Newz(1101,loop,1,LOOP);
3010 loop->op_type = OP_ENTERLOOP;
3011 loop->op_ppaddr = ppaddr[OP_ENTERLOOP];
3012 loop->op_private = 0;
3013 loop->op_next = (OP*)loop;
3014 }
3015
11343788 3016 o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
79072805
LW
3017
3018 loop->op_redoop = redo;
11343788 3019 loop->op_lastop = o;
79072805
LW
3020
3021 if (next)
3022 loop->op_nextop = next;
3023 else
11343788 3024 loop->op_nextop = o;
79072805 3025
11343788
MB
3026 o->op_flags |= flags;
3027 o->op_private |= (flags >> 8);
3028 return o;
79072805
LW
3029}
3030
3031OP *
8990e307 3032newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
79072805
LW
3033{
3034 LOOP *loop;
fb73857a 3035 OP *wop;
85e6fe83 3036 int padoff = 0;
4633a7c4 3037 I32 iterflags = 0;
79072805 3038
79072805 3039 if (sv) {
85e6fe83 3040 if (sv->op_type == OP_RV2SV) { /* symbol table variable */
748a9306
LW
3041 sv->op_type = OP_RV2GV;
3042 sv->op_ppaddr = ppaddr[OP_RV2GV];
79072805 3043 }
85e6fe83
LW
3044 else if (sv->op_type == OP_PADSV) { /* private variable */
3045 padoff = sv->op_targ;
3046 op_free(sv);
3047 sv = Nullop;
3048 }
54b9620d
MB
3049 else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
3050 padoff = sv->op_targ;
3051 iterflags |= OPf_SPECIAL;
3052 op_free(sv);
3053 sv = Nullop;
3054 }
79072805 3055 else
c07a80fd 3056 croak("Can't use %s for loop variable", op_desc[sv->op_type]);
79072805
LW
3057 }
3058 else {
54b9620d
MB
3059#ifdef USE_THREADS
3060 padoff = find_threadsv("_");
3061 iterflags |= OPf_SPECIAL;
3062#else
3280af22 3063 sv = newGVOP(OP_GV, 0, PL_defgv);
54b9620d 3064#endif
79072805 3065 }
5f05dabc 3066 if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
89ea2908 3067 expr = mod(force_list(scalar(ref(expr, OP_ITER))), OP_GREPSTART);
4633a7c4
LW
3068 iterflags |= OPf_STACKED;
3069 }
89ea2908
GA
3070 else if (expr->op_type == OP_NULL &&
3071 (expr->op_flags & OPf_KIDS) &&
3072 ((BINOP*)expr)->op_first->op_type == OP_FLOP)
3073 {
3074 /* Basically turn for($x..$y) into the same as for($x,$y), but we
3075 * set the STACKED flag to indicate that these values are to be
3076 * treated as min/max values by 'pp_iterinit'.
3077 */
3078 UNOP* flip = (UNOP*)((UNOP*)((BINOP*)expr)->op_first)->op_first;
3079 CONDOP* range = (CONDOP*) flip->op_first;
3080 OP* left = range->op_first;
3081 OP* right = left->op_sibling;
5152d7c7 3082 LISTOP* listop;
89ea2908
GA
3083
3084 range->op_flags &= ~OPf_KIDS;
3085 range->op_first = Nullop;
3086
5152d7c7
GS
3087 listop = (LISTOP*)newLISTOP(OP_LIST, 0, left, right);
3088 listop->op_first->op_next = range->op_true;
89ea2908 3089 left->op_next = range->op_false;
5152d7c7
GS
3090 right->op_next = (OP*)listop;
3091 listop->op_next = listop->op_first;
89ea2908
GA
3092
3093 op_free(expr);
5152d7c7 3094 expr = (OP*)(listop);
89ea2908
GA
3095 null(expr);
3096 iterflags |= OPf_STACKED;
3097 }
3098 else {
3099 expr = mod(force_list(expr), OP_GREPSTART);
3100 }
3101
3102
4633a7c4 3103 loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
89ea2908 3104 append_elem(OP_LIST, expr, scalar(sv))));
85e6fe83
LW
3105 assert(!loop->op_next);
3106 Renew(loop, 1, LOOP);
3107 loop->op_targ = padoff;
fb73857a 3108 wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
3280af22 3109 PL_copline = forline;
fb73857a 3110 return newSTATEOP(0, label, wop);
79072805
LW
3111}
3112
8990e307 3113OP*
8ac85365 3114newLOOPEX(I32 type, OP *label)
8990e307 3115{
11343788
MB
3116 dTHR;
3117 OP *o;
8990e307 3118 if (type != OP_GOTO || label->op_type == OP_CONST) {
cdaebead
MB
3119 /* "last()" means "last" */
3120 if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
3121 o = newOP(type, OPf_SPECIAL);
3122 else {
3123 o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
3280af22 3124 ? SvPVx(((SVOP*)label)->op_sv, PL_na)
cdaebead
MB
3125 : ""));
3126 }
8990e307
LW
3127 op_free(label);
3128 }
3129 else {
a0d0e21e
LW
3130 if (label->op_type == OP_ENTERSUB)
3131 label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
11343788 3132 o = newUNOP(type, OPf_STACKED, label);
8990e307 3133 }
3280af22 3134 PL_hints |= HINT_BLOCK_SCOPE;
11343788 3135 return o;
8990e307
LW
3136}
3137
79072805 3138void
8ac85365 3139cv_undef(CV *cv)
79072805 3140{
11343788
MB
3141 dTHR;
3142#ifdef USE_THREADS
e858de61
MB
3143 if (CvMUTEXP(cv)) {
3144 MUTEX_DESTROY(CvMUTEXP(cv));
3145 Safefree(CvMUTEXP(cv));
3146 CvMUTEXP(cv) = 0;
3147 }
11343788
MB
3148#endif /* USE_THREADS */
3149
a0d0e21e 3150 if (!CvXSUB(cv) && CvROOT(cv)) {
11343788
MB
3151#ifdef USE_THREADS
3152 if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
3153 croak("Can't undef active subroutine");
3154#else
a0d0e21e
LW
3155 if (CvDEPTH(cv))
3156 croak("Can't undef active subroutine");
11343788 3157#endif /* USE_THREADS */
8990e307 3158 ENTER;
a0d0e21e 3159
3280af22
NIS
3160 SAVESPTR(PL_curpad);
3161 PL_curpad = 0;
a0d0e21e 3162
a5f75d66 3163 if (!CvCLONED(cv))
748a9306 3164 op_free(CvROOT(cv));
79072805 3165 CvROOT(cv) = Nullop;
8990e307 3166 LEAVE;
79072805 3167 }
1d5db326 3168 SvPOK_off((SV*)cv); /* forget prototype */
44a8e56a 3169 CvFLAGS(cv) = 0;
8e07c86e
AD
3170 SvREFCNT_dec(CvGV(cv));
3171 CvGV(cv) = Nullgv;
3172 SvREFCNT_dec(CvOUTSIDE(cv));
3173 CvOUTSIDE(cv) = Nullcv;
3174 if (CvPADLIST(cv)) {
8ebc5c01 3175 /* may be during global destruction */
3176 if (SvREFCNT(CvPADLIST(cv))) {
93965878 3177 I32 i = AvFILLp(CvPADLIST(cv));
8ebc5c01 3178 while (i >= 0) {
3179 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
46fc3d4c 3180 SV* sv = svp ? *svp : Nullsv;
3181 if (!sv)
3182 continue;
3280af22
NIS
3183 if (sv == (SV*)PL_comppad_name)
3184 PL_comppad_name = Nullav;
3185 else if (sv == (SV*)PL_comppad) {
3186 PL_comppad = Nullav;
3187 PL_curpad = Null(SV**);
46fc3d4c 3188 }
3189 SvREFCNT_dec(sv);
8ebc5c01 3190 }
3191 SvREFCNT_dec((SV*)CvPADLIST(cv));
8e07c86e 3192 }
8e07c86e
AD
3193 CvPADLIST(cv) = Nullav;
3194 }
79072805
LW
3195}
3196
5f05dabc 3197#ifdef DEBUG_CLOSURES
76e3520e 3198STATIC void
5f05dabc 3199cv_dump(cv)
3200CV* cv;
3201{
3202 CV *outside = CvOUTSIDE(cv);
3203 AV* padlist = CvPADLIST(cv);
4fdae800 3204 AV* pad_name;
3205 AV* pad;
3206 SV** pname;
3207 SV** ppad;
5f05dabc 3208 I32 ix;
3209
fb73857a 3210 PerlIO_printf(Perl_debug_log, "\tCV=0x%lx (%s), OUTSIDE=0x%lx (%s)\n",
ab50184a
CS
3211 cv,
3212 (CvANON(cv) ? "ANON"
6b88bc9c 3213 : (cv == PL_main_cv) ? "MAIN"
07055b4c 3214 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3215 : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
ab50184a
CS
3216 outside,
3217 (!outside ? "null"
3218 : CvANON(outside) ? "ANON"
6b88bc9c 3219 : (outside == PL_main_cv) ? "MAIN"
07055b4c 3220 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3221 : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
5f05dabc 3222
4fdae800 3223 if (!padlist)
3224 return;
3225
3226 pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3227 pad = (AV*)*av_fetch(padlist, 1, FALSE);
3228 pname = AvARRAY(pad_name);
3229 ppad = AvARRAY(pad);
3230
93965878 3231 for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
5f05dabc 3232 if (SvPOK(pname[ix]))
fb73857a 3233 PerlIO_printf(Perl_debug_log, "\t%4d. 0x%lx (%s\"%s\" %ld-%ld)\n",
4fdae800 3234 ix, ppad[ix],
3235 SvFAKE(pname[ix]) ? "FAKE " : "",
3236 SvPVX(pname[ix]),
ab50184a
CS
3237 (long)I_32(SvNVX(pname[ix])),
3238 (long)SvIVX(pname[ix]));
5f05dabc 3239 }
3240}
3241#endif /* DEBUG_CLOSURES */
3242
76e3520e 3243STATIC CV *
8ac85365 3244cv_clone2(CV *proto, CV *outside)
748a9306 3245{
11343788 3246 dTHR;
748a9306
LW
3247 AV* av;
3248 I32 ix;
3249 AV* protopadlist = CvPADLIST(proto);
3250 AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
3251 AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
5f05dabc 3252 SV** pname = AvARRAY(protopad_name);
3253 SV** ppad = AvARRAY(protopad);
93965878
NIS
3254 I32 fname = AvFILLp(protopad_name);
3255 I32 fpad = AvFILLp(protopad);
748a9306
LW
3256 AV* comppadlist;
3257 CV* cv;
3258
07055b4c
CS
3259 assert(!CvUNIQUE(proto));
3260
748a9306 3261 ENTER;
3280af22
NIS
3262 SAVESPTR(PL_curpad);
3263 SAVESPTR(PL_comppad);
3264 SAVESPTR(PL_comppad_name);
3265 SAVESPTR(PL_compcv);
748a9306 3266
3280af22 3267 cv = PL_compcv = (CV*)NEWSV(1104,0);
fa83b5b6 3268 sv_upgrade((SV *)cv, SvTYPE(proto));
a5f75d66 3269 CvCLONED_on(cv);
5f05dabc 3270 if (CvANON(proto))
3271 CvANON_on(cv);
748a9306 3272
11343788 3273#ifdef USE_THREADS
12ca11f6 3274 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3275 MUTEX_INIT(CvMUTEXP(cv));
11343788
MB
3276 CvOWNER(cv) = 0;
3277#endif /* USE_THREADS */
748a9306 3278 CvFILEGV(cv) = CvFILEGV(proto);
44a8e56a 3279 CvGV(cv) = (GV*)SvREFCNT_inc(CvGV(proto));
748a9306
LW
3280 CvSTASH(cv) = CvSTASH(proto);
3281 CvROOT(cv) = CvROOT(proto);
3282 CvSTART(cv) = CvSTART(proto);
5f05dabc 3283 if (outside)
3284 CvOUTSIDE(cv) = (CV*)SvREFCNT_inc(outside);
748a9306 3285
68dc0745 3286 if (SvPOK(proto))
3287 sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
3288
3280af22 3289 PL_comppad_name = newAV();
46fc3d4c 3290 for (ix = fname; ix >= 0; ix--)
3280af22 3291 av_store(PL_comppad_name, ix, SvREFCNT_inc(pname[ix]));
748a9306 3292
3280af22 3293 PL_comppad = newAV();
748a9306
LW
3294
3295 comppadlist = newAV();
3296 AvREAL_off(comppadlist);
3280af22
NIS
3297 av_store(comppadlist, 0, (SV*)PL_comppad_name);
3298 av_store(comppadlist, 1, (SV*)PL_comppad);
748a9306 3299 CvPADLIST(cv) = comppadlist;
3280af22
NIS
3300 av_fill(PL_comppad, AvFILLp(protopad));
3301 PL_curpad = AvARRAY(PL_comppad);
748a9306
LW
3302
3303 av = newAV(); /* will be @_ */
3304 av_extend(av, 0);
3280af22 3305 av_store(PL_comppad, 0, (SV*)av);
748a9306
LW
3306 AvFLAGS(av) = AVf_REIFY;
3307
9607fc9c 3308 for (ix = fpad; ix > 0; ix--) {
3309 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
3280af22 3310 if (namesv && namesv != &PL_sv_undef) {
aa689395 3311 char *name = SvPVX(namesv); /* XXX */
3312 if (SvFLAGS(namesv) & SVf_FAKE) { /* lexical from outside? */
3313 I32 off = pad_findlex(name, ix, SvIVX(namesv),
5f05dabc 3314 CvOUTSIDE(cv), cxstack_ix);
3315 if (!off)
3280af22 3316 PL_curpad[ix] = SvREFCNT_inc(ppad[ix]);
5f05dabc 3317 else if (off != ix)
748a9306
LW
3318 croak("panic: cv_clone: %s", name);
3319 }
3320 else { /* our own lexical */
aa689395 3321 SV* sv;
5f05dabc 3322 if (*name == '&') {
3323 /* anon code -- we'll come back for it */
3324 sv = SvREFCNT_inc(ppad[ix]);
3325 }
3326 else if (*name == '@')
3327 sv = (SV*)newAV();
748a9306 3328 else if (*name == '%')
5f05dabc 3329 sv = (SV*)newHV();
748a9306 3330 else
5f05dabc 3331 sv = NEWSV(0,0);
3332 if (!SvPADBUSY(sv))
3333 SvPADMY_on(sv);
3280af22 3334 PL_curpad[ix] = sv;
748a9306
LW
3335 }
3336 }
3337 else {
aa689395 3338 SV* sv = NEWSV(0,0);
748a9306 3339 SvPADTMP_on(sv);
3280af22 3340 PL_curpad[ix] = sv;
748a9306
LW
3341 }
3342 }
3343
5f05dabc 3344 /* Now that vars are all in place, clone nested closures. */
3345
9607fc9c 3346 for (ix = fpad; ix > 0; ix--) {
3347 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3348 if (namesv
3280af22 3349 && namesv != &PL_sv_undef
aa689395 3350 && !(SvFLAGS(namesv) & SVf_FAKE)
3351 && *SvPVX(namesv) == '&'
5f05dabc 3352 && CvCLONE(ppad[ix]))
3353 {
3354 CV *kid = cv_clone2((CV*)ppad[ix], cv);
3355 SvREFCNT_dec(ppad[ix]);
3356 CvCLONE_on(kid);
3357 SvPADMY_on(kid);
3280af22 3358 PL_curpad[ix] = (SV*)kid;
748a9306
LW
3359 }
3360 }
3361
5f05dabc 3362#ifdef DEBUG_CLOSURES
ab50184a
CS
3363 PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
3364 cv_dump(outside);
3365 PerlIO_printf(Perl_debug_log, " from:\n");
5f05dabc 3366 cv_dump(proto);
ab50184a 3367 PerlIO_printf(Perl_debug_log, " to:\n");
5f05dabc 3368 cv_dump(cv);
3369#endif
3370
748a9306
LW
3371 LEAVE;
3372 return cv;
3373}
3374
3375CV *
8ac85365 3376cv_clone(CV *proto)
5f05dabc 3377{
3378 return cv_clone2(proto, CvOUTSIDE(proto));
3379}
3380
3fe9a6f1 3381void
8ac85365 3382cv_ckproto(CV *cv, GV *gv, char *p)
3fe9a6f1 3383{
3384 if ((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) {
46fc3d4c 3385 SV* msg = sv_newmortal();
3fe9a6f1 3386 SV* name = Nullsv;
3387
3388 if (gv)
46fc3d4c 3389 gv_efullname3(name = sv_newmortal(), gv, Nullch);
3390 sv_setpv(msg, "Prototype mismatch:");
3391 if (name)
fc36a67e 3392 sv_catpvf(msg, " sub %_", name);
3fe9a6f1 3393 if (SvPOK(cv))
46fc3d4c 3394 sv_catpvf(msg, " (%s)", SvPVX(cv));
3395 sv_catpv(msg, " vs ");
3396 if (p)
3397 sv_catpvf(msg, "(%s)", p);
3398 else
3399 sv_catpv(msg, "none");
fc36a67e 3400 warn("%_", msg);
3fe9a6f1 3401 }
3402}
3403
760ac839 3404SV *
8ac85365 3405cv_const_sv(CV *cv)
760ac839 3406{
54310121 3407 if (!cv || !SvPOK(cv) || SvCUR(cv))
3408 return Nullsv;
fe5e78ed
GS
3409 return op_const_sv(CvSTART(cv), cv);
3410}
760ac839 3411
fe5e78ed
GS
3412SV *
3413op_const_sv(OP *o, CV *cv)
3414{
3415 SV *sv = Nullsv;
3416
3417 if(!o)
3418 return Nullsv;
3419
3420 if(o->op_type == OP_LINESEQ && cLISTOPo->op_first)
3421 o = cLISTOPo->op_first->op_sibling;
3422
3423 for (; o; o = o->op_next) {
54310121 3424 OPCODE type = o->op_type;
fe5e78ed
GS
3425
3426 if(sv && o->op_next == o)
3427 return sv;
54310121 3428 if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
3429 continue;
3430 if (type == OP_LEAVESUB || type == OP_RETURN)
3431 break;
3432 if (sv)
3433 return Nullsv;
3434 if (type == OP_CONST)
5dc0d613 3435 sv = cSVOPo->op_sv;
fe5e78ed 3436 else if (type == OP_PADSV && cv) {
e858de61
MB
3437 AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
3438 sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
5aabfad6 3439 if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
54310121 3440 return Nullsv;
760ac839 3441 }
54310121 3442 else
3443 return Nullsv;
760ac839 3444 }
5aabfad6 3445 if (sv)
3446 SvREADONLY_on(sv);
760ac839
LW
3447 return sv;
3448}
3449
748a9306 3450CV *
8ac85365 3451newSUB(I32 floor, OP *o, OP *proto, OP *block)
79072805 3452{
11343788 3453 dTHR;
3280af22 3454 char *name = o ? SvPVx(cSVOPo->op_sv, PL_na) : Nullch;
55d729e4
GS
3455 GV *gv = gv_fetchpv(name ? name : "__ANON__",
3456 GV_ADDMULTI | (block ? 0 : GV_NOINIT), SVt_PVCV);
3280af22 3457 char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, PL_na) : Nullch;
a2008d6d 3458 register CV *cv=0;
a0d0e21e 3459 I32 ix;
79072805 3460
11343788 3461 if (o)
5dc0d613 3462 SAVEFREEOP(o);
3fe9a6f1 3463 if (proto)
3464 SAVEFREEOP(proto);
3465
55d729e4
GS
3466 if (SvTYPE(gv) != SVt_PVGV) { /* Prototype now, and had
3467 maximum a prototype before. */
3468 if (SvTYPE(gv) > SVt_NULL) {
3469 if (!SvPOK((SV*)gv) && !(SvIOK((SV*)gv) && SvIVX((SV*)gv) == -1))
3470 warn("Runaway prototype");
3471 cv_ckproto((CV*)gv, NULL, ps);
3472 }
3473 if (ps)
3474 sv_setpv((SV*)gv, ps);
3475 else
3476 sv_setiv((SV*)gv, -1);
3280af22
NIS
3477 SvREFCNT_dec(PL_compcv);
3478 cv = PL_compcv = NULL;
3479 PL_sub_generation++;
55d729e4
GS
3480 goto noblock;
3481 }
3482
68dc0745 3483 if (!name || GvCVGEN(gv))
3484 cv = Nullcv;
3485 else if (cv = GvCV(gv)) {
3fe9a6f1 3486 cv_ckproto(cv, gv, ps);
68dc0745 3487 /* already defined (or promised)? */
3488 if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3489 SV* const_sv;
fe5e78ed 3490 bool const_changed = TRUE;
aa689395 3491 if (!block) {
3492 /* just a "sub foo;" when &foo is already defined */
3280af22 3493 SAVEFREESV(PL_compcv);
aa689395 3494 goto done;
3495 }
7bac28a0 3496 /* ahem, death to those who redefine active sort subs */
3280af22 3497 if (PL_curstackinfo->si_type == PERLSI_SORT && PL_sortcop == CvSTART(cv))
7bac28a0 3498 croak("Can't redefine active sort subroutine %s", name);
fe5e78ed
GS
3499 if(const_sv = cv_const_sv(cv))
3500 const_changed = sv_cmp(const_sv, op_const_sv(block, Nullcv));
3280af22 3501 if ((const_sv && const_changed) || PL_dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
2f34f9d4
IZ
3502 && HvNAME(GvSTASH(CvGV(cv)))
3503 && strEQ(HvNAME(GvSTASH(CvGV(cv))),
3504 "autouse"))) {
3280af22
NIS
3505 line_t oldline = PL_curcop->cop_line;
3506 PL_curcop->cop_line = PL_copline;
760ac839 3507 warn(const_sv ? "Constant subroutine %s redefined"
68dc0745 3508 : "Subroutine %s redefined", name);
3280af22 3509 PL_curcop->cop_line = oldline;
79072805 3510 }
8990e307 3511 SvREFCNT_dec(cv);
68dc0745 3512 cv = Nullcv;
79072805
LW
3513 }
3514 }
a0d0e21e 3515 if (cv) { /* must reuse cv if autoloaded */
4633a7c4 3516 cv_undef(cv);
3280af22
NIS
3517 CvFLAGS(cv) = CvFLAGS(PL_compcv);
3518 CvOUTSIDE(cv) = CvOUTSIDE(PL_compcv);
3519 CvOUTSIDE(PL_compcv) = 0;
3520 CvPADLIST(cv) = CvPADLIST(PL_compcv);
3521 CvPADLIST(PL_compcv) = 0;
3522 if (SvREFCNT(PL_compcv) > 1) /* XXX Make closures transit through stub. */
3523 CvOUTSIDE(PL_compcv) = (CV*)SvREFCNT_inc((SV*)cv);
3524 SvREFCNT_dec(PL_compcv);
a0d0e21e
LW
3525 }
3526 else {
3280af22 3527 cv = PL_compcv;
44a8e56a 3528 if (name) {
3529 GvCV(gv) = cv;
3530 GvCVGEN(gv) = 0;
3280af22 3531 PL_sub_generation++;
44a8e56a 3532 }
a0d0e21e 3533 }
44a8e56a 3534 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
3280af22
NIS
3535 CvFILEGV(cv) = PL_curcop->cop_filegv;
3536 CvSTASH(cv) = PL_curstash;
11343788
MB
3537#ifdef USE_THREADS
3538 CvOWNER(cv) = 0;
f6aaf501
GS
3539 if (!CvMUTEXP(cv))
3540 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3541 MUTEX_INIT(CvMUTEXP(cv));
11343788 3542#endif /* USE_THREADS */
8990e307 3543
3fe9a6f1 3544 if (ps)
3545 sv_setpv((SV*)cv, ps);
4633a7c4 3546
3280af22 3547 if (PL_error_count) {
c07a80fd 3548 op_free(block);
3549 block = Nullop;
68dc0745 3550 if (name) {
3551 char *s = strrchr(name, ':');
3552 s = s ? s+1 : name;
6d4c2119
CS
3553 if (strEQ(s, "BEGIN")) {
3554 char *not_safe =
3555 "BEGIN not safe after errors--compilation aborted";
3280af22 3556 if (PL_in_eval & 4)
6d4c2119
CS
3557 croak(not_safe);
3558 else {
3559 /* force display of errors found but not reported */
38a03e6e 3560 sv_catpv(ERRSV, not_safe);
3280af22 3561 croak("%s", SvPVx(ERRSV, PL_na));
6d4c2119
CS
3562 }
3563 }
68dc0745 3564 }
c07a80fd 3565 }
a0d0e21e 3566 if (!block) {
55d729e4 3567 noblock:
3280af22 3568 PL_copline = NOLINE;
a0d0e21e
LW
3569 LEAVE_SCOPE(floor);
3570 return cv;
3571 }
3572
3280af22
NIS
3573 if (AvFILLp(PL_comppad_name) < AvFILLp(PL_comppad))
3574 av_store(PL_comppad_name, AvFILLp(PL_comppad), Nullsv);
a0d0e21e 3575
54310121 3576 if (CvCLONE(cv)) {
3280af22
NIS
3577 SV **namep = AvARRAY(PL_comppad_name);
3578 for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
54310121 3579 SV *namesv;
3580
3280af22 3581 if (SvIMMORTAL(PL_curpad[ix]))
54310121 3582 continue;
3583 /*
3584 * The only things that a clonable function needs in its
3585 * pad are references to outer lexicals and anonymous subs.
3586 * The rest are created anew during cloning.
3587 */
3588 if (!((namesv = namep[ix]) != Nullsv &&
3280af22 3589 namesv != &PL_sv_undef &&
54310121 3590 (SvFAKE(namesv) ||
3591 *SvPVX(namesv) == '&')))
3592 {
3280af22
NIS
3593 SvREFCNT_dec(PL_curpad[ix]);
3594 PL_curpad[ix] = Nullsv;
54310121 3595 }
3596 }
a0d0e21e 3597 }
54310121 3598 else {
3599 AV *av = newAV(); /* Will be @_ */
3600 av_extend(av, 0);
3280af22 3601 av_store(PL_comppad, 0, (SV*)av);
54310121 3602 AvFLAGS(av) = AVf_REIFY;
79072805 3603
3280af22
NIS
3604 for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
3605 if (SvIMMORTAL(PL_curpad[ix]))
54310121 3606 continue;
3280af22
NIS
3607 if (!SvPADMY(PL_curpad[ix]))
3608 SvPADTMP_on(PL_curpad[ix]);
54310121 3609 }
3610 }
79072805 3611
a0d0e21e 3612 CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
79072805
LW
3613 CvSTART(cv) = LINKLIST(CvROOT(cv));
3614 CvROOT(cv)->op_next = 0;
3615 peep(CvSTART(cv));
93a17b20 3616
44a8e56a 3617 if (name) {
3618 char *s;
3619
3280af22 3620 if (PERLDB_SUBLINE && PL_curstash != PL_debstash) {
46fc3d4c 3621 SV *sv = NEWSV(0,0);
44a8e56a 3622 SV *tmpstr = sv_newmortal();
549bb64a 3623 GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
44a8e56a 3624 CV *cv;
3625 HV *hv;
3626
51790459 3627 sv_setpvf(sv, "%_:%ld-%ld",
3280af22
NIS
3628 GvSV(PL_curcop->cop_filegv),
3629 (long)PL_subline, (long)PL_curcop->cop_line);
44a8e56a 3630 gv_efullname3(tmpstr, gv, Nullch);
3280af22 3631 hv_store(GvHV(PL_DBsub), SvPVX(tmpstr), SvCUR(tmpstr), sv, 0);
44a8e56a 3632 hv = GvHVn(db_postponed);
9607fc9c 3633 if (HvFILL(hv) > 0 && hv_exists(hv, SvPVX(tmpstr), SvCUR(tmpstr))
3634 && (cv = GvCV(db_postponed))) {
44a8e56a 3635 dSP;
924508f0 3636 PUSHMARK(SP);
44a8e56a 3637 XPUSHs(tmpstr);
3638 PUTBACK;
3639 perl_call_sv((SV*)cv, G_DISCARD);
3640 }
3641 }
79072805 3642
44a8e56a 3643 if ((s = strrchr(name,':')))
28757baa 3644 s++;
3645 else
3646 s = name;
68dc0745 3647 if (strEQ(s, "BEGIN")) {
3280af22 3648 I32 oldscope = PL_scopestack_ix;
28757baa 3649 ENTER;
3280af22
NIS
3650 SAVESPTR(PL_compiling.cop_filegv);
3651 SAVEI16(PL_compiling.cop_line);
3652 save_svref(&PL_rs);
3653 sv_setsv(PL_rs, PL_nrs);
28757baa 3654
3280af22
NIS
3655 if (!PL_beginav)
3656 PL_beginav = newAV();
28757baa 3657 DEBUG_x( dump_sub(gv) );
3280af22 3658 av_push(PL_beginav, (SV *)cv);
28757baa 3659 GvCV(gv) = 0;
3280af22 3660 call_list(oldscope, PL_beginav);
a6006777 3661
3280af22 3662 PL_curcop = &PL_compiling;
28757baa 3663 LEAVE;
3664 }
3280af22
NIS
3665 else if (strEQ(s, "END") && !PL_error_count) {
3666 if (!PL_endav)
3667 PL_endav = newAV();
3668 av_unshift(PL_endav, 1);
3669 av_store(PL_endav, 0, (SV *)cv);
28757baa 3670 GvCV(gv) = 0;
3671 }
3280af22
NIS
3672 else if (strEQ(s, "INIT") && !PL_error_count) {
3673 if (!PL_initav)
3674 PL_initav = newAV();
3675 av_push(PL_initav, SvREFCNT_inc(cv));
b7aad4fe 3676 GvCV(gv) = 0;
ae77835f 3677 }
79072805 3678 }
a6006777 3679
aa689395 3680 done:
3280af22 3681 PL_copline = NOLINE;
8990e307 3682 LEAVE_SCOPE(floor);
a0d0e21e 3683 return cv;
79072805
LW
3684}
3685
5476c433
JD
3686void
3687newCONSTSUB(HV *stash, char *name, SV *sv)
3688{
3689 dTHR;
3280af22
NIS
3690 U32 oldhints = PL_hints;
3691 HV *old_cop_stash = PL_curcop->cop_stash;
3692 HV *old_curstash = PL_curstash;
3693 line_t oldline = PL_curcop->cop_line;
3694 PL_curcop->cop_line = PL_copline;
5476c433 3695
3280af22 3696 PL_hints &= ~HINT_BLOCK_SCOPE;
5476c433 3697 if(stash)
3280af22 3698 PL_curstash = PL_curcop->cop_stash = stash;
5476c433
JD
3699
3700 newSUB(
be24f278 3701 start_subparse(FALSE, 0),
5476c433 3702 newSVOP(OP_CONST, 0, newSVpv(name,0)),
6b88bc9c 3703 newSVOP(OP_CONST, 0, &PL_sv_no), /* SvPV(&PL_sv_no) == "" -- GMB */
5476c433
JD
3704 newSTATEOP(0, Nullch, newSVOP(OP_CONST, 0, sv))
3705 );
3706
3280af22
NIS
3707 PL_hints = oldhints;
3708 PL_curcop->cop_stash = old_cop_stash;
3709 PL_curstash = old_curstash;
3710 PL_curcop->cop_line = oldline;
5476c433
JD
3711}
3712
57d3b86d 3713CV *
e3b8966e 3714newXS(char *name, void (*subaddr) (CV * _CPERLproto), char *filename)
a0d0e21e 3715{
11343788 3716 dTHR;
44a8e56a 3717 GV *gv = gv_fetchpv(name ? name : "__ANON__", GV_ADDMULTI, SVt_PVCV);
79072805 3718 register CV *cv;
44a8e56a 3719
3720 if (cv = (name ? GvCV(gv) : Nullcv)) {
3721 if (GvCVGEN(gv)) {
3722 /* just a cached method */
3723 SvREFCNT_dec(cv);
3724 cv = 0;
3725 }
3726 else if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3727 /* already defined (or promised) */
3280af22 3728 if (PL_dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
2f34f9d4
IZ
3729 && HvNAME(GvSTASH(CvGV(cv)))
3730 && strEQ(HvNAME(GvSTASH(CvGV(cv))), "autouse"))) {
3280af22
NIS
3731 line_t oldline = PL_curcop->cop_line;
3732 PL_curcop->cop_line = PL_copline;
a0d0e21e 3733 warn("Subroutine %s redefined",name);
3280af22 3734 PL_curcop->cop_line = oldline;
a0d0e21e
LW
3735 }
3736 SvREFCNT_dec(cv);
3737 cv = 0;
79072805 3738 }
79072805 3739 }
44a8e56a 3740
3741 if (cv) /* must reuse cv if autoloaded */
3742 cv_undef(cv);
a0d0e21e
LW
3743 else {
3744 cv = (CV*)NEWSV(1105,0);
3745 sv_upgrade((SV *)cv, SVt_PVCV);
44a8e56a 3746 if (name) {
3747 GvCV(gv) = cv;
3748 GvCVGEN(gv) = 0;
3280af22 3749 PL_sub_generation++;
44a8e56a 3750 }
a0d0e21e 3751 }
5196be3e 3752 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
11343788 3753#ifdef USE_THREADS
12ca11f6 3754 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3755 MUTEX_INIT(CvMUTEXP(cv));
11343788
MB
3756 CvOWNER(cv) = 0;
3757#endif /* USE_THREADS */
79072805 3758 CvFILEGV(cv) = gv_fetchfile(filename);
a0d0e21e 3759 CvXSUB(cv) = subaddr;
44a8e56a 3760
28757baa 3761 if (name) {
3762 char *s = strrchr(name,':');
3763 if (s)
3764 s++;
3765 else
3766 s = name;
3767 if (strEQ(s, "BEGIN")) {
3280af22
NIS
3768 if (!PL_beginav)
3769 PL_beginav = newAV();
3770 av_push(PL_beginav, (SV *)cv);
44a8e56a 3771 GvCV(gv) = 0;
28757baa 3772 }
3773 else if (strEQ(s, "END")) {
3280af22
NIS
3774 if (!PL_endav)
3775 PL_endav = newAV();
3776 av_unshift(PL_endav, 1);
3777 av_store(PL_endav, 0, (SV *)cv);
44a8e56a 3778 GvCV(gv) = 0;
28757baa 3779 }
7d07dbc2 3780 else if (strEQ(s, "INIT")) {
3280af22
NIS
3781 if (!PL_initav)
3782 PL_initav = newAV();
3783 av_push(PL_initav, (SV *)cv);
ae77835f 3784 }
28757baa 3785 }
8990e307 3786 else
a5f75d66 3787 CvANON_on(cv);
44a8e56a 3788
a0d0e21e 3789 return cv;
79072805
LW
3790}
3791
3792void
8ac85365 3793newFORM(I32 floor, OP *o, OP *block)
79072805 3794{
11343788 3795 dTHR;
79072805
LW
3796 register CV *cv;
3797 char *name;
3798 GV *gv;
a0d0e21e 3799 I32 ix;
79072805 3800
11343788 3801 if (o)
3280af22 3802 name = SvPVx(cSVOPo->op_sv, PL_na);
79072805
LW
3803 else
3804 name = "STDOUT";
85e6fe83 3805 gv = gv_fetchpv(name,TRUE, SVt_PVFM);
a5f75d66 3806 GvMULTI_on(gv);
79072805 3807 if (cv = GvFORM(gv)) {
3280af22
NIS
3808 if (PL_dowarn) {
3809 line_t oldline = PL_curcop->cop_line;
79072805 3810
3280af22 3811 PL_curcop->cop_line = PL_copline;
79072805 3812 warn("Format %s redefined",name);
3280af22 3813 PL_curcop->cop_line = oldline;
79072805 3814 }
8990e307 3815 SvREFCNT_dec(cv);
79072805 3816 }
3280af22 3817 cv = PL_compcv;
79072805 3818 GvFORM(gv) = cv;
44a8e56a 3819 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
3280af22 3820 CvFILEGV(cv) = PL_curcop->cop_filegv;
79072805 3821
3280af22
NIS
3822 for (ix = AvFILLp(PL_comppad); ix > 0; ix--) {
3823 if (!SvPADMY(PL_curpad[ix]) && !SvIMMORTAL(PL_curpad[ix]))
3824 SvPADTMP_on(PL_curpad[ix]);
a0d0e21e
LW
3825 }
3826
79072805
LW
3827 CvROOT(cv) = newUNOP(OP_LEAVEWRITE, 0, scalarseq(block));
3828 CvSTART(cv) = LINKLIST(CvROOT(cv));
3829 CvROOT(cv)->op_next = 0;
3830 peep(CvSTART(cv));
11343788 3831 op_free(o);
3280af22 3832 PL_copline = NOLINE;
8990e307 3833 LEAVE_SCOPE(floor);
79072805
LW
3834}
3835
3836OP *
8ac85365 3837newANONLIST(OP *o)
79072805 3838{
93a17b20 3839 return newUNOP(OP_REFGEN, 0,
11343788 3840 mod(list(convert(OP_ANONLIST, 0, o)), OP_REFGEN));
79072805
LW
3841}
3842
3843OP *
8ac85365 3844newANONHASH(OP *o)
79072805 3845{
93a17b20 3846 return newUNOP(OP_REFGEN, 0,
11343788 3847 mod(list(convert(OP_ANONHASH, 0, o)), OP_REFGEN));
a0d0e21e
LW
3848}
3849
3850OP *
8ac85365 3851newANONSUB(I32 floor, OP *proto, OP *block)
a0d0e21e
LW
3852{
3853 return newUNOP(OP_REFGEN, 0,
4633a7c4 3854 newSVOP(OP_ANONCODE, 0, (SV*)newSUB(floor, 0, proto, block)));
79072805
LW
3855}
3856
3857OP *
8ac85365 3858oopsAV(OP *o)
79072805 3859{
ed6116ce
LW
3860 switch (o->op_type) {
3861 case OP_PADSV:
3862 o->op_type = OP_PADAV;
3863 o->op_ppaddr = ppaddr[OP_PADAV];
3864 return ref(newUNOP(OP_RV2AV, 0, scalar(o)), OP_RV2AV);
3865
3866 case OP_RV2SV:
79072805
LW
3867 o->op_type = OP_RV2AV;
3868 o->op_ppaddr = ppaddr[OP_RV2AV];
3869 ref(o, OP_RV2AV);
ed6116ce
LW
3870 break;
3871
3872 default:
79072805 3873 warn("oops: oopsAV");
ed6116ce
LW
3874 break;
3875 }
79072805
LW
3876 return o;
3877}
3878
3879OP *
8ac85365 3880oopsHV(OP *o)
79072805 3881{
ed6116ce
LW
3882 switch (o->op_type) {
3883 case OP_PADSV:
3884 case OP_PADAV:
3885 o->op_type = OP_PADHV;
3886 o->op_ppaddr = ppaddr[OP_PADHV];
3887 return ref(newUNOP(OP_RV2HV, 0, scalar(o)), OP_RV2HV);
3888
3889 case OP_RV2SV:
3890 case OP_RV2AV:
79072805
LW
3891 o->op_type = OP_RV2HV;
3892 o->op_ppaddr = ppaddr[OP_RV2HV];
3893 ref(o, OP_RV2HV);
ed6116ce
LW
3894 break;
3895
3896 default:
79072805 3897 warn("oops: oopsHV");
ed6116ce
LW
3898 break;
3899 }
79072805
LW
3900 return o;
3901}
3902
3903OP *
8ac85365 3904newAVREF(OP *o)
79072805 3905{
ed6116ce
LW
3906 if (o->op_type == OP_PADANY) {
3907 o->op_type = OP_PADAV;
3908 o->op_ppaddr = ppaddr[OP_PADAV];
93a17b20 3909 return o;
ed6116ce 3910 }
79072805
LW
3911 return newUNOP(OP_RV2AV, 0, scalar(o));
3912}
3913
3914OP *
8ac85365 3915newGVREF(I32 type, OP *o)
79072805 3916{
a0d0e21e
LW
3917 if (type == OP_MAPSTART)
3918 return newUNOP(OP_NULL, 0, o);
748a9306 3919 return ref(newUNOP(OP_RV2GV, OPf_REF, o), type);
79072805
LW
3920}
3921
3922OP *
8ac85365 3923newHVREF(OP *o)
79072805 3924{
ed6116ce
LW
3925 if (o->op_type == OP_PADANY) {
3926 o->op_type = OP_PADHV;
3927 o->op_ppaddr = ppaddr[OP_PADHV];
93a17b20 3928 return o;
ed6116ce 3929 }
79072805
LW
3930 return newUNOP(OP_RV2HV, 0, scalar(o));
3931}
3932
3933OP *
8ac85365 3934oopsCV(OP *o)
79072805 3935{
463ee0b2 3936 croak("NOT IMPL LINE %d",__LINE__);
79072805
LW
3937 /* STUB */
3938 return o;
3939}
3940
3941OP *
8ac85365 3942newCVREF(I32 flags, OP *o)
79072805 3943{
c07a80fd 3944 return newUNOP(OP_RV2CV, flags, scalar(o));
79072805
LW
3945}
3946
3947OP *
8ac85365 3948newSVREF(OP *o)
79072805 3949{
ed6116ce
LW
3950 if (o->op_type == OP_PADANY) {
3951 o->op_type = OP_PADSV;
3952 o->op_ppaddr = ppaddr[OP_PADSV];
93a17b20 3953 return o;
ed6116ce 3954 }
224a4551
MB
3955 else if (o->op_type == OP_THREADSV && !(o->op_flags & OPpDONE_SVREF)) {
3956 o->op_flags |= OPpDONE_SVREF;
a863c7d1 3957 return o;
224a4551 3958 }
79072805
LW
3959 return newUNOP(OP_RV2SV, 0, scalar(o));
3960}
3961
3962/* Check routines. */
3963
3964OP *
8ac85365 3965ck_anoncode(OP *o)
5f05dabc 3966{
178c6305
CS
3967 PADOFFSET ix;
3968 SV* name;
3969
3970 name = NEWSV(1106,0);
3971 sv_upgrade(name, SVt_PVNV);
3972 sv_setpvn(name, "&", 1);
3973 SvIVX(name) = -1;
3974 SvNVX(name) = 1;
5dc0d613 3975 ix = pad_alloc(o->op_type, SVs_PADMY);
3280af22
NIS
3976 av_store(PL_comppad_name, ix, name);
3977 av_store(PL_comppad, ix, cSVOPo->op_sv);
5dc0d613
MB
3978 SvPADMY_on(cSVOPo->op_sv);
3979 cSVOPo->op_sv = Nullsv;
3980 cSVOPo->op_targ = ix;
3981 return o;
5f05dabc 3982}
3983
3984OP *
8ac85365 3985ck_bitop(OP *o)
55497cff 3986{
3280af22 3987 o->op_private = PL_hints;
5dc0d613 3988 return o;
55497cff 3989}
3990
3991OP *
8ac85365 3992ck_concat(OP *o)
79072805 3993{
11343788
MB
3994 if (cUNOPo->op_first->op_type == OP_CONCAT)
3995 o->op_flags |= OPf_STACKED;
3996 return o;
79072805
LW
3997}
3998
3999OP *
8ac85365 4000ck_spair(OP *o)
79072805 4001{
11343788 4002 if (o->op_flags & OPf_KIDS) {
79072805 4003 OP* newop;
a0d0e21e 4004 OP* kid;
5dc0d613
MB
4005 OPCODE type = o->op_type;
4006 o = modkids(ck_fun(o), type);
11343788 4007 kid = cUNOPo->op_first;
a0d0e21e
LW
4008 newop = kUNOP->op_first->op_sibling;
4009 if (newop &&
4010 (newop->op_sibling ||
4011 !(opargs[newop->op_type] & OA_RETSCALAR) ||
4012 newop->op_type == OP_PADAV || newop->op_type == OP_PADHV ||
4013 newop->op_type == OP_RV2AV || newop->op_type == OP_RV2HV)) {
aeea060c 4014
11343788 4015 return o;
a0d0e21e
LW
4016 }
4017 op_free(kUNOP->op_first);
4018 kUNOP->op_first = newop;
4019 }
11343788
MB
4020 o->op_ppaddr = ppaddr[++o->op_type];
4021 return ck_fun(o);
a0d0e21e
LW
4022}
4023
4024OP *
8ac85365 4025ck_delete(OP *o)
a0d0e21e 4026{
11343788 4027 o = ck_fun(o);
5dc0d613 4028 o->op_private = 0;
11343788
MB
4029 if (o->op_flags & OPf_KIDS) {
4030 OP *kid = cUNOPo->op_first;
5f05dabc 4031 if (kid->op_type == OP_HSLICE)
5dc0d613 4032 o->op_private |= OPpSLICE;
5f05dabc 4033 else if (kid->op_type != OP_HELEM)
4034 croak("%s argument is not a HASH element or slice",
5dc0d613 4035 op_desc[o->op_type]);
a0d0e21e 4036 null(kid);
79072805 4037 }
11343788 4038 return o;
79072805
LW
4039}
4040
4041OP *
8ac85365 4042ck_eof(OP *o)
79072805 4043{
11343788 4044 I32 type = o->op_type;
79072805 4045
11343788
MB
4046 if (o->op_flags & OPf_KIDS) {
4047 if (cLISTOPo->op_first->op_type == OP_STUB) {
4048 op_free(o);
4049 o = newUNOP(type, OPf_SPECIAL,
d58bf5aa 4050 newGVOP(OP_GV, 0, gv_fetchpv("main::ARGV", TRUE, SVt_PVAV)));
8990e307 4051 }
11343788 4052 return ck_fun(o);
79072805 4053 }
11343788 4054 return o;
79072805
LW
4055}
4056
4057OP *
8ac85365 4058ck_eval(OP *o)
79072805 4059{
3280af22 4060 PL_hints |= HINT_BLOCK_SCOPE;
11343788
MB
4061 if (o->op_flags & OPf_KIDS) {
4062 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805 4063
93a17b20 4064 if (!kid) {
11343788
MB
4065 o->op_flags &= ~OPf_KIDS;
4066 null(o);
79072805
LW
4067 }
4068 else if (kid->op_type == OP_LINESEQ) {
4069 LOGOP *enter;
4070
11343788
MB
4071 kid->op_next = o->op_next;
4072 cUNOPo->op_first = 0;
4073 op_free(o);
79072805
LW
4074
4075 Newz(1101, enter, 1, LOGOP);
4076 enter->op_type = OP_ENTERTRY;
4077 enter->op_ppaddr = ppaddr[OP_ENTERTRY];
4078 enter->op_private = 0;
4079
4080 /* establish postfix order */
4081 enter->op_next = (OP*)enter;
4082
11343788
MB
4083 o = prepend_elem(OP_LINESEQ, (OP*)enter, (OP*)kid);
4084 o->op_type = OP_LEAVETRY;
4085 o->op_ppaddr = ppaddr[OP_LEAVETRY];
4086 enter->op_other = o;
4087 return o;
79072805 4088 }
c7cc6f1c 4089 else
473986ff 4090 scalar((OP*)kid);
79072805
LW
4091 }
4092 else {
11343788 4093 op_free(o);
54b9620d 4094 o = newUNOP(OP_ENTEREVAL, 0, newDEFSVOP());
79072805 4095 }
3280af22 4096 o->op_targ = (PADOFFSET)PL_hints;
11343788 4097 return o;
79072805
LW
4098}
4099
4100OP *
8ac85365 4101ck_exec(OP *o)
79072805
LW
4102{
4103 OP *kid;
11343788
MB
4104 if (o->op_flags & OPf_STACKED) {
4105 o = ck_fun(o);
4106 kid = cUNOPo->op_first->op_sibling;
8990e307
LW
4107 if (kid->op_type == OP_RV2GV)
4108 null(kid);
79072805 4109 }
463ee0b2 4110 else
11343788
MB
4111 o = listkids(o);
4112 return o;
79072805
LW
4113}
4114
4115OP *
8ac85365 4116ck_exists(OP *o)
5f05dabc 4117{
5196be3e
MB
4118 o = ck_fun(o);
4119 if (o->op_flags & OPf_KIDS) {
4120 OP *kid = cUNOPo->op_first;
5f05dabc 4121 if (kid->op_type != OP_HELEM)
5196be3e 4122 croak("%s argument is not a HASH element", op_desc[o->op_type]);
5f05dabc 4123 null(kid);
4124 }
5196be3e 4125 return o;
5f05dabc 4126}
4127
4128OP *
8ac85365 4129ck_gvconst(register OP *o)
79072805
LW
4130{
4131 o = fold_constants(o);
4132 if (o->op_type == OP_CONST)
4133 o->op_type = OP_GV;
4134 return o;
4135}
4136
4137OP *
8ac85365 4138ck_rvconst(register OP *o)
79072805 4139{
11343788
MB
4140 dTHR;
4141 SVOP *kid = (SVOP*)cUNOPo->op_first;
85e6fe83 4142
3280af22 4143 o->op_private |= (PL_hints & HINT_STRICT_REFS);
79072805 4144 if (kid->op_type == OP_CONST) {
44a8e56a 4145 char *name;
4146 int iscv;
4147 GV *gv;
4148
3280af22
NIS
4149 name = SvPV(kid->op_sv, PL_na);
4150 if ((PL_hints & HINT_STRICT_REFS) && (kid->op_private & OPpCONST_BARE)) {
44a8e56a 4151 char *badthing = Nullch;
5dc0d613 4152 switch (o->op_type) {
44a8e56a 4153 case OP_RV2SV:
4154 badthing = "a SCALAR";
4155 break;
4156 case OP_RV2AV:
4157 badthing = "an ARRAY";
4158 break;
4159 case OP_RV2HV:
4160 badthing = "a HASH";
4161 break;
4162 }
4163 if (badthing)
4164 croak(
4165 "Can't use bareword (\"%s\") as %s ref while \"strict refs\" in use",
4166 name, badthing);
4167 }
93233ece
CS
4168 /*
4169 * This is a little tricky. We only want to add the symbol if we
4170 * didn't add it in the lexer. Otherwise we get duplicate strict
4171 * warnings. But if we didn't add it in the lexer, we must at
4172 * least pretend like we wanted to add it even if it existed before,
4173 * or we get possible typo warnings. OPpCONST_ENTERED says
4174 * whether the lexer already added THIS instance of this symbol.
4175 */
5196be3e 4176 iscv = (o->op_type == OP_RV2CV) * 2;
93233ece 4177 do {
44a8e56a 4178 gv = gv_fetchpv(name,
748a9306 4179 iscv | !(kid->op_private & OPpCONST_ENTERED),
a0d0e21e
LW
4180 iscv
4181 ? SVt_PVCV
11343788 4182 : o->op_type == OP_RV2SV
a0d0e21e 4183 ? SVt_PV
11343788 4184 : o->op_type == OP_RV2AV
a0d0e21e 4185 ? SVt_PVAV
11343788 4186 : o->op_type == OP_RV2HV
a0d0e21e
LW
4187 ? SVt_PVHV
4188 : SVt_PVGV);
93233ece
CS
4189 } while (!gv && !(kid->op_private & OPpCONST_ENTERED) && !iscv++);
4190 if (gv) {
4191 kid->op_type = OP_GV;
4192 SvREFCNT_dec(kid->op_sv);
4193 kid->op_sv = SvREFCNT_inc(gv);
a0d0e21e 4194 }
79072805 4195 }
11343788 4196 return o;
79072805
LW
4197}
4198
4199OP *
8ac85365 4200ck_ftst(OP *o)
79072805 4201{
11343788
MB
4202 dTHR;
4203 I32 type = o->op_type;
79072805 4204
11343788
MB
4205 if (o->op_flags & OPf_REF)
4206 return o;
79072805 4207
108ed793 4208 if (o->op_flags & OPf_KIDS && cUNOPo->op_first->op_type != OP_STUB) {
11343788 4209 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805
LW
4210
4211 if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
a0d0e21e 4212 OP *newop = newGVOP(type, OPf_REF,
3280af22 4213 gv_fetchpv(SvPVx(kid->op_sv, PL_na), TRUE, SVt_PVIO));
11343788 4214 op_free(o);
79072805
LW
4215 return newop;
4216 }
4217 }
4218 else {
11343788 4219 op_free(o);
79072805 4220 if (type == OP_FTTTY)
fb73857a 4221 return newGVOP(type, OPf_REF, gv_fetchpv("main::STDIN", TRUE,
85e6fe83 4222 SVt_PVIO));
79072805 4223 else
54b9620d 4224 return newUNOP(type, 0, newDEFSVOP());
79072805 4225 }
11343788 4226 return o;
79072805
LW
4227}
4228
4229OP *
8ac85365 4230ck_fun(OP *o)
79072805 4231{
11343788 4232 dTHR;
79072805
LW
4233 register OP *kid;
4234 OP **tokid;
4235 OP *sibl;
4236 I32 numargs = 0;
11343788 4237 int type = o->op_type;
a0d0e21e 4238 register I32 oa = opargs[type] >> OASHIFT;
aeea060c 4239
11343788 4240 if (o->op_flags & OPf_STACKED) {
79072805
LW
4241 if ((oa & OA_OPTIONAL) && (oa >> 4) && !((oa >> 4) & OA_OPTIONAL))
4242 oa &= ~OA_OPTIONAL;
4243 else
11343788 4244 return no_fh_allowed(o);
79072805
LW
4245 }
4246
11343788
MB
4247 if (o->op_flags & OPf_KIDS) {
4248 tokid = &cLISTOPo->op_first;
4249 kid = cLISTOPo->op_first;
8990e307
LW
4250 if (kid->op_type == OP_PUSHMARK ||
4251 kid->op_type == OP_NULL && kid->op_targ == OP_PUSHMARK)
4252 {
79072805
LW
4253 tokid = &kid->op_sibling;
4254 kid = kid->op_sibling;
4255 }
a0d0e21e 4256 if (!kid && opargs[type] & OA_DEFGV)
54b9620d 4257 *tokid = kid = newDEFSVOP();
79072805
LW
4258
4259 while (oa && kid) {
4260 numargs++;
4261 sibl = kid->op_sibling;
4262 switch (oa & 7) {
4263 case OA_SCALAR:
4264 scalar(kid);
4265 break;
4266 case OA_LIST:
4267 if (oa < 16) {
4268 kid = 0;
4269 continue;
4270 }
4271 else
4272 list(kid);
4273 break;
4274 case OA_AVREF:
4275 if (kid->op_type == OP_CONST &&
4276 (kid->op_private & OPpCONST_BARE)) {
3280af22 4277 char *name = SvPVx(((SVOP*)kid)->op_sv, PL_na);
79072805 4278 OP *newop = newAVREF(newGVOP(OP_GV, 0,
85e6fe83 4279 gv_fetchpv(name, TRUE, SVt_PVAV) ));
3280af22 4280 if (PL_dowarn)
ff0cee69 4281 warn("Array @%s missing the @ in argument %ld of %s()",
4282 name, (long)numargs, op_desc[type]);
79072805
LW
4283 op_free(kid);
4284 kid = newop;
4285 kid->op_sibling = sibl;
4286 *tokid = kid;
4287 }
8990e307 4288 else if (kid->op_type != OP_RV2AV && kid->op_type != OP_PADAV)
11343788 4289 bad_type(numargs, "array", op_desc[o->op_type], kid);
a0d0e21e 4290 mod(kid, type);
79072805
LW
4291 break;
4292 case OA_HVREF:
4293 if (kid->op_type == OP_CONST &&
4294 (kid->op_private & OPpCONST_BARE)) {
3280af22 4295 char *name = SvPVx(((SVOP*)kid)->op_sv, PL_na);
79072805 4296 OP *newop = newHVREF(newGVOP(OP_GV, 0,
85e6fe83 4297 gv_fetchpv(name, TRUE, SVt_PVHV) ));
3280af22 4298 if (PL_dowarn)
ff0cee69 4299 warn("Hash %%%s missing the %% in argument %ld of %s()",
4300 name, (long)numargs, op_desc[type]);
79072805
LW
4301 op_free(kid);
4302 kid = newop;
4303 kid->op_sibling = sibl;
4304 *tokid = kid;
4305 }
8990e307 4306 else if (kid->op_type != OP_RV2HV && kid->op_type != OP_PADHV)
11343788 4307 bad_type(numargs, "hash", op_desc[o->op_type], kid);
a0d0e21e 4308 mod(kid, type);
79072805
LW
4309 break;
4310 case OA_CVREF:
4311 {
a0d0e21e 4312 OP *newop = newUNOP(OP_NULL, 0, kid);
79072805
LW
4313 kid->op_sibling = 0;
4314 linklist(kid);
4315 newop->op_next = newop;
4316 kid = newop;
4317 kid->op_sibling = sibl;
4318 *tokid = kid;
4319 }
4320 break;
4321 case OA_FILEREF:
c340be78 4322 if (kid->op_type != OP_GV && kid->op_type != OP_RV2GV) {
79072805
LW
4323 if (kid->op_type == OP_CONST &&
4324 (kid->op_private & OPpCONST_BARE)) {
4325 OP *newop = newGVOP(OP_GV, 0,
3280af22 4326 gv_fetchpv(SvPVx(((SVOP*)kid)->op_sv, PL_na), TRUE,
85e6fe83 4327 SVt_PVIO) );
79072805
LW
4328 op_free(kid);
4329 kid = newop;
4330 }
4331 else {
4332 kid->op_sibling = 0;
4333 kid = newUNOP(OP_RV2GV, 0, scalar(kid));
4334 }
4335 kid->op_sibling = sibl;
4336 *tokid = kid;
4337 }
4338 scalar(kid);
4339 break;
4340 case OA_SCALARREF:
a0d0e21e 4341 mod(scalar(kid), type);
79072805
LW
4342 break;
4343 }
4344 oa >>= 4;
4345 tokid = &kid->op_sibling;
4346 kid = kid->op_sibling;
4347 }
11343788 4348 o->op_private |= numargs;
79072805 4349 if (kid)
11343788
MB
4350 return too_many_arguments(o,op_desc[o->op_type]);
4351 listkids(o);
79072805 4352 }
a0d0e21e 4353 else if (opargs[type] & OA_DEFGV) {
11343788 4354 op_free(o);
54b9620d 4355 return newUNOP(type, 0, newDEFSVOP());
a0d0e21e
LW
4356 }
4357
79072805
LW
4358 if (oa) {
4359 while (oa & OA_OPTIONAL)
4360 oa >>= 4;
4361 if (oa && oa != OA_LIST)
11343788 4362 return too_few_arguments(o,op_desc[o->op_type]);
79072805 4363 }
11343788 4364 return o;
79072805
LW
4365}
4366
4367OP *
8ac85365 4368ck_glob(OP *o)
79072805 4369{
fb73857a 4370 GV *gv;
4371
1f2bfc8a 4372 if ((o->op_flags & OPf_KIDS) && !cLISTOPo->op_first->op_sibling)
54b9620d 4373 append_elem(OP_GLOB, o, newDEFSVOP());
fb73857a 4374
4375 if (!((gv = gv_fetchpv("glob", FALSE, SVt_PVCV)) && GvIMPORTED_CV(gv)))
4376 gv = gv_fetchpv("CORE::GLOBAL::glob", FALSE, SVt_PVCV);
b1cb66bf 4377
4378 if (gv && GvIMPORTED_CV(gv)) {
46fc3d4c 4379 static int glob_index;
4380
5196be3e 4381 append_elem(OP_GLOB, o,
46fc3d4c 4382 newSVOP(OP_CONST, 0, newSViv(glob_index++)));
1f2bfc8a
MB
4383 o->op_type = OP_LIST;
4384 o->op_ppaddr = ppaddr[OP_LIST];
4385 cLISTOPo->op_first->op_type = OP_PUSHMARK;
4386 cLISTOPo->op_first->op_ppaddr = ppaddr[OP_PUSHMARK];
4387 o = newUNOP(OP_ENTERSUB, OPf_STACKED,
aeea060c 4388 append_elem(OP_LIST, o,
1f2bfc8a
MB
4389 scalar(newUNOP(OP_RV2CV, 0,
4390 newGVOP(OP_GV, 0, gv)))));
d58bf5aa
MB
4391 o = newUNOP(OP_NULL, 0, ck_subr(o));
4392 o->op_targ = OP_GLOB; /* hint at what it used to be */
4393 return o;
b1cb66bf 4394 }
4395 gv = newGVgen("main");
a0d0e21e 4396 gv_IOadd(gv);
11343788
MB
4397 append_elem(OP_GLOB, o, newGVOP(OP_GV, 0, gv));
4398 scalarkids(o);
4399 return ck_fun(o);
79072805
LW
4400}
4401
4402OP *
8ac85365 4403ck_grep(OP *o)
79072805
LW
4404{
4405 LOGOP *gwop;
4406 OP *kid;
11343788 4407 OPCODE type = o->op_type == OP_GREPSTART ? OP_GREPWHILE : OP_MAPWHILE;
79072805 4408
11343788 4409 o->op_ppaddr = ppaddr[OP_GREPSTART];
a0d0e21e 4410 Newz(1101, gwop, 1, LOGOP);
aeea060c 4411
11343788 4412 if (o->op_flags & OPf_STACKED) {
a0d0e21e 4413 OP* k;
11343788
MB
4414 o = ck_sort(o);
4415 kid = cLISTOPo->op_first->op_sibling;
4416 for (k = cLISTOPo->op_first->op_sibling->op_next; k; k = k->op_next) {
a0d0e21e
LW
4417 kid = k;
4418 }
4419 kid->op_next = (OP*)gwop;
11343788 4420 o->op_flags &= ~OPf_STACKED;
93a17b20 4421 }
11343788 4422 kid = cLISTOPo->op_first->op_sibling;
a0d0e21e
LW
4423 if (type == OP_MAPWHILE)
4424 list(kid);
4425 else
4426 scalar(kid);
11343788 4427 o = ck_fun(o);
3280af22 4428 if (PL_error_count)
11343788 4429 return o;
aeea060c 4430 kid = cLISTOPo->op_first->op_sibling;
79072805 4431 if (kid->op_type != OP_NULL)
463ee0b2 4432 croak("panic: ck_grep");
79072805
LW
4433 kid = kUNOP->op_first;
4434
a0d0e21e
LW
4435 gwop->op_type = type;
4436 gwop->op_ppaddr = ppaddr[type];
11343788 4437 gwop->op_first = listkids(o);
79072805
LW
4438 gwop->op_flags |= OPf_KIDS;
4439 gwop->op_private = 1;
4440 gwop->op_other = LINKLIST(kid);
a0d0e21e 4441 gwop->op_targ = pad_alloc(type, SVs_PADTMP);
79072805
LW
4442 kid->op_next = (OP*)gwop;
4443
11343788 4444 kid = cLISTOPo->op_first->op_sibling;
a0d0e21e 4445 if (!kid || !kid->op_sibling)
11343788 4446 return too_few_arguments(o,op_desc[o->op_type]);
a0d0e21e
LW
4447 for (kid = kid->op_sibling; kid; kid = kid->op_sibling)
4448 mod(kid, OP_GREPSTART);
4449
79072805
LW
4450 return (OP*)gwop;
4451}
4452
4453OP *
8ac85365 4454ck_index(OP *o)
79072805 4455{
11343788
MB
4456 if (o->op_flags & OPf_KIDS) {
4457 OP *kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
79072805 4458 if (kid && kid->op_type == OP_CONST)
2779dcf1 4459 fbm_compile(((SVOP*)kid)->op_sv, 0);
79072805 4460 }
11343788 4461 return ck_fun(o);
79072805
LW
4462}
4463
4464OP *
8ac85365 4465ck_lengthconst(OP *o)
79072805
LW
4466{
4467 /* XXX length optimization goes here */
11343788 4468 return ck_fun(o);
79072805
LW
4469}
4470
4471OP *
8ac85365 4472ck_lfun(OP *o)
79072805 4473{
5dc0d613
MB
4474 OPCODE type = o->op_type;
4475 return modkids(ck_fun(o), type);
79072805
LW
4476}
4477
4478OP *
8ac85365 4479ck_rfun(OP *o)
8990e307 4480{
5dc0d613
MB
4481 OPCODE type = o->op_type;
4482 return refkids(ck_fun(o), type);
8990e307
LW
4483}
4484
4485OP *
8ac85365 4486ck_listiob(OP *o)
79072805
LW
4487{
4488 register OP *kid;
aeea060c 4489
11343788 4490 kid = cLISTOPo->op_first;
79072805 4491 if (!kid) {
11343788
MB
4492 o = force_list(o);
4493 kid = cLISTOPo->op_first;
79072805
LW
4494 }
4495 if (kid->op_type == OP_PUSHMARK)
4496 kid = kid->op_sibling;
11343788 4497 if (kid && o->op_flags & OPf_STACKED)
79072805
LW
4498 kid = kid->op_sibling;
4499 else if (kid && !kid->op_sibling) { /* print HANDLE; */
4500 if (kid->op_type == OP_CONST && kid->op_private & OPpCONST_BARE) {
11343788 4501 o->op_flags |= OPf_STACKED; /* make it a filehandle */
748a9306 4502 kid = newUNOP(OP_RV2GV, OPf_REF, scalar(kid));
11343788
MB
4503 cLISTOPo->op_first->op_sibling = kid;
4504 cLISTOPo->op_last = kid;
79072805
LW
4505 kid = kid->op_sibling;
4506 }
4507 }
4508
4509 if (!kid)
54b9620d 4510 append_elem(o->op_type, o, newDEFSVOP());
79072805 4511
5dc0d613 4512 o = listkids(o);
bbce6d69 4513
5dc0d613 4514 o->op_private = 0;
36477c24 4515#ifdef USE_LOCALE
3280af22 4516 if (PL_hints & HINT_LOCALE)
5dc0d613 4517 o->op_private |= OPpLOCALE;
bbce6d69 4518#endif
4519
5dc0d613 4520 return o;
bbce6d69 4521}
4522
4523OP *
8ac85365 4524ck_fun_locale(OP *o)
bbce6d69 4525{
5dc0d613 4526 o = ck_fun(o);
bbce6d69 4527
5dc0d613 4528 o->op_private = 0;
36477c24 4529#ifdef USE_LOCALE
3280af22 4530 if (PL_hints & HINT_LOCALE)
5dc0d613 4531 o->op_private |= OPpLOCALE;
bbce6d69 4532#endif
4533
5dc0d613 4534 return o;
bbce6d69 4535}
4536
4537OP *
8ac85365 4538ck_scmp(OP *o)
bbce6d69 4539{
5dc0d613 4540 o->op_private = 0;
36477c24 4541#ifdef USE_LOCALE
3280af22 4542 if (PL_hints & HINT_LOCALE)
5dc0d613 4543 o->op_private |= OPpLOCALE;
bbce6d69 4544#endif
36477c24 4545
5dc0d613 4546 return o;
79072805
LW
4547}
4548
4549OP *
8ac85365 4550ck_match(OP *o)
79072805 4551{
5dc0d613 4552 o->op_private |= OPpRUNTIME;
11343788 4553 return o;
79072805
LW
4554}
4555
4556OP *
8ac85365 4557ck_null(OP *o)
79072805 4558{
11343788 4559 return o;
79072805
LW
4560}
4561
4562OP *
8ac85365 4563ck_repeat(OP *o)
79072805 4564{
11343788
MB
4565 if (cBINOPo->op_first->op_flags & OPf_PARENS) {
4566 o->op_private |= OPpREPEAT_DOLIST;
4567 cBINOPo->op_first = force_list(cBINOPo->op_first);
79072805
LW
4568 }
4569 else
11343788
MB
4570 scalar(o);
4571 return o;
79072805
LW
4572}
4573
4574OP *
8ac85365 4575ck_require(OP *o)
8990e307 4576{
11343788
MB
4577 if (o->op_flags & OPf_KIDS) { /* Shall we supply missing .pm? */
4578 SVOP *kid = (SVOP*)cUNOPo->op_first;
8990e307
LW
4579
4580 if (kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE)) {
8990e307 4581 char *s;
a0d0e21e
LW
4582 for (s = SvPVX(kid->op_sv); *s; s++) {
4583 if (*s == ':' && s[1] == ':') {
4584 *s = '/';
1aef975c 4585 Move(s+2, s+1, strlen(s+2)+1, char);
a0d0e21e
LW
4586 --SvCUR(kid->op_sv);
4587 }
8990e307 4588 }
a0d0e21e 4589 sv_catpvn(kid->op_sv, ".pm", 3);
8990e307
LW
4590 }
4591 }
11343788 4592 return ck_fun(o);
8990e307
LW
4593}
4594
4595OP *
8ac85365 4596ck_retarget(OP *o)
79072805 4597{
463ee0b2 4598 croak("NOT IMPL LINE %d",__LINE__);
79072805 4599 /* STUB */
11343788 4600 return o;
79072805
LW
4601}
4602
4603OP *
8ac85365 4604ck_select(OP *o)
79072805 4605{
c07a80fd 4606 OP* kid;
11343788
MB
4607 if (o->op_flags & OPf_KIDS) {
4608 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
2304df62 4609 if (kid && kid->op_sibling) {
11343788
MB
4610 o->op_type = OP_SSELECT;
4611 o->op_ppaddr = ppaddr[OP_SSELECT];
4612 o = ck_fun(o);
4613 return fold_constants(o);
79072805
LW
4614 }
4615 }
11343788
MB
4616 o = ck_fun(o);
4617 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
c07a80fd 4618 if (kid && kid->op_type == OP_RV2GV)
4619 kid->op_private &= ~HINT_STRICT_REFS;
11343788 4620 return o;
79072805
LW
4621}
4622
4623OP *
8ac85365 4624ck_shift(OP *o)
79072805 4625{
11343788 4626 I32 type = o->op_type;
79072805 4627
11343788 4628 if (!(o->op_flags & OPf_KIDS)) {
6d4ff0d2
MB
4629 OP *argop;
4630
11343788 4631 op_free(o);
6d4ff0d2 4632#ifdef USE_THREADS
533c011a 4633 if (!CvUNIQUE(PL_compcv)) {
6d4ff0d2 4634 argop = newOP(OP_PADAV, OPf_REF);
6b88bc9c 4635 argop->op_targ = 0; /* PL_curpad[0] is @_ */
6d4ff0d2
MB
4636 }
4637 else {
4638 argop = newUNOP(OP_RV2AV, 0,
4639 scalar(newGVOP(OP_GV, 0,
4640 gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
4641 }
4642#else
4643 argop = newUNOP(OP_RV2AV, 0,
3280af22
NIS
4644 scalar(newGVOP(OP_GV, 0, !CvUNIQUE(PL_compcv) ?
4645 PL_defgv : gv_fetchpv("ARGV", TRUE, SVt_PVAV))));
6d4ff0d2
MB
4646#endif /* USE_THREADS */
4647 return newUNOP(type, 0, scalar(argop));
79072805 4648 }
11343788 4649 return scalar(modkids(ck_fun(o), type));
79072805
LW
4650}
4651
4652OP *
8ac85365 4653ck_sort(OP *o)
79072805 4654{
5dc0d613 4655 o->op_private = 0;
36477c24 4656#ifdef USE_LOCALE
3280af22 4657 if (PL_hints & HINT_LOCALE)
5dc0d613 4658 o->op_private |= OPpLOCALE;
bbce6d69 4659#endif
4660
11343788
MB
4661 if (o->op_flags & OPf_STACKED) {
4662 OP *kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
463ee0b2
LW
4663 OP *k;
4664 kid = kUNOP->op_first; /* get past rv2gv */
79072805 4665
463ee0b2 4666 if (kid->op_type == OP_SCOPE || kid->op_type == OP_LEAVE) {
79072805 4667 linklist(kid);
463ee0b2
LW
4668 if (kid->op_type == OP_SCOPE) {
4669 k = kid->op_next;
4670 kid->op_next = 0;
79072805 4671 }
463ee0b2 4672 else if (kid->op_type == OP_LEAVE) {
11343788 4673 if (o->op_type == OP_SORT) {
748a9306
LW
4674 null(kid); /* wipe out leave */
4675 kid->op_next = kid;
463ee0b2 4676
748a9306
LW
4677 for (k = kLISTOP->op_first->op_next; k; k = k->op_next) {
4678 if (k->op_next == kid)
4679 k->op_next = 0;
4680 }
463ee0b2 4681 }
748a9306
LW
4682 else
4683 kid->op_next = 0; /* just disconnect the leave */
a0d0e21e 4684 k = kLISTOP->op_first;
463ee0b2 4685 }
a0d0e21e
LW
4686 peep(k);
4687
11343788 4688 kid = cLISTOPo->op_first->op_sibling; /* get past pushmark */
8990e307 4689 null(kid); /* wipe out rv2gv */
11343788 4690 if (o->op_type == OP_SORT)
a0d0e21e
LW
4691 kid->op_next = kid;
4692 else
4693 kid->op_next = k;
11343788 4694 o->op_flags |= OPf_SPECIAL;
79072805
LW
4695 }
4696 }
bbce6d69 4697
11343788 4698 return o;
79072805
LW
4699}
4700
4701OP *
8ac85365 4702ck_split(OP *o)
79072805
LW
4703{
4704 register OP *kid;
aeea060c 4705
11343788
MB
4706 if (o->op_flags & OPf_STACKED)
4707 return no_fh_allowed(o);
79072805 4708
11343788 4709 kid = cLISTOPo->op_first;
8990e307 4710 if (kid->op_type != OP_NULL)
463ee0b2 4711 croak("panic: ck_split");
8990e307 4712 kid = kid->op_sibling;
11343788
MB
4713 op_free(cLISTOPo->op_first);
4714 cLISTOPo->op_first = kid;
85e6fe83 4715 if (!kid) {
11343788
MB
4716 cLISTOPo->op_first = kid = newSVOP(OP_CONST, 0, newSVpv(" ", 1));
4717 cLISTOPo->op_last = kid; /* There was only one element previously */
85e6fe83 4718 }
79072805
LW
4719
4720 if (kid->op_type != OP_MATCH) {
4721 OP *sibl = kid->op_sibling;
463ee0b2 4722 kid->op_sibling = 0;
79072805 4723 kid = pmruntime( newPMOP(OP_MATCH, OPf_SPECIAL), kid, Nullop);
11343788
MB
4724 if (cLISTOPo->op_first == cLISTOPo->op_last)
4725 cLISTOPo->op_last = kid;
4726 cLISTOPo->op_first = kid;
79072805
LW
4727 kid->op_sibling = sibl;
4728 }
4729
4730 kid->op_type = OP_PUSHRE;
4731 kid->op_ppaddr = ppaddr[OP_PUSHRE];
4732 scalar(kid);
4733
4734 if (!kid->op_sibling)
54b9620d 4735 append_elem(OP_SPLIT, o, newDEFSVOP());
79072805
LW
4736
4737 kid = kid->op_sibling;
4738 scalar(kid);
4739
4740 if (!kid->op_sibling)
11343788 4741 append_elem(OP_SPLIT, o, newSVOP(OP_CONST, 0, newSViv(0)));
79072805
LW
4742
4743 kid = kid->op_sibling;
4744 scalar(kid);
4745
4746 if (kid->op_sibling)
11343788 4747 return too_many_arguments(o,op_desc[o->op_type]);
79072805 4748
11343788 4749 return o;
79072805
LW
4750}
4751
4752OP *
8ac85365 4753ck_subr(OP *o)
79072805 4754{
11343788
MB
4755 dTHR;
4756 OP *prev = ((cUNOPo->op_first->op_sibling)
4757 ? cUNOPo : ((UNOP*)cUNOPo->op_first))->op_first;
4758 OP *o2 = prev->op_sibling;
4633a7c4
LW
4759 OP *cvop;
4760 char *proto = 0;
4761 CV *cv = 0;
46fc3d4c 4762 GV *namegv = 0;
4633a7c4
LW
4763 int optional = 0;
4764 I32 arg = 0;
4765
11343788 4766 for (cvop = o2; cvop->op_sibling; cvop = cvop->op_sibling) ;
4633a7c4
LW
4767 if (cvop->op_type == OP_RV2CV) {
4768 SVOP* tmpop;
11343788 4769 o->op_private |= (cvop->op_private & OPpENTERSUB_AMPER);
4633a7c4
LW
4770 null(cvop); /* disable rv2cv */
4771 tmpop = (SVOP*)((UNOP*)cvop)->op_first;
4772 if (tmpop->op_type == OP_GV) {
8ebc5c01 4773 cv = GvCVu(tmpop->op_sv);
5dc0d613 4774 if (cv && SvPOK(cv) && !(o->op_private & OPpENTERSUB_AMPER)) {
46fc3d4c 4775 namegv = CvANON(cv) ? (GV*)tmpop->op_sv : CvGV(cv);
3280af22 4776 proto = SvPV((SV*)cv, PL_na);
46fc3d4c 4777 }
4633a7c4
LW
4778 }
4779 }
3280af22
NIS
4780 o->op_private |= (PL_hints & HINT_STRICT_REFS);
4781 if (PERLDB_SUB && PL_curstash != PL_debstash)
11343788
MB
4782 o->op_private |= OPpENTERSUB_DB;
4783 while (o2 != cvop) {
4633a7c4
LW
4784 if (proto) {
4785 switch (*proto) {
4786 case '\0':
5dc0d613 4787 return too_many_arguments(o, gv_ename(namegv));
4633a7c4
LW
4788 case ';':
4789 optional = 1;
4790 proto++;
4791 continue;
4792 case '$':
4793 proto++;
4794 arg++;
11343788 4795 scalar(o2);
4633a7c4
LW
4796 break;
4797 case '%':
4798 case '@':
11343788 4799 list(o2);
4633a7c4
LW
4800 arg++;
4801 break;
4802 case '&':
4803 proto++;
4804 arg++;
11343788 4805 if (o2->op_type != OP_REFGEN && o2->op_type != OP_UNDEF)
5dc0d613 4806 bad_type(arg, "block", gv_ename(namegv), o2);
4633a7c4
LW
4807 break;
4808 case '*':
4809 proto++;
4810 arg++;
11343788 4811 if (o2->op_type == OP_RV2GV)
4633a7c4
LW
4812 goto wrapref;
4813 {
11343788 4814 OP* kid = o2;
69dcf70c 4815 OP* sib = kid->op_sibling;
4633a7c4 4816 kid->op_sibling = 0;
69dcf70c
MB
4817 o2 = newUNOP(OP_RV2GV, 0, kid);
4818 o2->op_sibling = sib;
6fa846a0 4819 prev->op_sibling = o2;
4633a7c4
LW
4820 }
4821 goto wrapref;
4822 case '\\':
4823 proto++;
4824 arg++;
4825 switch (*proto++) {
4826 case '*':
11343788 4827 if (o2->op_type != OP_RV2GV)
5dc0d613 4828 bad_type(arg, "symbol", gv_ename(namegv), o2);
4633a7c4
LW
4829 goto wrapref;
4830 case '&':
11343788 4831 if (o2->op_type != OP_RV2CV)
5dc0d613 4832 bad_type(arg, "sub", gv_ename(namegv), o2);
4633a7c4
LW
4833 goto wrapref;
4834 case '$':
386acf99
GS
4835 if (o2->op_type != OP_RV2SV
4836 && o2->op_type != OP_PADSV
4837 && o2->op_type != OP_THREADSV)
4838 {
5dc0d613 4839 bad_type(arg, "scalar", gv_ename(namegv), o2);
386acf99 4840 }
4633a7c4
LW
4841 goto wrapref;
4842 case '@':
11343788 4843 if (o2->op_type != OP_RV2AV && o2->op_type != OP_PADAV)
5dc0d613 4844 bad_type(arg, "array", gv_ename(namegv), o2);
4633a7c4
LW
4845 goto wrapref;
4846 case '%':
11343788 4847 if (o2->op_type != OP_RV2HV && o2->op_type != OP_PADHV)
5dc0d613 4848 bad_type(arg, "hash", gv_ename(namegv), o2);
4633a7c4
LW
4849 wrapref:
4850 {
11343788 4851 OP* kid = o2;
6fa846a0 4852 OP* sib = kid->op_sibling;
4633a7c4 4853 kid->op_sibling = 0;
6fa846a0
GS
4854 o2 = newUNOP(OP_REFGEN, 0, kid);
4855 o2->op_sibling = sib;
e858de61 4856 prev->op_sibling = o2;
4633a7c4
LW
4857 }
4858 break;
4859 default: goto oops;
4860 }
4861 break;
b1cb66bf 4862 case ' ':
4863 proto++;
4864 continue;
4633a7c4
LW
4865 default:
4866 oops:
4867 croak("Malformed prototype for %s: %s",
3280af22 4868 gv_ename(namegv), SvPV((SV*)cv, PL_na));
4633a7c4
LW
4869 }
4870 }
4871 else
11343788
MB
4872 list(o2);
4873 mod(o2, OP_ENTERSUB);
4874 prev = o2;
4875 o2 = o2->op_sibling;
4633a7c4 4876 }
fb73857a 4877 if (proto && !optional &&
4878 (*proto && *proto != '@' && *proto != '%' && *proto != ';'))
5dc0d613 4879 return too_few_arguments(o, gv_ename(namegv));
11343788 4880 return o;
79072805
LW
4881}
4882
4883OP *
8ac85365 4884ck_svconst(OP *o)
8990e307 4885{
11343788
MB
4886 SvREADONLY_on(cSVOPo->op_sv);
4887 return o;
8990e307
LW
4888}
4889
4890OP *
8ac85365 4891ck_trunc(OP *o)
79072805 4892{
11343788
MB
4893 if (o->op_flags & OPf_KIDS) {
4894 SVOP *kid = (SVOP*)cUNOPo->op_first;
79072805 4895
a0d0e21e
LW
4896 if (kid->op_type == OP_NULL)
4897 kid = (SVOP*)kid->op_sibling;
4898 if (kid &&
4899 kid->op_type == OP_CONST && (kid->op_private & OPpCONST_BARE))
11343788 4900 o->op_flags |= OPf_SPECIAL;
79072805 4901 }
11343788 4902 return ck_fun(o);
79072805
LW
4903}
4904
463ee0b2
LW
4905/* A peephole optimizer. We visit the ops in the order they're to execute. */
4906
79072805 4907void
8ac85365 4908peep(register OP *o)
79072805 4909{
11343788 4910 dTHR;
79072805 4911 register OP* oldop = 0;
a0d0e21e 4912 if (!o || o->op_seq)
79072805 4913 return;
a0d0e21e 4914 ENTER;
462e5cf6 4915 SAVEOP();
3280af22 4916 SAVESPTR(PL_curcop);
a0d0e21e
LW
4917 for (; o; o = o->op_next) {
4918 if (o->op_seq)
4919 break;
3280af22
NIS
4920 if (!PL_op_seqmax)
4921 PL_op_seqmax++;
533c011a 4922 PL_op = o;
a0d0e21e
LW
4923 switch (o->op_type) {
4924 case OP_NEXTSTATE:
4925 case OP_DBSTATE:
3280af22
NIS
4926 PL_curcop = ((COP*)o); /* for warnings */
4927 o->op_seq = PL_op_seqmax++;
a0d0e21e
LW
4928 break;
4929
4930 case OP_CONCAT:
4931 case OP_CONST:
4932 case OP_JOIN:
4933 case OP_UC:
4934 case OP_UCFIRST:
4935 case OP_LC:
4936 case OP_LCFIRST:
4937 case OP_QUOTEMETA:
3c4f770c 4938 if (o->op_next && o->op_next->op_type == OP_STRINGIFY)
a0d0e21e 4939 null(o->op_next);
3280af22 4940 o->op_seq = PL_op_seqmax++;
a0d0e21e 4941 break;
8990e307 4942 case OP_STUB:
54310121 4943 if ((o->op_flags & OPf_WANT) != OPf_WANT_LIST) {
3280af22 4944 o->op_seq = PL_op_seqmax++;
54310121 4945 break; /* Scalar stub must produce undef. List stub is noop */
8990e307 4946 }
748a9306 4947 goto nothin;
79072805 4948 case OP_NULL:
748a9306 4949 if (o->op_targ == OP_NEXTSTATE || o->op_targ == OP_DBSTATE)
3280af22 4950 PL_curcop = ((COP*)o);
748a9306 4951 goto nothin;
79072805 4952 case OP_SCALAR:
93a17b20 4953 case OP_LINESEQ:
463ee0b2 4954 case OP_SCOPE:
748a9306 4955 nothin:
a0d0e21e
LW
4956 if (oldop && o->op_next) {
4957 oldop->op_next = o->op_next;
79072805
LW
4958 continue;
4959 }
3280af22 4960 o->op_seq = PL_op_seqmax++;
79072805
LW
4961 break;
4962
4963 case OP_GV:
a0d0e21e 4964 if (o->op_next->op_type == OP_RV2SV) {
5f05dabc 4965 if (!(o->op_next->op_private & OPpDEREF)) {
a0d0e21e
LW
4966 null(o->op_next);
4967 o->op_private |= o->op_next->op_private & OPpLVAL_INTRO;
4968 o->op_next = o->op_next->op_next;
4969 o->op_type = OP_GVSV;
4970 o->op_ppaddr = ppaddr[OP_GVSV];
8990e307
LW
4971 }
4972 }
a0d0e21e
LW
4973 else if (o->op_next->op_type == OP_RV2AV) {
4974 OP* pop = o->op_next->op_next;
4975 IV i;
8990e307 4976 if (pop->op_type == OP_CONST &&
533c011a 4977 (PL_op = pop->op_next) &&
8990e307 4978 pop->op_next->op_type == OP_AELEM &&
a0d0e21e 4979 !(pop->op_next->op_private &
68dc0745 4980 (OPpLVAL_INTRO|OPpLVAL_DEFER|OPpDEREF)) &&
3280af22 4981 (i = SvIV(((SVOP*)pop)->op_sv) - PL_compiling.cop_arybase)
a0d0e21e 4982 <= 255 &&
8990e307
LW
4983 i >= 0)
4984 {
748a9306 4985 SvREFCNT_dec(((SVOP*)pop)->op_sv);
a0d0e21e 4986 null(o->op_next);
8990e307
LW
4987 null(pop->op_next);
4988 null(pop);
a0d0e21e
LW
4989 o->op_flags |= pop->op_next->op_flags & OPf_MOD;
4990 o->op_next = pop->op_next->op_next;
4991 o->op_type = OP_AELEMFAST;
4992 o->op_ppaddr = ppaddr[OP_AELEMFAST];
4993 o->op_private = (U8)i;
a6006777 4994 GvAVn(((GVOP*)o)->op_gv);
8990e307 4995 }
79072805 4996 }
3280af22 4997 o->op_seq = PL_op_seqmax++;
79072805
LW
4998 break;
4999
af41f3ca
MB
5000 case OP_PADAV:
5001 if (o->op_next->op_type == OP_RV2AV
49e9fbe6 5002 && (o->op_next->op_flags & OPf_REF))
af41f3ca
MB
5003 {
5004 null(o->op_next);
5005 o->op_next = o->op_next->op_next;
5006 }
5007 break;
aeea060c 5008
af41f3ca
MB
5009 case OP_PADHV:
5010 if (o->op_next->op_type == OP_RV2HV
49e9fbe6 5011 && (o->op_next->op_flags & OPf_REF))
af41f3ca
MB
5012 {
5013 null(o->op_next);
5014 o->op_next = o->op_next->op_next;
5015 }
5016 break;
5017
a0d0e21e 5018 case OP_MAPWHILE:
79072805
LW
5019 case OP_GREPWHILE:
5020 case OP_AND:
5021 case OP_OR:
3280af22 5022 o->op_seq = PL_op_seqmax++;
fd4d1407
IZ
5023 while (cLOGOP->op_other->op_type == OP_NULL)
5024 cLOGOP->op_other = cLOGOP->op_other->op_next;
79072805
LW
5025 peep(cLOGOP->op_other);
5026 break;
5027
5028 case OP_COND_EXPR:
3280af22 5029 o->op_seq = PL_op_seqmax++;
79072805
LW
5030 peep(cCONDOP->op_true);
5031 peep(cCONDOP->op_false);
5032 break;
5033
5034 case OP_ENTERLOOP:
3280af22 5035 o->op_seq = PL_op_seqmax++;
79072805
LW
5036 peep(cLOOP->op_redoop);
5037 peep(cLOOP->op_nextop);
5038 peep(cLOOP->op_lastop);
5039 break;
5040
8782bef2 5041 case OP_QR:
79072805
LW
5042 case OP_MATCH:
5043 case OP_SUBST:
3280af22 5044 o->op_seq = PL_op_seqmax++;
a0d0e21e 5045 peep(cPMOP->op_pmreplstart);
79072805
LW
5046 break;
5047
a0d0e21e 5048 case OP_EXEC:
3280af22
NIS
5049 o->op_seq = PL_op_seqmax++;
5050 if (PL_dowarn && o->op_next && o->op_next->op_type == OP_NEXTSTATE) {
a0d0e21e 5051 if (o->op_next->op_sibling &&
20408e3c
GS
5052 o->op_next->op_sibling->op_type != OP_EXIT &&
5053 o->op_next->op_sibling->op_type != OP_WARN &&
a0d0e21e 5054 o->op_next->op_sibling->op_type != OP_DIE) {
3280af22 5055 line_t oldline = PL_curcop->cop_line;
a0d0e21e 5056
3280af22 5057 PL_curcop->cop_line = ((COP*)o->op_next)->cop_line;
a0d0e21e
LW
5058 warn("Statement unlikely to be reached");
5059 warn("(Maybe you meant system() when you said exec()?)\n");
3280af22 5060 PL_curcop->cop_line = oldline;
a0d0e21e
LW
5061 }
5062 }
5063 break;
aeea060c 5064
c750a3ec
MB
5065 case OP_HELEM: {
5066 UNOP *rop;
5067 SV *lexname;
5068 GV **fields;
5069 SV **svp, **indsvp;
5070 I32 ind;
5071 char *key;
5072 STRLEN keylen;
aeea060c 5073
c750a3ec
MB
5074 if (o->op_private & (OPpDEREF_HV|OPpDEREF_AV|OPpLVAL_INTRO)
5075 || ((BINOP*)o)->op_last->op_type != OP_CONST)
5076 break;
5077 rop = (UNOP*)((BINOP*)o)->op_first;
5078 if (rop->op_type != OP_RV2HV || rop->op_first->op_type != OP_PADSV)
5079 break;
3280af22 5080 lexname = *av_fetch(PL_comppad_name, rop->op_first->op_targ, TRUE);
c750a3ec
MB
5081 if (!SvOBJECT(lexname))
5082 break;
5196be3e 5083 fields = (GV**)hv_fetch(SvSTASH(lexname), "FIELDS", 6, FALSE);
c750a3ec
MB
5084 if (!fields || !GvHV(*fields))
5085 break;
5086 svp = &((SVOP*)((BINOP*)o)->op_last)->op_sv;
5087 key = SvPV(*svp, keylen);
5088 indsvp = hv_fetch(GvHV(*fields), key, keylen, FALSE);
5089 if (!indsvp) {
5090 croak("No such field \"%s\" in variable %s of type %s",
3280af22 5091 key, SvPV(lexname, PL_na), HvNAME(SvSTASH(lexname)));
c750a3ec
MB
5092 }
5093 ind = SvIV(*indsvp);
5094 if (ind < 1)
5095 croak("Bad index while coercing array into hash");
5096 rop->op_type = OP_RV2AV;
5097 rop->op_ppaddr = ppaddr[OP_RV2AV];
5098 o->op_type = OP_AELEM;
5099 o->op_ppaddr = ppaddr[OP_AELEM];
5100 SvREFCNT_dec(*svp);
5101 *svp = newSViv(ind);
5102 break;
5103 }
5104
79072805 5105 default:
3280af22 5106 o->op_seq = PL_op_seqmax++;
79072805
LW
5107 break;
5108 }
a0d0e21e 5109 oldop = o;
79072805 5110 }
a0d0e21e 5111 LEAVE;
79072805 5112}