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