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