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;