This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Update perldelta for 5.12 to warn vendors about deprecate.pm
[perl5.git] / toke.c
CommitLineData
a0d0e21e 1/* toke.c
a687059c 2 *
1129b882
NC
3 * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
4 * 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
a687059c 5 *
d48672a2
LW
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.
378cc40b 8 *
a0d0e21e
LW
9 */
10
11/*
4ac71550
TC
12 * 'It all comes from here, the stench and the peril.' --Frodo
13 *
14 * [p.719 of _The Lord of the Rings_, IV/ix: "Shelob's Lair"]
378cc40b
LW
15 */
16
9cbb5ea2
GS
17/*
18 * This file is the lexer for Perl. It's closely linked to the
4e553d73 19 * parser, perly.y.
ffb4593c
NT
20 *
21 * The main routine is yylex(), which returns the next token.
22 */
23
f0e67a1d
Z
24/*
25=head1 Lexer interface
26
27This is the lower layer of the Perl parser, managing characters and tokens.
28
29=for apidoc AmU|yy_parser *|PL_parser
30
31Pointer to a structure encapsulating the state of the parsing operation
32currently in progress. The pointer can be locally changed to perform
33a nested parse without interfering with the state of an outer parse.
34Individual members of C<PL_parser> have their own documentation.
35
36=cut
37*/
38
378cc40b 39#include "EXTERN.h"
864dbfa3 40#define PERL_IN_TOKE_C
378cc40b 41#include "perl.h"
378cc40b 42
eb0d8d16
NC
43#define new_constant(a,b,c,d,e,f,g) \
44 S_new_constant(aTHX_ a,b,STR_WITH_LEN(c),d,e,f, g)
45
6154021b 46#define pl_yylval (PL_parser->yylval)
d3b6f988 47
acdf0a21
DM
48/* YYINITDEPTH -- initial size of the parser's stacks. */
49#define YYINITDEPTH 200
50
199e78b7
DM
51/* XXX temporary backwards compatibility */
52#define PL_lex_brackets (PL_parser->lex_brackets)
53#define PL_lex_brackstack (PL_parser->lex_brackstack)
54#define PL_lex_casemods (PL_parser->lex_casemods)
55#define PL_lex_casestack (PL_parser->lex_casestack)
56#define PL_lex_defer (PL_parser->lex_defer)
57#define PL_lex_dojoin (PL_parser->lex_dojoin)
58#define PL_lex_expect (PL_parser->lex_expect)
59#define PL_lex_formbrack (PL_parser->lex_formbrack)
60#define PL_lex_inpat (PL_parser->lex_inpat)
61#define PL_lex_inwhat (PL_parser->lex_inwhat)
62#define PL_lex_op (PL_parser->lex_op)
63#define PL_lex_repl (PL_parser->lex_repl)
64#define PL_lex_starts (PL_parser->lex_starts)
65#define PL_lex_stuff (PL_parser->lex_stuff)
66#define PL_multi_start (PL_parser->multi_start)
67#define PL_multi_open (PL_parser->multi_open)
68#define PL_multi_close (PL_parser->multi_close)
69#define PL_pending_ident (PL_parser->pending_ident)
70#define PL_preambled (PL_parser->preambled)
71#define PL_sublex_info (PL_parser->sublex_info)
bdc0bf6f 72#define PL_linestr (PL_parser->linestr)
c2598295
DM
73#define PL_expect (PL_parser->expect)
74#define PL_copline (PL_parser->copline)
f06b5848
DM
75#define PL_bufptr (PL_parser->bufptr)
76#define PL_oldbufptr (PL_parser->oldbufptr)
77#define PL_oldoldbufptr (PL_parser->oldoldbufptr)
78#define PL_linestart (PL_parser->linestart)
79#define PL_bufend (PL_parser->bufend)
80#define PL_last_uni (PL_parser->last_uni)
81#define PL_last_lop (PL_parser->last_lop)
82#define PL_last_lop_op (PL_parser->last_lop_op)
bc177e6b 83#define PL_lex_state (PL_parser->lex_state)
2f9285f8 84#define PL_rsfp (PL_parser->rsfp)
5486870f 85#define PL_rsfp_filters (PL_parser->rsfp_filters)
12bd6ede
DM
86#define PL_in_my (PL_parser->in_my)
87#define PL_in_my_stash (PL_parser->in_my_stash)
14047fc9 88#define PL_tokenbuf (PL_parser->tokenbuf)
670a9cb2 89#define PL_multi_end (PL_parser->multi_end)
13765c85 90#define PL_error_count (PL_parser->error_count)
199e78b7
DM
91
92#ifdef PERL_MAD
93# define PL_endwhite (PL_parser->endwhite)
94# define PL_faketokens (PL_parser->faketokens)
95# define PL_lasttoke (PL_parser->lasttoke)
96# define PL_nextwhite (PL_parser->nextwhite)
97# define PL_realtokenstart (PL_parser->realtokenstart)
98# define PL_skipwhite (PL_parser->skipwhite)
99# define PL_thisclose (PL_parser->thisclose)
100# define PL_thismad (PL_parser->thismad)
101# define PL_thisopen (PL_parser->thisopen)
102# define PL_thisstuff (PL_parser->thisstuff)
103# define PL_thistoken (PL_parser->thistoken)
104# define PL_thiswhite (PL_parser->thiswhite)
fb205e7a
DM
105# define PL_thiswhite (PL_parser->thiswhite)
106# define PL_nexttoke (PL_parser->nexttoke)
107# define PL_curforce (PL_parser->curforce)
108#else
109# define PL_nexttoke (PL_parser->nexttoke)
110# define PL_nexttype (PL_parser->nexttype)
111# define PL_nextval (PL_parser->nextval)
199e78b7
DM
112#endif
113
16173588
NC
114/* This can't be done with embed.fnc, because struct yy_parser contains a
115 member named pending_ident, which clashes with the generated #define */
3cbf51f5
DM
116static int
117S_pending_ident(pTHX);
199e78b7 118
0bd48802 119static const char ident_too_long[] = "Identifier too long";
8903cb82 120
29595ff2 121#ifdef PERL_MAD
29595ff2 122# define CURMAD(slot,sv) if (PL_madskills) { curmad(slot,sv); sv = 0; }
cd81e915 123# define NEXTVAL_NEXTTOKE PL_nexttoke[PL_curforce].next_val
9ded7720 124#else
5db06880 125# define CURMAD(slot,sv)
9ded7720 126# define NEXTVAL_NEXTTOKE PL_nextval[PL_nexttoke]
29595ff2
NC
127#endif
128
9059aa12
LW
129#define XFAKEBRACK 128
130#define XENUMMASK 127
131
39e02b42
JH
132#ifdef USE_UTF8_SCRIPTS
133# define UTF (!IN_BYTES)
2b9d42f0 134#else
746b446a 135# define UTF ((PL_linestr && DO_UTF8(PL_linestr)) || (PL_hints & HINT_UTF8))
2b9d42f0 136#endif
a0ed51b3 137
b1fc3636
CJ
138/* The maximum number of characters preceding the unrecognized one to display */
139#define UNRECOGNIZED_PRECEDE_COUNT 10
140
61f0cdd9 141/* In variables named $^X, these are the legal values for X.
2b92dfce
GS
142 * 1999-02-27 mjd-perl-patch@plover.com */
143#define isCONTROLVAR(x) (isUPPER(x) || strchr("[\\]^_?", (x)))
144
bf4acbe4 145#define SPACE_OR_TAB(c) ((c)==' '||(c)=='\t')
bf4acbe4 146
ffb4593c
NT
147/* LEX_* are values for PL_lex_state, the state of the lexer.
148 * They are arranged oddly so that the guard on the switch statement
79072805
LW
149 * can get by with a single comparison (if the compiler is smart enough).
150 */
151
fb73857a 152/* #define LEX_NOTPARSING 11 is done in perl.h. */
153
b6007c36
DM
154#define LEX_NORMAL 10 /* normal code (ie not within "...") */
155#define LEX_INTERPNORMAL 9 /* code within a string, eg "$foo[$x+1]" */
156#define LEX_INTERPCASEMOD 8 /* expecting a \U, \Q or \E etc */
157#define LEX_INTERPPUSH 7 /* starting a new sublex parse level */
158#define LEX_INTERPSTART 6 /* expecting the start of a $var */
159
160 /* at end of code, eg "$x" followed by: */
161#define LEX_INTERPEND 5 /* ... eg not one of [, { or -> */
162#define LEX_INTERPENDMAYBE 4 /* ... eg one of [, { or -> */
163
164#define LEX_INTERPCONCAT 3 /* expecting anything, eg at start of
165 string or after \E, $foo, etc */
166#define LEX_INTERPCONST 2 /* NOT USED */
167#define LEX_FORMLINE 1 /* expecting a format line */
168#define LEX_KNOWNEXT 0 /* next token known; just return it */
169
79072805 170
bbf60fe6 171#ifdef DEBUGGING
27da23d5 172static const char* const lex_state_names[] = {
bbf60fe6
DM
173 "KNOWNEXT",
174 "FORMLINE",
175 "INTERPCONST",
176 "INTERPCONCAT",
177 "INTERPENDMAYBE",
178 "INTERPEND",
179 "INTERPSTART",
180 "INTERPPUSH",
181 "INTERPCASEMOD",
182 "INTERPNORMAL",
183 "NORMAL"
184};
185#endif
186
79072805
LW
187#ifdef ff_next
188#undef ff_next
d48672a2
LW
189#endif
190
79072805 191#include "keywords.h"
fe14fcc3 192
ffb4593c
NT
193/* CLINE is a macro that ensures PL_copline has a sane value */
194
ae986130
LW
195#ifdef CLINE
196#undef CLINE
197#endif
57843af0 198#define CLINE (PL_copline = (CopLINE(PL_curcop) < PL_copline ? CopLINE(PL_curcop) : PL_copline))
3280af22 199
5db06880 200#ifdef PERL_MAD
29595ff2
NC
201# define SKIPSPACE0(s) skipspace0(s)
202# define SKIPSPACE1(s) skipspace1(s)
203# define SKIPSPACE2(s,tsv) skipspace2(s,&tsv)
204# define PEEKSPACE(s) skipspace2(s,0)
205#else
206# define SKIPSPACE0(s) skipspace(s)
207# define SKIPSPACE1(s) skipspace(s)
208# define SKIPSPACE2(s,tsv) skipspace(s)
209# define PEEKSPACE(s) skipspace(s)
210#endif
211
ffb4593c
NT
212/*
213 * Convenience functions to return different tokens and prime the
9cbb5ea2 214 * lexer for the next token. They all take an argument.
ffb4593c
NT
215 *
216 * TOKEN : generic token (used for '(', DOLSHARP, etc)
217 * OPERATOR : generic operator
218 * AOPERATOR : assignment operator
219 * PREBLOCK : beginning the block after an if, while, foreach, ...
220 * PRETERMBLOCK : beginning a non-code-defining {} block (eg, hash ref)
221 * PREREF : *EXPR where EXPR is not a simple identifier
222 * TERM : expression term
223 * LOOPX : loop exiting command (goto, last, dump, etc)
224 * FTST : file test operator
225 * FUN0 : zero-argument function
2d2e263d 226 * FUN1 : not used, except for not, which isn't a UNIOP
ffb4593c
NT
227 * BOop : bitwise or or xor
228 * BAop : bitwise and
229 * SHop : shift operator
230 * PWop : power operator
9cbb5ea2 231 * PMop : pattern-matching operator
ffb4593c
NT
232 * Aop : addition-level operator
233 * Mop : multiplication-level operator
234 * Eop : equality-testing operator
e5edeb50 235 * Rop : relational operator <= != gt
ffb4593c
NT
236 *
237 * Also see LOP and lop() below.
238 */
239
998054bd 240#ifdef DEBUGGING /* Serve -DT. */
704d4215 241# define REPORT(retval) tokereport((I32)retval, &pl_yylval)
998054bd 242#else
bbf60fe6 243# define REPORT(retval) (retval)
998054bd
SC
244#endif
245
bbf60fe6
DM
246#define TOKEN(retval) return ( PL_bufptr = s, REPORT(retval))
247#define OPERATOR(retval) return (PL_expect = XTERM, PL_bufptr = s, REPORT(retval))
248#define AOPERATOR(retval) return ao((PL_expect = XTERM, PL_bufptr = s, REPORT(retval)))
249#define PREBLOCK(retval) return (PL_expect = XBLOCK,PL_bufptr = s, REPORT(retval))
250#define PRETERMBLOCK(retval) return (PL_expect = XTERMBLOCK,PL_bufptr = s, REPORT(retval))
251#define PREREF(retval) return (PL_expect = XREF,PL_bufptr = s, REPORT(retval))
252#define TERM(retval) return (CLINE, PL_expect = XOPERATOR, PL_bufptr = s, REPORT(retval))
6154021b
RGS
253#define LOOPX(f) return (pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)LOOPEX))
254#define FTST(f) return (pl_yylval.ival=f, PL_expect=XTERMORDORDOR, PL_bufptr=s, REPORT((int)UNIOP))
255#define FUN0(f) return (pl_yylval.ival=f, PL_expect=XOPERATOR, PL_bufptr=s, REPORT((int)FUNC0))
256#define FUN1(f) return (pl_yylval.ival=f, PL_expect=XOPERATOR, PL_bufptr=s, REPORT((int)FUNC1))
257#define BOop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)BITOROP)))
258#define BAop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)BITANDOP)))
259#define SHop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)SHIFTOP)))
260#define PWop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)POWOP)))
261#define PMop(f) return(pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)MATCHOP))
262#define Aop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)ADDOP)))
263#define Mop(f) return ao((pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)MULOP)))
264#define Eop(f) return (pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)EQOP))
265#define Rop(f) return (pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)RELOP))
2f3197b3 266
a687059c
LW
267/* This bit of chicanery makes a unary function followed by
268 * a parenthesis into a function with one argument, highest precedence.
6f33ba73
RGS
269 * The UNIDOR macro is for unary functions that can be followed by the //
270 * operator (such as C<shift // 0>).
a687059c 271 */
376fcdbf 272#define UNI2(f,x) { \
6154021b 273 pl_yylval.ival = f; \
376fcdbf
AL
274 PL_expect = x; \
275 PL_bufptr = s; \
276 PL_last_uni = PL_oldbufptr; \
277 PL_last_lop_op = f; \
278 if (*s == '(') \
279 return REPORT( (int)FUNC1 ); \
29595ff2 280 s = PEEKSPACE(s); \
376fcdbf
AL
281 return REPORT( *s=='(' ? (int)FUNC1 : (int)UNIOP ); \
282 }
6f33ba73
RGS
283#define UNI(f) UNI2(f,XTERM)
284#define UNIDOR(f) UNI2(f,XTERMORDORDOR)
a687059c 285
376fcdbf 286#define UNIBRACK(f) { \
6154021b 287 pl_yylval.ival = f; \
376fcdbf
AL
288 PL_bufptr = s; \
289 PL_last_uni = PL_oldbufptr; \
290 if (*s == '(') \
291 return REPORT( (int)FUNC1 ); \
29595ff2 292 s = PEEKSPACE(s); \
376fcdbf
AL
293 return REPORT( (*s == '(') ? (int)FUNC1 : (int)UNIOP ); \
294 }
79072805 295
9f68db38 296/* grandfather return to old style */
6154021b 297#define OLDLOP(f) return(pl_yylval.ival=f,PL_expect = XTERM,PL_bufptr = s,(int)LSTOP)
79072805 298
8fa7f367
JH
299#ifdef DEBUGGING
300
6154021b 301/* how to interpret the pl_yylval associated with the token */
bbf60fe6
DM
302enum token_type {
303 TOKENTYPE_NONE,
304 TOKENTYPE_IVAL,
6154021b 305 TOKENTYPE_OPNUM, /* pl_yylval.ival contains an opcode number */
bbf60fe6
DM
306 TOKENTYPE_PVAL,
307 TOKENTYPE_OPVAL,
308 TOKENTYPE_GVVAL
309};
310
6d4a66ac
NC
311static struct debug_tokens {
312 const int token;
313 enum token_type type;
314 const char *name;
315} const debug_tokens[] =
9041c2e3 316{
bbf60fe6
DM
317 { ADDOP, TOKENTYPE_OPNUM, "ADDOP" },
318 { ANDAND, TOKENTYPE_NONE, "ANDAND" },
319 { ANDOP, TOKENTYPE_NONE, "ANDOP" },
320 { ANONSUB, TOKENTYPE_IVAL, "ANONSUB" },
321 { ARROW, TOKENTYPE_NONE, "ARROW" },
322 { ASSIGNOP, TOKENTYPE_OPNUM, "ASSIGNOP" },
323 { BITANDOP, TOKENTYPE_OPNUM, "BITANDOP" },
324 { BITOROP, TOKENTYPE_OPNUM, "BITOROP" },
325 { COLONATTR, TOKENTYPE_NONE, "COLONATTR" },
326 { CONTINUE, TOKENTYPE_NONE, "CONTINUE" },
0d863452 327 { DEFAULT, TOKENTYPE_NONE, "DEFAULT" },
bbf60fe6
DM
328 { DO, TOKENTYPE_NONE, "DO" },
329 { DOLSHARP, TOKENTYPE_NONE, "DOLSHARP" },
330 { DORDOR, TOKENTYPE_NONE, "DORDOR" },
331 { DOROP, TOKENTYPE_OPNUM, "DOROP" },
332 { DOTDOT, TOKENTYPE_IVAL, "DOTDOT" },
333 { ELSE, TOKENTYPE_NONE, "ELSE" },
334 { ELSIF, TOKENTYPE_IVAL, "ELSIF" },
335 { EQOP, TOKENTYPE_OPNUM, "EQOP" },
336 { FOR, TOKENTYPE_IVAL, "FOR" },
337 { FORMAT, TOKENTYPE_NONE, "FORMAT" },
338 { FUNC, TOKENTYPE_OPNUM, "FUNC" },
339 { FUNC0, TOKENTYPE_OPNUM, "FUNC0" },
340 { FUNC0SUB, TOKENTYPE_OPVAL, "FUNC0SUB" },
341 { FUNC1, TOKENTYPE_OPNUM, "FUNC1" },
342 { FUNCMETH, TOKENTYPE_OPVAL, "FUNCMETH" },
0d863452 343 { GIVEN, TOKENTYPE_IVAL, "GIVEN" },
bbf60fe6
DM
344 { HASHBRACK, TOKENTYPE_NONE, "HASHBRACK" },
345 { IF, TOKENTYPE_IVAL, "IF" },
346 { LABEL, TOKENTYPE_PVAL, "LABEL" },
347 { LOCAL, TOKENTYPE_IVAL, "LOCAL" },
348 { LOOPEX, TOKENTYPE_OPNUM, "LOOPEX" },
349 { LSTOP, TOKENTYPE_OPNUM, "LSTOP" },
350 { LSTOPSUB, TOKENTYPE_OPVAL, "LSTOPSUB" },
351 { MATCHOP, TOKENTYPE_OPNUM, "MATCHOP" },
352 { METHOD, TOKENTYPE_OPVAL, "METHOD" },
353 { MULOP, TOKENTYPE_OPNUM, "MULOP" },
354 { MY, TOKENTYPE_IVAL, "MY" },
355 { MYSUB, TOKENTYPE_NONE, "MYSUB" },
356 { NOAMP, TOKENTYPE_NONE, "NOAMP" },
357 { NOTOP, TOKENTYPE_NONE, "NOTOP" },
358 { OROP, TOKENTYPE_IVAL, "OROP" },
359 { OROR, TOKENTYPE_NONE, "OROR" },
360 { PACKAGE, TOKENTYPE_NONE, "PACKAGE" },
88e1f1a2
JV
361 { PLUGEXPR, TOKENTYPE_OPVAL, "PLUGEXPR" },
362 { PLUGSTMT, TOKENTYPE_OPVAL, "PLUGSTMT" },
bbf60fe6
DM
363 { PMFUNC, TOKENTYPE_OPVAL, "PMFUNC" },
364 { POSTDEC, TOKENTYPE_NONE, "POSTDEC" },
365 { POSTINC, TOKENTYPE_NONE, "POSTINC" },
366 { POWOP, TOKENTYPE_OPNUM, "POWOP" },
367 { PREDEC, TOKENTYPE_NONE, "PREDEC" },
368 { PREINC, TOKENTYPE_NONE, "PREINC" },
369 { PRIVATEREF, TOKENTYPE_OPVAL, "PRIVATEREF" },
370 { REFGEN, TOKENTYPE_NONE, "REFGEN" },
371 { RELOP, TOKENTYPE_OPNUM, "RELOP" },
372 { SHIFTOP, TOKENTYPE_OPNUM, "SHIFTOP" },
373 { SUB, TOKENTYPE_NONE, "SUB" },
374 { THING, TOKENTYPE_OPVAL, "THING" },
375 { UMINUS, TOKENTYPE_NONE, "UMINUS" },
376 { UNIOP, TOKENTYPE_OPNUM, "UNIOP" },
377 { UNIOPSUB, TOKENTYPE_OPVAL, "UNIOPSUB" },
378 { UNLESS, TOKENTYPE_IVAL, "UNLESS" },
379 { UNTIL, TOKENTYPE_IVAL, "UNTIL" },
380 { USE, TOKENTYPE_IVAL, "USE" },
0d863452 381 { WHEN, TOKENTYPE_IVAL, "WHEN" },
bbf60fe6
DM
382 { WHILE, TOKENTYPE_IVAL, "WHILE" },
383 { WORD, TOKENTYPE_OPVAL, "WORD" },
be25f609 384 { YADAYADA, TOKENTYPE_IVAL, "YADAYADA" },
c35e046a 385 { 0, TOKENTYPE_NONE, NULL }
bbf60fe6
DM
386};
387
6154021b 388/* dump the returned token in rv, plus any optional arg in pl_yylval */
998054bd 389
bbf60fe6 390STATIC int
704d4215 391S_tokereport(pTHX_ I32 rv, const YYSTYPE* lvalp)
bbf60fe6 392{
97aff369 393 dVAR;
7918f24d
NC
394
395 PERL_ARGS_ASSERT_TOKEREPORT;
396
bbf60fe6 397 if (DEBUG_T_TEST) {
bd61b366 398 const char *name = NULL;
bbf60fe6 399 enum token_type type = TOKENTYPE_NONE;
f54cb97a 400 const struct debug_tokens *p;
396482e1 401 SV* const report = newSVpvs("<== ");
bbf60fe6 402
f54cb97a 403 for (p = debug_tokens; p->token; p++) {
bbf60fe6
DM
404 if (p->token == (int)rv) {
405 name = p->name;
406 type = p->type;
407 break;
408 }
409 }
410 if (name)
54667de8 411 Perl_sv_catpv(aTHX_ report, name);
bbf60fe6
DM
412 else if ((char)rv > ' ' && (char)rv < '~')
413 Perl_sv_catpvf(aTHX_ report, "'%c'", (char)rv);
414 else if (!rv)
396482e1 415 sv_catpvs(report, "EOF");
bbf60fe6
DM
416 else
417 Perl_sv_catpvf(aTHX_ report, "?? %"IVdf, (IV)rv);
418 switch (type) {
419 case TOKENTYPE_NONE:
420 case TOKENTYPE_GVVAL: /* doesn't appear to be used */
421 break;
422 case TOKENTYPE_IVAL:
704d4215 423 Perl_sv_catpvf(aTHX_ report, "(ival=%"IVdf")", (IV)lvalp->ival);
bbf60fe6
DM
424 break;
425 case TOKENTYPE_OPNUM:
426 Perl_sv_catpvf(aTHX_ report, "(ival=op_%s)",
704d4215 427 PL_op_name[lvalp->ival]);
bbf60fe6
DM
428 break;
429 case TOKENTYPE_PVAL:
704d4215 430 Perl_sv_catpvf(aTHX_ report, "(pval=\"%s\")", lvalp->pval);
bbf60fe6
DM
431 break;
432 case TOKENTYPE_OPVAL:
704d4215 433 if (lvalp->opval) {
401441c0 434 Perl_sv_catpvf(aTHX_ report, "(opval=op_%s)",
704d4215
GG
435 PL_op_name[lvalp->opval->op_type]);
436 if (lvalp->opval->op_type == OP_CONST) {
b6007c36 437 Perl_sv_catpvf(aTHX_ report, " %s",
704d4215 438 SvPEEK(cSVOPx_sv(lvalp->opval)));
b6007c36
DM
439 }
440
441 }
401441c0 442 else
396482e1 443 sv_catpvs(report, "(opval=null)");
bbf60fe6
DM
444 break;
445 }
b6007c36 446 PerlIO_printf(Perl_debug_log, "### %s\n\n", SvPV_nolen_const(report));
bbf60fe6
DM
447 };
448 return (int)rv;
998054bd
SC
449}
450
b6007c36
DM
451
452/* print the buffer with suitable escapes */
453
454STATIC void
15f169a1 455S_printbuf(pTHX_ const char *const fmt, const char *const s)
b6007c36 456{
396482e1 457 SV* const tmp = newSVpvs("");
7918f24d
NC
458
459 PERL_ARGS_ASSERT_PRINTBUF;
460
b6007c36
DM
461 PerlIO_printf(Perl_debug_log, fmt, pv_display(tmp, s, strlen(s), 0, 60));
462 SvREFCNT_dec(tmp);
463}
464
8fa7f367
JH
465#endif
466
8290c323
NC
467static int
468S_deprecate_commaless_var_list(pTHX) {
469 PL_expect = XTERM;
470 deprecate("comma-less variable list");
471 return REPORT(','); /* grandfather non-comma-format format */
472}
473
ffb4593c
NT
474/*
475 * S_ao
476 *
c963b151
BD
477 * This subroutine detects &&=, ||=, and //= and turns an ANDAND, OROR or DORDOR
478 * into an OP_ANDASSIGN, OP_ORASSIGN, or OP_DORASSIGN
ffb4593c
NT
479 */
480
76e3520e 481STATIC int
cea2e8a9 482S_ao(pTHX_ int toketype)
a0d0e21e 483{
97aff369 484 dVAR;
3280af22
NIS
485 if (*PL_bufptr == '=') {
486 PL_bufptr++;
a0d0e21e 487 if (toketype == ANDAND)
6154021b 488 pl_yylval.ival = OP_ANDASSIGN;
a0d0e21e 489 else if (toketype == OROR)
6154021b 490 pl_yylval.ival = OP_ORASSIGN;
c963b151 491 else if (toketype == DORDOR)
6154021b 492 pl_yylval.ival = OP_DORASSIGN;
a0d0e21e
LW
493 toketype = ASSIGNOP;
494 }
495 return toketype;
496}
497
ffb4593c
NT
498/*
499 * S_no_op
500 * When Perl expects an operator and finds something else, no_op
501 * prints the warning. It always prints "<something> found where
502 * operator expected. It prints "Missing semicolon on previous line?"
503 * if the surprise occurs at the start of the line. "do you need to
504 * predeclare ..." is printed out for code like "sub bar; foo bar $x"
505 * where the compiler doesn't know if foo is a method call or a function.
506 * It prints "Missing operator before end of line" if there's nothing
507 * after the missing operator, or "... before <...>" if there is something
508 * after the missing operator.
509 */
510
76e3520e 511STATIC void
15f169a1 512S_no_op(pTHX_ const char *const what, char *s)
463ee0b2 513{
97aff369 514 dVAR;
9d4ba2ae
AL
515 char * const oldbp = PL_bufptr;
516 const bool is_first = (PL_oldbufptr == PL_linestart);
68dc0745 517
7918f24d
NC
518 PERL_ARGS_ASSERT_NO_OP;
519
1189a94a
GS
520 if (!s)
521 s = oldbp;
07c798fb 522 else
1189a94a 523 PL_bufptr = s;
cea2e8a9 524 yywarn(Perl_form(aTHX_ "%s found where operator expected", what));
56da5a46
RGS
525 if (ckWARN_d(WARN_SYNTAX)) {
526 if (is_first)
527 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
528 "\t(Missing semicolon on previous line?)\n");
529 else if (PL_oldoldbufptr && isIDFIRST_lazy_if(PL_oldoldbufptr,UTF)) {
f54cb97a 530 const char *t;
c35e046a
AL
531 for (t = PL_oldoldbufptr; (isALNUM_lazy_if(t,UTF) || *t == ':'); t++)
532 NOOP;
56da5a46
RGS
533 if (t < PL_bufptr && isSPACE(*t))
534 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
535 "\t(Do you need to predeclare %.*s?)\n",
551405c4 536 (int)(t - PL_oldoldbufptr), PL_oldoldbufptr);
56da5a46
RGS
537 }
538 else {
539 assert(s >= oldbp);
540 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
551405c4 541 "\t(Missing operator before %.*s?)\n", (int)(s - oldbp), oldbp);
56da5a46 542 }
07c798fb 543 }
3280af22 544 PL_bufptr = oldbp;
8990e307
LW
545}
546
ffb4593c
NT
547/*
548 * S_missingterm
549 * Complain about missing quote/regexp/heredoc terminator.
d4c19fe8 550 * If it's called with NULL then it cauterizes the line buffer.
ffb4593c
NT
551 * If we're in a delimited string and the delimiter is a control
552 * character, it's reformatted into a two-char sequence like ^C.
553 * This is fatal.
554 */
555
76e3520e 556STATIC void
cea2e8a9 557S_missingterm(pTHX_ char *s)
8990e307 558{
97aff369 559 dVAR;
8990e307
LW
560 char tmpbuf[3];
561 char q;
562 if (s) {
9d4ba2ae 563 char * const nl = strrchr(s,'\n');
d2719217 564 if (nl)
8990e307
LW
565 *nl = '\0';
566 }
463559e7 567 else if (isCNTRL(PL_multi_close)) {
8990e307 568 *tmpbuf = '^';
585ec06d 569 tmpbuf[1] = (char)toCTRL(PL_multi_close);
8990e307
LW
570 tmpbuf[2] = '\0';
571 s = tmpbuf;
572 }
573 else {
eb160463 574 *tmpbuf = (char)PL_multi_close;
8990e307
LW
575 tmpbuf[1] = '\0';
576 s = tmpbuf;
577 }
578 q = strchr(s,'"') ? '\'' : '"';
cea2e8a9 579 Perl_croak(aTHX_ "Can't find string terminator %c%s%c anywhere before EOF",q,s,q);
463ee0b2 580}
79072805 581
ef89dcc3 582#define FEATURE_IS_ENABLED(name) \
0d863452 583 ((0 != (PL_hints & HINT_LOCALIZE_HH)) \
89529cee 584 && S_feature_is_enabled(aTHX_ STR_WITH_LEN(name)))
4a731d7b 585/* The longest string we pass in. */
1863b879 586#define MAX_FEATURE_LEN (sizeof("unicode_strings")-1)
4a731d7b 587
0d863452
RH
588/*
589 * S_feature_is_enabled
590 * Check whether the named feature is enabled.
591 */
592STATIC bool
15f169a1 593S_feature_is_enabled(pTHX_ const char *const name, STRLEN namelen)
0d863452 594{
97aff369 595 dVAR;
0d863452 596 HV * const hinthv = GvHV(PL_hintgv);
4a731d7b 597 char he_name[8 + MAX_FEATURE_LEN] = "feature_";
7918f24d
NC
598
599 PERL_ARGS_ASSERT_FEATURE_IS_ENABLED;
600
4a731d7b
NC
601 assert(namelen <= MAX_FEATURE_LEN);
602 memcpy(&he_name[8], name, namelen);
d4c19fe8 603
7b9ef140 604 return (hinthv && hv_exists(hinthv, he_name, 8 + namelen));
0d863452
RH
605}
606
ffb4593c 607/*
9cbb5ea2
GS
608 * experimental text filters for win32 carriage-returns, utf16-to-utf8 and
609 * utf16-to-utf8-reversed.
ffb4593c
NT
610 */
611
c39cd008
GS
612#ifdef PERL_CR_FILTER
613static void
614strip_return(SV *sv)
615{
95a20fc0 616 register const char *s = SvPVX_const(sv);
9d4ba2ae 617 register const char * const e = s + SvCUR(sv);
7918f24d
NC
618
619 PERL_ARGS_ASSERT_STRIP_RETURN;
620
c39cd008
GS
621 /* outer loop optimized to do nothing if there are no CR-LFs */
622 while (s < e) {
623 if (*s++ == '\r' && *s == '\n') {
624 /* hit a CR-LF, need to copy the rest */
625 register char *d = s - 1;
626 *d++ = *s++;
627 while (s < e) {
628 if (*s == '\r' && s[1] == '\n')
629 s++;
630 *d++ = *s++;
631 }
632 SvCUR(sv) -= s - d;
633 return;
634 }
635 }
636}
a868473f 637
76e3520e 638STATIC I32
c39cd008 639S_cr_textfilter(pTHX_ int idx, SV *sv, int maxlen)
a868473f 640{
f54cb97a 641 const I32 count = FILTER_READ(idx+1, sv, maxlen);
c39cd008
GS
642 if (count > 0 && !maxlen)
643 strip_return(sv);
644 return count;
a868473f
NIS
645}
646#endif
647
199e78b7
DM
648
649
ffb4593c
NT
650/*
651 * Perl_lex_start
5486870f 652 *
e3abe207 653 * Create a parser object and initialise its parser and lexer fields
5486870f
DM
654 *
655 * rsfp is the opened file handle to read from (if any),
656 *
657 * line holds any initial content already read from the file (or in
658 * the case of no file, such as an eval, the whole contents);
659 *
660 * new_filter indicates that this is a new file and it shouldn't inherit
661 * the filters from the current parser (ie require).
ffb4593c
NT
662 */
663
a0d0e21e 664void
5486870f 665Perl_lex_start(pTHX_ SV *line, PerlIO *rsfp, bool new_filter)
79072805 666{
97aff369 667 dVAR;
6ef55633 668 const char *s = NULL;
8990e307 669 STRLEN len;
5486870f 670 yy_parser *parser, *oparser;
acdf0a21
DM
671
672 /* create and initialise a parser */
673
199e78b7 674 Newxz(parser, 1, yy_parser);
5486870f 675 parser->old_parser = oparser = PL_parser;
acdf0a21
DM
676 PL_parser = parser;
677
678 Newx(parser->stack, YYINITDEPTH, yy_stack_frame);
679 parser->ps = parser->stack;
680 parser->stack_size = YYINITDEPTH;
681
682 parser->stack->state = 0;
683 parser->yyerrstatus = 0;
684 parser->yychar = YYEMPTY; /* Cause a token to be read. */
685
e3abe207
DM
686 /* on scope exit, free this parser and restore any outer one */
687 SAVEPARSER(parser);
7c4baf47 688 parser->saved_curcop = PL_curcop;
e3abe207 689
acdf0a21 690 /* initialise lexer state */
8990e307 691
fb205e7a
DM
692#ifdef PERL_MAD
693 parser->curforce = -1;
694#else
695 parser->nexttoke = 0;
696#endif
ca4cfd28 697 parser->error_count = oparser ? oparser->error_count : 0;
c2598295 698 parser->copline = NOLINE;
5afb0a62 699 parser->lex_state = LEX_NORMAL;
c2598295 700 parser->expect = XSTATE;
2f9285f8 701 parser->rsfp = rsfp;
56b27c9a 702 parser->rsfp_filters = (new_filter || !oparser) ? newAV()
502c6561 703 : MUTABLE_AV(SvREFCNT_inc(oparser->rsfp_filters));
2f9285f8 704
199e78b7
DM
705 Newx(parser->lex_brackstack, 120, char);
706 Newx(parser->lex_casestack, 12, char);
707 *parser->lex_casestack = '\0';
02b34bbe 708
10efb74f
NC
709 if (line) {
710 s = SvPV_const(line, len);
711 } else {
712 len = 0;
713 }
bdc0bf6f 714
10efb74f 715 if (!len) {
bdc0bf6f 716 parser->linestr = newSVpvs("\n;");
10efb74f 717 } else if (SvREADONLY(line) || s[len-1] != ';') {
bdc0bf6f 718 parser->linestr = newSVsv(line);
10efb74f 719 if (s[len-1] != ';')
bdc0bf6f 720 sv_catpvs(parser->linestr, "\n;");
6c5ce11d
NC
721 } else {
722 SvTEMP_off(line);
723 SvREFCNT_inc_simple_void_NN(line);
bdc0bf6f 724 parser->linestr = line;
8990e307 725 }
f06b5848
DM
726 parser->oldoldbufptr =
727 parser->oldbufptr =
728 parser->bufptr =
729 parser->linestart = SvPVX(parser->linestr);
730 parser->bufend = parser->bufptr + SvCUR(parser->linestr);
731 parser->last_lop = parser->last_uni = NULL;
79072805 732}
a687059c 733
e3abe207
DM
734
735/* delete a parser object */
736
737void
738Perl_parser_free(pTHX_ const yy_parser *parser)
739{
7918f24d
NC
740 PERL_ARGS_ASSERT_PARSER_FREE;
741
7c4baf47 742 PL_curcop = parser->saved_curcop;
bdc0bf6f
DM
743 SvREFCNT_dec(parser->linestr);
744
2f9285f8
DM
745 if (parser->rsfp == PerlIO_stdin())
746 PerlIO_clearerr(parser->rsfp);
799361c3
SH
747 else if (parser->rsfp && (!parser->old_parser ||
748 (parser->old_parser && parser->rsfp != parser->old_parser->rsfp)))
2f9285f8 749 PerlIO_close(parser->rsfp);
5486870f 750 SvREFCNT_dec(parser->rsfp_filters);
2f9285f8 751
e3abe207
DM
752 Safefree(parser->stack);
753 Safefree(parser->lex_brackstack);
754 Safefree(parser->lex_casestack);
755 PL_parser = parser->old_parser;
756 Safefree(parser);
757}
758
759
ffb4593c
NT
760/*
761 * Perl_lex_end
9cbb5ea2
GS
762 * Finalizer for lexing operations. Must be called when the parser is
763 * done with the lexer.
ffb4593c
NT
764 */
765
463ee0b2 766void
864dbfa3 767Perl_lex_end(pTHX)
463ee0b2 768{
97aff369 769 dVAR;
3280af22 770 PL_doextract = FALSE;
463ee0b2
LW
771}
772
ffb4593c 773/*
f0e67a1d
Z
774=for apidoc AmxU|SV *|PL_parser-E<gt>linestr
775
776Buffer scalar containing the chunk currently under consideration of the
777text currently being lexed. This is always a plain string scalar (for
778which C<SvPOK> is true). It is not intended to be used as a scalar by
779normal scalar means; instead refer to the buffer directly by the pointer
780variables described below.
781
782The lexer maintains various C<char*> pointers to things in the
783C<PL_parser-E<gt>linestr> buffer. If C<PL_parser-E<gt>linestr> is ever
784reallocated, all of these pointers must be updated. Don't attempt to
785do this manually, but rather use L</lex_grow_linestr> if you need to
786reallocate the buffer.
787
788The content of the text chunk in the buffer is commonly exactly one
789complete line of input, up to and including a newline terminator,
790but there are situations where it is otherwise. The octets of the
791buffer may be intended to be interpreted as either UTF-8 or Latin-1.
792The function L</lex_bufutf8> tells you which. Do not use the C<SvUTF8>
793flag on this scalar, which may disagree with it.
794
795For direct examination of the buffer, the variable
796L</PL_parser-E<gt>bufend> points to the end of the buffer. The current
797lexing position is pointed to by L</PL_parser-E<gt>bufptr>. Direct use
798of these pointers is usually preferable to examination of the scalar
799through normal scalar means.
800
801=for apidoc AmxU|char *|PL_parser-E<gt>bufend
802
803Direct pointer to the end of the chunk of text currently being lexed, the
804end of the lexer buffer. This is equal to C<SvPVX(PL_parser-E<gt>linestr)
805+ SvCUR(PL_parser-E<gt>linestr)>. A NUL character (zero octet) is
806always located at the end of the buffer, and does not count as part of
807the buffer's contents.
808
809=for apidoc AmxU|char *|PL_parser-E<gt>bufptr
810
811Points to the current position of lexing inside the lexer buffer.
812Characters around this point may be freely examined, within
813the range delimited by C<SvPVX(L</PL_parser-E<gt>linestr>)> and
814L</PL_parser-E<gt>bufend>. The octets of the buffer may be intended to be
815interpreted as either UTF-8 or Latin-1, as indicated by L</lex_bufutf8>.
816
817Lexing code (whether in the Perl core or not) moves this pointer past
818the characters that it consumes. It is also expected to perform some
819bookkeeping whenever a newline character is consumed. This movement
820can be more conveniently performed by the function L</lex_read_to>,
821which handles newlines appropriately.
822
823Interpretation of the buffer's octets can be abstracted out by
824using the slightly higher-level functions L</lex_peek_unichar> and
825L</lex_read_unichar>.
826
827=for apidoc AmxU|char *|PL_parser-E<gt>linestart
828
829Points to the start of the current line inside the lexer buffer.
830This is useful for indicating at which column an error occurred, and
831not much else. This must be updated by any lexing code that consumes
832a newline; the function L</lex_read_to> handles this detail.
833
834=cut
835*/
836
837/*
838=for apidoc Amx|bool|lex_bufutf8
839
840Indicates whether the octets in the lexer buffer
841(L</PL_parser-E<gt>linestr>) should be interpreted as the UTF-8 encoding
842of Unicode characters. If not, they should be interpreted as Latin-1
843characters. This is analogous to the C<SvUTF8> flag for scalars.
844
845In UTF-8 mode, it is not guaranteed that the lexer buffer actually
846contains valid UTF-8. Lexing code must be robust in the face of invalid
847encoding.
848
849The actual C<SvUTF8> flag of the L</PL_parser-E<gt>linestr> scalar
850is significant, but not the whole story regarding the input character
851encoding. Normally, when a file is being read, the scalar contains octets
852and its C<SvUTF8> flag is off, but the octets should be interpreted as
853UTF-8 if the C<use utf8> pragma is in effect. During a string eval,
854however, the scalar may have the C<SvUTF8> flag on, and in this case its
855octets should be interpreted as UTF-8 unless the C<use bytes> pragma
856is in effect. This logic may change in the future; use this function
857instead of implementing the logic yourself.
858
859=cut
860*/
861
862bool
863Perl_lex_bufutf8(pTHX)
864{
865 return UTF;
866}
867
868/*
869=for apidoc Amx|char *|lex_grow_linestr|STRLEN len
870
871Reallocates the lexer buffer (L</PL_parser-E<gt>linestr>) to accommodate
872at least I<len> octets (including terminating NUL). Returns a
873pointer to the reallocated buffer. This is necessary before making
874any direct modification of the buffer that would increase its length.
875L</lex_stuff_pvn> provides a more convenient way to insert text into
876the buffer.
877
878Do not use C<SvGROW> or C<sv_grow> directly on C<PL_parser-E<gt>linestr>;
879this function updates all of the lexer's variables that point directly
880into the buffer.
881
882=cut
883*/
884
885char *
886Perl_lex_grow_linestr(pTHX_ STRLEN len)
887{
888 SV *linestr;
889 char *buf;
890 STRLEN bufend_pos, bufptr_pos, oldbufptr_pos, oldoldbufptr_pos;
891 STRLEN linestart_pos, last_uni_pos, last_lop_pos;
892 linestr = PL_parser->linestr;
893 buf = SvPVX(linestr);
894 if (len <= SvLEN(linestr))
895 return buf;
896 bufend_pos = PL_parser->bufend - buf;
897 bufptr_pos = PL_parser->bufptr - buf;
898 oldbufptr_pos = PL_parser->oldbufptr - buf;
899 oldoldbufptr_pos = PL_parser->oldoldbufptr - buf;
900 linestart_pos = PL_parser->linestart - buf;
901 last_uni_pos = PL_parser->last_uni ? PL_parser->last_uni - buf : 0;
902 last_lop_pos = PL_parser->last_lop ? PL_parser->last_lop - buf : 0;
903 buf = sv_grow(linestr, len);
904 PL_parser->bufend = buf + bufend_pos;
905 PL_parser->bufptr = buf + bufptr_pos;
906 PL_parser->oldbufptr = buf + oldbufptr_pos;
907 PL_parser->oldoldbufptr = buf + oldoldbufptr_pos;
908 PL_parser->linestart = buf + linestart_pos;
909 if (PL_parser->last_uni)
910 PL_parser->last_uni = buf + last_uni_pos;
911 if (PL_parser->last_lop)
912 PL_parser->last_lop = buf + last_lop_pos;
913 return buf;
914}
915
916/*
917=for apidoc Amx|void|lex_stuff_pvn|char *pv|STRLEN len|U32 flags
918
919Insert characters into the lexer buffer (L</PL_parser-E<gt>linestr>),
920immediately after the current lexing point (L</PL_parser-E<gt>bufptr>),
921reallocating the buffer if necessary. This means that lexing code that
922runs later will see the characters as if they had appeared in the input.
923It is not recommended to do this as part of normal parsing, and most
924uses of this facility run the risk of the inserted characters being
925interpreted in an unintended manner.
926
927The string to be inserted is represented by I<len> octets starting
928at I<pv>. These octets are interpreted as either UTF-8 or Latin-1,
929according to whether the C<LEX_STUFF_UTF8> flag is set in I<flags>.
930The characters are recoded for the lexer buffer, according to how the
931buffer is currently being interpreted (L</lex_bufutf8>). If a string
932to be interpreted is available as a Perl scalar, the L</lex_stuff_sv>
933function is more convenient.
934
935=cut
936*/
937
938void
939Perl_lex_stuff_pvn(pTHX_ char *pv, STRLEN len, U32 flags)
940{
941 char *bufptr;
942 PERL_ARGS_ASSERT_LEX_STUFF_PVN;
943 if (flags & ~(LEX_STUFF_UTF8))
944 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_stuff_pvn");
945 if (UTF) {
946 if (flags & LEX_STUFF_UTF8) {
947 goto plain_copy;
948 } else {
949 STRLEN highhalf = 0;
950 char *p, *e = pv+len;
951 for (p = pv; p != e; p++)
952 highhalf += !!(((U8)*p) & 0x80);
953 if (!highhalf)
954 goto plain_copy;
955 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len+highhalf);
956 bufptr = PL_parser->bufptr;
957 Move(bufptr, bufptr+len+highhalf, PL_parser->bufend+1-bufptr, char);
958 PL_parser->bufend += len+highhalf;
959 for (p = pv; p != e; p++) {
960 U8 c = (U8)*p;
961 if (c & 0x80) {
962 *bufptr++ = (char)(0xc0 | (c >> 6));
963 *bufptr++ = (char)(0x80 | (c & 0x3f));
964 } else {
965 *bufptr++ = (char)c;
966 }
967 }
968 }
969 } else {
970 if (flags & LEX_STUFF_UTF8) {
971 STRLEN highhalf = 0;
972 char *p, *e = pv+len;
973 for (p = pv; p != e; p++) {
974 U8 c = (U8)*p;
975 if (c >= 0xc4) {
976 Perl_croak(aTHX_ "Lexing code attempted to stuff "
977 "non-Latin-1 character into Latin-1 input");
978 } else if (c >= 0xc2 && p+1 != e &&
979 (((U8)p[1]) & 0xc0) == 0x80) {
980 p++;
981 highhalf++;
982 } else if (c >= 0x80) {
983 /* malformed UTF-8 */
984 ENTER;
985 SAVESPTR(PL_warnhook);
986 PL_warnhook = PERL_WARNHOOK_FATAL;
987 utf8n_to_uvuni((U8*)p, e-p, NULL, 0);
988 LEAVE;
989 }
990 }
991 if (!highhalf)
992 goto plain_copy;
993 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len-highhalf);
994 bufptr = PL_parser->bufptr;
995 Move(bufptr, bufptr+len-highhalf, PL_parser->bufend+1-bufptr, char);
996 PL_parser->bufend += len-highhalf;
997 for (p = pv; p != e; p++) {
998 U8 c = (U8)*p;
999 if (c & 0x80) {
1000 *bufptr++ = (char)(((c & 0x3) << 6) | (p[1] & 0x3f));
1001 p++;
1002 } else {
1003 *bufptr++ = (char)c;
1004 }
1005 }
1006 } else {
1007 plain_copy:
1008 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len);
1009 bufptr = PL_parser->bufptr;
1010 Move(bufptr, bufptr+len, PL_parser->bufend+1-bufptr, char);
1011 PL_parser->bufend += len;
1012 Copy(pv, bufptr, len, char);
1013 }
1014 }
1015}
1016
1017/*
1018=for apidoc Amx|void|lex_stuff_sv|SV *sv|U32 flags
1019
1020Insert characters into the lexer buffer (L</PL_parser-E<gt>linestr>),
1021immediately after the current lexing point (L</PL_parser-E<gt>bufptr>),
1022reallocating the buffer if necessary. This means that lexing code that
1023runs later will see the characters as if they had appeared in the input.
1024It is not recommended to do this as part of normal parsing, and most
1025uses of this facility run the risk of the inserted characters being
1026interpreted in an unintended manner.
1027
1028The string to be inserted is the string value of I<sv>. The characters
1029are recoded for the lexer buffer, according to how the buffer is currently
1030being interpreted (L</lex_bufutf8>). If a string to be interpreted is
1031not already a Perl scalar, the L</lex_stuff_pvn> function avoids the
1032need to construct a scalar.
1033
1034=cut
1035*/
1036
1037void
1038Perl_lex_stuff_sv(pTHX_ SV *sv, U32 flags)
1039{
1040 char *pv;
1041 STRLEN len;
1042 PERL_ARGS_ASSERT_LEX_STUFF_SV;
1043 if (flags)
1044 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_stuff_sv");
1045 pv = SvPV(sv, len);
1046 lex_stuff_pvn(pv, len, flags | (SvUTF8(sv) ? LEX_STUFF_UTF8 : 0));
1047}
1048
1049/*
1050=for apidoc Amx|void|lex_unstuff|char *ptr
1051
1052Discards text about to be lexed, from L</PL_parser-E<gt>bufptr> up to
1053I<ptr>. Text following I<ptr> will be moved, and the buffer shortened.
1054This hides the discarded text from any lexing code that runs later,
1055as if the text had never appeared.
1056
1057This is not the normal way to consume lexed text. For that, use
1058L</lex_read_to>.
1059
1060=cut
1061*/
1062
1063void
1064Perl_lex_unstuff(pTHX_ char *ptr)
1065{
1066 char *buf, *bufend;
1067 STRLEN unstuff_len;
1068 PERL_ARGS_ASSERT_LEX_UNSTUFF;
1069 buf = PL_parser->bufptr;
1070 if (ptr < buf)
1071 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_unstuff");
1072 if (ptr == buf)
1073 return;
1074 bufend = PL_parser->bufend;
1075 if (ptr > bufend)
1076 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_unstuff");
1077 unstuff_len = ptr - buf;
1078 Move(ptr, buf, bufend+1-ptr, char);
1079 SvCUR_set(PL_parser->linestr, SvCUR(PL_parser->linestr) - unstuff_len);
1080 PL_parser->bufend = bufend - unstuff_len;
1081}
1082
1083/*
1084=for apidoc Amx|void|lex_read_to|char *ptr
1085
1086Consume text in the lexer buffer, from L</PL_parser-E<gt>bufptr> up
1087to I<ptr>. This advances L</PL_parser-E<gt>bufptr> to match I<ptr>,
1088performing the correct bookkeeping whenever a newline character is passed.
1089This is the normal way to consume lexed text.
1090
1091Interpretation of the buffer's octets can be abstracted out by
1092using the slightly higher-level functions L</lex_peek_unichar> and
1093L</lex_read_unichar>.
1094
1095=cut
1096*/
1097
1098void
1099Perl_lex_read_to(pTHX_ char *ptr)
1100{
1101 char *s;
1102 PERL_ARGS_ASSERT_LEX_READ_TO;
1103 s = PL_parser->bufptr;
1104 if (ptr < s || ptr > PL_parser->bufend)
1105 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_to");
1106 for (; s != ptr; s++)
1107 if (*s == '\n') {
1108 CopLINE_inc(PL_curcop);
1109 PL_parser->linestart = s+1;
1110 }
1111 PL_parser->bufptr = ptr;
1112}
1113
1114/*
1115=for apidoc Amx|void|lex_discard_to|char *ptr
1116
1117Discards the first part of the L</PL_parser-E<gt>linestr> buffer,
1118up to I<ptr>. The remaining content of the buffer will be moved, and
1119all pointers into the buffer updated appropriately. I<ptr> must not
1120be later in the buffer than the position of L</PL_parser-E<gt>bufptr>:
1121it is not permitted to discard text that has yet to be lexed.
1122
1123Normally it is not necessarily to do this directly, because it suffices to
1124use the implicit discarding behaviour of L</lex_next_chunk> and things
1125based on it. However, if a token stretches across multiple lines,
1126and the lexing code has kept multiple lines of text in the buffer fof
1127that purpose, then after completion of the token it would be wise to
1128explicitly discard the now-unneeded earlier lines, to avoid future
1129multi-line tokens growing the buffer without bound.
1130
1131=cut
1132*/
1133
1134void
1135Perl_lex_discard_to(pTHX_ char *ptr)
1136{
1137 char *buf;
1138 STRLEN discard_len;
1139 PERL_ARGS_ASSERT_LEX_DISCARD_TO;
1140 buf = SvPVX(PL_parser->linestr);
1141 if (ptr < buf)
1142 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_discard_to");
1143 if (ptr == buf)
1144 return;
1145 if (ptr > PL_parser->bufptr)
1146 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_discard_to");
1147 discard_len = ptr - buf;
1148 if (PL_parser->oldbufptr < ptr)
1149 PL_parser->oldbufptr = ptr;
1150 if (PL_parser->oldoldbufptr < ptr)
1151 PL_parser->oldoldbufptr = ptr;
1152 if (PL_parser->last_uni && PL_parser->last_uni < ptr)
1153 PL_parser->last_uni = NULL;
1154 if (PL_parser->last_lop && PL_parser->last_lop < ptr)
1155 PL_parser->last_lop = NULL;
1156 Move(ptr, buf, PL_parser->bufend+1-ptr, char);
1157 SvCUR_set(PL_parser->linestr, SvCUR(PL_parser->linestr) - discard_len);
1158 PL_parser->bufend -= discard_len;
1159 PL_parser->bufptr -= discard_len;
1160 PL_parser->oldbufptr -= discard_len;
1161 PL_parser->oldoldbufptr -= discard_len;
1162 if (PL_parser->last_uni)
1163 PL_parser->last_uni -= discard_len;
1164 if (PL_parser->last_lop)
1165 PL_parser->last_lop -= discard_len;
1166}
1167
1168/*
1169=for apidoc Amx|bool|lex_next_chunk|U32 flags
1170
1171Reads in the next chunk of text to be lexed, appending it to
1172L</PL_parser-E<gt>linestr>. This should be called when lexing code has
1173looked to the end of the current chunk and wants to know more. It is
1174usual, but not necessary, for lexing to have consumed the entirety of
1175the current chunk at this time.
1176
1177If L</PL_parser-E<gt>bufptr> is pointing to the very end of the current
1178chunk (i.e., the current chunk has been entirely consumed), normally the
1179current chunk will be discarded at the same time that the new chunk is
1180read in. If I<flags> includes C<LEX_KEEP_PREVIOUS>, the current chunk
1181will not be discarded. If the current chunk has not been entirely
1182consumed, then it will not be discarded regardless of the flag.
1183
1184Returns true if some new text was added to the buffer, or false if the
1185buffer has reached the end of the input text.
1186
1187=cut
1188*/
1189
1190#define LEX_FAKE_EOF 0x80000000
1191
1192bool
1193Perl_lex_next_chunk(pTHX_ U32 flags)
1194{
1195 SV *linestr;
1196 char *buf;
1197 STRLEN old_bufend_pos, new_bufend_pos;
1198 STRLEN bufptr_pos, oldbufptr_pos, oldoldbufptr_pos;
1199 STRLEN linestart_pos, last_uni_pos, last_lop_pos;
17cc9359 1200 bool got_some_for_debugger = 0;
f0e67a1d
Z
1201 bool got_some;
1202 if (flags & ~(LEX_KEEP_PREVIOUS|LEX_FAKE_EOF))
1203 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_next_chunk");
f0e67a1d
Z
1204 linestr = PL_parser->linestr;
1205 buf = SvPVX(linestr);
1206 if (!(flags & LEX_KEEP_PREVIOUS) &&
1207 PL_parser->bufptr == PL_parser->bufend) {
1208 old_bufend_pos = bufptr_pos = oldbufptr_pos = oldoldbufptr_pos = 0;
1209 linestart_pos = 0;
1210 if (PL_parser->last_uni != PL_parser->bufend)
1211 PL_parser->last_uni = NULL;
1212 if (PL_parser->last_lop != PL_parser->bufend)
1213 PL_parser->last_lop = NULL;
1214 last_uni_pos = last_lop_pos = 0;
1215 *buf = 0;
1216 SvCUR(linestr) = 0;
1217 } else {
1218 old_bufend_pos = PL_parser->bufend - buf;
1219 bufptr_pos = PL_parser->bufptr - buf;
1220 oldbufptr_pos = PL_parser->oldbufptr - buf;
1221 oldoldbufptr_pos = PL_parser->oldoldbufptr - buf;
1222 linestart_pos = PL_parser->linestart - buf;
1223 last_uni_pos = PL_parser->last_uni ? PL_parser->last_uni - buf : 0;
1224 last_lop_pos = PL_parser->last_lop ? PL_parser->last_lop - buf : 0;
1225 }
1226 if (flags & LEX_FAKE_EOF) {
1227 goto eof;
1228 } else if (!PL_parser->rsfp) {
1229 got_some = 0;
1230 } else if (filter_gets(linestr, old_bufend_pos)) {
1231 got_some = 1;
17cc9359 1232 got_some_for_debugger = 1;
f0e67a1d 1233 } else {
580561a3
Z
1234 if (!SvPOK(linestr)) /* can get undefined by filter_gets */
1235 sv_setpvs(linestr, "");
f0e67a1d
Z
1236 eof:
1237 /* End of real input. Close filehandle (unless it was STDIN),
1238 * then add implicit termination.
1239 */
1240 if ((PerlIO*)PL_parser->rsfp == PerlIO_stdin())
1241 PerlIO_clearerr(PL_parser->rsfp);
1242 else if (PL_parser->rsfp)
1243 (void)PerlIO_close(PL_parser->rsfp);
1244 PL_parser->rsfp = NULL;
1245 PL_doextract = FALSE;
1246#ifdef PERL_MAD
1247 if (PL_madskills && !PL_in_eval && (PL_minus_p || PL_minus_n))
1248 PL_faketokens = 1;
1249#endif
1250 if (!PL_in_eval && PL_minus_p) {
1251 sv_catpvs(linestr,
1252 /*{*/";}continue{print or die qq(-p destination: $!\\n);}");
1253 PL_minus_n = PL_minus_p = 0;
1254 } else if (!PL_in_eval && PL_minus_n) {
1255 sv_catpvs(linestr, /*{*/";}");
1256 PL_minus_n = 0;
1257 } else
1258 sv_catpvs(linestr, ";");
1259 got_some = 1;
1260 }
1261 buf = SvPVX(linestr);
1262 new_bufend_pos = SvCUR(linestr);
1263 PL_parser->bufend = buf + new_bufend_pos;
1264 PL_parser->bufptr = buf + bufptr_pos;
1265 PL_parser->oldbufptr = buf + oldbufptr_pos;
1266 PL_parser->oldoldbufptr = buf + oldoldbufptr_pos;
1267 PL_parser->linestart = buf + linestart_pos;
1268 if (PL_parser->last_uni)
1269 PL_parser->last_uni = buf + last_uni_pos;
1270 if (PL_parser->last_lop)
1271 PL_parser->last_lop = buf + last_lop_pos;
17cc9359 1272 if (got_some_for_debugger && (PERLDB_LINE || PERLDB_SAVESRC) &&
f0e67a1d
Z
1273 PL_curstash != PL_debstash) {
1274 /* debugger active and we're not compiling the debugger code,
1275 * so store the line into the debugger's array of lines
1276 */
1277 update_debugger_info(NULL, buf+old_bufend_pos,
1278 new_bufend_pos-old_bufend_pos);
1279 }
1280 return got_some;
1281}
1282
1283/*
1284=for apidoc Amx|I32|lex_peek_unichar|U32 flags
1285
1286Looks ahead one (Unicode) character in the text currently being lexed.
1287Returns the codepoint (unsigned integer value) of the next character,
1288or -1 if lexing has reached the end of the input text. To consume the
1289peeked character, use L</lex_read_unichar>.
1290
1291If the next character is in (or extends into) the next chunk of input
1292text, the next chunk will be read in. Normally the current chunk will be
1293discarded at the same time, but if I<flags> includes C<LEX_KEEP_PREVIOUS>
1294then the current chunk will not be discarded.
1295
1296If the input is being interpreted as UTF-8 and a UTF-8 encoding error
1297is encountered, an exception is generated.
1298
1299=cut
1300*/
1301
1302I32
1303Perl_lex_peek_unichar(pTHX_ U32 flags)
1304{
1305 char *s, *bufend;
1306 if (flags & ~(LEX_KEEP_PREVIOUS))
1307 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_peek_unichar");
1308 s = PL_parser->bufptr;
1309 bufend = PL_parser->bufend;
1310 if (UTF) {
1311 U8 head;
1312 I32 unichar;
1313 STRLEN len, retlen;
1314 if (s == bufend) {
1315 if (!lex_next_chunk(flags))
1316 return -1;
1317 s = PL_parser->bufptr;
1318 bufend = PL_parser->bufend;
1319 }
1320 head = (U8)*s;
1321 if (!(head & 0x80))
1322 return head;
1323 if (head & 0x40) {
1324 len = PL_utf8skip[head];
1325 while ((STRLEN)(bufend-s) < len) {
1326 if (!lex_next_chunk(flags | LEX_KEEP_PREVIOUS))
1327 break;
1328 s = PL_parser->bufptr;
1329 bufend = PL_parser->bufend;
1330 }
1331 }
1332 unichar = utf8n_to_uvuni((U8*)s, bufend-s, &retlen, UTF8_CHECK_ONLY);
1333 if (retlen == (STRLEN)-1) {
1334 /* malformed UTF-8 */
1335 ENTER;
1336 SAVESPTR(PL_warnhook);
1337 PL_warnhook = PERL_WARNHOOK_FATAL;
1338 utf8n_to_uvuni((U8*)s, bufend-s, NULL, 0);
1339 LEAVE;
1340 }
1341 return unichar;
1342 } else {
1343 if (s == bufend) {
1344 if (!lex_next_chunk(flags))
1345 return -1;
1346 s = PL_parser->bufptr;
1347 }
1348 return (U8)*s;
1349 }
1350}
1351
1352/*
1353=for apidoc Amx|I32|lex_read_unichar|U32 flags
1354
1355Reads the next (Unicode) character in the text currently being lexed.
1356Returns the codepoint (unsigned integer value) of the character read,
1357and moves L</PL_parser-E<gt>bufptr> past the character, or returns -1
1358if lexing has reached the end of the input text. To non-destructively
1359examine the next character, use L</lex_peek_unichar> instead.
1360
1361If the next character is in (or extends into) the next chunk of input
1362text, the next chunk will be read in. Normally the current chunk will be
1363discarded at the same time, but if I<flags> includes C<LEX_KEEP_PREVIOUS>
1364then the current chunk will not be discarded.
1365
1366If the input is being interpreted as UTF-8 and a UTF-8 encoding error
1367is encountered, an exception is generated.
1368
1369=cut
1370*/
1371
1372I32
1373Perl_lex_read_unichar(pTHX_ U32 flags)
1374{
1375 I32 c;
1376 if (flags & ~(LEX_KEEP_PREVIOUS))
1377 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_unichar");
1378 c = lex_peek_unichar(flags);
1379 if (c != -1) {
1380 if (c == '\n')
1381 CopLINE_inc(PL_curcop);
1382 PL_parser->bufptr += UTF8SKIP(PL_parser->bufptr);
1383 }
1384 return c;
1385}
1386
1387/*
1388=for apidoc Amx|void|lex_read_space|U32 flags
1389
1390Reads optional spaces, in Perl style, in the text currently being
1391lexed. The spaces may include ordinary whitespace characters and
1392Perl-style comments. C<#line> directives are processed if encountered.
1393L</PL_parser-E<gt>bufptr> is moved past the spaces, so that it points
1394at a non-space character (or the end of the input text).
1395
1396If spaces extend into the next chunk of input text, the next chunk will
1397be read in. Normally the current chunk will be discarded at the same
1398time, but if I<flags> includes C<LEX_KEEP_PREVIOUS> then the current
1399chunk will not be discarded.
1400
1401=cut
1402*/
1403
f0998909
Z
1404#define LEX_NO_NEXT_CHUNK 0x80000000
1405
f0e67a1d
Z
1406void
1407Perl_lex_read_space(pTHX_ U32 flags)
1408{
1409 char *s, *bufend;
1410 bool need_incline = 0;
f0998909 1411 if (flags & ~(LEX_KEEP_PREVIOUS|LEX_NO_NEXT_CHUNK))
f0e67a1d
Z
1412 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_space");
1413#ifdef PERL_MAD
1414 if (PL_skipwhite) {
1415 sv_free(PL_skipwhite);
1416 PL_skipwhite = NULL;
1417 }
1418 if (PL_madskills)
1419 PL_skipwhite = newSVpvs("");
1420#endif /* PERL_MAD */
1421 s = PL_parser->bufptr;
1422 bufend = PL_parser->bufend;
1423 while (1) {
1424 char c = *s;
1425 if (c == '#') {
1426 do {
1427 c = *++s;
1428 } while (!(c == '\n' || (c == 0 && s == bufend)));
1429 } else if (c == '\n') {
1430 s++;
1431 PL_parser->linestart = s;
1432 if (s == bufend)
1433 need_incline = 1;
1434 else
1435 incline(s);
1436 } else if (isSPACE(c)) {
1437 s++;
1438 } else if (c == 0 && s == bufend) {
1439 bool got_more;
1440#ifdef PERL_MAD
1441 if (PL_madskills)
1442 sv_catpvn(PL_skipwhite, PL_parser->bufptr, s-PL_parser->bufptr);
1443#endif /* PERL_MAD */
f0998909
Z
1444 if (flags & LEX_NO_NEXT_CHUNK)
1445 break;
f0e67a1d
Z
1446 PL_parser->bufptr = s;
1447 CopLINE_inc(PL_curcop);
1448 got_more = lex_next_chunk(flags);
1449 CopLINE_dec(PL_curcop);
1450 s = PL_parser->bufptr;
1451 bufend = PL_parser->bufend;
1452 if (!got_more)
1453 break;
1454 if (need_incline && PL_parser->rsfp) {
1455 incline(s);
1456 need_incline = 0;
1457 }
1458 } else {
1459 break;
1460 }
1461 }
1462#ifdef PERL_MAD
1463 if (PL_madskills)
1464 sv_catpvn(PL_skipwhite, PL_parser->bufptr, s-PL_parser->bufptr);
1465#endif /* PERL_MAD */
1466 PL_parser->bufptr = s;
1467}
1468
1469/*
ffb4593c
NT
1470 * S_incline
1471 * This subroutine has nothing to do with tilting, whether at windmills
1472 * or pinball tables. Its name is short for "increment line". It
57843af0 1473 * increments the current line number in CopLINE(PL_curcop) and checks
ffb4593c 1474 * to see whether the line starts with a comment of the form
9cbb5ea2
GS
1475 * # line 500 "foo.pm"
1476 * If so, it sets the current line number and file to the values in the comment.
ffb4593c
NT
1477 */
1478
76e3520e 1479STATIC void
d9095cec 1480S_incline(pTHX_ const char *s)
463ee0b2 1481{
97aff369 1482 dVAR;
d9095cec
NC
1483 const char *t;
1484 const char *n;
1485 const char *e;
463ee0b2 1486
7918f24d
NC
1487 PERL_ARGS_ASSERT_INCLINE;
1488
57843af0 1489 CopLINE_inc(PL_curcop);
463ee0b2
LW
1490 if (*s++ != '#')
1491 return;
d4c19fe8
AL
1492 while (SPACE_OR_TAB(*s))
1493 s++;
73659bf1
GS
1494 if (strnEQ(s, "line", 4))
1495 s += 4;
1496 else
1497 return;
084592ab 1498 if (SPACE_OR_TAB(*s))
73659bf1 1499 s++;
4e553d73 1500 else
73659bf1 1501 return;
d4c19fe8
AL
1502 while (SPACE_OR_TAB(*s))
1503 s++;
463ee0b2
LW
1504 if (!isDIGIT(*s))
1505 return;
d4c19fe8 1506
463ee0b2
LW
1507 n = s;
1508 while (isDIGIT(*s))
1509 s++;
07714eb4 1510 if (!SPACE_OR_TAB(*s) && *s != '\r' && *s != '\n' && *s != '\0')
26b6dc3f 1511 return;
bf4acbe4 1512 while (SPACE_OR_TAB(*s))
463ee0b2 1513 s++;
73659bf1 1514 if (*s == '"' && (t = strchr(s+1, '"'))) {
463ee0b2 1515 s++;
73659bf1
GS
1516 e = t + 1;
1517 }
463ee0b2 1518 else {
c35e046a
AL
1519 t = s;
1520 while (!isSPACE(*t))
1521 t++;
73659bf1 1522 e = t;
463ee0b2 1523 }
bf4acbe4 1524 while (SPACE_OR_TAB(*e) || *e == '\r' || *e == '\f')
73659bf1
GS
1525 e++;
1526 if (*e != '\n' && *e != '\0')
1527 return; /* false alarm */
1528
f4dd75d9 1529 if (t - s > 0) {
d9095cec 1530 const STRLEN len = t - s;
8a5ee598 1531#ifndef USE_ITHREADS
19bad673
NC
1532 SV *const temp_sv = CopFILESV(PL_curcop);
1533 const char *cf;
1534 STRLEN tmplen;
1535
1536 if (temp_sv) {
1537 cf = SvPVX(temp_sv);
1538 tmplen = SvCUR(temp_sv);
1539 } else {
1540 cf = NULL;
1541 tmplen = 0;
1542 }
1543
42d9b98d 1544 if (tmplen > 7 && strnEQ(cf, "(eval ", 6)) {
e66cf94c
RGS
1545 /* must copy *{"::_<(eval N)[oldfilename:L]"}
1546 * to *{"::_<newfilename"} */
44867030
NC
1547 /* However, the long form of evals is only turned on by the
1548 debugger - usually they're "(eval %lu)" */
1549 char smallbuf[128];
1550 char *tmpbuf;
1551 GV **gvp;
d9095cec 1552 STRLEN tmplen2 = len;
798b63bc 1553 if (tmplen + 2 <= sizeof smallbuf)
e66cf94c
RGS
1554 tmpbuf = smallbuf;
1555 else
2ae0db35 1556 Newx(tmpbuf, tmplen + 2, char);
44867030
NC
1557 tmpbuf[0] = '_';
1558 tmpbuf[1] = '<';
2ae0db35 1559 memcpy(tmpbuf + 2, cf, tmplen);
44867030 1560 tmplen += 2;
8a5ee598
RGS
1561 gvp = (GV**)hv_fetch(PL_defstash, tmpbuf, tmplen, FALSE);
1562 if (gvp) {
44867030
NC
1563 char *tmpbuf2;
1564 GV *gv2;
1565
1566 if (tmplen2 + 2 <= sizeof smallbuf)
1567 tmpbuf2 = smallbuf;
1568 else
1569 Newx(tmpbuf2, tmplen2 + 2, char);
1570
1571 if (tmpbuf2 != smallbuf || tmpbuf != smallbuf) {
1572 /* Either they malloc'd it, or we malloc'd it,
1573 so no prefix is present in ours. */
1574 tmpbuf2[0] = '_';
1575 tmpbuf2[1] = '<';
1576 }
1577
1578 memcpy(tmpbuf2 + 2, s, tmplen2);
1579 tmplen2 += 2;
1580
8a5ee598 1581 gv2 = *(GV**)hv_fetch(PL_defstash, tmpbuf2, tmplen2, TRUE);
e5527e4b 1582 if (!isGV(gv2)) {
8a5ee598 1583 gv_init(gv2, PL_defstash, tmpbuf2, tmplen2, FALSE);
e5527e4b
RGS
1584 /* adjust ${"::_<newfilename"} to store the new file name */
1585 GvSV(gv2) = newSVpvn(tmpbuf2 + 2, tmplen2 - 2);
3cb1dbc6
NC
1586 GvHV(gv2) = MUTABLE_HV(SvREFCNT_inc(GvHV(*gvp)));
1587 GvAV(gv2) = MUTABLE_AV(SvREFCNT_inc(GvAV(*gvp)));
e5527e4b 1588 }
44867030
NC
1589
1590 if (tmpbuf2 != smallbuf) Safefree(tmpbuf2);
8a5ee598 1591 }
e66cf94c 1592 if (tmpbuf != smallbuf) Safefree(tmpbuf);
e66cf94c 1593 }
8a5ee598 1594#endif
05ec9bb3 1595 CopFILE_free(PL_curcop);
d9095cec 1596 CopFILE_setn(PL_curcop, s, len);
f4dd75d9 1597 }
57843af0 1598 CopLINE_set(PL_curcop, atoi(n)-1);
463ee0b2
LW
1599}
1600
29595ff2 1601#ifdef PERL_MAD
cd81e915 1602/* skip space before PL_thistoken */
29595ff2
NC
1603
1604STATIC char *
1605S_skipspace0(pTHX_ register char *s)
1606{
7918f24d
NC
1607 PERL_ARGS_ASSERT_SKIPSPACE0;
1608
29595ff2
NC
1609 s = skipspace(s);
1610 if (!PL_madskills)
1611 return s;
cd81e915
NC
1612 if (PL_skipwhite) {
1613 if (!PL_thiswhite)
6b29d1f5 1614 PL_thiswhite = newSVpvs("");
cd81e915
NC
1615 sv_catsv(PL_thiswhite, PL_skipwhite);
1616 sv_free(PL_skipwhite);
1617 PL_skipwhite = 0;
1618 }
1619 PL_realtokenstart = s - SvPVX(PL_linestr);
29595ff2
NC
1620 return s;
1621}
1622
cd81e915 1623/* skip space after PL_thistoken */
29595ff2
NC
1624
1625STATIC char *
1626S_skipspace1(pTHX_ register char *s)
1627{
d4c19fe8 1628 const char *start = s;
29595ff2
NC
1629 I32 startoff = start - SvPVX(PL_linestr);
1630
7918f24d
NC
1631 PERL_ARGS_ASSERT_SKIPSPACE1;
1632
29595ff2
NC
1633 s = skipspace(s);
1634 if (!PL_madskills)
1635 return s;
1636 start = SvPVX(PL_linestr) + startoff;
cd81e915 1637 if (!PL_thistoken && PL_realtokenstart >= 0) {
d4c19fe8 1638 const char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
cd81e915
NC
1639 PL_thistoken = newSVpvn(tstart, start - tstart);
1640 }
1641 PL_realtokenstart = -1;
1642 if (PL_skipwhite) {
1643 if (!PL_nextwhite)
6b29d1f5 1644 PL_nextwhite = newSVpvs("");
cd81e915
NC
1645 sv_catsv(PL_nextwhite, PL_skipwhite);
1646 sv_free(PL_skipwhite);
1647 PL_skipwhite = 0;
29595ff2
NC
1648 }
1649 return s;
1650}
1651
1652STATIC char *
1653S_skipspace2(pTHX_ register char *s, SV **svp)
1654{
c35e046a
AL
1655 char *start;
1656 const I32 bufptroff = PL_bufptr - SvPVX(PL_linestr);
1657 const I32 startoff = s - SvPVX(PL_linestr);
1658
7918f24d
NC
1659 PERL_ARGS_ASSERT_SKIPSPACE2;
1660
29595ff2
NC
1661 s = skipspace(s);
1662 PL_bufptr = SvPVX(PL_linestr) + bufptroff;
1663 if (!PL_madskills || !svp)
1664 return s;
1665 start = SvPVX(PL_linestr) + startoff;
cd81e915 1666 if (!PL_thistoken && PL_realtokenstart >= 0) {
d4c19fe8 1667 char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
cd81e915
NC
1668 PL_thistoken = newSVpvn(tstart, start - tstart);
1669 PL_realtokenstart = -1;
29595ff2 1670 }
cd81e915 1671 if (PL_skipwhite) {
29595ff2 1672 if (!*svp)
6b29d1f5 1673 *svp = newSVpvs("");
cd81e915
NC
1674 sv_setsv(*svp, PL_skipwhite);
1675 sv_free(PL_skipwhite);
1676 PL_skipwhite = 0;
29595ff2
NC
1677 }
1678
1679 return s;
1680}
1681#endif
1682
80a702cd 1683STATIC void
15f169a1 1684S_update_debugger_info(pTHX_ SV *orig_sv, const char *const buf, STRLEN len)
80a702cd
RGS
1685{
1686 AV *av = CopFILEAVx(PL_curcop);
1687 if (av) {
b9f83d2f 1688 SV * const sv = newSV_type(SVt_PVMG);
5fa550fb
NC
1689 if (orig_sv)
1690 sv_setsv(sv, orig_sv);
1691 else
1692 sv_setpvn(sv, buf, len);
80a702cd
RGS
1693 (void)SvIOK_on(sv);
1694 SvIV_set(sv, 0);
1695 av_store(av, (I32)CopLINE(PL_curcop), sv);
1696 }
1697}
1698
ffb4593c
NT
1699/*
1700 * S_skipspace
1701 * Called to gobble the appropriate amount and type of whitespace.
1702 * Skips comments as well.
1703 */
1704
76e3520e 1705STATIC char *
cea2e8a9 1706S_skipspace(pTHX_ register char *s)
a687059c 1707{
5db06880 1708#ifdef PERL_MAD
f0e67a1d
Z
1709 char *start = s;
1710#endif /* PERL_MAD */
7918f24d 1711 PERL_ARGS_ASSERT_SKIPSPACE;
f0e67a1d 1712#ifdef PERL_MAD
cd81e915
NC
1713 if (PL_skipwhite) {
1714 sv_free(PL_skipwhite);
f0e67a1d 1715 PL_skipwhite = NULL;
5db06880 1716 }
f0e67a1d 1717#endif /* PERL_MAD */
3280af22 1718 if (PL_lex_formbrack && PL_lex_brackets <= PL_lex_formbrack) {
bf4acbe4 1719 while (s < PL_bufend && SPACE_OR_TAB(*s))
463ee0b2 1720 s++;
f0e67a1d
Z
1721 } else {
1722 STRLEN bufptr_pos = PL_bufptr - SvPVX(PL_linestr);
1723 PL_bufptr = s;
f0998909
Z
1724 lex_read_space(LEX_KEEP_PREVIOUS |
1725 (PL_sublex_info.sub_inwhat || PL_lex_state == LEX_FORMLINE ?
1726 LEX_NO_NEXT_CHUNK : 0));
3280af22 1727 s = PL_bufptr;
f0e67a1d
Z
1728 PL_bufptr = SvPVX(PL_linestr) + bufptr_pos;
1729 if (PL_linestart > PL_bufptr)
1730 PL_bufptr = PL_linestart;
1731 return s;
463ee0b2 1732 }
5db06880 1733#ifdef PERL_MAD
f0e67a1d
Z
1734 if (PL_madskills)
1735 PL_skipwhite = newSVpvn(start, s-start);
1736#endif /* PERL_MAD */
5db06880 1737 return s;
a687059c 1738}
378cc40b 1739
ffb4593c
NT
1740/*
1741 * S_check_uni
1742 * Check the unary operators to ensure there's no ambiguity in how they're
1743 * used. An ambiguous piece of code would be:
1744 * rand + 5
1745 * This doesn't mean rand() + 5. Because rand() is a unary operator,
1746 * the +5 is its argument.
1747 */
1748
76e3520e 1749STATIC void
cea2e8a9 1750S_check_uni(pTHX)
ba106d47 1751{
97aff369 1752 dVAR;
d4c19fe8
AL
1753 const char *s;
1754 const char *t;
2f3197b3 1755
3280af22 1756 if (PL_oldoldbufptr != PL_last_uni)
2f3197b3 1757 return;
3280af22
NIS
1758 while (isSPACE(*PL_last_uni))
1759 PL_last_uni++;
c35e046a
AL
1760 s = PL_last_uni;
1761 while (isALNUM_lazy_if(s,UTF) || *s == '-')
1762 s++;
3280af22 1763 if ((t = strchr(s, '(')) && t < PL_bufptr)
a0d0e21e 1764 return;
6136c704 1765
9b387841
NC
1766 Perl_ck_warner_d(aTHX_ packWARN(WARN_AMBIGUOUS),
1767 "Warning: Use of \"%.*s\" without parentheses is ambiguous",
1768 (int)(s - PL_last_uni), PL_last_uni);
2f3197b3
LW
1769}
1770
ffb4593c
NT
1771/*
1772 * LOP : macro to build a list operator. Its behaviour has been replaced
1773 * with a subroutine, S_lop() for which LOP is just another name.
1774 */
1775
a0d0e21e
LW
1776#define LOP(f,x) return lop(f,x,s)
1777
ffb4593c
NT
1778/*
1779 * S_lop
1780 * Build a list operator (or something that might be one). The rules:
1781 * - if we have a next token, then it's a list operator [why?]
1782 * - if the next thing is an opening paren, then it's a function
1783 * - else it's a list operator
1784 */
1785
76e3520e 1786STATIC I32
a0be28da 1787S_lop(pTHX_ I32 f, int x, char *s)
ffed7fef 1788{
97aff369 1789 dVAR;
7918f24d
NC
1790
1791 PERL_ARGS_ASSERT_LOP;
1792
6154021b 1793 pl_yylval.ival = f;
35c8bce7 1794 CLINE;
3280af22
NIS
1795 PL_expect = x;
1796 PL_bufptr = s;
1797 PL_last_lop = PL_oldbufptr;
eb160463 1798 PL_last_lop_op = (OPCODE)f;
5db06880
NC
1799#ifdef PERL_MAD
1800 if (PL_lasttoke)
1801 return REPORT(LSTOP);
1802#else
3280af22 1803 if (PL_nexttoke)
bbf60fe6 1804 return REPORT(LSTOP);
5db06880 1805#endif
79072805 1806 if (*s == '(')
bbf60fe6 1807 return REPORT(FUNC);
29595ff2 1808 s = PEEKSPACE(s);
79072805 1809 if (*s == '(')
bbf60fe6 1810 return REPORT(FUNC);
79072805 1811 else
bbf60fe6 1812 return REPORT(LSTOP);
79072805
LW
1813}
1814
5db06880
NC
1815#ifdef PERL_MAD
1816 /*
1817 * S_start_force
1818 * Sets up for an eventual force_next(). start_force(0) basically does
1819 * an unshift, while start_force(-1) does a push. yylex removes items
1820 * on the "pop" end.
1821 */
1822
1823STATIC void
1824S_start_force(pTHX_ int where)
1825{
1826 int i;
1827
cd81e915 1828 if (where < 0) /* so people can duplicate start_force(PL_curforce) */
5db06880 1829 where = PL_lasttoke;
cd81e915
NC
1830 assert(PL_curforce < 0 || PL_curforce == where);
1831 if (PL_curforce != where) {
5db06880
NC
1832 for (i = PL_lasttoke; i > where; --i) {
1833 PL_nexttoke[i] = PL_nexttoke[i-1];
1834 }
1835 PL_lasttoke++;
1836 }
cd81e915 1837 if (PL_curforce < 0) /* in case of duplicate start_force() */
5db06880 1838 Zero(&PL_nexttoke[where], 1, NEXTTOKE);
cd81e915
NC
1839 PL_curforce = where;
1840 if (PL_nextwhite) {
5db06880 1841 if (PL_madskills)
6b29d1f5 1842 curmad('^', newSVpvs(""));
cd81e915 1843 CURMAD('_', PL_nextwhite);
5db06880
NC
1844 }
1845}
1846
1847STATIC void
1848S_curmad(pTHX_ char slot, SV *sv)
1849{
1850 MADPROP **where;
1851
1852 if (!sv)
1853 return;
cd81e915
NC
1854 if (PL_curforce < 0)
1855 where = &PL_thismad;
5db06880 1856 else
cd81e915 1857 where = &PL_nexttoke[PL_curforce].next_mad;
5db06880 1858
cd81e915 1859 if (PL_faketokens)
76f68e9b 1860 sv_setpvs(sv, "");
5db06880
NC
1861 else {
1862 if (!IN_BYTES) {
1863 if (UTF && is_utf8_string((U8*)SvPVX(sv), SvCUR(sv)))
1864 SvUTF8_on(sv);
1865 else if (PL_encoding) {
1866 sv_recode_to_utf8(sv, PL_encoding);
1867 }
1868 }
1869 }
1870
1871 /* keep a slot open for the head of the list? */
1872 if (slot != '_' && *where && (*where)->mad_key == '^') {
1873 (*where)->mad_key = slot;
daba3364 1874 sv_free(MUTABLE_SV(((*where)->mad_val)));
5db06880
NC
1875 (*where)->mad_val = (void*)sv;
1876 }
1877 else
1878 addmad(newMADsv(slot, sv), where, 0);
1879}
1880#else
b3f24c00
MHM
1881# define start_force(where) NOOP
1882# define curmad(slot, sv) NOOP
5db06880
NC
1883#endif
1884
ffb4593c
NT
1885/*
1886 * S_force_next
9cbb5ea2 1887 * When the lexer realizes it knows the next token (for instance,
ffb4593c 1888 * it is reordering tokens for the parser) then it can call S_force_next
9cbb5ea2 1889 * to know what token to return the next time the lexer is called. Caller
5db06880
NC
1890 * will need to set PL_nextval[] (or PL_nexttoke[].next_val with PERL_MAD),
1891 * and possibly PL_expect to ensure the lexer handles the token correctly.
ffb4593c
NT
1892 */
1893
4e553d73 1894STATIC void
cea2e8a9 1895S_force_next(pTHX_ I32 type)
79072805 1896{
97aff369 1897 dVAR;
704d4215
GG
1898#ifdef DEBUGGING
1899 if (DEBUG_T_TEST) {
1900 PerlIO_printf(Perl_debug_log, "### forced token:\n");
f05d7009 1901 tokereport(type, &NEXTVAL_NEXTTOKE);
704d4215
GG
1902 }
1903#endif
5db06880 1904#ifdef PERL_MAD
cd81e915 1905 if (PL_curforce < 0)
5db06880 1906 start_force(PL_lasttoke);
cd81e915 1907 PL_nexttoke[PL_curforce].next_type = type;
5db06880
NC
1908 if (PL_lex_state != LEX_KNOWNEXT)
1909 PL_lex_defer = PL_lex_state;
1910 PL_lex_state = LEX_KNOWNEXT;
1911 PL_lex_expect = PL_expect;
cd81e915 1912 PL_curforce = -1;
5db06880 1913#else
3280af22
NIS
1914 PL_nexttype[PL_nexttoke] = type;
1915 PL_nexttoke++;
1916 if (PL_lex_state != LEX_KNOWNEXT) {
1917 PL_lex_defer = PL_lex_state;
1918 PL_lex_expect = PL_expect;
1919 PL_lex_state = LEX_KNOWNEXT;
79072805 1920 }
5db06880 1921#endif
79072805
LW
1922}
1923
d0a148a6 1924STATIC SV *
15f169a1 1925S_newSV_maybe_utf8(pTHX_ const char *const start, STRLEN len)
d0a148a6 1926{
97aff369 1927 dVAR;
740cce10 1928 SV * const sv = newSVpvn_utf8(start, len,
eaf7a4d2
CS
1929 !IN_BYTES
1930 && UTF
1931 && !is_ascii_string((const U8*)start, len)
740cce10 1932 && is_utf8_string((const U8*)start, len));
d0a148a6
NC
1933 return sv;
1934}
1935
ffb4593c
NT
1936/*
1937 * S_force_word
1938 * When the lexer knows the next thing is a word (for instance, it has
1939 * just seen -> and it knows that the next char is a word char, then
02b34bbe
DM
1940 * it calls S_force_word to stick the next word into the PL_nexttoke/val
1941 * lookahead.
ffb4593c
NT
1942 *
1943 * Arguments:
b1b65b59 1944 * char *start : buffer position (must be within PL_linestr)
02b34bbe 1945 * int token : PL_next* will be this type of bare word (e.g., METHOD,WORD)
ffb4593c
NT
1946 * int check_keyword : if true, Perl checks to make sure the word isn't
1947 * a keyword (do this if the word is a label, e.g. goto FOO)
1948 * int allow_pack : if true, : characters will also be allowed (require,
1949 * use, etc. do this)
9cbb5ea2 1950 * int allow_initial_tick : used by the "sub" lexer only.
ffb4593c
NT
1951 */
1952
76e3520e 1953STATIC char *
cea2e8a9 1954S_force_word(pTHX_ register char *start, int token, int check_keyword, int allow_pack, int allow_initial_tick)
79072805 1955{
97aff369 1956 dVAR;
463ee0b2
LW
1957 register char *s;
1958 STRLEN len;
4e553d73 1959
7918f24d
NC
1960 PERL_ARGS_ASSERT_FORCE_WORD;
1961
29595ff2 1962 start = SKIPSPACE1(start);
463ee0b2 1963 s = start;
7e2040f0 1964 if (isIDFIRST_lazy_if(s,UTF) ||
a0d0e21e 1965 (allow_pack && *s == ':') ||
15f0808c 1966 (allow_initial_tick && *s == '\'') )
a0d0e21e 1967 {
3280af22 1968 s = scan_word(s, PL_tokenbuf, sizeof PL_tokenbuf, allow_pack, &len);
5458a98a 1969 if (check_keyword && keyword(PL_tokenbuf, len, 0))
463ee0b2 1970 return start;
cd81e915 1971 start_force(PL_curforce);
5db06880
NC
1972 if (PL_madskills)
1973 curmad('X', newSVpvn(start,s-start));
463ee0b2 1974 if (token == METHOD) {
29595ff2 1975 s = SKIPSPACE1(s);
463ee0b2 1976 if (*s == '(')
3280af22 1977 PL_expect = XTERM;
463ee0b2 1978 else {
3280af22 1979 PL_expect = XOPERATOR;
463ee0b2 1980 }
79072805 1981 }
e74e6b3d 1982 if (PL_madskills)
63575281 1983 curmad('g', newSVpvs( "forced" ));
9ded7720 1984 NEXTVAL_NEXTTOKE.opval
d0a148a6
NC
1985 = (OP*)newSVOP(OP_CONST,0,
1986 S_newSV_maybe_utf8(aTHX_ PL_tokenbuf, len));
9ded7720 1987 NEXTVAL_NEXTTOKE.opval->op_private |= OPpCONST_BARE;
79072805
LW
1988 force_next(token);
1989 }
1990 return s;
1991}
1992
ffb4593c
NT
1993/*
1994 * S_force_ident
9cbb5ea2 1995 * Called when the lexer wants $foo *foo &foo etc, but the program
ffb4593c
NT
1996 * text only contains the "foo" portion. The first argument is a pointer
1997 * to the "foo", and the second argument is the type symbol to prefix.
1998 * Forces the next token to be a "WORD".
9cbb5ea2 1999 * Creates the symbol if it didn't already exist (via gv_fetchpv()).
ffb4593c
NT
2000 */
2001
76e3520e 2002STATIC void
bfed75c6 2003S_force_ident(pTHX_ register const char *s, int kind)
79072805 2004{
97aff369 2005 dVAR;
7918f24d
NC
2006
2007 PERL_ARGS_ASSERT_FORCE_IDENT;
2008
c35e046a 2009 if (*s) {
90e5519e
NC
2010 const STRLEN len = strlen(s);
2011 OP* const o = (OP*)newSVOP(OP_CONST, 0, newSVpvn(s, len));
cd81e915 2012 start_force(PL_curforce);
9ded7720 2013 NEXTVAL_NEXTTOKE.opval = o;
79072805 2014 force_next(WORD);
748a9306 2015 if (kind) {
11343788 2016 o->op_private = OPpCONST_ENTERED;
55497cff 2017 /* XXX see note in pp_entereval() for why we forgo typo
2018 warnings if the symbol must be introduced in an eval.
2019 GSAR 96-10-12 */
90e5519e
NC
2020 gv_fetchpvn_flags(s, len,
2021 PL_in_eval ? (GV_ADDMULTI | GV_ADDINEVAL)
2022 : GV_ADD,
2023 kind == '$' ? SVt_PV :
2024 kind == '@' ? SVt_PVAV :
2025 kind == '%' ? SVt_PVHV :
a0d0e21e 2026 SVt_PVGV
90e5519e 2027 );
748a9306 2028 }
79072805
LW
2029 }
2030}
2031
1571675a
GS
2032NV
2033Perl_str_to_version(pTHX_ SV *sv)
2034{
2035 NV retval = 0.0;
2036 NV nshift = 1.0;
2037 STRLEN len;
cfd0369c 2038 const char *start = SvPV_const(sv,len);
9d4ba2ae 2039 const char * const end = start + len;
504618e9 2040 const bool utf = SvUTF8(sv) ? TRUE : FALSE;
7918f24d
NC
2041
2042 PERL_ARGS_ASSERT_STR_TO_VERSION;
2043
1571675a 2044 while (start < end) {
ba210ebe 2045 STRLEN skip;
1571675a
GS
2046 UV n;
2047 if (utf)
9041c2e3 2048 n = utf8n_to_uvchr((U8*)start, len, &skip, 0);
1571675a
GS
2049 else {
2050 n = *(U8*)start;
2051 skip = 1;
2052 }
2053 retval += ((NV)n)/nshift;
2054 start += skip;
2055 nshift *= 1000;
2056 }
2057 return retval;
2058}
2059
4e553d73 2060/*
ffb4593c
NT
2061 * S_force_version
2062 * Forces the next token to be a version number.
e759cc13
RGS
2063 * If the next token appears to be an invalid version number, (e.g. "v2b"),
2064 * and if "guessing" is TRUE, then no new token is created (and the caller
2065 * must use an alternative parsing method).
ffb4593c
NT
2066 */
2067
76e3520e 2068STATIC char *
e759cc13 2069S_force_version(pTHX_ char *s, int guessing)
89bfa8cd 2070{
97aff369 2071 dVAR;
5f66b61c 2072 OP *version = NULL;
44dcb63b 2073 char *d;
5db06880
NC
2074#ifdef PERL_MAD
2075 I32 startoff = s - SvPVX(PL_linestr);
2076#endif
89bfa8cd 2077
7918f24d
NC
2078 PERL_ARGS_ASSERT_FORCE_VERSION;
2079
29595ff2 2080 s = SKIPSPACE1(s);
89bfa8cd 2081
44dcb63b 2082 d = s;
dd629d5b 2083 if (*d == 'v')
44dcb63b 2084 d++;
44dcb63b 2085 if (isDIGIT(*d)) {
e759cc13
RGS
2086 while (isDIGIT(*d) || *d == '_' || *d == '.')
2087 d++;
5db06880
NC
2088#ifdef PERL_MAD
2089 if (PL_madskills) {
cd81e915 2090 start_force(PL_curforce);
5db06880
NC
2091 curmad('X', newSVpvn(s,d-s));
2092 }
2093#endif
9f3d182e 2094 if (*d == ';' || isSPACE(*d) || *d == '}' || !*d) {
dd629d5b 2095 SV *ver;
8d08d9ba
DG
2096#ifdef USE_LOCALE_NUMERIC
2097 char *loc = setlocale(LC_NUMERIC, "C");
2098#endif
6154021b 2099 s = scan_num(s, &pl_yylval);
8d08d9ba
DG
2100#ifdef USE_LOCALE_NUMERIC
2101 setlocale(LC_NUMERIC, loc);
2102#endif
6154021b 2103 version = pl_yylval.opval;
dd629d5b
GS
2104 ver = cSVOPx(version)->op_sv;
2105 if (SvPOK(ver) && !SvNIOK(ver)) {
862a34c6 2106 SvUPGRADE(ver, SVt_PVNV);
9d6ce603 2107 SvNV_set(ver, str_to_version(ver));
1571675a 2108 SvNOK_on(ver); /* hint that it is a version */
44dcb63b 2109 }
89bfa8cd 2110 }
5db06880
NC
2111 else if (guessing) {
2112#ifdef PERL_MAD
2113 if (PL_madskills) {
cd81e915
NC
2114 sv_free(PL_nextwhite); /* let next token collect whitespace */
2115 PL_nextwhite = 0;
5db06880
NC
2116 s = SvPVX(PL_linestr) + startoff;
2117 }
2118#endif
e759cc13 2119 return s;
5db06880 2120 }
89bfa8cd 2121 }
2122
5db06880
NC
2123#ifdef PERL_MAD
2124 if (PL_madskills && !version) {
cd81e915
NC
2125 sv_free(PL_nextwhite); /* let next token collect whitespace */
2126 PL_nextwhite = 0;
5db06880
NC
2127 s = SvPVX(PL_linestr) + startoff;
2128 }
2129#endif
89bfa8cd 2130 /* NOTE: The parser sees the package name and the VERSION swapped */
cd81e915 2131 start_force(PL_curforce);
9ded7720 2132 NEXTVAL_NEXTTOKE.opval = version;
4e553d73 2133 force_next(WORD);
89bfa8cd 2134
e759cc13 2135 return s;
89bfa8cd 2136}
2137
ffb4593c 2138/*
91152fc1
DG
2139 * S_force_strict_version
2140 * Forces the next token to be a version number using strict syntax rules.
2141 */
2142
2143STATIC char *
2144S_force_strict_version(pTHX_ char *s)
2145{
2146 dVAR;
2147 OP *version = NULL;
2148#ifdef PERL_MAD
2149 I32 startoff = s - SvPVX(PL_linestr);
2150#endif
2151 const char *errstr = NULL;
2152
2153 PERL_ARGS_ASSERT_FORCE_STRICT_VERSION;
2154
2155 while (isSPACE(*s)) /* leading whitespace */
2156 s++;
2157
2158 if (is_STRICT_VERSION(s,&errstr)) {
2159 SV *ver = newSV(0);
2160 s = (char *)scan_version(s, ver, 0);
2161 version = newSVOP(OP_CONST, 0, ver);
2162 }
2163 else if ( (*s != ';' && *s != '}' ) && (s = SKIPSPACE1(s), (*s != ';' && *s !='}' ))) {
2164 PL_bufptr = s;
2165 if (errstr)
2166 yyerror(errstr); /* version required */
2167 return s;
2168 }
2169
2170#ifdef PERL_MAD
2171 if (PL_madskills && !version) {
2172 sv_free(PL_nextwhite); /* let next token collect whitespace */
2173 PL_nextwhite = 0;
2174 s = SvPVX(PL_linestr) + startoff;
2175 }
2176#endif
2177 /* NOTE: The parser sees the package name and the VERSION swapped */
2178 start_force(PL_curforce);
2179 NEXTVAL_NEXTTOKE.opval = version;
2180 force_next(WORD);
2181
2182 return s;
2183}
2184
2185/*
ffb4593c
NT
2186 * S_tokeq
2187 * Tokenize a quoted string passed in as an SV. It finds the next
2188 * chunk, up to end of string or a backslash. It may make a new
2189 * SV containing that chunk (if HINT_NEW_STRING is on). It also
2190 * turns \\ into \.
2191 */
2192
76e3520e 2193STATIC SV *
cea2e8a9 2194S_tokeq(pTHX_ SV *sv)
79072805 2195{
97aff369 2196 dVAR;
79072805
LW
2197 register char *s;
2198 register char *send;
2199 register char *d;
b3ac6de7
IZ
2200 STRLEN len = 0;
2201 SV *pv = sv;
79072805 2202
7918f24d
NC
2203 PERL_ARGS_ASSERT_TOKEQ;
2204
79072805 2205 if (!SvLEN(sv))
b3ac6de7 2206 goto finish;
79072805 2207
a0d0e21e 2208 s = SvPV_force(sv, len);
21a311ee 2209 if (SvTYPE(sv) >= SVt_PVIV && SvIVX(sv) == -1)
b3ac6de7 2210 goto finish;
463ee0b2 2211 send = s + len;
79072805
LW
2212 while (s < send && *s != '\\')
2213 s++;
2214 if (s == send)
b3ac6de7 2215 goto finish;
79072805 2216 d = s;
be4731d2 2217 if ( PL_hints & HINT_NEW_STRING ) {
59cd0e26 2218 pv = newSVpvn_flags(SvPVX_const(pv), len, SVs_TEMP | SvUTF8(sv));
be4731d2 2219 }
79072805
LW
2220 while (s < send) {
2221 if (*s == '\\') {
a0d0e21e 2222 if (s + 1 < send && (s[1] == '\\'))
79072805
LW
2223 s++; /* all that, just for this */
2224 }
2225 *d++ = *s++;
2226 }
2227 *d = '\0';
95a20fc0 2228 SvCUR_set(sv, d - SvPVX_const(sv));
b3ac6de7 2229 finish:
3280af22 2230 if ( PL_hints & HINT_NEW_STRING )
eb0d8d16 2231 return new_constant(NULL, 0, "q", sv, pv, "q", 1);
79072805
LW
2232 return sv;
2233}
2234
ffb4593c
NT
2235/*
2236 * Now come three functions related to double-quote context,
2237 * S_sublex_start, S_sublex_push, and S_sublex_done. They're used when
2238 * converting things like "\u\Lgnat" into ucfirst(lc("gnat")). They
2239 * interact with PL_lex_state, and create fake ( ... ) argument lists
2240 * to handle functions and concatenation.
2241 * They assume that whoever calls them will be setting up a fake
2242 * join call, because each subthing puts a ',' after it. This lets
2243 * "lower \luPpEr"
2244 * become
2245 * join($, , 'lower ', lcfirst( 'uPpEr', ) ,)
2246 *
2247 * (I'm not sure whether the spurious commas at the end of lcfirst's
2248 * arguments and join's arguments are created or not).
2249 */
2250
2251/*
2252 * S_sublex_start
6154021b 2253 * Assumes that pl_yylval.ival is the op we're creating (e.g. OP_LCFIRST).
ffb4593c
NT
2254 *
2255 * Pattern matching will set PL_lex_op to the pattern-matching op to
6154021b 2256 * make (we return THING if pl_yylval.ival is OP_NULL, PMFUNC otherwise).
ffb4593c
NT
2257 *
2258 * OP_CONST and OP_READLINE are easy--just make the new op and return.
2259 *
2260 * Everything else becomes a FUNC.
2261 *
2262 * Sets PL_lex_state to LEX_INTERPPUSH unless (ival was OP_NULL or we
2263 * had an OP_CONST or OP_READLINE). This just sets us up for a
2264 * call to S_sublex_push().
2265 */
2266
76e3520e 2267STATIC I32
cea2e8a9 2268S_sublex_start(pTHX)
79072805 2269{
97aff369 2270 dVAR;
6154021b 2271 register const I32 op_type = pl_yylval.ival;
79072805
LW
2272
2273 if (op_type == OP_NULL) {
6154021b 2274 pl_yylval.opval = PL_lex_op;
5f66b61c 2275 PL_lex_op = NULL;
79072805
LW
2276 return THING;
2277 }
2278 if (op_type == OP_CONST || op_type == OP_READLINE) {
3280af22 2279 SV *sv = tokeq(PL_lex_stuff);
b3ac6de7
IZ
2280
2281 if (SvTYPE(sv) == SVt_PVIV) {
2282 /* Overloaded constants, nothing fancy: Convert to SVt_PV: */
2283 STRLEN len;
96a5add6 2284 const char * const p = SvPV_const(sv, len);
740cce10 2285 SV * const nsv = newSVpvn_flags(p, len, SvUTF8(sv));
b3ac6de7
IZ
2286 SvREFCNT_dec(sv);
2287 sv = nsv;
4e553d73 2288 }
6154021b 2289 pl_yylval.opval = (OP*)newSVOP(op_type, 0, sv);
a0714e2c 2290 PL_lex_stuff = NULL;
6f33ba73
RGS
2291 /* Allow <FH> // "foo" */
2292 if (op_type == OP_READLINE)
2293 PL_expect = XTERMORDORDOR;
79072805
LW
2294 return THING;
2295 }
e3f73d4e
RGS
2296 else if (op_type == OP_BACKTICK && PL_lex_op) {
2297 /* readpipe() vas overriden */
2298 cSVOPx(cLISTOPx(cUNOPx(PL_lex_op)->op_first)->op_first->op_sibling)->op_sv = tokeq(PL_lex_stuff);
6154021b 2299 pl_yylval.opval = PL_lex_op;
9b201d7d 2300 PL_lex_op = NULL;
e3f73d4e
RGS
2301 PL_lex_stuff = NULL;
2302 return THING;
2303 }
79072805 2304
3280af22 2305 PL_sublex_info.super_state = PL_lex_state;
eac04b2e 2306 PL_sublex_info.sub_inwhat = (U16)op_type;
3280af22
NIS
2307 PL_sublex_info.sub_op = PL_lex_op;
2308 PL_lex_state = LEX_INTERPPUSH;
55497cff 2309
3280af22
NIS
2310 PL_expect = XTERM;
2311 if (PL_lex_op) {
6154021b 2312 pl_yylval.opval = PL_lex_op;
5f66b61c 2313 PL_lex_op = NULL;
55497cff 2314 return PMFUNC;
2315 }
2316 else
2317 return FUNC;
2318}
2319
ffb4593c
NT
2320/*
2321 * S_sublex_push
2322 * Create a new scope to save the lexing state. The scope will be
2323 * ended in S_sublex_done. Returns a '(', starting the function arguments
2324 * to the uc, lc, etc. found before.
2325 * Sets PL_lex_state to LEX_INTERPCONCAT.
2326 */
2327
76e3520e 2328STATIC I32
cea2e8a9 2329S_sublex_push(pTHX)
55497cff 2330{
27da23d5 2331 dVAR;
f46d017c 2332 ENTER;
55497cff 2333
3280af22 2334 PL_lex_state = PL_sublex_info.super_state;
651b5b28 2335 SAVEBOOL(PL_lex_dojoin);
3280af22 2336 SAVEI32(PL_lex_brackets);
3280af22
NIS
2337 SAVEI32(PL_lex_casemods);
2338 SAVEI32(PL_lex_starts);
651b5b28 2339 SAVEI8(PL_lex_state);
7766f137 2340 SAVEVPTR(PL_lex_inpat);
98246f1e 2341 SAVEI16(PL_lex_inwhat);
57843af0 2342 SAVECOPLINE(PL_curcop);
3280af22 2343 SAVEPPTR(PL_bufptr);
8452ff4b 2344 SAVEPPTR(PL_bufend);
3280af22
NIS
2345 SAVEPPTR(PL_oldbufptr);
2346 SAVEPPTR(PL_oldoldbufptr);
207e3d1a
JH
2347 SAVEPPTR(PL_last_lop);
2348 SAVEPPTR(PL_last_uni);
3280af22
NIS
2349 SAVEPPTR(PL_linestart);
2350 SAVESPTR(PL_linestr);
8edd5f42
RGS
2351 SAVEGENERICPV(PL_lex_brackstack);
2352 SAVEGENERICPV(PL_lex_casestack);
3280af22
NIS
2353
2354 PL_linestr = PL_lex_stuff;
a0714e2c 2355 PL_lex_stuff = NULL;
3280af22 2356
9cbb5ea2
GS
2357 PL_bufend = PL_bufptr = PL_oldbufptr = PL_oldoldbufptr = PL_linestart
2358 = SvPVX(PL_linestr);
3280af22 2359 PL_bufend += SvCUR(PL_linestr);
bd61b366 2360 PL_last_lop = PL_last_uni = NULL;
3280af22
NIS
2361 SAVEFREESV(PL_linestr);
2362
2363 PL_lex_dojoin = FALSE;
2364 PL_lex_brackets = 0;
a02a5408
JC
2365 Newx(PL_lex_brackstack, 120, char);
2366 Newx(PL_lex_casestack, 12, char);
3280af22
NIS
2367 PL_lex_casemods = 0;
2368 *PL_lex_casestack = '\0';
2369 PL_lex_starts = 0;
2370 PL_lex_state = LEX_INTERPCONCAT;
eb160463 2371 CopLINE_set(PL_curcop, (line_t)PL_multi_start);
3280af22
NIS
2372
2373 PL_lex_inwhat = PL_sublex_info.sub_inwhat;
2374 if (PL_lex_inwhat == OP_MATCH || PL_lex_inwhat == OP_QR || PL_lex_inwhat == OP_SUBST)
2375 PL_lex_inpat = PL_sublex_info.sub_op;
79072805 2376 else
5f66b61c 2377 PL_lex_inpat = NULL;
79072805 2378
55497cff 2379 return '(';
79072805
LW
2380}
2381
ffb4593c
NT
2382/*
2383 * S_sublex_done
2384 * Restores lexer state after a S_sublex_push.
2385 */
2386
76e3520e 2387STATIC I32
cea2e8a9 2388S_sublex_done(pTHX)
79072805 2389{
27da23d5 2390 dVAR;
3280af22 2391 if (!PL_lex_starts++) {
396482e1 2392 SV * const sv = newSVpvs("");
9aa983d2
JH
2393 if (SvUTF8(PL_linestr))
2394 SvUTF8_on(sv);
3280af22 2395 PL_expect = XOPERATOR;
6154021b 2396 pl_yylval.opval = (OP*)newSVOP(OP_CONST, 0, sv);
79072805
LW
2397 return THING;
2398 }
2399
3280af22
NIS
2400 if (PL_lex_casemods) { /* oops, we've got some unbalanced parens */
2401 PL_lex_state = LEX_INTERPCASEMOD;
cea2e8a9 2402 return yylex();
79072805
LW
2403 }
2404
ffb4593c 2405 /* Is there a right-hand side to take care of? (s//RHS/ or tr//RHS/) */
3280af22
NIS
2406 if (PL_lex_repl && (PL_lex_inwhat == OP_SUBST || PL_lex_inwhat == OP_TRANS)) {
2407 PL_linestr = PL_lex_repl;
2408 PL_lex_inpat = 0;
2409 PL_bufend = PL_bufptr = PL_oldbufptr = PL_oldoldbufptr = PL_linestart = SvPVX(PL_linestr);
2410 PL_bufend += SvCUR(PL_linestr);
bd61b366 2411 PL_last_lop = PL_last_uni = NULL;
3280af22
NIS
2412 SAVEFREESV(PL_linestr);
2413 PL_lex_dojoin = FALSE;
2414 PL_lex_brackets = 0;
3280af22
NIS
2415 PL_lex_casemods = 0;
2416 *PL_lex_casestack = '\0';
2417 PL_lex_starts = 0;
25da4f38 2418 if (SvEVALED(PL_lex_repl)) {
3280af22
NIS
2419 PL_lex_state = LEX_INTERPNORMAL;
2420 PL_lex_starts++;
e9fa98b2
HS
2421 /* we don't clear PL_lex_repl here, so that we can check later
2422 whether this is an evalled subst; that means we rely on the
2423 logic to ensure sublex_done() is called again only via the
2424 branch (in yylex()) that clears PL_lex_repl, else we'll loop */
79072805 2425 }
e9fa98b2 2426 else {
3280af22 2427 PL_lex_state = LEX_INTERPCONCAT;
a0714e2c 2428 PL_lex_repl = NULL;
e9fa98b2 2429 }
79072805 2430 return ',';
ffed7fef
LW
2431 }
2432 else {
5db06880
NC
2433#ifdef PERL_MAD
2434 if (PL_madskills) {
cd81e915
NC
2435 if (PL_thiswhite) {
2436 if (!PL_endwhite)
6b29d1f5 2437 PL_endwhite = newSVpvs("");
cd81e915
NC
2438 sv_catsv(PL_endwhite, PL_thiswhite);
2439 PL_thiswhite = 0;
2440 }
2441 if (PL_thistoken)
76f68e9b 2442 sv_setpvs(PL_thistoken,"");
5db06880 2443 else
cd81e915 2444 PL_realtokenstart = -1;
5db06880
NC
2445 }
2446#endif
f46d017c 2447 LEAVE;
3280af22
NIS
2448 PL_bufend = SvPVX(PL_linestr);
2449 PL_bufend += SvCUR(PL_linestr);
2450 PL_expect = XOPERATOR;
09bef843 2451 PL_sublex_info.sub_inwhat = 0;
79072805 2452 return ')';
ffed7fef
LW
2453 }
2454}
2455
02aa26ce
NT
2456/*
2457 scan_const
2458
2459 Extracts a pattern, double-quoted string, or transliteration. This
2460 is terrifying code.
2461
94def140 2462 It looks at PL_lex_inwhat and PL_lex_inpat to find out whether it's
3280af22 2463 processing a pattern (PL_lex_inpat is true), a transliteration
94def140 2464 (PL_lex_inwhat == OP_TRANS is true), or a double-quoted string.
02aa26ce 2465
94def140
TS
2466 Returns a pointer to the character scanned up to. If this is
2467 advanced from the start pointer supplied (i.e. if anything was
9b599b2a 2468 successfully parsed), will leave an OP for the substring scanned
6154021b 2469 in pl_yylval. Caller must intuit reason for not parsing further
9b599b2a
GS
2470 by looking at the next characters herself.
2471
02aa26ce
NT
2472 In patterns:
2473 backslashes:
2474 double-quoted style: \r and \n
2475 regexp special ones: \D \s
94def140
TS
2476 constants: \x31
2477 backrefs: \1
02aa26ce
NT
2478 case and quoting: \U \Q \E
2479 stops on @ and $, but not for $ as tail anchor
2480
2481 In transliterations:
2482 characters are VERY literal, except for - not at the start or end
94def140
TS
2483 of the string, which indicates a range. If the range is in bytes,
2484 scan_const expands the range to the full set of intermediate
2485 characters. If the range is in utf8, the hyphen is replaced with
2486 a certain range mark which will be handled by pmtrans() in op.c.
02aa26ce
NT
2487
2488 In double-quoted strings:
2489 backslashes:
2490 double-quoted style: \r and \n
94def140
TS
2491 constants: \x31
2492 deprecated backrefs: \1 (in substitution replacements)
02aa26ce
NT
2493 case and quoting: \U \Q \E
2494 stops on @ and $
2495
2496 scan_const does *not* construct ops to handle interpolated strings.
2497 It stops processing as soon as it finds an embedded $ or @ variable
2498 and leaves it to the caller to work out what's going on.
2499
94def140
TS
2500 embedded arrays (whether in pattern or not) could be:
2501 @foo, @::foo, @'foo, @{foo}, @$foo, @+, @-.
2502
2503 $ in double-quoted strings must be the symbol of an embedded scalar.
02aa26ce
NT
2504
2505 $ in pattern could be $foo or could be tail anchor. Assumption:
2506 it's a tail anchor if $ is the last thing in the string, or if it's
94def140 2507 followed by one of "()| \r\n\t"
02aa26ce
NT
2508
2509 \1 (backreferences) are turned into $1
2510
2511 The structure of the code is
2512 while (there's a character to process) {
94def140
TS
2513 handle transliteration ranges
2514 skip regexp comments /(?#comment)/ and codes /(?{code})/
2515 skip #-initiated comments in //x patterns
2516 check for embedded arrays
02aa26ce
NT
2517 check for embedded scalars
2518 if (backslash) {
94def140
TS
2519 leave intact backslashes from leaveit (below)
2520 deprecate \1 in substitution replacements
02aa26ce
NT
2521 handle string-changing backslashes \l \U \Q \E, etc.
2522 switch (what was escaped) {
94def140
TS
2523 handle \- in a transliteration (becomes a literal -)
2524 handle \132 (octal characters)
2525 handle \x15 and \x{1234} (hex characters)
2526 handle \N{name} (named characters)
2527 handle \cV (control characters)
2528 handle printf-style backslashes (\f, \r, \n, etc)
02aa26ce 2529 } (end switch)
77a135fe 2530 continue
02aa26ce 2531 } (end if backslash)
77a135fe 2532 handle regular character
02aa26ce 2533 } (end while character to read)
4e553d73 2534
02aa26ce
NT
2535*/
2536
76e3520e 2537STATIC char *
cea2e8a9 2538S_scan_const(pTHX_ char *start)
79072805 2539{
97aff369 2540 dVAR;
3280af22 2541 register char *send = PL_bufend; /* end of the constant */
77a135fe
KW
2542 SV *sv = newSV(send - start); /* sv for the constant. See
2543 note below on sizing. */
02aa26ce
NT
2544 register char *s = start; /* start of the constant */
2545 register char *d = SvPVX(sv); /* destination for copies */
2546 bool dorange = FALSE; /* are we in a translit range? */
c2e66d9e 2547 bool didrange = FALSE; /* did we just finish a range? */
2b9d42f0 2548 I32 has_utf8 = FALSE; /* Output constant is UTF8 */
77a135fe
KW
2549 I32 this_utf8 = UTF; /* Is the source string assumed
2550 to be UTF8? But, this can
2551 show as true when the source
2552 isn't utf8, as for example
2553 when it is entirely composed
2554 of hex constants */
2555
2556 /* Note on sizing: The scanned constant is placed into sv, which is
2557 * initialized by newSV() assuming one byte of output for every byte of
2558 * input. This routine expects newSV() to allocate an extra byte for a
2559 * trailing NUL, which this routine will append if it gets to the end of
2560 * the input. There may be more bytes of input than output (eg., \N{LATIN
2561 * CAPITAL LETTER A}), or more output than input if the constant ends up
2562 * recoded to utf8, but each time a construct is found that might increase
2563 * the needed size, SvGROW() is called. Its size parameter each time is
2564 * based on the best guess estimate at the time, namely the length used so
2565 * far, plus the length the current construct will occupy, plus room for
2566 * the trailing NUL, plus one byte for every input byte still unscanned */
2567
012bcf8d 2568 UV uv;
4c3a8340
TS
2569#ifdef EBCDIC
2570 UV literal_endpoint = 0;
e294cc5d 2571 bool native_range = TRUE; /* turned to FALSE if the first endpoint is Unicode. */
4c3a8340 2572#endif
012bcf8d 2573
7918f24d
NC
2574 PERL_ARGS_ASSERT_SCAN_CONST;
2575
2b9d42f0
NIS
2576 if (PL_lex_inwhat == OP_TRANS && PL_sublex_info.sub_op) {
2577 /* If we are doing a trans and we know we want UTF8 set expectation */
2578 has_utf8 = PL_sublex_info.sub_op->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF);
2579 this_utf8 = PL_sublex_info.sub_op->op_private & (PL_lex_repl ? OPpTRANS_FROM_UTF : OPpTRANS_TO_UTF);
2580 }
2581
2582
79072805 2583 while (s < send || dorange) {
02aa26ce 2584 /* get transliterations out of the way (they're most literal) */
3280af22 2585 if (PL_lex_inwhat == OP_TRANS) {
02aa26ce 2586 /* expand a range A-Z to the full set of characters. AIE! */
79072805 2587 if (dorange) {
1ba5c669
JH
2588 I32 i; /* current expanded character */
2589 I32 min; /* first character in range */
2590 I32 max; /* last character in range */
02aa26ce 2591
e294cc5d
JH
2592#ifdef EBCDIC
2593 UV uvmax = 0;
2594#endif
2595
2596 if (has_utf8
2597#ifdef EBCDIC
2598 && !native_range
2599#endif
2600 ) {
9d4ba2ae 2601 char * const c = (char*)utf8_hop((U8*)d, -1);
8973db79
JH
2602 char *e = d++;
2603 while (e-- > c)
2604 *(e + 1) = *e;
25716404 2605 *c = (char)UTF_TO_NATIVE(0xff);
8973db79
JH
2606 /* mark the range as done, and continue */
2607 dorange = FALSE;
2608 didrange = TRUE;
2609 continue;
2610 }
2b9d42f0 2611
95a20fc0 2612 i = d - SvPVX_const(sv); /* remember current offset */
e294cc5d
JH
2613#ifdef EBCDIC
2614 SvGROW(sv,
2615 SvLEN(sv) + (has_utf8 ?
2616 (512 - UTF_CONTINUATION_MARK +
2617 UNISKIP(0x100))
2618 : 256));
2619 /* How many two-byte within 0..255: 128 in UTF-8,
2620 * 96 in UTF-8-mod. */
2621#else
9cbb5ea2 2622 SvGROW(sv, SvLEN(sv) + 256); /* never more than 256 chars in a range */
e294cc5d 2623#endif
9cbb5ea2 2624 d = SvPVX(sv) + i; /* refresh d after realloc */
e294cc5d
JH
2625#ifdef EBCDIC
2626 if (has_utf8) {
2627 int j;
2628 for (j = 0; j <= 1; j++) {
2629 char * const c = (char*)utf8_hop((U8*)d, -1);
2630 const UV uv = utf8n_to_uvchr((U8*)c, d - c, NULL, 0);
2631 if (j)
2632 min = (U8)uv;
2633 else if (uv < 256)
2634 max = (U8)uv;
2635 else {
2636 max = (U8)0xff; /* only to \xff */
2637 uvmax = uv; /* \x{100} to uvmax */
2638 }
2639 d = c; /* eat endpoint chars */
2640 }
2641 }
2642 else {
2643#endif
2644 d -= 2; /* eat the first char and the - */
2645 min = (U8)*d; /* first char in range */
2646 max = (U8)d[1]; /* last char in range */
2647#ifdef EBCDIC
2648 }
2649#endif
8ada0baa 2650
c2e66d9e 2651 if (min > max) {
01ec43d0 2652 Perl_croak(aTHX_
d1573ac7 2653 "Invalid range \"%c-%c\" in transliteration operator",
1ba5c669 2654 (char)min, (char)max);
c2e66d9e
GS
2655 }
2656
c7f1f016 2657#ifdef EBCDIC
4c3a8340
TS
2658 if (literal_endpoint == 2 &&
2659 ((isLOWER(min) && isLOWER(max)) ||
2660 (isUPPER(min) && isUPPER(max)))) {
8ada0baa
JH
2661 if (isLOWER(min)) {
2662 for (i = min; i <= max; i++)
2663 if (isLOWER(i))
db42d148 2664 *d++ = NATIVE_TO_NEED(has_utf8,i);
8ada0baa
JH
2665 } else {
2666 for (i = min; i <= max; i++)
2667 if (isUPPER(i))
db42d148 2668 *d++ = NATIVE_TO_NEED(has_utf8,i);
8ada0baa
JH
2669 }
2670 }
2671 else
2672#endif
2673 for (i = min; i <= max; i++)
e294cc5d
JH
2674#ifdef EBCDIC
2675 if (has_utf8) {
2676 const U8 ch = (U8)NATIVE_TO_UTF(i);
2677 if (UNI_IS_INVARIANT(ch))
2678 *d++ = (U8)i;
2679 else {
2680 *d++ = (U8)UTF8_EIGHT_BIT_HI(ch);
2681 *d++ = (U8)UTF8_EIGHT_BIT_LO(ch);
2682 }
2683 }
2684 else
2685#endif
2686 *d++ = (char)i;
2687
2688#ifdef EBCDIC
2689 if (uvmax) {
2690 d = (char*)uvchr_to_utf8((U8*)d, 0x100);
2691 if (uvmax > 0x101)
2692 *d++ = (char)UTF_TO_NATIVE(0xff);
2693 if (uvmax > 0x100)
2694 d = (char*)uvchr_to_utf8((U8*)d, uvmax);
2695 }
2696#endif
02aa26ce
NT
2697
2698 /* mark the range as done, and continue */
79072805 2699 dorange = FALSE;
01ec43d0 2700 didrange = TRUE;
4c3a8340
TS
2701#ifdef EBCDIC
2702 literal_endpoint = 0;
2703#endif
79072805 2704 continue;
4e553d73 2705 }
02aa26ce
NT
2706
2707 /* range begins (ignore - as first or last char) */
79072805 2708 else if (*s == '-' && s+1 < send && s != start) {
4e553d73 2709 if (didrange) {
1fafa243 2710 Perl_croak(aTHX_ "Ambiguous range in transliteration operator");
01ec43d0 2711 }
e294cc5d
JH
2712 if (has_utf8
2713#ifdef EBCDIC
2714 && !native_range
2715#endif
2716 ) {
25716404 2717 *d++ = (char)UTF_TO_NATIVE(0xff); /* use illegal utf8 byte--see pmtrans */
a0ed51b3
LW
2718 s++;
2719 continue;
2720 }
79072805
LW
2721 dorange = TRUE;
2722 s++;
01ec43d0
GS
2723 }
2724 else {
2725 didrange = FALSE;
4c3a8340
TS
2726#ifdef EBCDIC
2727 literal_endpoint = 0;
e294cc5d 2728 native_range = TRUE;
4c3a8340 2729#endif
01ec43d0 2730 }
79072805 2731 }
02aa26ce
NT
2732
2733 /* if we get here, we're not doing a transliteration */
2734
0f5d15d6
IZ
2735 /* skip for regexp comments /(?#comment)/ and code /(?{code})/,
2736 except for the last char, which will be done separately. */
3280af22 2737 else if (*s == '(' && PL_lex_inpat && s[1] == '?') {
cc6b7395 2738 if (s[2] == '#') {
e994fd66 2739 while (s+1 < send && *s != ')')
db42d148 2740 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
155aba94
GS
2741 }
2742 else if (s[2] == '{' /* This should match regcomp.c */
67edc0c9 2743 || (s[2] == '?' && s[3] == '{'))
155aba94 2744 {
cc6b7395 2745 I32 count = 1;
0f5d15d6 2746 char *regparse = s + (s[2] == '{' ? 3 : 4);
cc6b7395
IZ
2747 char c;
2748
d9f97599
GS
2749 while (count && (c = *regparse)) {
2750 if (c == '\\' && regparse[1])
2751 regparse++;
4e553d73 2752 else if (c == '{')
cc6b7395 2753 count++;
4e553d73 2754 else if (c == '}')
cc6b7395 2755 count--;
d9f97599 2756 regparse++;
cc6b7395 2757 }
e994fd66 2758 if (*regparse != ')')
5bdf89e7 2759 regparse--; /* Leave one char for continuation. */
0f5d15d6 2760 while (s < regparse)
db42d148 2761 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
cc6b7395 2762 }
748a9306 2763 }
02aa26ce
NT
2764
2765 /* likewise skip #-initiated comments in //x patterns */
3280af22
NIS
2766 else if (*s == '#' && PL_lex_inpat &&
2767 ((PMOP*)PL_lex_inpat)->op_pmflags & PMf_EXTENDED) {
748a9306 2768 while (s+1 < send && *s != '\n')
db42d148 2769 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
748a9306 2770 }
02aa26ce 2771
5d1d4326 2772 /* check for embedded arrays
da6eedaa 2773 (@foo, @::foo, @'foo, @{foo}, @$foo, @+, @-)
5d1d4326 2774 */
1749ea0d
TS
2775 else if (*s == '@' && s[1]) {
2776 if (isALNUM_lazy_if(s+1,UTF))
2777 break;
2778 if (strchr(":'{$", s[1]))
2779 break;
2780 if (!PL_lex_inpat && (s[1] == '+' || s[1] == '-'))
2781 break; /* in regexp, neither @+ nor @- are interpolated */
2782 }
02aa26ce
NT
2783
2784 /* check for embedded scalars. only stop if we're sure it's a
2785 variable.
2786 */
79072805 2787 else if (*s == '$') {
3280af22 2788 if (!PL_lex_inpat) /* not a regexp, so $ must be var */
79072805 2789 break;
77772344 2790 if (s + 1 < send && !strchr("()| \r\n\t", s[1])) {
a2a5de95
NC
2791 if (s[1] == '\\') {
2792 Perl_ck_warner(aTHX_ packWARN(WARN_AMBIGUOUS),
2793 "Possible unintended interpolation of $\\ in regex");
77772344 2794 }
79072805 2795 break; /* in regexp, $ might be tail anchor */
77772344 2796 }
79072805 2797 }
02aa26ce 2798
2b9d42f0
NIS
2799 /* End of else if chain - OP_TRANS rejoin rest */
2800
02aa26ce 2801 /* backslashes */
79072805
LW
2802 if (*s == '\\' && s+1 < send) {
2803 s++;
02aa26ce 2804
02aa26ce 2805 /* deprecate \1 in strings and substitution replacements */
3280af22 2806 if (PL_lex_inwhat == OP_SUBST && !PL_lex_inpat &&
a0d0e21e 2807 isDIGIT(*s) && *s != '0' && !isDIGIT(s[1]))
79072805 2808 {
a2a5de95 2809 Perl_ck_warner(aTHX_ packWARN(WARN_SYNTAX), "\\%c better written as $%c", *s, *s);
79072805
LW
2810 *--s = '$';
2811 break;
2812 }
02aa26ce
NT
2813
2814 /* string-change backslash escapes */
3280af22 2815 if (PL_lex_inwhat != OP_TRANS && *s && strchr("lLuUEQ", *s)) {
79072805
LW
2816 --s;
2817 break;
2818 }
cc74c5bd
TS
2819 /* skip any other backslash escapes in a pattern */
2820 else if (PL_lex_inpat) {
2821 *d++ = NATIVE_TO_NEED(has_utf8,'\\');
2822 goto default_action;
2823 }
02aa26ce
NT
2824
2825 /* if we get here, it's either a quoted -, or a digit */
79072805 2826 switch (*s) {
02aa26ce
NT
2827
2828 /* quoted - in transliterations */
79072805 2829 case '-':
3280af22 2830 if (PL_lex_inwhat == OP_TRANS) {
79072805
LW
2831 *d++ = *s++;
2832 continue;
2833 }
2834 /* FALL THROUGH */
2835 default:
11b8faa4 2836 {
a2a5de95
NC
2837 if ((isALPHA(*s) || isDIGIT(*s)))
2838 Perl_ck_warner(aTHX_ packWARN(WARN_MISC),
2839 "Unrecognized escape \\%c passed through",
2840 *s);
11b8faa4 2841 /* default action is to copy the quoted character */
f9a63242 2842 goto default_action;
11b8faa4 2843 }
02aa26ce 2844
77a135fe 2845 /* eg. \132 indicates the octal constant 0x132 */
79072805
LW
2846 case '0': case '1': case '2': case '3':
2847 case '4': case '5': case '6': case '7':
ba210ebe 2848 {
53305cf1
NC
2849 I32 flags = 0;
2850 STRLEN len = 3;
77a135fe 2851 uv = NATIVE_TO_UNI(grok_oct(s, &len, &flags, NULL));
ba210ebe
JH
2852 s += len;
2853 }
012bcf8d 2854 goto NUM_ESCAPE_INSERT;
02aa26ce 2855
77a135fe 2856 /* eg. \x24 indicates the hex constant 0x24 */
79072805 2857 case 'x':
a0ed51b3
LW
2858 ++s;
2859 if (*s == '{') {
9d4ba2ae 2860 char* const e = strchr(s, '}');
a4c04bdc
NC
2861 I32 flags = PERL_SCAN_ALLOW_UNDERSCORES |
2862 PERL_SCAN_DISALLOW_PREFIX;
53305cf1 2863 STRLEN len;
355860ce 2864
53305cf1 2865 ++s;
adaeee49 2866 if (!e) {
a0ed51b3 2867 yyerror("Missing right brace on \\x{}");
355860ce 2868 continue;
ba210ebe 2869 }
53305cf1 2870 len = e - s;
77a135fe 2871 uv = NATIVE_TO_UNI(grok_hex(s, &len, &flags, NULL));
ba210ebe 2872 s = e + 1;
a0ed51b3
LW
2873 }
2874 else {
ba210ebe 2875 {
53305cf1 2876 STRLEN len = 2;
a4c04bdc 2877 I32 flags = PERL_SCAN_DISALLOW_PREFIX;
77a135fe 2878 uv = NATIVE_TO_UNI(grok_hex(s, &len, &flags, NULL));
ba210ebe
JH
2879 s += len;
2880 }
012bcf8d
GS
2881 }
2882
2883 NUM_ESCAPE_INSERT:
77a135fe
KW
2884 /* Insert oct, hex, or \N{U+...} escaped character. There will
2885 * always be enough room in sv since such escapes will be
2886 * longer than any UTF-8 sequence they can end up as, except if
2887 * they force us to recode the rest of the string into utf8 */
ba7cea30 2888
77a135fe
KW
2889 /* Here uv is the ordinal of the next character being added in
2890 * unicode (converted from native). (It has to be done before
2891 * here because \N is interpreted as unicode, and oct and hex
2892 * as native.) */
2893 if (!UNI_IS_INVARIANT(uv)) {
9aa983d2 2894 if (!has_utf8 && uv > 255) {
77a135fe
KW
2895 /* Might need to recode whatever we have accumulated so
2896 * far if it contains any chars variant in utf8 or
2897 * utf-ebcdic. */
2898
2899 SvCUR_set(sv, d - SvPVX_const(sv));
2900 SvPOK_on(sv);
2901 *d = '\0';
77a135fe 2902 /* See Note on sizing above. */
7bf79863
KW
2903 sv_utf8_upgrade_flags_grow(sv,
2904 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
2905 UNISKIP(uv) + (STRLEN)(send - s) + 1);
77a135fe
KW
2906 d = SvPVX(sv) + SvCUR(sv);
2907 has_utf8 = TRUE;
012bcf8d
GS
2908 }
2909
77a135fe
KW
2910 if (has_utf8) {
2911 d = (char*)uvuni_to_utf8((U8*)d, uv);
f9a63242
JH
2912 if (PL_lex_inwhat == OP_TRANS &&
2913 PL_sublex_info.sub_op) {
2914 PL_sublex_info.sub_op->op_private |=
2915 (PL_lex_repl ? OPpTRANS_FROM_UTF
2916 : OPpTRANS_TO_UTF);
f9a63242 2917 }
e294cc5d
JH
2918#ifdef EBCDIC
2919 if (uv > 255 && !dorange)
2920 native_range = FALSE;
2921#endif
012bcf8d 2922 }
a0ed51b3 2923 else {
012bcf8d 2924 *d++ = (char)uv;
a0ed51b3 2925 }
012bcf8d
GS
2926 }
2927 else {
c4d5f83a 2928 *d++ = (char) uv;
a0ed51b3 2929 }
79072805 2930 continue;
02aa26ce 2931
77a135fe
KW
2932 /* \N{LATIN SMALL LETTER A} is a named character, and so is
2933 * \N{U+0041} */
4a2d328f 2934 case 'N':
55eda711 2935 ++s;
423cee85
JH
2936 if (*s == '{') {
2937 char* e = strchr(s, '}');
155aba94 2938 SV *res;
423cee85 2939 STRLEN len;
cfd0369c 2940 const char *str;
4e553d73 2941
423cee85 2942 if (!e) {
5777a3f7 2943 yyerror("Missing right brace on \\N{}");
423cee85
JH
2944 e = s - 1;
2945 goto cont_scan;
2946 }
dbc0d4f2 2947 if (e > s + 2 && s[1] == 'U' && s[2] == '+') {
77a135fe
KW
2948 /* \N{U+...} The ... is a unicode value even on EBCDIC
2949 * machines */
dbc0d4f2
JH
2950 I32 flags = PERL_SCAN_ALLOW_UNDERSCORES |
2951 PERL_SCAN_DISALLOW_PREFIX;
2952 s += 3;
2953 len = e - s;
2954 uv = grok_hex(s, &len, &flags, NULL);
b57a0404
JH
2955 if ( e > s && len != (STRLEN)(e - s) ) {
2956 uv = 0xFFFD;
fc8cd66c 2957 }
dbc0d4f2
JH
2958 s = e + 1;
2959 goto NUM_ESCAPE_INSERT;
2960 }
55eda711 2961 res = newSVpvn(s + 1, e - s - 1);
bd61b366 2962 res = new_constant( NULL, 0, "charnames",
eb0d8d16 2963 res, NULL, s - 2, e - s + 3 );
f9a63242
JH
2964 if (has_utf8)
2965 sv_utf8_upgrade(res);
cfd0369c 2966 str = SvPV_const(res,len);
1c47067b
JH
2967#ifdef EBCDIC_NEVER_MIND
2968 /* charnames uses pack U and that has been
2969 * recently changed to do the below uni->native
2970 * mapping, so this would be redundant (and wrong,
2971 * the code point would be doubly converted).
2972 * But leave this in just in case the pack U change
2973 * gets revoked, but the semantics is still
2974 * desireable for charnames. --jhi */
cddc7ef4 2975 {
cfd0369c 2976 UV uv = utf8_to_uvchr((const U8*)str, 0);
cddc7ef4
JH
2977
2978 if (uv < 0x100) {
89ebb4a3 2979 U8 tmpbuf[UTF8_MAXBYTES+1], *d;
cddc7ef4
JH
2980
2981 d = uvchr_to_utf8(tmpbuf, UNI_TO_NATIVE(uv));
2982 sv_setpvn(res, (char *)tmpbuf, d - tmpbuf);
cfd0369c 2983 str = SvPV_const(res, len);
cddc7ef4
JH
2984 }
2985 }
2986#endif
77a135fe
KW
2987 /* If destination is not in utf8 but this new character is,
2988 * recode the dest to utf8 */
89491803 2989 if (!has_utf8 && SvUTF8(res)) {
77a135fe 2990 SvCUR_set(sv, d - SvPVX_const(sv));
f08d6ad9 2991 SvPOK_on(sv);
e4f3eed8 2992 *d = '\0';
77a135fe 2993 /* See Note on sizing above. */
7bf79863
KW
2994 sv_utf8_upgrade_flags_grow(sv,
2995 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
2996 len + (STRLEN)(send - s) + 1);
f08d6ad9 2997 d = SvPVX(sv) + SvCUR(sv);
89491803 2998 has_utf8 = TRUE;
77a135fe 2999 } else if (len > (STRLEN)(e - s + 4)) { /* I _guess_ 4 is \N{} --jhi */
423cee85 3000
77a135fe
KW
3001 /* See Note on sizing above. (NOTE: SvCUR() is not set
3002 * correctly here). */
3003 const STRLEN off = d - SvPVX_const(sv);
3004 d = SvGROW(sv, off + len + (STRLEN)(send - s) + 1) + off;
423cee85 3005 }
e294cc5d
JH
3006#ifdef EBCDIC
3007 if (!dorange)
3008 native_range = FALSE; /* \N{} is guessed to be Unicode */
3009#endif
423cee85
JH
3010 Copy(str, d, len, char);
3011 d += len;
3012 SvREFCNT_dec(res);
3013 cont_scan:
3014 s = e + 1;
3015 }
3016 else
5777a3f7 3017 yyerror("Missing braces on \\N{}");
423cee85
JH
3018 continue;
3019
02aa26ce 3020 /* \c is a control character */
79072805
LW
3021 case 'c':
3022 s++;
961ce445 3023 if (s < send) {
ba210ebe 3024 U8 c = *s++;
c7f1f016
NIS
3025#ifdef EBCDIC
3026 if (isLOWER(c))
3027 c = toUPPER(c);
3028#endif
db42d148 3029 *d++ = NATIVE_TO_NEED(has_utf8,toCTRL(c));
ba210ebe 3030 }
961ce445
RGS
3031 else {
3032 yyerror("Missing control char name in \\c");
3033 }
79072805 3034 continue;
02aa26ce
NT
3035
3036 /* printf-style backslashes, formfeeds, newlines, etc */
79072805 3037 case 'b':
db42d148 3038 *d++ = NATIVE_TO_NEED(has_utf8,'\b');
79072805
LW
3039 break;
3040 case 'n':
db42d148 3041 *d++ = NATIVE_TO_NEED(has_utf8,'\n');
79072805
LW
3042 break;
3043 case 'r':
db42d148 3044 *d++ = NATIVE_TO_NEED(has_utf8,'\r');
79072805
LW
3045 break;
3046 case 'f':
db42d148 3047 *d++ = NATIVE_TO_NEED(has_utf8,'\f');
79072805
LW
3048 break;
3049 case 't':
db42d148 3050 *d++ = NATIVE_TO_NEED(has_utf8,'\t');
79072805 3051 break;
34a3fe2a 3052 case 'e':
db42d148 3053 *d++ = ASCII_TO_NEED(has_utf8,'\033');
34a3fe2a
PP
3054 break;
3055 case 'a':
db42d148 3056 *d++ = ASCII_TO_NEED(has_utf8,'\007');
79072805 3057 break;
02aa26ce
NT
3058 } /* end switch */
3059
79072805
LW
3060 s++;
3061 continue;
02aa26ce 3062 } /* end if (backslash) */
4c3a8340
TS
3063#ifdef EBCDIC
3064 else
3065 literal_endpoint++;
3066#endif
02aa26ce 3067
f9a63242 3068 default_action:
77a135fe
KW
3069 /* If we started with encoded form, or already know we want it,
3070 then encode the next character */
3071 if (! NATIVE_IS_INVARIANT((U8)(*s)) && (this_utf8 || has_utf8)) {
2b9d42f0 3072 STRLEN len = 1;
77a135fe
KW
3073
3074
3075 /* One might think that it is wasted effort in the case of the
3076 * source being utf8 (this_utf8 == TRUE) to take the next character
3077 * in the source, convert it to an unsigned value, and then convert
3078 * it back again. But the source has not been validated here. The
3079 * routine that does the conversion checks for errors like
3080 * malformed utf8 */
3081
5f66b61c
AL
3082 const UV nextuv = (this_utf8) ? utf8n_to_uvchr((U8*)s, send - s, &len, 0) : (UV) ((U8) *s);
3083 const STRLEN need = UNISKIP(NATIVE_TO_UNI(nextuv));
77a135fe
KW
3084 if (!has_utf8) {
3085 SvCUR_set(sv, d - SvPVX_const(sv));
3086 SvPOK_on(sv);
3087 *d = '\0';
77a135fe 3088 /* See Note on sizing above. */
7bf79863
KW
3089 sv_utf8_upgrade_flags_grow(sv,
3090 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3091 need + (STRLEN)(send - s) + 1);
77a135fe
KW
3092 d = SvPVX(sv) + SvCUR(sv);
3093 has_utf8 = TRUE;
3094 } else if (need > len) {
3095 /* encoded value larger than old, may need extra space (NOTE:
3096 * SvCUR() is not set correctly here). See Note on sizing
3097 * above. */
9d4ba2ae 3098 const STRLEN off = d - SvPVX_const(sv);
77a135fe 3099 d = SvGROW(sv, off + need + (STRLEN)(send - s) + 1) + off;
2b9d42f0 3100 }
77a135fe
KW
3101 s += len;
3102
5f66b61c 3103 d = (char*)uvchr_to_utf8((U8*)d, nextuv);
e294cc5d
JH
3104#ifdef EBCDIC
3105 if (uv > 255 && !dorange)
3106 native_range = FALSE;
3107#endif
2b9d42f0
NIS
3108 }
3109 else {
3110 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
3111 }
02aa26ce
NT
3112 } /* while loop to process each character */
3113
3114 /* terminate the string and set up the sv */
79072805 3115 *d = '\0';
95a20fc0 3116 SvCUR_set(sv, d - SvPVX_const(sv));
2b9d42f0 3117 if (SvCUR(sv) >= SvLEN(sv))
d0063567 3118 Perl_croak(aTHX_ "panic: constant overflowed allocated space");
2b9d42f0 3119
79072805 3120 SvPOK_on(sv);
9f4817db 3121 if (PL_encoding && !has_utf8) {
d0063567
DK
3122 sv_recode_to_utf8(sv, PL_encoding);
3123 if (SvUTF8(sv))
3124 has_utf8 = TRUE;
9f4817db 3125 }
2b9d42f0 3126 if (has_utf8) {
7e2040f0 3127 SvUTF8_on(sv);
2b9d42f0 3128 if (PL_lex_inwhat == OP_TRANS && PL_sublex_info.sub_op) {
d0063567 3129 PL_sublex_info.sub_op->op_private |=
2b9d42f0
NIS
3130 (PL_lex_repl ? OPpTRANS_FROM_UTF : OPpTRANS_TO_UTF);
3131 }
3132 }
79072805 3133
02aa26ce 3134 /* shrink the sv if we allocated more than we used */
79072805 3135 if (SvCUR(sv) + 5 < SvLEN(sv)) {
1da4ca5f 3136 SvPV_shrink_to_cur(sv);
79072805 3137 }
02aa26ce 3138
6154021b 3139 /* return the substring (via pl_yylval) only if we parsed anything */
3280af22 3140 if (s > PL_bufptr) {
eb0d8d16
NC
3141 if ( PL_hints & ( PL_lex_inpat ? HINT_NEW_RE : HINT_NEW_STRING ) ) {
3142 const char *const key = PL_lex_inpat ? "qr" : "q";
3143 const STRLEN keylen = PL_lex_inpat ? 2 : 1;
3144 const char *type;
3145 STRLEN typelen;
3146
3147 if (PL_lex_inwhat == OP_TRANS) {
3148 type = "tr";
3149 typelen = 2;
3150 } else if (PL_lex_inwhat == OP_SUBST && !PL_lex_inpat) {
3151 type = "s";
3152 typelen = 1;
3153 } else {
3154 type = "qq";
3155 typelen = 2;
3156 }
3157
3158 sv = S_new_constant(aTHX_ start, s - start, key, keylen, sv, NULL,
3159 type, typelen);
3160 }
6154021b 3161 pl_yylval.opval = (OP*)newSVOP(OP_CONST, 0, sv);
b3ac6de7 3162 } else
8990e307 3163 SvREFCNT_dec(sv);
79072805
LW
3164 return s;
3165}
3166
ffb4593c
NT
3167/* S_intuit_more
3168 * Returns TRUE if there's more to the expression (e.g., a subscript),
3169 * FALSE otherwise.
ffb4593c
NT
3170 *
3171 * It deals with "$foo[3]" and /$foo[3]/ and /$foo[0123456789$]+/
3172 *
3173 * ->[ and ->{ return TRUE
3174 * { and [ outside a pattern are always subscripts, so return TRUE
3175 * if we're outside a pattern and it's not { or [, then return FALSE
3176 * if we're in a pattern and the first char is a {
3177 * {4,5} (any digits around the comma) returns FALSE
3178 * if we're in a pattern and the first char is a [
3179 * [] returns FALSE
3180 * [SOMETHING] has a funky algorithm to decide whether it's a
3181 * character class or not. It has to deal with things like
3182 * /$foo[-3]/ and /$foo[$bar]/ as well as /$foo[$\d]+/
3183 * anything else returns TRUE
3184 */
3185
9cbb5ea2
GS
3186/* This is the one truly awful dwimmer necessary to conflate C and sed. */
3187
76e3520e 3188STATIC int
cea2e8a9 3189S_intuit_more(pTHX_ register char *s)
79072805 3190{
97aff369 3191 dVAR;
7918f24d
NC
3192
3193 PERL_ARGS_ASSERT_INTUIT_MORE;
3194
3280af22 3195 if (PL_lex_brackets)
79072805
LW
3196 return TRUE;
3197 if (*s == '-' && s[1] == '>' && (s[2] == '[' || s[2] == '{'))
3198 return TRUE;
3199 if (*s != '{' && *s != '[')
3200 return FALSE;
3280af22 3201 if (!PL_lex_inpat)
79072805
LW
3202 return TRUE;
3203
3204 /* In a pattern, so maybe we have {n,m}. */
3205 if (*s == '{') {
3206 s++;
3207 if (!isDIGIT(*s))
3208 return TRUE;
3209 while (isDIGIT(*s))
3210 s++;
3211 if (*s == ',')
3212 s++;
3213 while (isDIGIT(*s))
3214 s++;
3215 if (*s == '}')
3216 return FALSE;
3217 return TRUE;
3218
3219 }
3220
3221 /* On the other hand, maybe we have a character class */
3222
3223 s++;
3224 if (*s == ']' || *s == '^')
3225 return FALSE;
3226 else {
ffb4593c 3227 /* this is terrifying, and it works */
79072805
LW
3228 int weight = 2; /* let's weigh the evidence */
3229 char seen[256];
f27ffc4a 3230 unsigned char un_char = 255, last_un_char;
9d4ba2ae 3231 const char * const send = strchr(s,']');
3280af22 3232 char tmpbuf[sizeof PL_tokenbuf * 4];
79072805
LW
3233
3234 if (!send) /* has to be an expression */
3235 return TRUE;
3236
3237 Zero(seen,256,char);
3238 if (*s == '$')
3239 weight -= 3;
3240 else if (isDIGIT(*s)) {
3241 if (s[1] != ']') {
3242 if (isDIGIT(s[1]) && s[2] == ']')
3243 weight -= 10;
3244 }
3245 else
3246 weight -= 100;
3247 }
3248 for (; s < send; s++) {
3249 last_un_char = un_char;
3250 un_char = (unsigned char)*s;
3251 switch (*s) {
3252 case '@':
3253 case '&':
3254 case '$':
3255 weight -= seen[un_char] * 10;
7e2040f0 3256 if (isALNUM_lazy_if(s+1,UTF)) {
90e5519e 3257 int len;
8903cb82 3258 scan_ident(s, send, tmpbuf, sizeof tmpbuf, FALSE);
90e5519e
NC
3259 len = (int)strlen(tmpbuf);
3260 if (len > 1 && gv_fetchpvn_flags(tmpbuf, len, 0, SVt_PV))
79072805
LW
3261 weight -= 100;
3262 else
3263 weight -= 10;
3264 }
3265 else if (*s == '$' && s[1] &&
93a17b20
LW
3266 strchr("[#!%*<>()-=",s[1])) {
3267 if (/*{*/ strchr("])} =",s[2]))
79072805
LW
3268 weight -= 10;
3269 else
3270 weight -= 1;
3271 }
3272 break;
3273 case '\\':
3274 un_char = 254;
3275 if (s[1]) {
93a17b20 3276 if (strchr("wds]",s[1]))
79072805 3277 weight += 100;
10edeb5d 3278 else if (seen[(U8)'\''] || seen[(U8)'"'])
79072805 3279 weight += 1;
93a17b20 3280 else if (strchr("rnftbxcav",s[1]))
79072805
LW
3281 weight += 40;
3282 else if (isDIGIT(s[1])) {
3283 weight += 40;
3284 while (s[1] && isDIGIT(s[1]))
3285 s++;
3286 }
3287 }
3288 else
3289 weight += 100;
3290 break;
3291 case '-':
3292 if (s[1] == '\\')
3293 weight += 50;
93a17b20 3294 if (strchr("aA01! ",last_un_char))
79072805 3295 weight += 30;
93a17b20 3296 if (strchr("zZ79~",s[1]))
79072805 3297 weight += 30;
f27ffc4a
GS
3298 if (last_un_char == 255 && (isDIGIT(s[1]) || s[1] == '$'))
3299 weight -= 5; /* cope with negative subscript */
79072805
LW
3300 break;
3301 default:
3792a11b
NC
3302 if (!isALNUM(last_un_char)
3303 && !(last_un_char == '$' || last_un_char == '@'
3304 || last_un_char == '&')
3305 && isALPHA(*s) && s[1] && isALPHA(s[1])) {
79072805
LW
3306 char *d = tmpbuf;
3307 while (isALPHA(*s))
3308 *d++ = *s++;
3309 *d = '\0';
5458a98a 3310 if (keyword(tmpbuf, d - tmpbuf, 0))
79072805
LW
3311 weight -= 150;
3312 }
3313 if (un_char == last_un_char + 1)
3314 weight += 5;
3315 weight -= seen[un_char];
3316 break;
3317 }
3318 seen[un_char]++;
3319 }
3320 if (weight >= 0) /* probably a character class */
3321 return FALSE;
3322 }
3323
3324 return TRUE;
3325}
ffed7fef 3326
ffb4593c
NT
3327/*
3328 * S_intuit_method
3329 *
3330 * Does all the checking to disambiguate
3331 * foo bar
3332 * between foo(bar) and bar->foo. Returns 0 if not a method, otherwise
3333 * FUNCMETH (bar->foo(args)) or METHOD (bar->foo args).
3334 *
3335 * First argument is the stuff after the first token, e.g. "bar".
3336 *
3337 * Not a method if bar is a filehandle.
3338 * Not a method if foo is a subroutine prototyped to take a filehandle.
3339 * Not a method if it's really "Foo $bar"
3340 * Method if it's "foo $bar"
3341 * Not a method if it's really "print foo $bar"
3342 * Method if it's really "foo package::" (interpreted as package->foo)
8f8cf39c 3343 * Not a method if bar is known to be a subroutine ("sub bar; foo bar")
3cb0bbe5 3344 * Not a method if bar is a filehandle or package, but is quoted with
ffb4593c
NT
3345 * =>
3346 */
3347
76e3520e 3348STATIC int
62d55b22 3349S_intuit_method(pTHX_ char *start, GV *gv, CV *cv)
a0d0e21e 3350{
97aff369 3351 dVAR;
a0d0e21e 3352 char *s = start + (*start == '$');
3280af22 3353 char tmpbuf[sizeof PL_tokenbuf];
a0d0e21e
LW
3354 STRLEN len;
3355 GV* indirgv;
5db06880
NC
3356#ifdef PERL_MAD
3357 int soff;
3358#endif
a0d0e21e 3359
7918f24d
NC
3360 PERL_ARGS_ASSERT_INTUIT_METHOD;
3361
a0d0e21e 3362 if (gv) {
62d55b22 3363 if (SvTYPE(gv) == SVt_PVGV && GvIO(gv))
a0d0e21e 3364 return 0;
62d55b22
NC
3365 if (cv) {
3366 if (SvPOK(cv)) {
3367 const char *proto = SvPVX_const(cv);
3368 if (proto) {
3369 if (*proto == ';')
3370 proto++;
3371 if (*proto == '*')
3372 return 0;
3373 }
b6c543e3
IZ
3374 }
3375 } else
c35e046a 3376 gv = NULL;
a0d0e21e 3377 }
8903cb82 3378 s = scan_word(s, tmpbuf, sizeof tmpbuf, TRUE, &len);
ffb4593c
NT
3379 /* start is the beginning of the possible filehandle/object,
3380 * and s is the end of it
3381 * tmpbuf is a copy of it
3382 */
3383
a0d0e21e 3384 if (*start == '$') {
3ef1310e
RGS
3385 if (gv || PL_last_lop_op == OP_PRINT || PL_last_lop_op == OP_SAY ||
3386 isUPPER(*PL_tokenbuf))
a0d0e21e 3387 return 0;
5db06880
NC
3388#ifdef PERL_MAD
3389 len = start - SvPVX(PL_linestr);
3390#endif
29595ff2 3391 s = PEEKSPACE(s);
f0092767 3392#ifdef PERL_MAD
5db06880
NC
3393 start = SvPVX(PL_linestr) + len;
3394#endif
3280af22
NIS
3395 PL_bufptr = start;
3396 PL_expect = XREF;
a0d0e21e
LW
3397 return *s == '(' ? FUNCMETH : METHOD;
3398 }
5458a98a 3399 if (!keyword(tmpbuf, len, 0)) {
c3e0f903
GS
3400 if (len > 2 && tmpbuf[len - 2] == ':' && tmpbuf[len - 1] == ':') {
3401 len -= 2;
3402 tmpbuf[len] = '\0';
5db06880
NC
3403#ifdef PERL_MAD
3404 soff = s - SvPVX(PL_linestr);
3405#endif
c3e0f903
GS
3406 goto bare_package;
3407 }
90e5519e 3408 indirgv = gv_fetchpvn_flags(tmpbuf, len, 0, SVt_PVCV);
8ebc5c01 3409 if (indirgv && GvCVu(indirgv))
a0d0e21e
LW
3410 return 0;
3411 /* filehandle or package name makes it a method */
da51bb9b 3412 if (!gv || GvIO(indirgv) || gv_stashpvn(tmpbuf, len, 0)) {
5db06880
NC
3413#ifdef PERL_MAD
3414 soff = s - SvPVX(PL_linestr);
3415#endif
29595ff2 3416 s = PEEKSPACE(s);
3280af22 3417 if ((PL_bufend - s) >= 2 && *s == '=' && *(s+1) == '>')
55497cff 3418 return 0; /* no assumptions -- "=>" quotes bearword */
c3e0f903 3419 bare_package:
cd81e915 3420 start_force(PL_curforce);
9ded7720 3421 NEXTVAL_NEXTTOKE.opval = (OP*)newSVOP(OP_CONST, 0,
64142370 3422 S_newSV_maybe_utf8(aTHX_ tmpbuf, len));
9ded7720 3423 NEXTVAL_NEXTTOKE.opval->op_private = OPpCONST_BARE;
5db06880
NC
3424 if (PL_madskills)
3425 curmad('X', newSVpvn(start,SvPVX(PL_linestr) + soff - start));
3280af22 3426 PL_expect = XTERM;
a0d0e21e 3427 force_next(WORD);
3280af22 3428 PL_bufptr = s;
5db06880
NC
3429#ifdef PERL_MAD
3430 PL_bufptr = SvPVX(PL_linestr) + soff; /* restart before space */
3431#endif
a0d0e21e
LW
3432 return *s == '(' ? FUNCMETH : METHOD;
3433 }
3434 }
3435 return 0;
3436}
3437
16d20bd9 3438/* Encoded script support. filter_add() effectively inserts a
4e553d73 3439 * 'pre-processing' function into the current source input stream.
16d20bd9
AD
3440 * Note that the filter function only applies to the current source file
3441 * (e.g., it will not affect files 'require'd or 'use'd by this one).
3442 *
3443 * The datasv parameter (which may be NULL) can be used to pass
3444 * private data to this instance of the filter. The filter function
3445 * can recover the SV using the FILTER_DATA macro and use it to
3446 * store private buffers and state information.
3447 *
3448 * The supplied datasv parameter is upgraded to a PVIO type
4755096e 3449 * and the IoDIRP/IoANY field is used to store the function pointer,
e0c19803 3450 * and IOf_FAKE_DIRP is enabled on datasv to mark this as such.
16d20bd9
AD
3451 * Note that IoTOP_NAME, IoFMT_NAME, IoBOTTOM_NAME, if set for
3452 * private use must be set using malloc'd pointers.
3453 */
16d20bd9
AD
3454
3455SV *
864dbfa3 3456Perl_filter_add(pTHX_ filter_t funcp, SV *datasv)
16d20bd9 3457{
97aff369 3458 dVAR;
f4c556ac 3459 if (!funcp)
a0714e2c 3460 return NULL;
f4c556ac 3461
5486870f
DM
3462 if (!PL_parser)
3463 return NULL;
3464
3280af22
NIS
3465 if (!PL_rsfp_filters)
3466 PL_rsfp_filters = newAV();
16d20bd9 3467 if (!datasv)
561b68a9 3468 datasv = newSV(0);
862a34c6 3469 SvUPGRADE(datasv, SVt_PVIO);
8141890a 3470 IoANY(datasv) = FPTR2DPTR(void *, funcp); /* stash funcp into spare field */
e0c19803 3471 IoFLAGS(datasv) |= IOf_FAKE_DIRP;
f4c556ac 3472 DEBUG_P(PerlIO_printf(Perl_debug_log, "filter_add func %p (%s)\n",
55662e27
JH
3473 FPTR2DPTR(void *, IoANY(datasv)),
3474 SvPV_nolen(datasv)));
3280af22
NIS
3475 av_unshift(PL_rsfp_filters, 1);
3476 av_store(PL_rsfp_filters, 0, datasv) ;
16d20bd9
AD
3477 return(datasv);
3478}
4e553d73 3479
16d20bd9
AD
3480
3481/* Delete most recently added instance of this filter function. */
a0d0e21e 3482void
864dbfa3 3483Perl_filter_del(pTHX_ filter_t funcp)
16d20bd9 3484{
97aff369 3485 dVAR;
e0c19803 3486 SV *datasv;
24801a4b 3487
7918f24d
NC
3488 PERL_ARGS_ASSERT_FILTER_DEL;
3489
33073adb 3490#ifdef DEBUGGING
55662e27
JH
3491 DEBUG_P(PerlIO_printf(Perl_debug_log, "filter_del func %p",
3492 FPTR2DPTR(void*, funcp)));
33073adb 3493#endif
5486870f 3494 if (!PL_parser || !PL_rsfp_filters || AvFILLp(PL_rsfp_filters)<0)
16d20bd9
AD
3495 return;
3496 /* if filter is on top of stack (usual case) just pop it off */
e0c19803 3497 datasv = FILTER_DATA(AvFILLp(PL_rsfp_filters));
8141890a 3498 if (IoANY(datasv) == FPTR2DPTR(void *, funcp)) {
e0c19803 3499 IoFLAGS(datasv) &= ~IOf_FAKE_DIRP;
4755096e 3500 IoANY(datasv) = (void *)NULL;
3280af22 3501 sv_free(av_pop(PL_rsfp_filters));
e50aee73 3502
16d20bd9
AD
3503 return;
3504 }
3505 /* we need to search for the correct entry and clear it */
cea2e8a9 3506 Perl_die(aTHX_ "filter_del can only delete in reverse order (currently)");
16d20bd9
AD
3507}
3508
3509
1de9afcd
RGS
3510/* Invoke the idxth filter function for the current rsfp. */
3511/* maxlen 0 = read one text line */
16d20bd9 3512I32
864dbfa3 3513Perl_filter_read(pTHX_ int idx, SV *buf_sv, int maxlen)
a0d0e21e 3514{
97aff369 3515 dVAR;
16d20bd9
AD
3516 filter_t funcp;
3517 SV *datasv = NULL;
f482118e
NC
3518 /* This API is bad. It should have been using unsigned int for maxlen.
3519 Not sure if we want to change the API, but if not we should sanity
3520 check the value here. */
39cd7a59
NC
3521 const unsigned int correct_length
3522 = maxlen < 0 ?
3523#ifdef PERL_MICRO
3524 0x7FFFFFFF
3525#else
3526 INT_MAX
3527#endif
3528 : maxlen;
e50aee73 3529
7918f24d
NC
3530 PERL_ARGS_ASSERT_FILTER_READ;
3531
5486870f 3532 if (!PL_parser || !PL_rsfp_filters)
16d20bd9 3533 return -1;
1de9afcd 3534 if (idx > AvFILLp(PL_rsfp_filters)) { /* Any more filters? */
16d20bd9
AD
3535 /* Provide a default input filter to make life easy. */
3536 /* Note that we append to the line. This is handy. */
f4c556ac
GS
3537 DEBUG_P(PerlIO_printf(Perl_debug_log,
3538 "filter_read %d: from rsfp\n", idx));
f482118e 3539 if (correct_length) {
16d20bd9
AD
3540 /* Want a block */
3541 int len ;
f54cb97a 3542 const int old_len = SvCUR(buf_sv);
16d20bd9
AD
3543
3544 /* ensure buf_sv is large enough */
881d8f0a 3545 SvGROW(buf_sv, (STRLEN)(old_len + correct_length + 1)) ;
f482118e
NC
3546 if ((len = PerlIO_read(PL_rsfp, SvPVX(buf_sv) + old_len,
3547 correct_length)) <= 0) {
3280af22 3548 if (PerlIO_error(PL_rsfp))
37120919
AD
3549 return -1; /* error */
3550 else
3551 return 0 ; /* end of file */
3552 }
16d20bd9 3553 SvCUR_set(buf_sv, old_len + len) ;
881d8f0a 3554 SvPVX(buf_sv)[old_len + len] = '\0';
16d20bd9
AD
3555 } else {
3556 /* Want a line */
3280af22
NIS
3557 if (sv_gets(buf_sv, PL_rsfp, SvCUR(buf_sv)) == NULL) {
3558 if (PerlIO_error(PL_rsfp))
37120919
AD
3559 return -1; /* error */
3560 else
3561 return 0 ; /* end of file */
3562 }
16d20bd9
AD
3563 }
3564 return SvCUR(buf_sv);
3565 }
3566 /* Skip this filter slot if filter has been deleted */
1de9afcd 3567 if ( (datasv = FILTER_DATA(idx)) == &PL_sv_undef) {
f4c556ac
GS
3568 DEBUG_P(PerlIO_printf(Perl_debug_log,
3569 "filter_read %d: skipped (filter deleted)\n",
3570 idx));
f482118e 3571 return FILTER_READ(idx+1, buf_sv, correct_length); /* recurse */
16d20bd9
AD
3572 }
3573 /* Get function pointer hidden within datasv */
8141890a 3574 funcp = DPTR2FPTR(filter_t, IoANY(datasv));
f4c556ac
GS
3575 DEBUG_P(PerlIO_printf(Perl_debug_log,
3576 "filter_read %d: via function %p (%s)\n",
ca0270c4 3577 idx, (void*)datasv, SvPV_nolen_const(datasv)));
16d20bd9
AD
3578 /* Call function. The function is expected to */
3579 /* call "FILTER_READ(idx+1, buf_sv)" first. */
37120919 3580 /* Return: <0:error, =0:eof, >0:not eof */
f482118e 3581 return (*funcp)(aTHX_ idx, buf_sv, correct_length);
16d20bd9
AD
3582}
3583
76e3520e 3584STATIC char *
5cc814fd 3585S_filter_gets(pTHX_ register SV *sv, STRLEN append)
16d20bd9 3586{
97aff369 3587 dVAR;
7918f24d
NC
3588
3589 PERL_ARGS_ASSERT_FILTER_GETS;
3590
c39cd008 3591#ifdef PERL_CR_FILTER
3280af22 3592 if (!PL_rsfp_filters) {
c39cd008 3593 filter_add(S_cr_textfilter,NULL);
a868473f
NIS
3594 }
3595#endif
3280af22 3596 if (PL_rsfp_filters) {
55497cff 3597 if (!append)
3598 SvCUR_set(sv, 0); /* start with empty line */
16d20bd9
AD
3599 if (FILTER_READ(0, sv, 0) > 0)
3600 return ( SvPVX(sv) ) ;
3601 else
bd61b366 3602 return NULL ;
16d20bd9 3603 }
9d116dd7 3604 else
5cc814fd 3605 return (sv_gets(sv, PL_rsfp, append));
a0d0e21e
LW
3606}
3607
01ec43d0 3608STATIC HV *
9bde8eb0 3609S_find_in_my_stash(pTHX_ const char *pkgname, STRLEN len)
def3634b 3610{
97aff369 3611 dVAR;
def3634b
GS
3612 GV *gv;
3613
7918f24d
NC
3614 PERL_ARGS_ASSERT_FIND_IN_MY_STASH;
3615
01ec43d0 3616 if (len == 11 && *pkgname == '_' && strEQ(pkgname, "__PACKAGE__"))
def3634b
GS
3617 return PL_curstash;
3618
3619 if (len > 2 &&
3620 (pkgname[len - 2] == ':' && pkgname[len - 1] == ':') &&
90e5519e 3621 (gv = gv_fetchpvn_flags(pkgname, len, 0, SVt_PVHV)))
01ec43d0
GS
3622 {
3623 return GvHV(gv); /* Foo:: */
def3634b
GS
3624 }
3625
3626 /* use constant CLASS => 'MyClass' */
c35e046a
AL
3627 gv = gv_fetchpvn_flags(pkgname, len, 0, SVt_PVCV);
3628 if (gv && GvCV(gv)) {
3629 SV * const sv = cv_const_sv(GvCV(gv));
3630 if (sv)
9bde8eb0 3631 pkgname = SvPV_const(sv, len);
def3634b
GS
3632 }
3633
9bde8eb0 3634 return gv_stashpvn(pkgname, len, 0);
def3634b 3635}
a0d0e21e 3636
e3f73d4e
RGS
3637/*
3638 * S_readpipe_override
3639 * Check whether readpipe() is overriden, and generates the appropriate
3640 * optree, provided sublex_start() is called afterwards.
3641 */
3642STATIC void
1d51329b 3643S_readpipe_override(pTHX)
e3f73d4e
RGS
3644{
3645 GV **gvp;
3646 GV *gv_readpipe = gv_fetchpvs("readpipe", GV_NOTQUAL, SVt_PVCV);
6154021b 3647 pl_yylval.ival = OP_BACKTICK;
e3f73d4e
RGS
3648 if ((gv_readpipe
3649 && GvCVu(gv_readpipe) && GvIMPORTED_CV(gv_readpipe))
3650 ||
3651 ((gvp = (GV**)hv_fetchs(PL_globalstash, "readpipe", FALSE))
d5e716f5 3652 && (gv_readpipe = *gvp) && isGV_with_GP(gv_readpipe)
e3f73d4e
RGS
3653 && GvCVu(gv_readpipe) && GvIMPORTED_CV(gv_readpipe)))
3654 {
3655 PL_lex_op = (OP*)newUNOP(OP_ENTERSUB, OPf_STACKED,
3656 append_elem(OP_LIST,
3657 newSVOP(OP_CONST, 0, &PL_sv_undef), /* value will be read later */
3658 newCVREF(0, newGVOP(OP_GV, 0, gv_readpipe))));
3659 }
e3f73d4e
RGS
3660}
3661
5db06880
NC
3662#ifdef PERL_MAD
3663 /*
3664 * Perl_madlex
3665 * The intent of this yylex wrapper is to minimize the changes to the
3666 * tokener when we aren't interested in collecting madprops. It remains
3667 * to be seen how successful this strategy will be...
3668 */
3669
3670int
3671Perl_madlex(pTHX)
3672{
3673 int optype;
3674 char *s = PL_bufptr;
3675
cd81e915
NC
3676 /* make sure PL_thiswhite is initialized */
3677 PL_thiswhite = 0;
3678 PL_thismad = 0;
5db06880 3679
cd81e915 3680 /* just do what yylex would do on pending identifier; leave PL_thiswhite alone */
5db06880
NC
3681 if (PL_pending_ident)
3682 return S_pending_ident(aTHX);
3683
3684 /* previous token ate up our whitespace? */
cd81e915
NC
3685 if (!PL_lasttoke && PL_nextwhite) {
3686 PL_thiswhite = PL_nextwhite;
3687 PL_nextwhite = 0;
5db06880
NC
3688 }
3689
3690 /* isolate the token, and figure out where it is without whitespace */
cd81e915
NC
3691 PL_realtokenstart = -1;
3692 PL_thistoken = 0;
5db06880
NC
3693 optype = yylex();
3694 s = PL_bufptr;
cd81e915 3695 assert(PL_curforce < 0);
5db06880 3696
cd81e915
NC
3697 if (!PL_thismad || PL_thismad->mad_key == '^') { /* not forced already? */
3698 if (!PL_thistoken) {
3699 if (PL_realtokenstart < 0 || !CopLINE(PL_curcop))
6b29d1f5 3700 PL_thistoken = newSVpvs("");
5db06880 3701 else {
c35e046a 3702 char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
cd81e915 3703 PL_thistoken = newSVpvn(tstart, s - tstart);
5db06880
NC
3704 }
3705 }
cd81e915
NC
3706 if (PL_thismad) /* install head */
3707 CURMAD('X', PL_thistoken);
5db06880
NC
3708 }
3709
3710 /* last whitespace of a sublex? */
cd81e915
NC
3711 if (optype == ')' && PL_endwhite) {
3712 CURMAD('X', PL_endwhite);
5db06880
NC
3713 }
3714
cd81e915 3715 if (!PL_thismad) {
5db06880
NC