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