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