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