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