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
deprecate use of reserved word "our" (Larry's idea)
[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
36477c24 2103 if (hints & HINT_LOCALE)
2104 pmop->op_pmpermflags = (pmop->op_pmflags |= PMf_LOCALE);
2105
79072805 2106 /* link into pm list */
a0d0e21e 2107 if (type != OP_TRANS && curstash) {
79072805
LW		 2108 pmop->op_pmnext = HvPMROOT(curstash);
2109 HvPMROOT(curstash) = pmop;
2110 }
2111
2112 return (OP*)pmop;
2113}
2114
2115OP *
8ac85365 2116pmruntime(OP *o, OP *expr, OP *repl)
79072805
LW		 2117{
2118 PMOP *pm;
2119 LOGOP *rcop;
ce862d02 2120 I32 repl_has_vars = 0;
79072805 2121
11343788
MB		 2122 if (o->op_type == OP_TRANS)
2123 return pmtrans(o, expr, repl);
79072805 2124
3e3baf6d 2125 hints |= HINT_BLOCK_SCOPE;
11343788 2126 pm = (PMOP*)o;
79072805
LW		 2127
2128 if (expr->op_type == OP_CONST) {
463ee0b2 2129 STRLEN plen;
79072805 2130 SV *pat = ((SVOP*)expr)->op_sv;
463ee0b2 2131 char *p = SvPV(pat, plen);
11343788 2132 if ((o->op_flags & OPf_SPECIAL) && strEQ(p, " ")) {
93a17b20 2133 sv_setpvn(pat, "\\s+", 3);
463ee0b2 2134 p = SvPV(pat, plen);
79072805
LW		 2135 pm->op_pmflags |= PMf_SKIPWHITE;
2136 }
e50aee73 2137 pm->op_pmregexp = pregcomp(p, p + plen, pm);
aeea060c 2138 if (strEQ("\\s+", pm->op_pmregexp->precomp))
85e6fe83 2139 pm->op_pmflags |= PMf_WHITE;
79072805
LW		 2140 op_free(expr);
2141 }
2142 else {
463ee0b2
LW		 2143 if (pm->op_pmflags & PMf_KEEP)
2144 expr = newUNOP(OP_REGCMAYBE,0,expr);
2145
79072805
LW		 2146 Newz(1101, rcop, 1, LOGOP);
2147 rcop->op_type = OP_REGCOMP;
2148 rcop->op_ppaddr = ppaddr[OP_REGCOMP];
2149 rcop->op_first = scalar(expr);
2150 rcop->op_flags |= OPf_KIDS;
2151 rcop->op_private = 1;
11343788 2152 rcop->op_other = o;
79072805
LW		 2153
2154 /* establish postfix order */
463ee0b2
LW		 2155 if (pm->op_pmflags & PMf_KEEP) {
2156 LINKLIST(expr);
2157 rcop->op_next = expr;
2158 ((UNOP*)expr)->op_first->op_next = (OP*)rcop;
2159 }
2160 else {
2161 rcop->op_next = LINKLIST(expr);
2162 expr->op_next = (OP*)rcop;
2163 }
79072805 2164
11343788 2165 prepend_elem(o->op_type, scalar((OP*)rcop), o);
79072805
LW		 2166 }
2167
2168 if (repl) {
748a9306
LW		 2169 OP *curop;
2170 if (pm->op_pmflags & PMf_EVAL)
2171 curop = 0;
554b3eca 2172#ifdef USE_THREADS
2faa37cc 2173 else if (repl->op_type == OP_THREADSV
554b3eca 2174 && strchr("&`'123456789+",
54b9620d 2175 threadsv_names[repl->op_targ]))
554b3eca
MB		 2176 {
2177 curop = 0;
2178 }
2179#endif /* USE_THREADS */
748a9306
LW		 2180 else if (repl->op_type == OP_CONST)
2181 curop = repl;
79072805 2182 else {
79072805
LW		 2183 OP *lastop = 0;
2184 for (curop = LINKLIST(repl); curop!=repl; curop = LINKLIST(curop)) {
2185 if (opargs[curop->op_type] & OA_DANGEROUS) {
554b3eca 2186#ifdef USE_THREADS
ce862d02
IZ		 2187 if (curop->op_type == OP_THREADSV) {
2188 repl_has_vars = 1;
be949f6f 2189 if (strchr("&`'123456789+", curop->op_private))
ce862d02 2190 break;
554b3eca
MB		 2191 }
2192#else
79072805
LW		 2193 if (curop->op_type == OP_GV) {
2194 GV *gv = ((GVOP*)curop)->op_gv;
ce862d02 2195 repl_has_vars = 1;
93a17b20 2196 if (strchr("&`'123456789+", *GvENAME(gv)))
79072805
LW		 2197 break;
2198 }
554b3eca 2199#endif /* USE_THREADS */
79072805
LW		 2200 else if (curop->op_type == OP_RV2CV)
2201 break;
2202 else if (curop->op_type == OP_RV2SV ||
2203 curop->op_type == OP_RV2AV ||
2204 curop->op_type == OP_RV2HV ||
2205 curop->op_type == OP_RV2GV) {
2206 if (lastop && lastop->op_type != OP_GV) /*funny deref?*/
2207 break;
2208 }
748a9306
LW		 2209 else if (curop->op_type == OP_PADSV ||
2210 curop->op_type == OP_PADAV ||
2211 curop->op_type == OP_PADHV ||
554b3eca 2212 curop->op_type == OP_PADANY) {
ce862d02 2213 repl_has_vars = 1;
748a9306 2214 }
79072805
LW		 2215 else
2216 break;
2217 }
2218 lastop = curop;
2219 }
748a9306 2220 }
ce862d02
IZ		 2221 if (curop == repl
2222 && !(repl_has_vars
2223 && (!pm->op_pmregexp
2224 || pm->op_pmregexp->reganch & ROPT_EVAL_SEEN))) {
748a9306 2225 pm->op_pmflags |= PMf_CONST; /* const for long enough */
4633a7c4 2226 pm->op_pmpermflags |= PMf_CONST; /* const for long enough */
11343788 2227 prepend_elem(o->op_type, scalar(repl), o);
748a9306
LW		 2228 }
2229 else {
ce862d02
IZ		 2230 if (curop == repl && !pm->op_pmregexp) { /* Has variables. */
2231 pm->op_pmflags |= PMf_MAYBE_CONST;
2232 pm->op_pmpermflags |= PMf_MAYBE_CONST;
2233 }
748a9306
LW		 2234 Newz(1101, rcop, 1, LOGOP);
2235 rcop->op_type = OP_SUBSTCONT;
2236 rcop->op_ppaddr = ppaddr[OP_SUBSTCONT];
2237 rcop->op_first = scalar(repl);
2238 rcop->op_flags |= OPf_KIDS;
2239 rcop->op_private = 1;
11343788 2240 rcop->op_other = o;
748a9306
LW		 2241
2242 /* establish postfix order */
2243 rcop->op_next = LINKLIST(repl);
2244 repl->op_next = (OP*)rcop;
2245
2246 pm->op_pmreplroot = scalar((OP*)rcop);
2247 pm->op_pmreplstart = LINKLIST(rcop);
2248 rcop->op_next = 0;
79072805
LW		 2249 }
2250 }
2251
2252 return (OP*)pm;
2253}
2254
2255OP *
8ac85365 2256newSVOP(I32 type, I32 flags, SV *sv)
79072805
LW		 2257{
2258 SVOP *svop;
2259 Newz(1101, svop, 1, SVOP);
2260 svop->op_type = type;
2261 svop->op_ppaddr = ppaddr[type];
2262 svop->op_sv = sv;
2263 svop->op_next = (OP*)svop;
2264 svop->op_flags = flags;
2265 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2266 scalar((OP*)svop);
79072805 2267 if (opargs[type] & OA_TARGET)
ed6116ce 2268 svop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2269 return CHECKOP(type, svop);
79072805
LW		 2270}
2271
2272OP *
8ac85365 2273newGVOP(I32 type, I32 flags, GV *gv)
79072805 2274{
11343788 2275 dTHR;
79072805
LW		 2276 GVOP *gvop;
2277 Newz(1101, gvop, 1, GVOP);
2278 gvop->op_type = type;
2279 gvop->op_ppaddr = ppaddr[type];
8990e307 2280 gvop->op_gv = (GV*)SvREFCNT_inc(gv);
79072805
LW		 2281 gvop->op_next = (OP*)gvop;
2282 gvop->op_flags = flags;
2283 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2284 scalar((OP*)gvop);
79072805 2285 if (opargs[type] & OA_TARGET)
ed6116ce 2286 gvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2287 return CHECKOP(type, gvop);
79072805
LW		 2288}
2289
2290OP *
8ac85365 2291newPVOP(I32 type, I32 flags, char *pv)
79072805
LW		 2292{
2293 PVOP *pvop;
2294 Newz(1101, pvop, 1, PVOP);
2295 pvop->op_type = type;
2296 pvop->op_ppaddr = ppaddr[type];
2297 pvop->op_pv = pv;
2298 pvop->op_next = (OP*)pvop;
2299 pvop->op_flags = flags;
2300 if (opargs[type] & OA_RETSCALAR)
463ee0b2 2301 scalar((OP*)pvop);
79072805 2302 if (opargs[type] & OA_TARGET)
ed6116ce 2303 pvop->op_targ = pad_alloc(type, SVs_PADTMP);
e50aee73 2304 return CHECKOP(type, pvop);
79072805
LW		 2305}
2306
79072805 2307void
8ac85365 2308package(OP *o)
79072805 2309{
11343788 2310 dTHR;
93a17b20 2311 SV *sv;
79072805
LW		 2312
2313 save_hptr(&curstash);
2314 save_item(curstname);
11343788 2315 if (o) {
463ee0b2
LW		 2316 STRLEN len;
2317 char *name;
11343788 2318 sv = cSVOPo->op_sv;
463ee0b2 2319 name = SvPV(sv, len);
b1cb66bf 2320 curstash = gv_stashpvn(name,len,TRUE);
463ee0b2 2321 sv_setpvn(curstname, name, len);
11343788 2322 op_free(o);
93a17b20
LW		 2323 }
2324 else {
2325 sv_setpv(curstname,"<none>");
2326 curstash = Nullhv;
2327 }
79072805 2328 copline = NOLINE;
8990e307 2329 expect = XSTATE;
79072805
LW		 2330}
2331
85e6fe83 2332void
8ac85365 2333utilize(int aver, I32 floor, OP *version, OP *id, OP *arg)
85e6fe83 2334{
a0d0e21e
LW		 2335 OP *pack;
2336 OP *meth;
2337 OP *rqop;
2338 OP *imop;
b1cb66bf 2339 OP *veop;
85e6fe83 2340
a0d0e21e
LW		 2341 if (id->op_type != OP_CONST)
2342 croak("Module name must be constant");
85e6fe83 2343
b1cb66bf 2344 veop = Nullop;
2345
2346 if(version != Nullop) {
2347 SV *vesv = ((SVOP*)version)->op_sv;
2348
2349 if (arg == Nullop && !SvNIOK(vesv)) {
2350 arg = version;
2351 }
2352 else {
2353 OP *pack;
2354 OP *meth;
2355
2356 if (version->op_type != OP_CONST || !SvNIOK(vesv))
2357 croak("Version number must be constant number");
2358
2359 /* Make copy of id so we don't free it twice */
2360 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
2361
2362 /* Fake up a method call to VERSION */
2363 meth = newSVOP(OP_CONST, 0, newSVpv("VERSION", 7));
2364 veop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
2365 append_elem(OP_LIST,
2366 prepend_elem(OP_LIST, pack, list(version)),
2367 newUNOP(OP_METHOD, 0, meth)));
2368 }
2369 }
aeea060c 2370
a0d0e21e 2371 /* Fake up an import/unimport */
4633a7c4
LW		 2372 if (arg && arg->op_type == OP_STUB)
2373 imop = arg; /* no import on explicit () */
b1cb66bf 2374 else if(SvNIOK(((SVOP*)id)->op_sv)) {
2375 imop = Nullop; /* use 5.0; */
2376 }
4633a7c4
LW		 2377 else {
2378 /* Make copy of id so we don't free it twice */
2379 pack = newSVOP(OP_CONST, 0, newSVsv(((SVOP*)id)->op_sv));
4633a7c4
LW		 2380 meth = newSVOP(OP_CONST, 0,
2381 aver
2382 ? newSVpv("import", 6)
2383 : newSVpv("unimport", 8)
2384 );
2385 imop = convert(OP_ENTERSUB, OPf_STACKED|OPf_SPECIAL,
a0d0e21e
LW		 2386 append_elem(OP_LIST,
2387 prepend_elem(OP_LIST, pack, list(arg)),
2388 newUNOP(OP_METHOD, 0, meth)));
4633a7c4
LW		 2389 }
2390
2391 /* Fake up a require */
2392 rqop = newUNOP(OP_REQUIRE, 0, id);
a0d0e21e
LW		 2393
2394 /* Fake up the BEGIN {}, which does its thing immediately. */
c07a80fd 2395 newSUB(floor,
a0d0e21e 2396 newSVOP(OP_CONST, 0, newSVpv("BEGIN", 5)),
4633a7c4 2397 Nullop,
a0d0e21e 2398 append_elem(OP_LINESEQ,
b1cb66bf 2399 append_elem(OP_LINESEQ,
2400 newSTATEOP(0, Nullch, rqop),
2401 newSTATEOP(0, Nullch, veop)),
a0d0e21e 2402 newSTATEOP(0, Nullch, imop) ));
85e6fe83 2403
85e6fe83
LW		 2404 copline = NOLINE;
2405 expect = XSTATE;
2406}
2407
79072805 2408OP *
8ac85365 2409newSLICEOP(I32 flags, OP *subscript, OP *listval)
79072805
LW		 2410{
2411 return newBINOP(OP_LSLICE, flags,
8990e307
LW		 2412 list(force_list(subscript)),
2413 list(force_list(listval)) );
79072805
LW		 2414}
2415
76e3520e 2416STATIC I32
8ac85365 2417list_assignment(register OP *o)
79072805 2418{
11343788 2419 if (!o)
79072805
LW		 2420 return TRUE;
2421
11343788
MB		 2422 if (o->op_type == OP_NULL && o->op_flags & OPf_KIDS)
2423 o = cUNOPo->op_first;
79072805 2424
11343788
MB		 2425 if (o->op_type == OP_COND_EXPR) {
2426 I32 t = list_assignment(cCONDOPo->op_first->op_sibling);
2427 I32 f = list_assignment(cCONDOPo->op_first->op_sibling->op_sibling);
79072805
LW		 2428
2429 if (t && f)
2430 return TRUE;
2431 if (t || f)
2432 yyerror("Assignment to both a list and a scalar");
2433 return FALSE;
2434 }
2435
11343788
MB		 2436 if (o->op_type == OP_LIST || o->op_flags & OPf_PARENS ||
2437 o->op_type == OP_RV2AV || o->op_type == OP_RV2HV ||
2438 o->op_type == OP_ASLICE || o->op_type == OP_HSLICE)
79072805
LW		 2439 return TRUE;
2440
11343788 2441 if (o->op_type == OP_PADAV || o->op_type == OP_PADHV)
93a17b20
LW		 2442 return TRUE;
2443
11343788 2444 if (o->op_type == OP_RV2SV)
79072805
LW		 2445 return FALSE;
2446
2447 return FALSE;
2448}
2449
2450OP *
8ac85365 2451newASSIGNOP(I32 flags, OP *left, I32 optype, OP *right)
79072805 2452{
11343788 2453 OP *o;
79072805 2454
a0d0e21e
LW		 2455 if (optype) {
2456 if (optype == OP_ANDASSIGN || optype == OP_ORASSIGN) {
2457 return newLOGOP(optype, 0,
2458 mod(scalar(left), optype),
2459 newUNOP(OP_SASSIGN, 0, scalar(right)));
2460 }
2461 else {
2462 return newBINOP(optype, OPf_STACKED,
2463 mod(scalar(left), optype), scalar(right));
2464 }
2465 }
2466
79072805 2467 if (list_assignment(left)) {
6ee623d5 2468 dTHR;
463ee0b2 2469 modcount = 0;
748a9306 2470 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
463ee0b2 2471 left = mod(left, OP_AASSIGN);
748a9306
LW		 2472 if (eval_start)
2473 eval_start = 0;
2474 else {
a0d0e21e
LW		 2475 op_free(left);
2476 op_free(right);
2477 return Nullop;
2478 }
11343788 2479 o = newBINOP(OP_AASSIGN, flags,
8990e307
LW		 2480 list(force_list(right)),
2481 list(force_list(left)) );
11343788 2482 o->op_private = 0 | (flags >> 8);
a0d0e21e 2483 if (!(left->op_private & OPpLVAL_INTRO)) {
79072805 2484 OP *curop;
11343788 2485 OP *lastop = o;
79072805 2486 generation++;
11343788 2487 for (curop = LINKLIST(o); curop != o; curop = LINKLIST(curop)) {
79072805
LW		 2488 if (opargs[curop->op_type] & OA_DANGEROUS) {
2489 if (curop->op_type == OP_GV) {
2490 GV *gv = ((GVOP*)curop)->op_gv;
2491 if (gv == defgv || SvCUR(gv) == generation)
2492 break;
2493 SvCUR(gv) = generation;
2494 }
748a9306
LW		 2495 else if (curop->op_type == OP_PADSV ||
2496 curop->op_type == OP_PADAV ||
2497 curop->op_type == OP_PADHV ||
2498 curop->op_type == OP_PADANY) {
2499 SV **svp = AvARRAY(comppad_name);
8e07c86e 2500 SV *sv = svp[curop->op_targ];
748a9306
LW		 2501 if (SvCUR(sv) == generation)
2502 break;
2503 SvCUR(sv) = generation; /* (SvCUR not used any more) */
2504 }
79072805
LW		 2505 else if (curop->op_type == OP_RV2CV)
2506 break;
2507 else if (curop->op_type == OP_RV2SV ||
2508 curop->op_type == OP_RV2AV ||
2509 curop->op_type == OP_RV2HV ||
2510 curop->op_type == OP_RV2GV) {
2511 if (lastop->op_type != OP_GV) /* funny deref? */
2512 break;
2513 }
2514 else
2515 break;
2516 }
2517 lastop = curop;
2518 }
11343788
MB		 2519 if (curop != o)
2520 o->op_private = OPpASSIGN_COMMON;
79072805 2521 }
c07a80fd 2522 if (right && right->op_type == OP_SPLIT) {
2523 OP* tmpop;
2524 if ((tmpop = ((LISTOP*)right)->op_first) &&
2525 tmpop->op_type == OP_PUSHRE)
2526 {
2527 PMOP *pm = (PMOP*)tmpop;
2528 if (left->op_type == OP_RV2AV &&
2529 !(left->op_private & OPpLVAL_INTRO) &&
11343788 2530 !(o->op_private & OPpASSIGN_COMMON) )
c07a80fd 2531 {
2532 tmpop = ((UNOP*)left)->op_first;
2533 if (tmpop->op_type == OP_GV && !pm->op_pmreplroot) {
2534 pm->op_pmreplroot = (OP*)((GVOP*)tmpop)->op_gv;
2535 pm->op_pmflags |= PMf_ONCE;
11343788 2536 tmpop = cUNOPo->op_first; /* to list (nulled) */
c07a80fd 2537 tmpop = ((UNOP*)tmpop)->op_first; /* to pushmark */
2538 tmpop->op_sibling = Nullop; /* don't free split */
2539 right->op_next = tmpop->op_next; /* fix starting loc */
11343788 2540 op_free(o); /* blow off assign */
54310121 2541 right->op_flags &= ~OPf_WANT;
a5f75d66 2542 /* "I don't know and I don't care." */
c07a80fd 2543 return right;
2544 }
2545 }
2546 else {
2547 if (modcount < 10000 &&
2548 ((LISTOP*)right)->op_last->op_type == OP_CONST)
2549 {
2550 SV *sv = ((SVOP*)((LISTOP*)right)->op_last)->op_sv;
2551 if (SvIVX(sv) == 0)
2552 sv_setiv(sv, modcount+1);
2553 }
2554 }
2555 }
2556 }
11343788 2557 return o;
79072805
LW		 2558 }
2559 if (!right)
2560 right = newOP(OP_UNDEF, 0);
2561 if (right->op_type == OP_READLINE) {
2562 right->op_flags |= OPf_STACKED;
463ee0b2 2563 return newBINOP(OP_NULL, flags, mod(scalar(left), OP_SASSIGN), scalar(right));
79072805 2564 }
a0d0e21e 2565 else {
748a9306 2566 eval_start = right; /* Grandfathering $[ assignment here. Bletch.*/
11343788 2567 o = newBINOP(OP_SASSIGN, flags,
463ee0b2 2568 scalar(right), mod(scalar(left), OP_SASSIGN) );
748a9306
LW		 2569 if (eval_start)
2570 eval_start = 0;
2571 else {
11343788 2572 op_free(o);
a0d0e21e
LW		 2573 return Nullop;
2574 }
2575 }
11343788 2576 return o;
79072805
LW		 2577}
2578
2579OP *
8ac85365 2580newSTATEOP(I32 flags, char *label, OP *o)
79072805 2581{
11343788 2582 dTHR;
bbce6d69 2583 U32 seq = intro_my();
79072805
LW		 2584 register COP *cop;
2585
2586 Newz(1101, cop, 1, COP);
84902520 2587 if (PERLDB_LINE && curcop->cop_line && curstash != debstash) {
8990e307
LW		 2588 cop->op_type = OP_DBSTATE;
2589 cop->op_ppaddr = ppaddr[ OP_DBSTATE ];
2590 }
2591 else {
2592 cop->op_type = OP_NEXTSTATE;
2593 cop->op_ppaddr = ppaddr[ OP_NEXTSTATE ];
2594 }
79072805 2595 cop->op_flags = flags;
c07a80fd 2596 cop->op_private = 0 | (flags >> 8);
ff0cee69 2597#ifdef NATIVE_HINTS
2598 cop->op_private |= NATIVE_HINTS;
2599#endif
79072805
LW		 2600 cop->op_next = (OP*)cop;
2601
463ee0b2
LW		 2602 if (label) {
2603 cop->cop_label = label;
85e6fe83 2604 hints |= HINT_BLOCK_SCOPE;
463ee0b2 2605 }
bbce6d69 2606 cop->cop_seq = seq;
a0d0e21e 2607 cop->cop_arybase = curcop->cop_arybase;
79072805
LW		 2608
2609 if (copline == NOLINE)
2610 cop->cop_line = curcop->cop_line;
2611 else {
2612 cop->cop_line = copline;
2613 copline = NOLINE;
2614 }
44a8e56a 2615 cop->cop_filegv = (GV*)SvREFCNT_inc(curcop->cop_filegv);
79072805
LW		 2616 cop->cop_stash = curstash;
2617
84902520 2618 if (PERLDB_LINE && curstash != debstash) {
93a17b20
LW		 2619 SV **svp = av_fetch(GvAV(curcop->cop_filegv),(I32)cop->cop_line, FALSE);
2620 if (svp && *svp != &sv_undef && !SvIOK(*svp)) {
a0d0e21e 2621 (void)SvIOK_on(*svp);
a5f75d66 2622 SvIVX(*svp) = 1;
93a17b20
LW		 2623 SvSTASH(*svp) = (HV*)cop;
2624 }
2625 }
2626
11343788 2627 return prepend_elem(OP_LINESEQ, (OP*)cop, o);
79072805
LW		 2628}
2629
bbce6d69 2630/* "Introduce" my variables to visible status. */
2631U32
8ac85365 2632intro_my(void)
bbce6d69 2633{
2634 SV **svp;
2635 SV *sv;
2636 I32 i;
2637
2638 if (! min_intro_pending)
2639 return cop_seqmax;
2640
2641 svp = AvARRAY(comppad_name);
2642 for (i = min_intro_pending; i <= max_intro_pending; i++) {
2643 if ((sv = svp[i]) && sv != &sv_undef && !SvIVX(sv)) {
2644 SvIVX(sv) = 999999999; /* Don't know scope end yet. */
2645 SvNVX(sv) = (double)cop_seqmax;
2646 }
2647 }
2648 min_intro_pending = 0;
2649 comppad_name_fill = max_intro_pending; /* Needn't search higher */
2650 return cop_seqmax++;
2651}
2652
79072805 2653OP *
8ac85365 2654newLOGOP(I32 type, I32 flags, OP *first, OP *other)
79072805 2655{
883ffac3
CS		 2656 return new_logop(type, flags, &first, &other);
2657}
2658
3bd495df 2659STATIC OP *
883ffac3
CS		 2660new_logop(I32 type, I32 flags, OP** firstp, OP** otherp)
2661{
11343788 2662 dTHR;
79072805 2663 LOGOP *logop;
11343788 2664 OP *o;
883ffac3
CS		 2665 OP *first = *firstp;
2666 OP *other = *otherp;
79072805 2667
a0d0e21e
LW		 2668 if (type == OP_XOR) /* Not short circuit, but here by precedence. */
2669 return newBINOP(type, flags, scalar(first), scalar(other));
2670
8990e307 2671 scalarboolean(first);
79072805
LW		 2672 /* optimize "!a && b" to "a || b", and "!a || b" to "a && b" */
2673 if (first->op_type == OP_NOT && (first->op_flags & OPf_SPECIAL)) {
2674 if (type == OP_AND || type == OP_OR) {
2675 if (type == OP_AND)
2676 type = OP_OR;
2677 else
2678 type = OP_AND;
11343788 2679 o = first;
883ffac3 2680 first = *firstp = cUNOPo->op_first;
11343788
MB		 2681 if (o->op_next)
2682 first->op_next = o->op_next;
2683 cUNOPo->op_first = Nullop;
2684 op_free(o);
79072805
LW		 2685 }
2686 }
2687 if (first->op_type == OP_CONST) {
93a17b20 2688 if (dowarn && (first->op_private & OPpCONST_BARE))
c07a80fd 2689 warn("Probable precedence problem on %s", op_desc[type]);
79072805
LW		 2690 if ((type == OP_AND) == (SvTRUE(((SVOP*)first)->op_sv))) {
2691 op_free(first);
883ffac3 2692 *firstp = Nullop;
79072805
LW		 2693 return other;
2694 }
2695 else {
2696 op_free(other);
883ffac3 2697 *otherp = Nullop;
79072805
LW		 2698 return first;
2699 }
2700 }
2701 else if (first->op_type == OP_WANTARRAY) {
2702 if (type == OP_AND)
2703 list(other);
2704 else
2705 scalar(other);
2706 }
a6006777 2707 else if (dowarn && (first->op_flags & OPf_KIDS)) {
2708 OP *k1 = ((UNOP*)first)->op_first;
2709 OP *k2 = k1->op_sibling;
2710 OPCODE warnop = 0;
2711 switch (first->op_type)
2712 {
2713 case OP_NULL:
2714 if (k2 && k2->op_type == OP_READLINE
2715 && (k2->op_flags & OPf_STACKED)
55d729e4 2716 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
a6006777 2717 warnop = k2->op_type;
2718 break;
2719
2720 case OP_SASSIGN:
68dc0745 2721 if (k1->op_type == OP_READDIR
2722 || k1->op_type == OP_GLOB
2723 || k1->op_type == OP_EACH)
a6006777 2724 warnop = k1->op_type;
2725 break;
2726 }
8ebc5c01 2727 if (warnop) {
2728 line_t oldline = curcop->cop_line;
2729 curcop->cop_line = copline;
68dc0745 2730 warn("Value of %s%s can be \"0\"; test with defined()",
2731 op_desc[warnop],
2732 ((warnop == OP_READLINE || warnop == OP_GLOB)
2733 ? " construct" : "() operator"));
2734 curcop->cop_line = oldline;
8ebc5c01 2735 }
a6006777 2736 }
79072805
LW		 2737
2738 if (!other)
2739 return first;
2740
a0d0e21e
LW		 2741 if (type == OP_ANDASSIGN || type == OP_ORASSIGN)
2742 other->op_private |= OPpASSIGN_BACKWARDS; /* other is an OP_SASSIGN */
2743
79072805
LW		 2744 Newz(1101, logop, 1, LOGOP);
2745
2746 logop->op_type = type;
2747 logop->op_ppaddr = ppaddr[type];
2748 logop->op_first = first;
2749 logop->op_flags = flags | OPf_KIDS;
2750 logop->op_other = LINKLIST(other);
c07a80fd 2751 logop->op_private = 1 | (flags >> 8);
79072805
LW		 2752
2753 /* establish postfix order */
2754 logop->op_next = LINKLIST(first);
2755 first->op_next = (OP*)logop;
2756 first->op_sibling = other;
2757
11343788
MB		 2758 o = newUNOP(OP_NULL, 0, (OP*)logop);
2759 other->op_next = o;
79072805 2760
11343788 2761 return o;
79072805
LW		 2762}
2763
2764OP *
8ac85365 2765newCONDOP(I32 flags, OP *first, OP *trueop, OP *falseop)
79072805 2766{
11343788 2767 dTHR;
79072805 2768 CONDOP *condop;
11343788 2769 OP *o;
79072805 2770
b1cb66bf 2771 if (!falseop)
2772 return newLOGOP(OP_AND, 0, first, trueop);
2773 if (!trueop)
2774 return newLOGOP(OP_OR, 0, first, falseop);
79072805 2775
8990e307 2776 scalarboolean(first);
79072805
LW		 2777 if (first->op_type == OP_CONST) {
2778 if (SvTRUE(((SVOP*)first)->op_sv)) {
2779 op_free(first);
b1cb66bf 2780 op_free(falseop);
2781 return trueop;
79072805
LW		 2782 }
2783 else {
2784 op_free(first);
b1cb66bf 2785 op_free(trueop);
2786 return falseop;
79072805
LW		 2787 }
2788 }
2789 else if (first->op_type == OP_WANTARRAY) {
b1cb66bf 2790 list(trueop);
2791 scalar(falseop);
79072805
LW		 2792 }
2793 Newz(1101, condop, 1, CONDOP);
2794
2795 condop->op_type = OP_COND_EXPR;
2796 condop->op_ppaddr = ppaddr[OP_COND_EXPR];
2797 condop->op_first = first;
2798 condop->op_flags = flags | OPf_KIDS;
b1cb66bf 2799 condop->op_true = LINKLIST(trueop);
2800 condop->op_false = LINKLIST(falseop);
c07a80fd 2801 condop->op_private = 1 | (flags >> 8);
79072805
LW		 2802
2803 /* establish postfix order */
2804 condop->op_next = LINKLIST(first);
2805 first->op_next = (OP*)condop;
2806
b1cb66bf 2807 first->op_sibling = trueop;
2808 trueop->op_sibling = falseop;
11343788 2809 o = newUNOP(OP_NULL, 0, (OP*)condop);
79072805 2810
5dc0d613
MB		 2811 trueop->op_next = o;
2812 falseop->op_next = o;
79072805 2813
11343788 2814 return o;
79072805
LW		 2815}
2816
2817OP *
8ac85365 2818newRANGE(I32 flags, OP *left, OP *right)
79072805 2819{
b35b2403 2820 dTHR;
79072805
LW		 2821 CONDOP *condop;
2822 OP *flip;
2823 OP *flop;
11343788 2824 OP *o;
79072805
LW		 2825
2826 Newz(1101, condop, 1, CONDOP);
2827
2828 condop->op_type = OP_RANGE;
2829 condop->op_ppaddr = ppaddr[OP_RANGE];
2830 condop->op_first = left;
2831 condop->op_flags = OPf_KIDS;
2832 condop->op_true = LINKLIST(left);
2833 condop->op_false = LINKLIST(right);
c07a80fd 2834 condop->op_private = 1 | (flags >> 8);
79072805
LW		 2835
2836 left->op_sibling = right;
2837
2838 condop->op_next = (OP*)condop;
2839 flip = newUNOP(OP_FLIP, flags, (OP*)condop);
2840 flop = newUNOP(OP_FLOP, 0, flip);
11343788 2841 o = newUNOP(OP_NULL, 0, flop);
79072805
LW		 2842 linklist(flop);
2843
2844 left->op_next = flip;
2845 right->op_next = flop;
2846
ed6116ce 2847 condop->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805 2848 sv_upgrade(PAD_SV(condop->op_targ), SVt_PVNV);
ed6116ce 2849 flip->op_targ = pad_alloc(OP_RANGE, SVs_PADMY);
79072805
LW		 2850 sv_upgrade(PAD_SV(flip->op_targ), SVt_PVNV);
2851
2852 flip->op_private = left->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2853 flop->op_private = right->op_type == OP_CONST ? OPpFLIP_LINENUM : 0;
2854
11343788 2855 flip->op_next = o;
79072805 2856 if (!flip->op_private || !flop->op_private)
11343788 2857 linklist(o); /* blow off optimizer unless constant */
79072805 2858
11343788 2859 return o;
79072805
LW		 2860}
2861
2862OP *
8ac85365 2863newLOOPOP(I32 flags, I32 debuggable, OP *expr, OP *block)
79072805 2864{
11343788 2865 dTHR;
463ee0b2 2866 OP* listop;
11343788 2867 OP* o;
463ee0b2 2868 int once = block && block->op_flags & OPf_SPECIAL &&
a0d0e21e 2869 (block->op_type == OP_ENTERSUB || block->op_type == OP_NULL);
93a17b20 2870
463ee0b2
LW		 2871 if (expr) {
2872 if (once && expr->op_type == OP_CONST && !SvTRUE(((SVOP*)expr)->op_sv))
2873 return block; /* do {} while 0 does once */
fb73857a 2874 if (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2875 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB)) {
774d564b 2876 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2877 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
55d729e4
GS		 2878 } else if (expr->op_flags & OPf_KIDS) {
2879 OP *k1 = ((UNOP*)expr)->op_first;
2880 OP *k2 = (k1) ? k1->op_sibling : NULL;
2881 switch (expr->op_type) {
2882 case OP_NULL:
2883 if (k2 && k2->op_type == OP_READLINE
2884 && (k2->op_flags & OPf_STACKED)
2885 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
2886 expr = newUNOP(OP_DEFINED, 0, expr);
2887 break;
2888
2889 case OP_SASSIGN:
2890 if (k1->op_type == OP_READDIR
2891 || k1->op_type == OP_GLOB
2892 || k1->op_type == OP_EACH)
2893 expr = newUNOP(OP_DEFINED, 0, expr);
2894 break;
2895 }
774d564b 2896 }
463ee0b2 2897 }
93a17b20 2898
8990e307 2899 listop = append_elem(OP_LINESEQ, block, newOP(OP_UNSTACK, 0));
883ffac3 2900 o = new_logop(OP_AND, 0, &expr, &listop);
463ee0b2 2901
883ffac3
CS		 2902 if (listop)
2903 ((LISTOP*)listop)->op_last->op_next = LINKLIST(o);
79072805 2904
11343788
MB		 2905 if (once && o != listop)
2906 o->op_next = ((LOGOP*)cUNOPo->op_first)->op_other;
79072805 2907
11343788
MB		 2908 if (o == listop)
2909 o = newUNOP(OP_NULL, 0, o); /* or do {} while 1 loses outer block */
748a9306 2910
11343788
MB		 2911 o->op_flags |= flags;
2912 o = scope(o);
2913 o->op_flags |= OPf_SPECIAL; /* suppress POPBLOCK curpm restoration*/
2914 return o;
79072805
LW		 2915}
2916
2917OP *
8ac85365 2918newWHILEOP(I32 flags, I32 debuggable, LOOP *loop, I32 whileline, OP *expr, OP *block, OP *cont)
79072805 2919{
11343788 2920 dTHR;
79072805
LW		 2921 OP *redo;
2922 OP *next = 0;
2923 OP *listop;
11343788 2924 OP *o;
79072805
LW		 2925 OP *condop;
2926
fb73857a 2927 if (expr && (expr->op_type == OP_READLINE || expr->op_type == OP_GLOB
2928 || (expr->op_type == OP_NULL && expr->op_targ == OP_GLOB))) {
748a9306 2929 expr = newUNOP(OP_DEFINED, 0,
54b9620d 2930 newASSIGNOP(0, newDEFSVOP(), 0, expr) );
55d729e4
GS		 2931 } else if (expr && (expr->op_flags & OPf_KIDS)) {
2932 OP *k1 = ((UNOP*)expr)->op_first;
2933 OP *k2 = (k1) ? k1->op_sibling : NULL;
2934 switch (expr->op_type) {
2935 case OP_NULL:
2936 if (k2 && k2->op_type == OP_READLINE
2937 && (k2->op_flags & OPf_STACKED)
2938 && ((k1->op_flags & OPf_WANT) == OPf_WANT_SCALAR))
2939 expr = newUNOP(OP_DEFINED, 0, expr);
2940 break;
2941
2942 case OP_SASSIGN:
2943 if (k1->op_type == OP_READDIR
2944 || k1->op_type == OP_GLOB
2945 || k1->op_type == OP_EACH)
2946 expr = newUNOP(OP_DEFINED, 0, expr);
2947 break;
2948 }
748a9306 2949 }
79072805
LW		 2950
2951 if (!block)
2952 block = newOP(OP_NULL, 0);
2953
2954 if (cont)
2955 next = LINKLIST(cont);
fb73857a 2956 if (expr) {
79072805 2957 cont = append_elem(OP_LINESEQ, cont, newOP(OP_UNSTACK, 0));
fb73857a 2958 if ((line_t)whileline != NOLINE) {
2959 copline = whileline;
2960 cont = append_elem(OP_LINESEQ, cont,
2961 newSTATEOP(0, Nullch, Nullop));
2962 }
2963 }
79072805 2964
463ee0b2 2965 listop = append_list(OP_LINESEQ, (LISTOP*)block, (LISTOP*)cont);
79072805
LW		 2966 redo = LINKLIST(listop);
2967
2968 if (expr) {
883ffac3
CS		 2969 copline = whileline;
2970 scalar(listop);
2971 o = new_logop(OP_AND, 0, &expr, &listop);
11343788 2972 if (o == expr && o->op_type == OP_CONST && !SvTRUE(cSVOPo->op_sv)) {
85e6fe83 2973 op_free(expr); /* oops, it's a while (0) */
463ee0b2 2974 op_free((OP*)loop);
883ffac3 2975 return Nullop; /* listop already freed by new_logop */
463ee0b2 2976 }
883ffac3
CS		 2977 if (listop)
2978 ((LISTOP*)listop)->op_last->op_next = condop =
2979 (o == listop ? redo : LINKLIST(o));
79072805
LW		 2980 if (!next)
2981 next = condop;
2982 }
2983 else
11343788 2984 o = listop;
79072805
LW		 2985
2986 if (!loop) {
2987 Newz(1101,loop,1,LOOP);
2988 loop->op_type = OP_ENTERLOOP;
2989 loop->op_ppaddr = ppaddr[OP_ENTERLOOP];
2990 loop->op_private = 0;
2991 loop->op_next = (OP*)loop;
2992 }
2993
11343788 2994 o = newBINOP(OP_LEAVELOOP, 0, (OP*)loop, o);
79072805
LW		 2995
2996 loop->op_redoop = redo;
11343788 2997 loop->op_lastop = o;
79072805
LW		 2998
2999 if (next)
3000 loop->op_nextop = next;
3001 else
11343788 3002 loop->op_nextop = o;
79072805 3003
11343788
MB		 3004 o->op_flags |= flags;
3005 o->op_private |= (flags >> 8);
3006 return o;
79072805
LW		 3007}
3008
3009OP *
8990e307 3010newFOROP(I32 flags,char *label,line_t forline,OP *sv,OP *expr,OP *block,OP *cont)
79072805
LW		 3011{
3012 LOOP *loop;
fb73857a 3013 OP *wop;
85e6fe83 3014 int padoff = 0;
4633a7c4 3015 I32 iterflags = 0;
79072805 3016
79072805 3017 if (sv) {
85e6fe83 3018 if (sv->op_type == OP_RV2SV) { /* symbol table variable */
748a9306
LW		 3019 sv->op_type = OP_RV2GV;
3020 sv->op_ppaddr = ppaddr[OP_RV2GV];
79072805 3021 }
85e6fe83
LW		 3022 else if (sv->op_type == OP_PADSV) { /* private variable */
3023 padoff = sv->op_targ;
3024 op_free(sv);
3025 sv = Nullop;
3026 }
54b9620d
MB		 3027 else if (sv->op_type == OP_THREADSV) { /* per-thread variable */
3028 padoff = sv->op_targ;
3029 iterflags |= OPf_SPECIAL;
3030 op_free(sv);
3031 sv = Nullop;
3032 }
79072805 3033 else
c07a80fd 3034 croak("Can't use %s for loop variable", op_desc[sv->op_type]);
79072805
LW		 3035 }
3036 else {
54b9620d
MB		 3037#ifdef USE_THREADS
3038 padoff = find_threadsv("_");
3039 iterflags |= OPf_SPECIAL;
3040#else
79072805 3041 sv = newGVOP(OP_GV, 0, defgv);
54b9620d 3042#endif
79072805 3043 }
5f05dabc 3044 if (expr->op_type == OP_RV2AV || expr->op_type == OP_PADAV) {
89ea2908 3045 expr = mod(force_list(scalar(ref(expr, OP_ITER))), OP_GREPSTART);
4633a7c4
LW		 3046 iterflags |= OPf_STACKED;
3047 }
89ea2908
GA		 3048 else if (expr->op_type == OP_NULL &&
3049 (expr->op_flags & OPf_KIDS) &&
3050 ((BINOP*)expr)->op_first->op_type == OP_FLOP)
3051 {
3052 /* Basically turn for($x..$y) into the same as for($x,$y), but we
3053 * set the STACKED flag to indicate that these values are to be
3054 * treated as min/max values by 'pp_iterinit'.
3055 */
3056 UNOP* flip = (UNOP*)((UNOP*)((BINOP*)expr)->op_first)->op_first;
3057 CONDOP* range = (CONDOP*) flip->op_first;
3058 OP* left = range->op_first;
3059 OP* right = left->op_sibling;
5152d7c7 3060 LISTOP* listop;
89ea2908
GA		 3061
3062 range->op_flags &= ~OPf_KIDS;
3063 range->op_first = Nullop;
3064
5152d7c7
GS		 3065 listop = (LISTOP*)newLISTOP(OP_LIST, 0, left, right);
3066 listop->op_first->op_next = range->op_true;
89ea2908 3067 left->op_next = range->op_false;
5152d7c7
GS		 3068 right->op_next = (OP*)listop;
3069 listop->op_next = listop->op_first;
89ea2908
GA		 3070
3071 op_free(expr);
5152d7c7 3072 expr = (OP*)(listop);
89ea2908
GA		 3073 null(expr);
3074 iterflags |= OPf_STACKED;
3075 }
3076 else {
3077 expr = mod(force_list(expr), OP_GREPSTART);
3078 }
3079
3080
4633a7c4 3081 loop = (LOOP*)list(convert(OP_ENTERITER, iterflags,
89ea2908 3082 append_elem(OP_LIST, expr, scalar(sv))));
85e6fe83
LW		 3083 assert(!loop->op_next);
3084 Renew(loop, 1, LOOP);
3085 loop->op_targ = padoff;
fb73857a 3086 wop = newWHILEOP(flags, 1, loop, forline, newOP(OP_ITER, 0), block, cont);
3087 copline = forline;
3088 return newSTATEOP(0, label, wop);
79072805
LW		 3089}
3090
8990e307 3091OP*
8ac85365 3092newLOOPEX(I32 type, OP *label)
8990e307 3093{
11343788
MB		 3094 dTHR;
3095 OP *o;
8990e307 3096 if (type != OP_GOTO || label->op_type == OP_CONST) {
cdaebead
MB		 3097 /* "last()" means "last" */
3098 if (label->op_type == OP_STUB && (label->op_flags & OPf_PARENS))
3099 o = newOP(type, OPf_SPECIAL);
3100 else {
3101 o = newPVOP(type, 0, savepv(label->op_type == OP_CONST
3102 ? SvPVx(((SVOP*)label)->op_sv, na)
3103 : ""));
3104 }
8990e307
LW		 3105 op_free(label);
3106 }
3107 else {
a0d0e21e
LW		 3108 if (label->op_type == OP_ENTERSUB)
3109 label = newUNOP(OP_REFGEN, 0, mod(label, OP_REFGEN));
11343788 3110 o = newUNOP(type, OPf_STACKED, label);
8990e307 3111 }
85e6fe83 3112 hints |= HINT_BLOCK_SCOPE;
11343788 3113 return o;
8990e307
LW		 3114}
3115
79072805 3116void
8ac85365 3117cv_undef(CV *cv)
79072805 3118{
11343788
MB		 3119 dTHR;
3120#ifdef USE_THREADS
e858de61
MB		 3121 if (CvMUTEXP(cv)) {
3122 MUTEX_DESTROY(CvMUTEXP(cv));
3123 Safefree(CvMUTEXP(cv));
3124 CvMUTEXP(cv) = 0;
3125 }
11343788
MB		 3126#endif /* USE_THREADS */
3127
a0d0e21e 3128 if (!CvXSUB(cv) && CvROOT(cv)) {
11343788
MB		 3129#ifdef USE_THREADS
3130 if (CvDEPTH(cv) || (CvOWNER(cv) && CvOWNER(cv) != thr))
3131 croak("Can't undef active subroutine");
3132#else
a0d0e21e
LW		 3133 if (CvDEPTH(cv))
3134 croak("Can't undef active subroutine");
11343788 3135#endif /* USE_THREADS */
8990e307 3136 ENTER;
a0d0e21e
LW		 3137
3138 SAVESPTR(curpad);
3139 curpad = 0;
3140
a5f75d66 3141 if (!CvCLONED(cv))
748a9306 3142 op_free(CvROOT(cv));
79072805 3143 CvROOT(cv) = Nullop;
8990e307 3144 LEAVE;
79072805 3145 }
1d5db326 3146 SvPOK_off((SV*)cv); /* forget prototype */
44a8e56a 3147 CvFLAGS(cv) = 0;
8e07c86e
AD		 3148 SvREFCNT_dec(CvGV(cv));
3149 CvGV(cv) = Nullgv;
3150 SvREFCNT_dec(CvOUTSIDE(cv));
3151 CvOUTSIDE(cv) = Nullcv;
3152 if (CvPADLIST(cv)) {
8ebc5c01 3153 /* may be during global destruction */
3154 if (SvREFCNT(CvPADLIST(cv))) {
93965878 3155 I32 i = AvFILLp(CvPADLIST(cv));
8ebc5c01 3156 while (i >= 0) {
3157 SV** svp = av_fetch(CvPADLIST(cv), i--, FALSE);
46fc3d4c 3158 SV* sv = svp ? *svp : Nullsv;
3159 if (!sv)
3160 continue;
3161 if (sv == (SV*)comppad_name)
3162 comppad_name = Nullav;
3163 else if (sv == (SV*)comppad) {
3164 comppad = Nullav;
3165 curpad = Null(SV**);
3166 }
3167 SvREFCNT_dec(sv);
8ebc5c01 3168 }
3169 SvREFCNT_dec((SV*)CvPADLIST(cv));
8e07c86e 3170 }
8e07c86e
AD		 3171 CvPADLIST(cv) = Nullav;
3172 }
79072805
LW		 3173}
3174
5f05dabc 3175#ifdef DEBUG_CLOSURES
76e3520e 3176STATIC void
5f05dabc 3177cv_dump(cv)
3178CV* cv;
3179{
3180 CV *outside = CvOUTSIDE(cv);
3181 AV* padlist = CvPADLIST(cv);
4fdae800 3182 AV* pad_name;
3183 AV* pad;
3184 SV** pname;
3185 SV** ppad;
5f05dabc 3186 I32 ix;
3187
fb73857a 3188 PerlIO_printf(Perl_debug_log, "\tCV=0x%lx (%s), OUTSIDE=0x%lx (%s)\n",
ab50184a
CS		 3189 cv,
3190 (CvANON(cv) ? "ANON"
3191 : (cv == main_cv) ? "MAIN"
07055b4c 3192 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3193 : CvGV(cv) ? GvNAME(CvGV(cv)) : "UNDEFINED"),
ab50184a
CS		 3194 outside,
3195 (!outside ? "null"
3196 : CvANON(outside) ? "ANON"
3197 : (outside == main_cv) ? "MAIN"
07055b4c 3198 : CvUNIQUE(outside) ? "UNIQUE"
44a8e56a 3199 : CvGV(outside) ? GvNAME(CvGV(outside)) : "UNDEFINED"));
5f05dabc 3200
4fdae800 3201 if (!padlist)
3202 return;
3203
3204 pad_name = (AV*)*av_fetch(padlist, 0, FALSE);
3205 pad = (AV*)*av_fetch(padlist, 1, FALSE);
3206 pname = AvARRAY(pad_name);
3207 ppad = AvARRAY(pad);
3208
93965878 3209 for (ix = 1; ix <= AvFILLp(pad_name); ix++) {
5f05dabc 3210 if (SvPOK(pname[ix]))
fb73857a 3211 PerlIO_printf(Perl_debug_log, "\t%4d. 0x%lx (%s\"%s\" %ld-%ld)\n",
4fdae800 3212 ix, ppad[ix],
3213 SvFAKE(pname[ix]) ? "FAKE " : "",
3214 SvPVX(pname[ix]),
ab50184a
CS		 3215 (long)I_32(SvNVX(pname[ix])),
3216 (long)SvIVX(pname[ix]));
5f05dabc 3217 }
3218}
3219#endif /* DEBUG_CLOSURES */
3220
76e3520e 3221STATIC CV *
8ac85365 3222cv_clone2(CV *proto, CV *outside)
748a9306 3223{
11343788 3224 dTHR;
748a9306
LW		 3225 AV* av;
3226 I32 ix;
3227 AV* protopadlist = CvPADLIST(proto);
3228 AV* protopad_name = (AV*)*av_fetch(protopadlist, 0, FALSE);
3229 AV* protopad = (AV*)*av_fetch(protopadlist, 1, FALSE);
5f05dabc 3230 SV** pname = AvARRAY(protopad_name);
3231 SV** ppad = AvARRAY(protopad);
93965878
NIS		 3232 I32 fname = AvFILLp(protopad_name);
3233 I32 fpad = AvFILLp(protopad);
748a9306
LW		 3234 AV* comppadlist;
3235 CV* cv;
3236
07055b4c
CS		 3237 assert(!CvUNIQUE(proto));
3238
748a9306
LW		 3239 ENTER;
3240 SAVESPTR(curpad);
3241 SAVESPTR(comppad);
46fc3d4c 3242 SAVESPTR(comppad_name);
748a9306
LW		 3243 SAVESPTR(compcv);
3244
3245 cv = compcv = (CV*)NEWSV(1104,0);
fa83b5b6 3246 sv_upgrade((SV *)cv, SvTYPE(proto));
a5f75d66 3247 CvCLONED_on(cv);
5f05dabc 3248 if (CvANON(proto))
3249 CvANON_on(cv);
748a9306 3250
11343788 3251#ifdef USE_THREADS
12ca11f6 3252 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3253 MUTEX_INIT(CvMUTEXP(cv));
11343788
MB		 3254 CvOWNER(cv) = 0;
3255#endif /* USE_THREADS */
748a9306 3256 CvFILEGV(cv) = CvFILEGV(proto);
44a8e56a 3257 CvGV(cv) = (GV*)SvREFCNT_inc(CvGV(proto));
748a9306
LW		 3258 CvSTASH(cv) = CvSTASH(proto);
3259 CvROOT(cv) = CvROOT(proto);
3260 CvSTART(cv) = CvSTART(proto);
5f05dabc 3261 if (outside)
3262 CvOUTSIDE(cv) = (CV*)SvREFCNT_inc(outside);
748a9306 3263
68dc0745 3264 if (SvPOK(proto))
3265 sv_setpvn((SV*)cv, SvPVX(proto), SvCUR(proto));
3266
46fc3d4c 3267 comppad_name = newAV();
3268 for (ix = fname; ix >= 0; ix--)
3269 av_store(comppad_name, ix, SvREFCNT_inc(pname[ix]));
748a9306
LW		 3270
3271 comppad = newAV();
3272
3273 comppadlist = newAV();
3274 AvREAL_off(comppadlist);
46fc3d4c 3275 av_store(comppadlist, 0, (SV*)comppad_name);
b355b4e0 3276 av_store(comppadlist, 1, (SV*)comppad);
748a9306 3277 CvPADLIST(cv) = comppadlist;
93965878 3278 av_fill(comppad, AvFILLp(protopad));
748a9306
LW		 3279 curpad = AvARRAY(comppad);
3280
3281 av = newAV(); /* will be @_ */
3282 av_extend(av, 0);
3283 av_store(comppad, 0, (SV*)av);
3284 AvFLAGS(av) = AVf_REIFY;
3285
9607fc9c 3286 for (ix = fpad; ix > 0; ix--) {
3287 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3288 if (namesv && namesv != &sv_undef) {
3289 char *name = SvPVX(namesv); /* XXX */
3290 if (SvFLAGS(namesv) & SVf_FAKE) { /* lexical from outside? */
3291 I32 off = pad_findlex(name, ix, SvIVX(namesv),
5f05dabc 3292 CvOUTSIDE(cv), cxstack_ix);
3293 if (!off)
3294 curpad[ix] = SvREFCNT_inc(ppad[ix]);
3295 else if (off != ix)
748a9306
LW		 3296 croak("panic: cv_clone: %s", name);
3297 }
3298 else { /* our own lexical */
aa689395 3299 SV* sv;
5f05dabc 3300 if (*name == '&') {
3301 /* anon code -- we'll come back for it */
3302 sv = SvREFCNT_inc(ppad[ix]);
3303 }
3304 else if (*name == '@')
3305 sv = (SV*)newAV();
748a9306 3306 else if (*name == '%')
5f05dabc 3307 sv = (SV*)newHV();
748a9306 3308 else
5f05dabc 3309 sv = NEWSV(0,0);
3310 if (!SvPADBUSY(sv))
3311 SvPADMY_on(sv);
3312 curpad[ix] = sv;
748a9306
LW		 3313 }
3314 }
3315 else {
aa689395 3316 SV* sv = NEWSV(0,0);
748a9306 3317 SvPADTMP_on(sv);
5f05dabc 3318 curpad[ix] = sv;
748a9306
LW		 3319 }
3320 }
3321
5f05dabc 3322 /* Now that vars are all in place, clone nested closures. */
3323
9607fc9c 3324 for (ix = fpad; ix > 0; ix--) {
3325 SV* namesv = (ix <= fname) ? pname[ix] : Nullsv;
aa689395 3326 if (namesv
3327 && namesv != &sv_undef
3328 && !(SvFLAGS(namesv) & SVf_FAKE)
3329 && *SvPVX(namesv) == '&'
5f05dabc 3330 && CvCLONE(ppad[ix]))
3331 {
3332 CV *kid = cv_clone2((CV*)ppad[ix], cv);
3333 SvREFCNT_dec(ppad[ix]);
3334 CvCLONE_on(kid);
3335 SvPADMY_on(kid);
3336 curpad[ix] = (SV*)kid;
748a9306
LW		 3337 }
3338 }
3339
5f05dabc 3340#ifdef DEBUG_CLOSURES
ab50184a
CS		 3341 PerlIO_printf(Perl_debug_log, "Cloned inside:\n");
3342 cv_dump(outside);
3343 PerlIO_printf(Perl_debug_log, " from:\n");
5f05dabc 3344 cv_dump(proto);
ab50184a 3345 PerlIO_printf(Perl_debug_log, " to:\n");
5f05dabc 3346 cv_dump(cv);
3347#endif
3348
748a9306
LW		 3349 LEAVE;
3350 return cv;
3351}
3352
3353CV *
8ac85365 3354cv_clone(CV *proto)
5f05dabc 3355{
3356 return cv_clone2(proto, CvOUTSIDE(proto));
3357}
3358
3fe9a6f1 3359void
8ac85365 3360cv_ckproto(CV *cv, GV *gv, char *p)
3fe9a6f1 3361{
3362 if ((!p != !SvPOK(cv)) || (p && strNE(p, SvPVX(cv)))) {
46fc3d4c 3363 SV* msg = sv_newmortal();
3fe9a6f1 3364 SV* name = Nullsv;
3365
3366 if (gv)
46fc3d4c 3367 gv_efullname3(name = sv_newmortal(), gv, Nullch);
3368 sv_setpv(msg, "Prototype mismatch:");
3369 if (name)
fc36a67e 3370 sv_catpvf(msg, " sub %_", name);
3fe9a6f1 3371 if (SvPOK(cv))
46fc3d4c 3372 sv_catpvf(msg, " (%s)", SvPVX(cv));
3373 sv_catpv(msg, " vs ");
3374 if (p)
3375 sv_catpvf(msg, "(%s)", p);
3376 else
3377 sv_catpv(msg, "none");
fc36a67e 3378 warn("%_", msg);
3fe9a6f1 3379 }
3380}
3381
760ac839 3382SV *
8ac85365 3383cv_const_sv(CV *cv)
760ac839 3384{
54310121 3385 if (!cv || !SvPOK(cv) || SvCUR(cv))
3386 return Nullsv;
fe5e78ed
GS		 3387 return op_const_sv(CvSTART(cv), cv);
3388}
760ac839 3389
fe5e78ed
GS		 3390SV *
3391op_const_sv(OP *o, CV *cv)
3392{
3393 SV *sv = Nullsv;
3394
3395 if(!o)
3396 return Nullsv;
3397
3398 if(o->op_type == OP_LINESEQ && cLISTOPo->op_first)
3399 o = cLISTOPo->op_first->op_sibling;
3400
3401 for (; o; o = o->op_next) {
54310121 3402 OPCODE type = o->op_type;
fe5e78ed
GS		 3403
3404 if(sv && o->op_next == o)
3405 return sv;
54310121 3406 if (type == OP_NEXTSTATE || type == OP_NULL || type == OP_PUSHMARK)
3407 continue;
3408 if (type == OP_LEAVESUB || type == OP_RETURN)
3409 break;
3410 if (sv)
3411 return Nullsv;
3412 if (type == OP_CONST)
5dc0d613 3413 sv = cSVOPo->op_sv;
fe5e78ed 3414 else if (type == OP_PADSV && cv) {
e858de61
MB		 3415 AV* padav = (AV*)(AvARRAY(CvPADLIST(cv))[1]);
3416 sv = padav ? AvARRAY(padav)[o->op_targ] : Nullsv;
5aabfad6 3417 if (!sv || (!SvREADONLY(sv) && SvREFCNT(sv) > 1))
54310121 3418 return Nullsv;
760ac839 3419 }
54310121 3420 else
3421 return Nullsv;
760ac839 3422 }
5aabfad6 3423 if (sv)
3424 SvREADONLY_on(sv);
760ac839
LW		 3425 return sv;
3426}
3427
748a9306 3428CV *
8ac85365 3429newSUB(I32 floor, OP *o, OP *proto, OP *block)
79072805 3430{
11343788 3431 dTHR;
5dc0d613 3432 char *name = o ? SvPVx(cSVOPo->op_sv, na) : Nullch;
55d729e4
GS		 3433 GV *gv = gv_fetchpv(name ? name : "__ANON__",
3434 GV_ADDMULTI | (block ? 0 : GV_NOINIT), SVt_PVCV);
3fe9a6f1 3435 char *ps = proto ? SvPVx(((SVOP*)proto)->op_sv, na) : Nullch;
a2008d6d 3436 register CV *cv=0;
a0d0e21e 3437 I32 ix;
79072805 3438
11343788 3439 if (o)
5dc0d613 3440 SAVEFREEOP(o);
3fe9a6f1 3441 if (proto)
3442 SAVEFREEOP(proto);
3443
55d729e4
GS		 3444 if (SvTYPE(gv) != SVt_PVGV) { /* Prototype now, and had
3445 maximum a prototype before. */
3446 if (SvTYPE(gv) > SVt_NULL) {
3447 if (!SvPOK((SV*)gv) && !(SvIOK((SV*)gv) && SvIVX((SV*)gv) == -1))
3448 warn("Runaway prototype");
3449 cv_ckproto((CV*)gv, NULL, ps);
3450 }
3451 if (ps)
3452 sv_setpv((SV*)gv, ps);
3453 else
3454 sv_setiv((SV*)gv, -1);
3455 SvREFCNT_dec(compcv);
57ff9a15 3456 cv = compcv = NULL;
55d729e4
GS		 3457 sub_generation++;
3458 goto noblock;
3459 }
3460
68dc0745 3461 if (!name || GvCVGEN(gv))
3462 cv = Nullcv;
3463 else if (cv = GvCV(gv)) {
3fe9a6f1 3464 cv_ckproto(cv, gv, ps);
68dc0745 3465 /* already defined (or promised)? */
3466 if (CvROOT(cv) || CvXSUB(cv) || GvASSUMECV(gv)) {
3467 SV* const_sv;
fe5e78ed 3468 bool const_changed = TRUE;
aa689395 3469 if (!block) {
3470 /* just a "sub foo;" when &foo is already defined */
3471 SAVEFREESV(compcv);
3472 goto done;
3473 }
7bac28a0 3474 /* ahem, death to those who redefine active sort subs */
e336de0d 3475 if (curstackinfo->si_type == SI_SORT && sortcop == CvSTART(cv))
7bac28a0 3476 croak("Can't redefine active sort subroutine %s", name);
fe5e78ed
GS		 3477 if(const_sv = cv_const_sv(cv))
3478 const_changed = sv_cmp(const_sv, op_const_sv(block, Nullcv));
3479 if ((const_sv && const_changed) || dowarn && !(CvGV(cv) && GvSTASH(CvGV(cv))
2f34f9d4
IZ		 3480 && HvNAME(GvSTASH(CvGV(cv)))
3481 && strEQ(HvNAME(GvSTASH(CvGV(cv))),
3482 "autouse"))) {
79072805 3483 line_t oldline = curcop->cop_line;
79072805 3484 curcop->cop_line = copline;
760ac839 3485 warn(const_sv ? "Constant subroutine %s redefined"
68dc0745 3486 : "Subroutine %s redefined", name);
79072805
LW		 3487 curcop->cop_line = oldline;
3488 }
8990e307 3489 SvREFCNT_dec(cv);
68dc0745 3490 cv = Nullcv;
79072805
LW		 3491 }
3492 }
a0d0e21e 3493 if (cv) { /* must reuse cv if autoloaded */
4633a7c4 3494 cv_undef(cv);
44a8e56a 3495 CvFLAGS(cv) = CvFLAGS(compcv);
748a9306 3496 CvOUTSIDE(cv) = CvOUTSIDE(compcv);
e9a444f0 3497 CvOUTSIDE(compcv) = 0;
748a9306 3498 CvPADLIST(cv) = CvPADLIST(compcv);
4aa0a1f7 3499 CvPADLIST(compcv) = 0;
4633a7c4
LW		 3500 if (SvREFCNT(compcv) > 1) /* XXX Make closures transit through stub. */
3501 CvOUTSIDE(compcv) = (CV*)SvREFCNT_inc((SV*)cv);
748a9306 3502 SvREFCNT_dec(compcv);
a0d0e21e
LW		 3503 }
3504 else {
748a9306 3505 cv = compcv;
44a8e56a 3506 if (name) {
3507 GvCV(gv) = cv;
3508 GvCVGEN(gv) = 0;
3509 sub_generation++;
3510 }
a0d0e21e 3511 }
44a8e56a 3512 CvGV(cv) = (GV*)SvREFCNT_inc(gv);
79072805 3513 CvFILEGV(cv) = curcop->cop_filegv;
8990e307 3514 CvSTASH(cv) = curstash;
11343788
MB		 3515#ifdef USE_THREADS
3516 CvOWNER(cv) = 0;
12ca11f6 3517 New(666, CvMUTEXP(cv), 1, perl_mutex);
11343788 3518 MUTEX_INIT(CvMUTEXP(cv));
11343788 3519#endif /* USE_THREADS */
8990e307 3520
3fe9a6f1 3521 if (ps)
3522 sv_setpv((SV*)cv, ps);
4633a7c4 3523
c07a80fd 3524 if (error_count) {
3525 op_free(block);
3526 block = Nullop;
68dc0745 3527 if (name) {
3528 char *s = strrchr(name, ':');
3529 s = s ? s+1 : name;
6d4c2119
CS		 3530 if (strEQ(s, "BEGIN")) {
3531 char *not_safe =
3532 "BEGIN not safe after errors--compilation aborted";
3533 if (in_eval & 4)
3534 croak(not_safe);
3535 else {
3536 /* force display of errors found but not reported */
38a03e6e
MB		 3537 sv_catpv(ERRSV, not_safe);
3538 croak("%s", SvPVx(ERRSV, na));
6d4c2119
CS		 3539 }
3540 }
68dc0745 3541 }
c07a80fd 3542 }
a0d0e21e 3543 if (!block) {
55d729e4 3544 noblock:
a0d0e21e
LW		 3545 copline = NOLINE;
3546 LEAVE_SCOPE(floor);
3547 return cv;
3548 }
3549
93965878
NIS		 3550 if (AvFILLp(comppad_name) < AvFILLp(comppad))
3551 av_store(comppad_name, AvFILLp(comppad), Nullsv);
a0d0e21e 3552
54310121 3553 if (CvCLONE(cv)) {
3554 SV **namep = AvARRAY(comppad_name);
93965878 3555 for (ix = AvFILLp(comppad); ix > 0; ix--) {
54310121 3556 SV *namesv;
3557
3558 if (SvIMMORTAL(curpad[ix]))
3559 continue;
3560 /*
3561 * The only things that a clonable function needs in its
3562 * pad are references to outer lexicals and anonymous subs.
3563 * The rest are created anew during cloning.
3564 */
3565 if (!((namesv = namep[ix]) != Nullsv &&
3566 namesv != &sv_undef &&
3567 (SvFAKE(namesv) ||
3568 *SvPVX(namesv) == '&')))
3569 {
3570 SvREFCNT_dec(curpad[ix]);
3571 curpad[ix] = Nullsv;
3572 }
3573 }
a0d0e21e 3574 }
54310121 3575 else {
3576 AV *av = newAV(); /* Will be @_ */
3577 av_extend(av, 0);
3578 av_store(comppad, 0, (SV*)av);
3579 AvFLAGS(av) = AVf_REIFY;
79072805 3580
93965878 3581 for (ix = AvFILLp(comppad); ix > 0; ix--) {
54310121 3582 if (SvIMMORTAL(curpad[ix]))
3583 continue;
3584 if (!SvPADMY(curpad[ix]))
3585 SvPADTMP_on(curpad[ix]);
3586 }
3587 }
79072805 3588
a0d0e21e 3589 CvROOT(cv) = newUNOP(OP_LEAVESUB, 0, scalarseq(block));
79072805
LW		 3590 CvSTART(cv) = LINKLIST(CvROOT(cv));
3591 CvROOT(cv)->op_next = 0;
3592 peep(CvSTART(cv));
93a17b20 3593
44a8e56a 3594 if (name) {
3595 char *s;
3596
84902520 3597 if (PERLDB_SUBLINE && curstash != debstash) {
46fc3d4c 3598 SV *sv = NEWSV(0,0);
44a8e56a 3599 SV *tmpstr = sv_newmortal();
549bb64a 3600 GV *db_postponed = gv_fetchpv("DB::postponed", GV_ADDMULTI, SVt_PVHV);
44a8e56a 3601 CV *cv;
3602 HV *hv;
3603
51790459
MB		 3604 sv_setpvf(sv, "%_:%ld-%ld",
3605 GvSV(curcop->cop_filegv),
3606 (long)subline, (long)curcop->cop_line);
44a8e56a