This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
sv_setsv is allowed to swipe buffers from read only scalars
[perl5.git] / cop.h
CommitLineData
a0d0e21e 1/* cop.h
79072805 2 *
4bb101f2 3 * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
b5f8cc5c 4 * 2000, 2001, 2002, 2003, 2004, by Larry Wall and others
79072805
LW
5 *
6 * You may distribute under the terms of either the GNU General Public
7 * License or the Artistic License, as specified in the README file.
8 *
a3985cdc 9 * Control ops (cops) are one of the three ops OP_NEXTSTATE, OP_DBSTATE,
3ffa1527
JH
10 * and OP_SETSTATE that (loosely speaking) are separate statements.
11 * They hold information important for lexical state and error reporting.
12 * At run time, PL_curcop is set to point to the most recently executed cop,
a3985cdc 13 * and thus can be used to determine our current state.
79072805
LW
14 */
15
0d2925a6
DM
16/* A jmpenv packages the state required to perform a proper non-local jump.
17 * Note that there is a start_env initialized when perl starts, and top_env
18 * points to this initially, so top_env should always be non-null.
19 *
20 * Existence of a non-null top_env->je_prev implies it is valid to call
21 * longjmp() at that runlevel (we make sure start_env.je_prev is always
22 * null to ensure this).
23 *
24 * je_mustcatch, when set at any runlevel to TRUE, means eval ops must
25 * establish a local jmpenv to handle exception traps. Care must be taken
26 * to restore the previous value of je_mustcatch before exiting the
27 * stack frame iff JMPENV_PUSH was not called in that stack frame.
28 * GSAR 97-03-27
29 */
30
31struct jmpenv {
32 struct jmpenv * je_prev;
33 Sigjmp_buf je_buf; /* only for use if !je_throw */
34 int je_ret; /* last exception thrown */
35 bool je_mustcatch; /* need to call longjmp()? */
36};
37
38typedef struct jmpenv JMPENV;
39
40#ifdef OP_IN_REGISTER
41#define OP_REG_TO_MEM PL_opsave = op
42#define OP_MEM_TO_REG op = PL_opsave
43#else
44#define OP_REG_TO_MEM NOOP
45#define OP_MEM_TO_REG NOOP
46#endif
47
48/*
49 * How to build the first jmpenv.
50 *
51 * top_env needs to be non-zero. It points to an area
52 * in which longjmp() stuff is stored, as C callstack
53 * info there at least is thread specific this has to
54 * be per-thread. Otherwise a 'die' in a thread gives
55 * that thread the C stack of last thread to do an eval {}!
56 */
57
58#define JMPENV_BOOTSTRAP \
59 STMT_START { \
60 Zero(&PL_start_env, 1, JMPENV); \
61 PL_start_env.je_ret = -1; \
62 PL_start_env.je_mustcatch = TRUE; \
63 PL_top_env = &PL_start_env; \
64 } STMT_END
65
66/*
67 * PERL_FLEXIBLE_EXCEPTIONS
68 *
69 * All the flexible exceptions code has been removed.
70 * See the following threads for details:
71 *
72 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2004-07/msg00378.html
73 *
74 * Joshua's original patches (which weren't applied) and discussion:
75 *
76 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01396.html
77 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01489.html
78 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01491.html
79 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg01608.html
80 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg02144.html
81 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1998-02/msg02998.html
82 *
83 * Chip's reworked patch and discussion:
84 *
85 * http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/1999-03/msg00520.html
86 *
87 * The flaw in these patches (which went unnoticed at the time) was
88 * that they moved some code that could potentially die() out of the
89 * region protected by the setjmp()s. This caused exceptions within
90 * END blocks and such to not be handled by the correct setjmp().
91 *
92 * The original patches that introduces flexible exceptions were:
93 *
94 * http://public.activestate.com/cgi-bin/perlbrowse?patch=3386
95 * http://public.activestate.com/cgi-bin/perlbrowse?patch=5162
96 */
97
98#define dJMPENV JMPENV cur_env
99
100#define JMPENV_PUSH(v) \
101 STMT_START { \
102 DEBUG_l(Perl_deb(aTHX_ "Setting up jumplevel %p, was %p\n", \
103 &cur_env, PL_top_env)); \
104 cur_env.je_prev = PL_top_env; \
105 OP_REG_TO_MEM; \
106 cur_env.je_ret = PerlProc_setjmp(cur_env.je_buf, SCOPE_SAVES_SIGNAL_MASK); \
107 OP_MEM_TO_REG; \
108 PL_top_env = &cur_env; \
109 cur_env.je_mustcatch = FALSE; \
110 (v) = cur_env.je_ret; \
111 } STMT_END
112
113#define JMPENV_POP \
114 STMT_START { \
115 DEBUG_l(Perl_deb(aTHX_ "popping jumplevel was %p, now %p\n", \
116 PL_top_env, cur_env.je_prev)); \
117 PL_top_env = cur_env.je_prev; \
118 } STMT_END
119
120#define JMPENV_JUMP(v) \
121 STMT_START { \
122 OP_REG_TO_MEM; \
123 if (PL_top_env->je_prev) \
124 PerlProc_longjmp(PL_top_env->je_buf, (v)); \
125 if ((v) == 2) \
126 PerlProc_exit(STATUS_NATIVE_EXPORT); \
127 PerlIO_printf(PerlIO_stderr(), "panic: top_env\n"); \
128 PerlProc_exit(1); \
129 } STMT_END
130
131#define CATCH_GET (PL_top_env->je_mustcatch)
132#define CATCH_SET(v) (PL_top_env->je_mustcatch = (v))
133
134
135
79072805
LW
136struct cop {
137 BASEOP
a0d0e21e 138 char * cop_label; /* label for this construct */
57843af0 139#ifdef USE_ITHREADS
11faa288 140 char * cop_stashpv; /* package line was compiled in */
57843af0
GS
141 char * cop_file; /* file name the following line # is from */
142#else
11faa288 143 HV * cop_stash; /* package line was compiled in */
79072805 144 GV * cop_filegv; /* file the following line # is from */
57843af0 145#endif
a0d0e21e
LW
146 U32 cop_seq; /* parse sequence number */
147 I32 cop_arybase; /* array base this line was compiled with */
79072805 148 line_t cop_line; /* line # of this command */
599cee73 149 SV * cop_warnings; /* lexical warnings bitmask */
ac27b0f5 150 SV * cop_io; /* lexical IO defaults */
79072805
LW
151};
152
153#define Nullcop Null(COP*)
154
57843af0
GS
155#ifdef USE_ITHREADS
156# define CopFILE(c) ((c)->cop_file)
157# define CopFILEGV(c) (CopFILE(c) \
158 ? gv_fetchfile(CopFILE(c)) : Nullgv)
083fcd59 159
7e4e8c89
NC
160# ifdef NETWARE
161# define CopFILE_set(c,pv) ((c)->cop_file = savepv(pv))
162# else
163# define CopFILE_set(c,pv) ((c)->cop_file = savesharedpv(pv))
164# endif
083fcd59 165
57843af0
GS
166# define CopFILESV(c) (CopFILE(c) \
167 ? GvSV(gv_fetchfile(CopFILE(c))) : Nullsv)
168# define CopFILEAV(c) (CopFILE(c) \
169 ? GvAV(gv_fetchfile(CopFILE(c))) : Nullav)
57843af0 170# define CopSTASHPV(c) ((c)->cop_stashpv)
083fcd59 171
7e4e8c89
NC
172# ifdef NETWARE
173# define CopSTASHPV_set(c,pv) ((c)->cop_stashpv = ((pv) ? savepv(pv) : Nullch))
174# else
175# define CopSTASHPV_set(c,pv) ((c)->cop_stashpv = savesharedpv(pv))
176# endif
083fcd59 177
11faa288
GS
178# define CopSTASH(c) (CopSTASHPV(c) \
179 ? gv_stashpv(CopSTASHPV(c),GV_ADD) : Nullhv)
4ba4de04 180# define CopSTASH_set(c,hv) CopSTASHPV_set(c, (hv) ? HvNAME_get(hv) : Nullch)
f4dd75d9 181# define CopSTASH_eq(c,hv) ((hv) \
4ba4de04
NC
182 && (CopSTASHPV(c) == HvNAME_get(hv) \
183 || (CopSTASHPV(c) && HvNAME_get(hv)\
184 && strEQ(CopSTASHPV(c), HvNAME_get(hv)))))
7e4e8c89
NC
185# ifdef NETWARE
186# define CopSTASH_free(c) SAVECOPSTASH_FREE(c)
187# else
188# define CopSTASH_free(c) PerlMemShared_free(CopSTASHPV(c))
189# endif
083fcd59 190
7e4e8c89
NC
191# ifdef NETWARE
192# define CopFILE_free(c) SAVECOPFILE_FREE(c)
193# else
194# define CopFILE_free(c) (PerlMemShared_free(CopFILE(c)),(CopFILE(c) = Nullch))
195# endif
57843af0
GS
196#else
197# define CopFILEGV(c) ((c)->cop_filegv)
f4dd75d9
GS
198# define CopFILEGV_set(c,gv) ((c)->cop_filegv = (GV*)SvREFCNT_inc(gv))
199# define CopFILE_set(c,pv) CopFILEGV_set((c), gv_fetchfile(pv))
57843af0
GS
200# define CopFILESV(c) (CopFILEGV(c) ? GvSV(CopFILEGV(c)) : Nullsv)
201# define CopFILEAV(c) (CopFILEGV(c) ? GvAV(CopFILEGV(c)) : Nullav)
202# define CopFILE(c) (CopFILESV(c) ? SvPVX(CopFILESV(c)) : Nullch)
203# define CopSTASH(c) ((c)->cop_stash)
f4dd75d9 204# define CopSTASH_set(c,hv) ((c)->cop_stash = (hv))
4ba4de04 205# define CopSTASHPV(c) (CopSTASH(c) ? HvNAME_get(CopSTASH(c)) : Nullch)
f4dd75d9
GS
206 /* cop_stash is not refcounted */
207# define CopSTASHPV_set(c,pv) CopSTASH_set((c), gv_stashpv(pv,GV_ADD))
208# define CopSTASH_eq(c,hv) (CopSTASH(c) == (hv))
05ec9bb3
NIS
209# define CopSTASH_free(c)
210# define CopFILE_free(c) (SvREFCNT_dec(CopFILEGV(c)),(CopFILEGV(c) = Nullgv))
211
57843af0
GS
212#endif /* USE_ITHREADS */
213
ed094faf 214#define CopSTASH_ne(c,hv) (!CopSTASH_eq(c,hv))
cc49e20b 215#define CopLINE(c) ((c)->cop_line)
57843af0
GS
216#define CopLINE_inc(c) (++CopLINE(c))
217#define CopLINE_dec(c) (--CopLINE(c))
218#define CopLINE_set(c,l) (CopLINE(c) = (l))
cc49e20b 219
248c2a4d
CN
220/* OutCopFILE() is CopFILE for output (caller, die, warn, etc.) */
221#ifdef MACOS_TRADITIONAL
222# define OutCopFILE(c) MacPerl_MPWFileName(CopFILE(c))
223#else
224# define OutCopFILE(c) CopFILE(c)
225#endif
226
79072805
LW
227/*
228 * Here we have some enormously heavy (or at least ponderous) wizardry.
229 */
230
231/* subroutine context */
232struct block_sub {
233 CV * cv;
234 GV * gv;
463ee0b2 235 GV * dfoutgv;
79072805
LW
236 AV * savearray;
237 AV * argarray;
b8f55b69 238 long olddepth;
79072805 239 U8 hasargs;
cd06dffe 240 U8 lval; /* XXX merge lval and hasargs? */
f3548bdc 241 PAD *oldcomppad;
f39bc417 242 OP * retop; /* op to execute on exit from sub */
79072805
LW
243};
244
b36bdeca
DM
245/* base for the next two macros. Don't use directly.
246 * Note that the refcnt of the cv is incremented twice; The CX one is
247 * decremented by LEAVESUB, the other by LEAVE. */
248
ee98a1d6 249#define PUSHSUB_BASE(cx) \
79072805 250 cx->blk_sub.cv = cv; \
b8f55b69 251 cx->blk_sub.olddepth = CvDEPTH(cv); \
b36bdeca 252 cx->blk_sub.hasargs = hasargs; \
f39bc417 253 cx->blk_sub.retop = Nullop; \
b36bdeca
DM
254 if (!CvDEPTH(cv)) { \
255 (void)SvREFCNT_inc(cv); \
256 (void)SvREFCNT_inc(cv); \
257 SAVEFREESV(cv); \
258 }
259
ee98a1d6
DM
260
261#define PUSHSUB(cx) \
262 PUSHSUB_BASE(cx) \
cd06dffe
GS
263 cx->blk_sub.lval = PL_op->op_private & \
264 (OPpLVAL_INTRO|OPpENTERSUB_INARGS);
79072805 265
ee98a1d6
DM
266/* variant for use by OP_DBSTATE, where op_private holds hint bits */
267#define PUSHSUB_DB(cx) \
268 PUSHSUB_BASE(cx) \
269 cx->blk_sub.lval = 0;
270
271
79072805
LW
272#define PUSHFORMAT(cx) \
273 cx->blk_sub.cv = cv; \
274 cx->blk_sub.gv = gv; \
f39bc417 275 cx->blk_sub.retop = Nullop; \
4633a7c4 276 cx->blk_sub.hasargs = 0; \
3280af22 277 cx->blk_sub.dfoutgv = PL_defoutgv; \
4633a7c4 278 (void)SvREFCNT_inc(cx->blk_sub.dfoutgv)
79072805 279
3db8f154 280#define POP_SAVEARRAY() \
6d4ff0d2 281 STMT_START { \
3280af22 282 SvREFCNT_dec(GvAV(PL_defgv)); \
a8bba7fa 283 GvAV(PL_defgv) = cx->blk_sub.savearray; \
6d4ff0d2 284 } STMT_END
6d4ff0d2 285
ecf8e9dd 286/* junk in @_ spells trouble when cloning CVs and in pp_caller(), so don't
8e09340b
GS
287 * leave any (a fast av_clear(ary), basically) */
288#define CLEAR_ARGARRAY(ary) \
289 STMT_START { \
290 AvMAX(ary) += AvARRAY(ary) - AvALLOC(ary); \
f880fe2f 291 SvPV_set(ary, (char*)AvALLOC(ary)); \
8e09340b
GS
292 AvFILLp(ary) = -1; \
293 } STMT_END
7766f137 294
b0d9ce38
GS
295#define POPSUB(cx,sv) \
296 STMT_START { \
a8bba7fa 297 if (cx->blk_sub.hasargs) { \
7766f137 298 POP_SAVEARRAY(); \
d8b46c1b 299 /* abandon @_ if it got reified */ \
a8bba7fa
GS
300 if (AvREAL(cx->blk_sub.argarray)) { \
301 SSize_t fill = AvFILLp(cx->blk_sub.argarray); \
302 SvREFCNT_dec(cx->blk_sub.argarray); \
303 cx->blk_sub.argarray = newAV(); \
304 av_extend(cx->blk_sub.argarray, fill); \
11ca45c0 305 AvREIFY_only(cx->blk_sub.argarray); \
dd2155a4 306 CX_CURPAD_SV(cx->blk_sub, 0) = (SV*)cx->blk_sub.argarray; \
d8b46c1b 307 } \
7766f137 308 else { \
8e09340b 309 CLEAR_ARGARRAY(cx->blk_sub.argarray); \
7766f137 310 } \
79072805 311 } \
b0d9ce38
GS
312 sv = (SV*)cx->blk_sub.cv; \
313 if (sv && (CvDEPTH((CV*)sv) = cx->blk_sub.olddepth)) \
314 sv = Nullsv; \
315 } STMT_END
316
317#define LEAVESUB(sv) \
318 STMT_START { \
319 if (sv) \
320 SvREFCNT_dec(sv); \
321 } STMT_END
79072805
LW
322
323#define POPFORMAT(cx) \
4633a7c4
LW
324 setdefout(cx->blk_sub.dfoutgv); \
325 SvREFCNT_dec(cx->blk_sub.dfoutgv);
79072805
LW
326
327/* eval context */
328struct block_eval {
329 I32 old_in_eval;
330 I32 old_op_type;
0f79a09d 331 SV * old_namesv;
79072805 332 OP * old_eval_root;
748a9306 333 SV * cur_text;
2090ab20 334 CV * cv;
f39bc417 335 OP * retop; /* op to execute on exit from eval */
abd70938 336 JMPENV * cur_top_env; /* value of PL_top_env when eval CX created */
79072805
LW
337};
338
8990e307 339#define PUSHEVAL(cx,n,fgv) \
0f79a09d 340 STMT_START { \
3280af22 341 cx->blk_eval.old_in_eval = PL_in_eval; \
a8bba7fa 342 cx->blk_eval.old_op_type = PL_op->op_type; \
0f79a09d 343 cx->blk_eval.old_namesv = (n ? newSVpv(n,0) : Nullsv); \
a8bba7fa 344 cx->blk_eval.old_eval_root = PL_eval_root; \
0f79a09d 345 cx->blk_eval.cur_text = PL_linestr; \
2090ab20 346 cx->blk_eval.cv = Nullcv; /* set by doeval(), as applicable */ \
f39bc417 347 cx->blk_eval.retop = Nullop; \
abd70938 348 cx->blk_eval.cur_top_env = PL_top_env; \
0f79a09d 349 } STMT_END
79072805
LW
350
351#define POPEVAL(cx) \
0f79a09d 352 STMT_START { \
3280af22 353 PL_in_eval = cx->blk_eval.old_in_eval; \
79072805 354 optype = cx->blk_eval.old_op_type; \
7766f137 355 PL_eval_root = cx->blk_eval.old_eval_root; \
0f79a09d
GS
356 if (cx->blk_eval.old_namesv) \
357 sv_2mortal(cx->blk_eval.old_namesv); \
358 } STMT_END
79072805
LW
359
360/* loop context */
361struct block_loop {
362 char * label;
363 I32 resetsp;
364 OP * redo_op;
365 OP * next_op;
366 OP * last_op;
7766f137
GS
367#ifdef USE_ITHREADS
368 void * iterdata;
f3548bdc 369 PAD *oldcomppad;
7766f137 370#else
79072805 371 SV ** itervar;
7766f137 372#endif
79072805 373 SV * itersave;
5f05dabc 374 SV * iterlval;
79072805 375 AV * iterary;
89ea2908
GA
376 IV iterix;
377 IV itermax;
79072805
LW
378};
379
7766f137
GS
380#ifdef USE_ITHREADS
381# define CxITERVAR(c) \
382 ((c)->blk_loop.iterdata \
383 ? (CxPADLOOP(cx) \
dd2155a4
DM
384 ? &CX_CURPAD_SV( (c)->blk_loop, \
385 INT2PTR(PADOFFSET, (c)->blk_loop.iterdata)) \
7766f137
GS
386 : &GvSV((GV*)(c)->blk_loop.iterdata)) \
387 : (SV**)NULL)
388# define CX_ITERDATA_SET(cx,idata) \
dd2155a4 389 CX_CURPAD_SAVE(cx->blk_loop); \
155aba94 390 if ((cx->blk_loop.iterdata = (idata))) \
d10edb75
KC
391 cx->blk_loop.itersave = SvREFCNT_inc(*CxITERVAR(cx)); \
392 else \
393 cx->blk_loop.itersave = Nullsv;
7766f137
GS
394#else
395# define CxITERVAR(c) ((c)->blk_loop.itervar)
396# define CX_ITERDATA_SET(cx,ivar) \
155aba94 397 if ((cx->blk_loop.itervar = (SV**)(ivar))) \
d10edb75
KC
398 cx->blk_loop.itersave = SvREFCNT_inc(*CxITERVAR(cx)); \
399 else \
400 cx->blk_loop.itersave = Nullsv;
7766f137
GS
401#endif
402
403#define PUSHLOOP(cx, dat, s) \
38a230cb
GS
404 cx->blk_loop.label = PL_curcop->cop_label; \
405 cx->blk_loop.resetsp = s - PL_stack_base; \
79072805
LW
406 cx->blk_loop.redo_op = cLOOP->op_redoop; \
407 cx->blk_loop.next_op = cLOOP->op_nextop; \
408 cx->blk_loop.last_op = cLOOP->op_lastop; \
44a8e56a 409 cx->blk_loop.iterlval = Nullsv; \
410 cx->blk_loop.iterary = Nullav; \
7766f137
GS
411 cx->blk_loop.iterix = -1; \
412 CX_ITERDATA_SET(cx,dat);
79072805
LW
413
414#define POPLOOP(cx) \
a8bba7fa 415 SvREFCNT_dec(cx->blk_loop.iterlval); \
7766f137
GS
416 if (CxITERVAR(cx)) { \
417 SV **s_v_p = CxITERVAR(cx); \
418 sv_2mortal(*s_v_p); \
419 *s_v_p = cx->blk_loop.itersave; \
44a8e56a 420 } \
a8bba7fa
GS
421 if (cx->blk_loop.iterary && cx->blk_loop.iterary != PL_curstack)\
422 SvREFCNT_dec(cx->blk_loop.iterary);
79072805
LW
423
424/* context common to subroutines, evals and loops */
425struct block {
426 I32 blku_oldsp; /* stack pointer to copy stuff down to */
427 COP * blku_oldcop; /* old curcop pointer */
79072805
LW
428 I32 blku_oldmarksp; /* mark stack index */
429 I32 blku_oldscopesp; /* scope stack index */
430 PMOP * blku_oldpm; /* values of pattern match vars */
431 U8 blku_gimme; /* is this block running in list context? */
432
433 union {
434 struct block_sub blku_sub;
435 struct block_eval blku_eval;
436 struct block_loop blku_loop;
437 } blk_u;
438};
439#define blk_oldsp cx_u.cx_blk.blku_oldsp
440#define blk_oldcop cx_u.cx_blk.blku_oldcop
79072805
LW
441#define blk_oldmarksp cx_u.cx_blk.blku_oldmarksp
442#define blk_oldscopesp cx_u.cx_blk.blku_oldscopesp
443#define blk_oldpm cx_u.cx_blk.blku_oldpm
444#define blk_gimme cx_u.cx_blk.blku_gimme
445#define blk_sub cx_u.cx_blk.blk_u.blku_sub
446#define blk_eval cx_u.cx_blk.blk_u.blku_eval
447#define blk_loop cx_u.cx_blk.blk_u.blku_loop
448
449/* Enter a block. */
8990e307 450#define PUSHBLOCK(cx,t,sp) CXINC, cx = &cxstack[cxstack_ix], \
79072805 451 cx->cx_type = t, \
3280af22
NIS
452 cx->blk_oldsp = sp - PL_stack_base, \
453 cx->blk_oldcop = PL_curcop, \
1aff0e91 454 cx->blk_oldmarksp = PL_markstack_ptr - PL_markstack, \
3280af22 455 cx->blk_oldscopesp = PL_scopestack_ix, \
3280af22 456 cx->blk_oldpm = PL_curpm, \
eb160463 457 cx->blk_gimme = (U8)gimme; \
bf49b057 458 DEBUG_l( PerlIO_printf(Perl_debug_log, "Entering block %ld, type %s\n", \
1aff0e91 459 (long)cxstack_ix, PL_block_type[CxTYPE(cx)]); )
79072805
LW
460
461/* Exit a block (RETURN and LAST). */
a0d0e21e 462#define POPBLOCK(cx,pm) cx = &cxstack[cxstack_ix--], \
1aff0e91 463 newsp = PL_stack_base + cx->blk_oldsp, \
3280af22
NIS
464 PL_curcop = cx->blk_oldcop, \
465 PL_markstack_ptr = PL_markstack + cx->blk_oldmarksp, \
466 PL_scopestack_ix = cx->blk_oldscopesp, \
3280af22
NIS
467 pm = cx->blk_oldpm, \
468 gimme = cx->blk_gimme; \
b4ab917c 469 DEBUG_SCOPE("POPBLOCK"); \
bf49b057 470 DEBUG_l( PerlIO_printf(Perl_debug_log, "Leaving block %ld, type %s\n", \
22c35a8c 471 (long)cxstack_ix+1,PL_block_type[CxTYPE(cx)]); )
79072805
LW
472
473/* Continue a block elsewhere (NEXT and REDO). */
3280af22 474#define TOPBLOCK(cx) cx = &cxstack[cxstack_ix], \
1aff0e91 475 PL_stack_sp = PL_stack_base + cx->blk_oldsp, \
3280af22
NIS
476 PL_markstack_ptr = PL_markstack + cx->blk_oldmarksp, \
477 PL_scopestack_ix = cx->blk_oldscopesp, \
b4ab917c
DM
478 PL_curpm = cx->blk_oldpm; \
479 DEBUG_SCOPE("TOPBLOCK");
79072805
LW
480
481/* substitution context */
482struct subst {
483 I32 sbu_iters;
484 I32 sbu_maxiters;
22e551b9 485 I32 sbu_rflags;
4633a7c4 486 I32 sbu_oldsave;
71be2cbc 487 bool sbu_once;
488 bool sbu_rxtainted;
79072805
LW
489 char * sbu_orig;
490 SV * sbu_dstr;
491 SV * sbu_targ;
492 char * sbu_s;
493 char * sbu_m;
494 char * sbu_strend;
c90c0ff4 495 void * sbu_rxres;
c07a80fd 496 REGEXP * sbu_rx;
79072805
LW
497};
498#define sb_iters cx_u.cx_subst.sbu_iters
499#define sb_maxiters cx_u.cx_subst.sbu_maxiters
22e551b9 500#define sb_rflags cx_u.cx_subst.sbu_rflags
4633a7c4 501#define sb_oldsave cx_u.cx_subst.sbu_oldsave
71be2cbc 502#define sb_once cx_u.cx_subst.sbu_once
503#define sb_rxtainted cx_u.cx_subst.sbu_rxtainted
79072805
LW
504#define sb_orig cx_u.cx_subst.sbu_orig
505#define sb_dstr cx_u.cx_subst.sbu_dstr
506#define sb_targ cx_u.cx_subst.sbu_targ
507#define sb_s cx_u.cx_subst.sbu_s
508#define sb_m cx_u.cx_subst.sbu_m
509#define sb_strend cx_u.cx_subst.sbu_strend
c90c0ff4 510#define sb_rxres cx_u.cx_subst.sbu_rxres
c07a80fd 511#define sb_rx cx_u.cx_subst.sbu_rx
79072805
LW
512
513#define PUSHSUBST(cx) CXINC, cx = &cxstack[cxstack_ix], \
514 cx->sb_iters = iters, \
515 cx->sb_maxiters = maxiters, \
22e551b9 516 cx->sb_rflags = r_flags, \
4633a7c4 517 cx->sb_oldsave = oldsave, \
71be2cbc 518 cx->sb_once = once, \
519 cx->sb_rxtainted = rxtainted, \
79072805
LW
520 cx->sb_orig = orig, \
521 cx->sb_dstr = dstr, \
522 cx->sb_targ = targ, \
523 cx->sb_s = s, \
524 cx->sb_m = m, \
525 cx->sb_strend = strend, \
c90c0ff4 526 cx->sb_rxres = Null(void*), \
c07a80fd 527 cx->sb_rx = rx, \
c90c0ff4 528 cx->cx_type = CXt_SUBST; \
529 rxres_save(&cx->sb_rxres, rx)
79072805 530
c90c0ff4 531#define POPSUBST(cx) cx = &cxstack[cxstack_ix--]; \
532 rxres_free(&cx->sb_rxres)
79072805
LW
533
534struct context {
6b35e009 535 U32 cx_type; /* what kind of context this is */
79072805
LW
536 union {
537 struct block cx_blk;
538 struct subst cx_subst;
539 } cx_u;
540};
6b35e009
GS
541
542#define CXTYPEMASK 0xff
79072805
LW
543#define CXt_NULL 0
544#define CXt_SUB 1
545#define CXt_EVAL 2
546#define CXt_LOOP 3
547#define CXt_SUBST 4
548#define CXt_BLOCK 5
7766f137 549#define CXt_FORMAT 6
79072805 550
6b35e009
GS
551/* private flags for CXt_EVAL */
552#define CXp_REAL 0x00000100 /* truly eval'', not a lookalike */
1d76a5c3 553#define CXp_TRYBLOCK 0x00000200 /* eval{}, not eval'' or similar */
6b35e009 554
7766f137
GS
555#ifdef USE_ITHREADS
556/* private flags for CXt_LOOP */
557# define CXp_PADVAR 0x00000100 /* itervar lives on pad, iterdata
558 has pad offset; if not set,
559 iterdata holds GV* */
560# define CxPADLOOP(c) (((c)->cx_type & (CXt_LOOP|CXp_PADVAR)) \
561 == (CXt_LOOP|CXp_PADVAR))
562#endif
563
6b35e009 564#define CxTYPE(c) ((c)->cx_type & CXTYPEMASK)
7766f137
GS
565#define CxREALEVAL(c) (((c)->cx_type & (CXt_EVAL|CXp_REAL)) \
566 == (CXt_EVAL|CXp_REAL))
1d76a5c3
GS
567#define CxTRYBLOCK(c) (((c)->cx_type & (CXt_EVAL|CXp_TRYBLOCK)) \
568 == (CXt_EVAL|CXp_TRYBLOCK))
6b35e009 569
79072805
LW
570#define CXINC (cxstack_ix < cxstack_max ? ++cxstack_ix : (cxstack_ix = cxinc()))
571
ccfc67b7
JH
572/*
573=head1 "Gimme" Values
574*/
954c1994
GS
575
576/*
577=for apidoc AmU||G_SCALAR
578Used to indicate scalar context. See C<GIMME_V>, C<GIMME>, and
579L<perlcall>.
580
581=for apidoc AmU||G_ARRAY
91e74348 582Used to indicate list context. See C<GIMME_V>, C<GIMME> and
954c1994
GS
583L<perlcall>.
584
585=for apidoc AmU||G_VOID
586Used to indicate void context. See C<GIMME_V> and L<perlcall>.
587
588=for apidoc AmU||G_DISCARD
589Indicates that arguments returned from a callback should be discarded. See
590L<perlcall>.
591
592=for apidoc AmU||G_EVAL
593
594Used to force a Perl C<eval> wrapper around a callback. See
595L<perlcall>.
596
597=for apidoc AmU||G_NOARGS
598
599Indicates that no arguments are being sent to a callback. See
600L<perlcall>.
601
602=cut
603*/
604
a0d0e21e
LW
605#define G_SCALAR 0
606#define G_ARRAY 1
54310121 607#define G_VOID 128 /* skip this bit when adding flags below */
79072805 608
864dbfa3 609/* extra flags for Perl_call_* routines */
a0d0e21e
LW
610#define G_DISCARD 2 /* Call FREETMPS. */
611#define G_EVAL 4 /* Assume eval {} around subroutine call. */
612#define G_NOARGS 8 /* Don't construct a @_ array. */
54310121 613#define G_KEEPERR 16 /* Append errors to $@, don't overwrite it */
491527d0 614#define G_NODEBUG 32 /* Disable debugging at toplevel. */
968b3946 615#define G_METHOD 64 /* Calling method. */
e336de0d 616
faef0170
HS
617/* flag bits for PL_in_eval */
618#define EVAL_NULL 0 /* not in an eval */
619#define EVAL_INEVAL 1 /* some enclosing scope is an eval */
620#define EVAL_WARNONLY 2 /* used by yywarn() when calling yyerror() */
864dbfa3 621#define EVAL_KEEPERR 4 /* set by Perl_call_sv if G_KEEPERR */
6dc8a9e4 622#define EVAL_INREQUIRE 8 /* The code is being required. */
faef0170 623
e336de0d
GS
624/* Support for switching (stack and block) contexts.
625 * This ensures magic doesn't invalidate local stack and cx pointers.
626 */
627
e788e7d3
GS
628#define PERLSI_UNKNOWN -1
629#define PERLSI_UNDEF 0
630#define PERLSI_MAIN 1
631#define PERLSI_MAGIC 2
632#define PERLSI_SORT 3
633#define PERLSI_SIGNAL 4
634#define PERLSI_OVERLOAD 5
635#define PERLSI_DESTROY 6
636#define PERLSI_WARNHOOK 7
637#define PERLSI_DIEHOOK 8
638#define PERLSI_REQUIRE 9
e336de0d
GS
639
640struct stackinfo {
641 AV * si_stack; /* stack for current runlevel */
642 PERL_CONTEXT * si_cxstack; /* context stack for runlevel */
643 I32 si_cxix; /* current context index */
644 I32 si_cxmax; /* maximum allocated index */
645 I32 si_type; /* type of runlevel */
646 struct stackinfo * si_prev;
647 struct stackinfo * si_next;
ce2f7c3b 648 I32 si_markoff; /* offset where markstack begins for us.
e336de0d
GS
649 * currently used only with DEBUGGING,
650 * but not #ifdef-ed for bincompat */
651};
652
653typedef struct stackinfo PERL_SI;
654
3280af22
NIS
655#define cxstack (PL_curstackinfo->si_cxstack)
656#define cxstack_ix (PL_curstackinfo->si_cxix)
657#define cxstack_max (PL_curstackinfo->si_cxmax)
e336de0d
GS
658
659#ifdef DEBUGGING
ce2f7c3b
GS
660# define SET_MARK_OFFSET \
661 PL_curstackinfo->si_markoff = PL_markstack_ptr - PL_markstack
e336de0d 662#else
ce2f7c3b 663# define SET_MARK_OFFSET NOOP
e336de0d
GS
664#endif
665
d3acc0f7 666#define PUSHSTACKi(type) \
e336de0d 667 STMT_START { \
3280af22 668 PERL_SI *next = PL_curstackinfo->si_next; \
e336de0d
GS
669 if (!next) { \
670 next = new_stackinfo(32, 2048/sizeof(PERL_CONTEXT) - 1); \
3280af22
NIS
671 next->si_prev = PL_curstackinfo; \
672 PL_curstackinfo->si_next = next; \
e336de0d
GS
673 } \
674 next->si_type = type; \
675 next->si_cxix = -1; \
676 AvFILLp(next->si_stack) = 0; \
3280af22
NIS
677 SWITCHSTACK(PL_curstack,next->si_stack); \
678 PL_curstackinfo = next; \
ce2f7c3b 679 SET_MARK_OFFSET; \
e336de0d
GS
680 } STMT_END
681
e788e7d3 682#define PUSHSTACK PUSHSTACKi(PERLSI_UNKNOWN)
d3acc0f7 683
3095d977
GS
684/* POPSTACK works with PL_stack_sp, so it may need to be bracketed by
685 * PUTBACK/SPAGAIN to flush/refresh any local SP that may be active */
d3acc0f7 686#define POPSTACK \
e336de0d 687 STMT_START { \
39644a26 688 dSP; \
3280af22 689 PERL_SI *prev = PL_curstackinfo->si_prev; \
e336de0d 690 if (!prev) { \
bf49b057 691 PerlIO_printf(Perl_error_log, "panic: POPSTACK\n"); \
e336de0d
GS
692 my_exit(1); \
693 } \
3280af22 694 SWITCHSTACK(PL_curstack,prev->si_stack); \
e336de0d 695 /* don't free prev here, free them all at the END{} */ \
3280af22 696 PL_curstackinfo = prev; \
e336de0d
GS
697 } STMT_END
698
699#define POPSTACK_TO(s) \
700 STMT_START { \
3280af22 701 while (PL_curstack != s) { \
bac4b2ad 702 dounwind(-1); \
d3acc0f7 703 POPSTACK; \
bac4b2ad 704 } \
e336de0d 705 } STMT_END
923e4eb5
JH
706
707#define IN_PERL_COMPILETIME (PL_curcop == &PL_compiling)
708#define IN_PERL_RUNTIME (PL_curcop != &PL_compiling)
709