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