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
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.
12 * 'It all comes from here, the stench and the peril.' --Frodo
14 * [p.719 of _The Lord of the Rings_, IV/ix: "Shelob's Lair"]
18 * This file is the lexer for Perl. It's closely linked to the
21 * The main routine is yylex(), which returns the next token.
25 =head1 Lexer interface
27 This is the lower layer of the Perl parser, managing characters and tokens.
29 =for apidoc AmU|yy_parser *|PL_parser
31 Pointer to a structure encapsulating the state of the parsing operation
32 currently in progress. The pointer can be locally changed to perform
33 a nested parse without interfering with the state of an outer parse.
34 Individual members of C<PL_parser> have their own documentation.
40 #define PERL_IN_TOKE_C
42 #include "dquote_static.c"
44 #define new_constant(a,b,c,d,e,f,g) \
45 S_new_constant(aTHX_ a,b,STR_WITH_LEN(c),d,e,f, g)
47 #define pl_yylval (PL_parser->yylval)
49 /* XXX temporary backwards compatibility */
50 #define PL_lex_brackets (PL_parser->lex_brackets)
51 #define PL_lex_allbrackets (PL_parser->lex_allbrackets)
52 #define PL_lex_fakeeof (PL_parser->lex_fakeeof)
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_preambled (PL_parser->preambled)
70 #define PL_sublex_info (PL_parser->sublex_info)
71 #define PL_linestr (PL_parser->linestr)
72 #define PL_expect (PL_parser->expect)
73 #define PL_copline (PL_parser->copline)
74 #define PL_bufptr (PL_parser->bufptr)
75 #define PL_oldbufptr (PL_parser->oldbufptr)
76 #define PL_oldoldbufptr (PL_parser->oldoldbufptr)
77 #define PL_linestart (PL_parser->linestart)
78 #define PL_bufend (PL_parser->bufend)
79 #define PL_last_uni (PL_parser->last_uni)
80 #define PL_last_lop (PL_parser->last_lop)
81 #define PL_last_lop_op (PL_parser->last_lop_op)
82 #define PL_lex_state (PL_parser->lex_state)
83 #define PL_rsfp (PL_parser->rsfp)
84 #define PL_rsfp_filters (PL_parser->rsfp_filters)
85 #define PL_in_my (PL_parser->in_my)
86 #define PL_in_my_stash (PL_parser->in_my_stash)
87 #define PL_tokenbuf (PL_parser->tokenbuf)
88 #define PL_multi_end (PL_parser->multi_end)
89 #define PL_error_count (PL_parser->error_count)
92 # define PL_endwhite (PL_parser->endwhite)
93 # define PL_faketokens (PL_parser->faketokens)
94 # define PL_lasttoke (PL_parser->lasttoke)
95 # define PL_nextwhite (PL_parser->nextwhite)
96 # define PL_realtokenstart (PL_parser->realtokenstart)
97 # define PL_skipwhite (PL_parser->skipwhite)
98 # define PL_thisclose (PL_parser->thisclose)
99 # define PL_thismad (PL_parser->thismad)
100 # define PL_thisopen (PL_parser->thisopen)
101 # define PL_thisstuff (PL_parser->thisstuff)
102 # define PL_thistoken (PL_parser->thistoken)
103 # define PL_thiswhite (PL_parser->thiswhite)
104 # define PL_thiswhite (PL_parser->thiswhite)
105 # define PL_nexttoke (PL_parser->nexttoke)
106 # define PL_curforce (PL_parser->curforce)
108 # define PL_nexttoke (PL_parser->nexttoke)
109 # define PL_nexttype (PL_parser->nexttype)
110 # define PL_nextval (PL_parser->nextval)
113 static const char ident_too_long[] = "Identifier too long";
116 # define CURMAD(slot,sv) if (PL_madskills) { curmad(slot,sv); sv = 0; }
117 # define NEXTVAL_NEXTTOKE PL_nexttoke[PL_curforce].next_val
119 # define CURMAD(slot,sv)
120 # define NEXTVAL_NEXTTOKE PL_nextval[PL_nexttoke]
123 #define XENUMMASK 0x3f
124 #define XFAKEEOF 0x40
125 #define XFAKEBRACK 0x80
127 #ifdef USE_UTF8_SCRIPTS
128 # define UTF (!IN_BYTES)
130 # define UTF ((PL_linestr && DO_UTF8(PL_linestr)) || ( !(PL_parser->lex_flags & LEX_IGNORE_UTF8_HINTS) && (PL_hints & HINT_UTF8)))
133 /* The maximum number of characters preceding the unrecognized one to display */
134 #define UNRECOGNIZED_PRECEDE_COUNT 10
136 /* In variables named $^X, these are the legal values for X.
137 * 1999-02-27 mjd-perl-patch@plover.com */
138 #define isCONTROLVAR(x) (isUPPER(x) || strchr("[\\]^_?", (x)))
140 #define SPACE_OR_TAB(c) ((c)==' '||(c)=='\t')
142 /* LEX_* are values for PL_lex_state, the state of the lexer.
143 * They are arranged oddly so that the guard on the switch statement
144 * can get by with a single comparison (if the compiler is smart enough).
146 * These values refer to the various states within a sublex parse,
147 * i.e. within a double quotish string
150 /* #define LEX_NOTPARSING 11 is done in perl.h. */
152 #define LEX_NORMAL 10 /* normal code (ie not within "...") */
153 #define LEX_INTERPNORMAL 9 /* code within a string, eg "$foo[$x+1]" */
154 #define LEX_INTERPCASEMOD 8 /* expecting a \U, \Q or \E etc */
155 #define LEX_INTERPPUSH 7 /* starting a new sublex parse level */
156 #define LEX_INTERPSTART 6 /* expecting the start of a $var */
158 /* at end of code, eg "$x" followed by: */
159 #define LEX_INTERPEND 5 /* ... eg not one of [, { or -> */
160 #define LEX_INTERPENDMAYBE 4 /* ... eg one of [, { or -> */
162 #define LEX_INTERPCONCAT 3 /* expecting anything, eg at start of
163 string or after \E, $foo, etc */
164 #define LEX_INTERPCONST 2 /* NOT USED */
165 #define LEX_FORMLINE 1 /* expecting a format line */
166 #define LEX_KNOWNEXT 0 /* next token known; just return it */
170 static const char* const lex_state_names[] = {
189 #include "keywords.h"
191 /* CLINE is a macro that ensures PL_copline has a sane value */
196 #define CLINE (PL_copline = (CopLINE(PL_curcop) < PL_copline ? CopLINE(PL_curcop) : PL_copline))
199 # define SKIPSPACE0(s) skipspace0(s)
200 # define SKIPSPACE1(s) skipspace1(s)
201 # define SKIPSPACE2(s,tsv) skipspace2(s,&tsv)
202 # define PEEKSPACE(s) skipspace2(s,0)
204 # define SKIPSPACE0(s) skipspace(s)
205 # define SKIPSPACE1(s) skipspace(s)
206 # define SKIPSPACE2(s,tsv) skipspace(s)
207 # define PEEKSPACE(s) skipspace(s)
211 * Convenience functions to return different tokens and prime the
212 * lexer for the next token. They all take an argument.
214 * TOKEN : generic token (used for '(', DOLSHARP, etc)
215 * OPERATOR : generic operator
216 * AOPERATOR : assignment operator
217 * PREBLOCK : beginning the block after an if, while, foreach, ...
218 * PRETERMBLOCK : beginning a non-code-defining {} block (eg, hash ref)
219 * PREREF : *EXPR where EXPR is not a simple identifier
220 * TERM : expression term
221 * LOOPX : loop exiting command (goto, last, dump, etc)
222 * FTST : file test operator
223 * FUN0 : zero-argument function
224 * FUN0OP : zero-argument function, with its op created in this file
225 * FUN1 : not used, except for not, which isn't a UNIOP
226 * BOop : bitwise or or xor
228 * SHop : shift operator
229 * PWop : power operator
230 * PMop : pattern-matching operator
231 * Aop : addition-level operator
232 * Mop : multiplication-level operator
233 * Eop : equality-testing operator
234 * Rop : relational operator <= != gt
236 * Also see LOP and lop() below.
239 #ifdef DEBUGGING /* Serve -DT. */
240 # define REPORT(retval) tokereport((I32)retval, &pl_yylval)
242 # define REPORT(retval) (retval)
245 #define TOKEN(retval) return ( PL_bufptr = s, REPORT(retval))
246 #define OPERATOR(retval) return (PL_expect = XTERM, PL_bufptr = s, REPORT(retval))
247 #define AOPERATOR(retval) return ao((PL_expect = XTERM, PL_bufptr = s, REPORT(retval)))
248 #define PREBLOCK(retval) return (PL_expect = XBLOCK,PL_bufptr = s, REPORT(retval))
249 #define PRETERMBLOCK(retval) return (PL_expect = XTERMBLOCK,PL_bufptr = s, REPORT(retval))
250 #define PREREF(retval) return (PL_expect = XREF,PL_bufptr = s, REPORT(retval))
251 #define TERM(retval) return (CLINE, PL_expect = XOPERATOR, PL_bufptr = s, REPORT(retval))
252 #define LOOPX(f) return (pl_yylval.ival=f, PL_expect=XTERM, PL_bufptr=s, REPORT((int)LOOPEX))
253 #define FTST(f) return (pl_yylval.ival=f, PL_expect=XTERMORDORDOR, PL_bufptr=s, REPORT((int)UNIOP))
254 #define FUN0(f) return (pl_yylval.ival=f, PL_expect=XOPERATOR, PL_bufptr=s, REPORT((int)FUNC0))
255 #define FUN0OP(f) return (pl_yylval.opval=f, CLINE, PL_expect=XOPERATOR, PL_bufptr=s, REPORT((int)FUNC0OP))
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))
267 /* This bit of chicanery makes a unary function followed by
268 * a parenthesis into a function with one argument, highest precedence.
269 * The UNIDOR macro is for unary functions that can be followed by the //
270 * operator (such as C<shift // 0>).
272 #define UNI3(f,x,have_x) { \
273 pl_yylval.ival = f; \
274 if (have_x) PL_expect = x; \
276 PL_last_uni = PL_oldbufptr; \
277 PL_last_lop_op = f; \
279 return REPORT( (int)FUNC1 ); \
281 return REPORT( *s=='(' ? (int)FUNC1 : (int)UNIOP ); \
283 #define UNI(f) UNI3(f,XTERM,1)
284 #define UNIDOR(f) UNI3(f,XTERMORDORDOR,1)
285 #define UNIPROTO(f,optional) { \
286 if (optional) PL_last_uni = PL_oldbufptr; \
290 #define UNIBRACK(f) UNI3(f,0,0)
292 /* grandfather return to old style */
295 if (!PL_lex_allbrackets && PL_lex_fakeeof > LEX_FAKEEOF_LOWLOGIC) \
296 PL_lex_fakeeof = LEX_FAKEEOF_LOWLOGIC; \
297 pl_yylval.ival = (f); \
303 #define COPLINE_INC_WITH_HERELINES \
305 CopLINE_inc(PL_curcop); \
306 if (PL_parser->lex_shared->herelines) \
307 CopLINE(PL_curcop) += PL_parser->lex_shared->herelines, \
308 PL_parser->lex_shared->herelines = 0; \
314 /* how to interpret the pl_yylval associated with the token */
318 TOKENTYPE_OPNUM, /* pl_yylval.ival contains an opcode number */
323 static struct debug_tokens {
325 enum token_type type;
327 } const debug_tokens[] =
329 { ADDOP, TOKENTYPE_OPNUM, "ADDOP" },
330 { ANDAND, TOKENTYPE_NONE, "ANDAND" },
331 { ANDOP, TOKENTYPE_NONE, "ANDOP" },
332 { ANONSUB, TOKENTYPE_IVAL, "ANONSUB" },
333 { ARROW, TOKENTYPE_NONE, "ARROW" },
334 { ASSIGNOP, TOKENTYPE_OPNUM, "ASSIGNOP" },
335 { BITANDOP, TOKENTYPE_OPNUM, "BITANDOP" },
336 { BITOROP, TOKENTYPE_OPNUM, "BITOROP" },
337 { COLONATTR, TOKENTYPE_NONE, "COLONATTR" },
338 { CONTINUE, TOKENTYPE_NONE, "CONTINUE" },
339 { DEFAULT, TOKENTYPE_NONE, "DEFAULT" },
340 { DO, TOKENTYPE_NONE, "DO" },
341 { DOLSHARP, TOKENTYPE_NONE, "DOLSHARP" },
342 { DORDOR, TOKENTYPE_NONE, "DORDOR" },
343 { DOROP, TOKENTYPE_OPNUM, "DOROP" },
344 { DOTDOT, TOKENTYPE_IVAL, "DOTDOT" },
345 { ELSE, TOKENTYPE_NONE, "ELSE" },
346 { ELSIF, TOKENTYPE_IVAL, "ELSIF" },
347 { EQOP, TOKENTYPE_OPNUM, "EQOP" },
348 { FOR, TOKENTYPE_IVAL, "FOR" },
349 { FORMAT, TOKENTYPE_NONE, "FORMAT" },
350 { FORMLBRACK, TOKENTYPE_NONE, "FORMLBRACK" },
351 { FORMRBRACK, TOKENTYPE_NONE, "FORMRBRACK" },
352 { FUNC, TOKENTYPE_OPNUM, "FUNC" },
353 { FUNC0, TOKENTYPE_OPNUM, "FUNC0" },
354 { FUNC0OP, TOKENTYPE_OPVAL, "FUNC0OP" },
355 { FUNC0SUB, TOKENTYPE_OPVAL, "FUNC0SUB" },
356 { FUNC1, TOKENTYPE_OPNUM, "FUNC1" },
357 { FUNCMETH, TOKENTYPE_OPVAL, "FUNCMETH" },
358 { GIVEN, TOKENTYPE_IVAL, "GIVEN" },
359 { HASHBRACK, TOKENTYPE_NONE, "HASHBRACK" },
360 { IF, TOKENTYPE_IVAL, "IF" },
361 { LABEL, TOKENTYPE_OPVAL, "LABEL" },
362 { LOCAL, TOKENTYPE_IVAL, "LOCAL" },
363 { LOOPEX, TOKENTYPE_OPNUM, "LOOPEX" },
364 { LSTOP, TOKENTYPE_OPNUM, "LSTOP" },
365 { LSTOPSUB, TOKENTYPE_OPVAL, "LSTOPSUB" },
366 { MATCHOP, TOKENTYPE_OPNUM, "MATCHOP" },
367 { METHOD, TOKENTYPE_OPVAL, "METHOD" },
368 { MULOP, TOKENTYPE_OPNUM, "MULOP" },
369 { MY, TOKENTYPE_IVAL, "MY" },
370 { NOAMP, TOKENTYPE_NONE, "NOAMP" },
371 { NOTOP, TOKENTYPE_NONE, "NOTOP" },
372 { OROP, TOKENTYPE_IVAL, "OROP" },
373 { OROR, TOKENTYPE_NONE, "OROR" },
374 { PACKAGE, TOKENTYPE_NONE, "PACKAGE" },
375 { PEG, TOKENTYPE_NONE, "PEG" },
376 { PLUGEXPR, TOKENTYPE_OPVAL, "PLUGEXPR" },
377 { PLUGSTMT, TOKENTYPE_OPVAL, "PLUGSTMT" },
378 { PMFUNC, TOKENTYPE_OPVAL, "PMFUNC" },
379 { POSTDEC, TOKENTYPE_NONE, "POSTDEC" },
380 { POSTINC, TOKENTYPE_NONE, "POSTINC" },
381 { POWOP, TOKENTYPE_OPNUM, "POWOP" },
382 { PREDEC, TOKENTYPE_NONE, "PREDEC" },
383 { PREINC, TOKENTYPE_NONE, "PREINC" },
384 { PRIVATEREF, TOKENTYPE_OPVAL, "PRIVATEREF" },
385 { QWLIST, TOKENTYPE_OPVAL, "QWLIST" },
386 { REFGEN, TOKENTYPE_NONE, "REFGEN" },
387 { RELOP, TOKENTYPE_OPNUM, "RELOP" },
388 { REQUIRE, TOKENTYPE_NONE, "REQUIRE" },
389 { SHIFTOP, TOKENTYPE_OPNUM, "SHIFTOP" },
390 { SUB, TOKENTYPE_NONE, "SUB" },
391 { THING, TOKENTYPE_OPVAL, "THING" },
392 { UMINUS, TOKENTYPE_NONE, "UMINUS" },
393 { UNIOP, TOKENTYPE_OPNUM, "UNIOP" },
394 { UNIOPSUB, TOKENTYPE_OPVAL, "UNIOPSUB" },
395 { UNLESS, TOKENTYPE_IVAL, "UNLESS" },
396 { UNTIL, TOKENTYPE_IVAL, "UNTIL" },
397 { USE, TOKENTYPE_IVAL, "USE" },
398 { WHEN, TOKENTYPE_IVAL, "WHEN" },
399 { WHILE, TOKENTYPE_IVAL, "WHILE" },
400 { WORD, TOKENTYPE_OPVAL, "WORD" },
401 { YADAYADA, TOKENTYPE_IVAL, "YADAYADA" },
402 { 0, TOKENTYPE_NONE, NULL }
405 /* dump the returned token in rv, plus any optional arg in pl_yylval */
408 S_tokereport(pTHX_ I32 rv, const YYSTYPE* lvalp)
412 PERL_ARGS_ASSERT_TOKEREPORT;
415 const char *name = NULL;
416 enum token_type type = TOKENTYPE_NONE;
417 const struct debug_tokens *p;
418 SV* const report = newSVpvs("<== ");
420 for (p = debug_tokens; p->token; p++) {
421 if (p->token == (int)rv) {
428 Perl_sv_catpv(aTHX_ report, name);
429 else if ((char)rv > ' ' && (char)rv <= '~')
430 Perl_sv_catpvf(aTHX_ report, "'%c'", (char)rv);
432 sv_catpvs(report, "EOF");
434 Perl_sv_catpvf(aTHX_ report, "?? %"IVdf, (IV)rv);
439 Perl_sv_catpvf(aTHX_ report, "(ival=%"IVdf")", (IV)lvalp->ival);
441 case TOKENTYPE_OPNUM:
442 Perl_sv_catpvf(aTHX_ report, "(ival=op_%s)",
443 PL_op_name[lvalp->ival]);
446 Perl_sv_catpvf(aTHX_ report, "(pval=\"%s\")", lvalp->pval);
448 case TOKENTYPE_OPVAL:
450 Perl_sv_catpvf(aTHX_ report, "(opval=op_%s)",
451 PL_op_name[lvalp->opval->op_type]);
452 if (lvalp->opval->op_type == OP_CONST) {
453 Perl_sv_catpvf(aTHX_ report, " %s",
454 SvPEEK(cSVOPx_sv(lvalp->opval)));
459 sv_catpvs(report, "(opval=null)");
462 PerlIO_printf(Perl_debug_log, "### %s\n\n", SvPV_nolen_const(report));
468 /* print the buffer with suitable escapes */
471 S_printbuf(pTHX_ const char *const fmt, const char *const s)
473 SV* const tmp = newSVpvs("");
475 PERL_ARGS_ASSERT_PRINTBUF;
477 PerlIO_printf(Perl_debug_log, fmt, pv_display(tmp, s, strlen(s), 0, 60));
484 S_deprecate_commaless_var_list(pTHX) {
486 deprecate("comma-less variable list");
487 return REPORT(','); /* grandfather non-comma-format format */
493 * This subroutine detects &&=, ||=, and //= and turns an ANDAND, OROR or DORDOR
494 * into an OP_ANDASSIGN, OP_ORASSIGN, or OP_DORASSIGN
498 S_ao(pTHX_ int toketype)
501 if (*PL_bufptr == '=') {
503 if (toketype == ANDAND)
504 pl_yylval.ival = OP_ANDASSIGN;
505 else if (toketype == OROR)
506 pl_yylval.ival = OP_ORASSIGN;
507 else if (toketype == DORDOR)
508 pl_yylval.ival = OP_DORASSIGN;
516 * When Perl expects an operator and finds something else, no_op
517 * prints the warning. It always prints "<something> found where
518 * operator expected. It prints "Missing semicolon on previous line?"
519 * if the surprise occurs at the start of the line. "do you need to
520 * predeclare ..." is printed out for code like "sub bar; foo bar $x"
521 * where the compiler doesn't know if foo is a method call or a function.
522 * It prints "Missing operator before end of line" if there's nothing
523 * after the missing operator, or "... before <...>" if there is something
524 * after the missing operator.
528 S_no_op(pTHX_ const char *const what, char *s)
531 char * const oldbp = PL_bufptr;
532 const bool is_first = (PL_oldbufptr == PL_linestart);
534 PERL_ARGS_ASSERT_NO_OP;
540 yywarn(Perl_form(aTHX_ "%s found where operator expected", what), UTF ? SVf_UTF8 : 0);
541 if (ckWARN_d(WARN_SYNTAX)) {
543 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
544 "\t(Missing semicolon on previous line?)\n");
545 else if (PL_oldoldbufptr && isIDFIRST_lazy_if(PL_oldoldbufptr,UTF)) {
547 for (t = PL_oldoldbufptr; (isALNUM_lazy_if(t,UTF) || *t == ':');
548 t += UTF ? UTF8SKIP(t) : 1)
550 if (t < PL_bufptr && isSPACE(*t))
551 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
552 "\t(Do you need to predeclare %"SVf"?)\n",
553 SVfARG(newSVpvn_flags(PL_oldoldbufptr, (STRLEN)(t - PL_oldoldbufptr),
554 SVs_TEMP | (UTF ? SVf_UTF8 : 0))));
558 Perl_warner(aTHX_ packWARN(WARN_SYNTAX),
559 "\t(Missing operator before %"SVf"?)\n",
560 SVfARG(newSVpvn_flags(oldbp, (STRLEN)(s - oldbp),
561 SVs_TEMP | (UTF ? SVf_UTF8 : 0))));
569 * Complain about missing quote/regexp/heredoc terminator.
570 * If it's called with NULL then it cauterizes the line buffer.
571 * If we're in a delimited string and the delimiter is a control
572 * character, it's reformatted into a two-char sequence like ^C.
577 S_missingterm(pTHX_ char *s)
583 char * const nl = strrchr(s,'\n');
587 else if (isCNTRL(PL_multi_close)) {
589 tmpbuf[1] = (char)toCTRL(PL_multi_close);
594 *tmpbuf = (char)PL_multi_close;
598 q = strchr(s,'"') ? '\'' : '"';
599 Perl_croak(aTHX_ "Can't find string terminator %c%s%c anywhere before EOF",q,s,q);
605 * Check whether the named feature is enabled.
608 Perl_feature_is_enabled(pTHX_ const char *const name, STRLEN namelen)
611 char he_name[8 + MAX_FEATURE_LEN] = "feature_";
613 PERL_ARGS_ASSERT_FEATURE_IS_ENABLED;
615 assert(CURRENT_FEATURE_BUNDLE == FEATURE_BUNDLE_CUSTOM);
617 if (namelen > MAX_FEATURE_LEN)
619 memcpy(&he_name[8], name, namelen);
621 return cBOOL(cop_hints_fetch_pvn(PL_curcop, he_name, 8 + namelen, 0,
622 REFCOUNTED_HE_EXISTS));
626 * experimental text filters for win32 carriage-returns, utf16-to-utf8 and
627 * utf16-to-utf8-reversed.
630 #ifdef PERL_CR_FILTER
634 const char *s = SvPVX_const(sv);
635 const char * const e = s + SvCUR(sv);
637 PERL_ARGS_ASSERT_STRIP_RETURN;
639 /* outer loop optimized to do nothing if there are no CR-LFs */
641 if (*s++ == '\r' && *s == '\n') {
642 /* hit a CR-LF, need to copy the rest */
646 if (*s == '\r' && s[1] == '\n')
657 S_cr_textfilter(pTHX_ int idx, SV *sv, int maxlen)
659 const I32 count = FILTER_READ(idx+1, sv, maxlen);
660 if (count > 0 && !maxlen)
667 =for apidoc Amx|void|lex_start|SV *line|PerlIO *rsfp|U32 flags
669 Creates and initialises a new lexer/parser state object, supplying
670 a context in which to lex and parse from a new source of Perl code.
671 A pointer to the new state object is placed in L</PL_parser>. An entry
672 is made on the save stack so that upon unwinding the new state object
673 will be destroyed and the former value of L</PL_parser> will be restored.
674 Nothing else need be done to clean up the parsing context.
676 The code to be parsed comes from I<line> and I<rsfp>. I<line>, if
677 non-null, provides a string (in SV form) containing code to be parsed.
678 A copy of the string is made, so subsequent modification of I<line>
679 does not affect parsing. I<rsfp>, if non-null, provides an input stream
680 from which code will be read to be parsed. If both are non-null, the
681 code in I<line> comes first and must consist of complete lines of input,
682 and I<rsfp> supplies the remainder of the source.
684 The I<flags> parameter is reserved for future use. Currently it is only
685 used by perl internally, so extensions should always pass zero.
690 /* LEX_START_SAME_FILTER indicates that this is not a new file, so it
691 can share filters with the current parser.
692 LEX_START_DONT_CLOSE indicates that the file handle wasn't opened by the
693 caller, hence isn't owned by the parser, so shouldn't be closed on parser
694 destruction. This is used to handle the case of defaulting to reading the
695 script from the standard input because no filename was given on the command
696 line (without getting confused by situation where STDIN has been closed, so
697 the script handle is opened on fd 0) */
700 Perl_lex_start(pTHX_ SV *line, PerlIO *rsfp, U32 flags)
703 const char *s = NULL;
704 yy_parser *parser, *oparser;
705 if (flags && flags & ~LEX_START_FLAGS)
706 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_start");
708 /* create and initialise a parser */
710 Newxz(parser, 1, yy_parser);
711 parser->old_parser = oparser = PL_parser;
714 parser->stack = NULL;
716 parser->stack_size = 0;
718 /* on scope exit, free this parser and restore any outer one */
720 parser->saved_curcop = PL_curcop;
722 /* initialise lexer state */
725 parser->curforce = -1;
727 parser->nexttoke = 0;
729 parser->error_count = oparser ? oparser->error_count : 0;
730 parser->copline = NOLINE;
731 parser->lex_state = LEX_NORMAL;
732 parser->expect = XSTATE;
734 parser->rsfp_filters =
735 !(flags & LEX_START_SAME_FILTER) || !oparser
737 : MUTABLE_AV(SvREFCNT_inc(
738 oparser->rsfp_filters
739 ? oparser->rsfp_filters
740 : (oparser->rsfp_filters = newAV())
743 Newx(parser->lex_brackstack, 120, char);
744 Newx(parser->lex_casestack, 12, char);
745 *parser->lex_casestack = '\0';
746 Newxz(parser->lex_shared, 1, LEXSHARED);
750 s = SvPV_const(line, len);
751 parser->linestr = flags & LEX_START_COPIED
752 ? SvREFCNT_inc_simple_NN(line)
753 : newSVpvn_flags(s, len, SvUTF8(line));
754 sv_catpvs(parser->linestr, "\n;");
756 parser->linestr = newSVpvs("\n;");
758 parser->oldoldbufptr =
761 parser->linestart = SvPVX(parser->linestr);
762 parser->bufend = parser->bufptr + SvCUR(parser->linestr);
763 parser->last_lop = parser->last_uni = NULL;
764 parser->lex_flags = flags & (LEX_IGNORE_UTF8_HINTS|LEX_EVALBYTES
765 |LEX_DONT_CLOSE_RSFP);
767 parser->in_pod = parser->filtered = 0;
771 /* delete a parser object */
774 Perl_parser_free(pTHX_ const yy_parser *parser)
776 PERL_ARGS_ASSERT_PARSER_FREE;
778 PL_curcop = parser->saved_curcop;
779 SvREFCNT_dec(parser->linestr);
781 if (PL_parser->lex_flags & LEX_DONT_CLOSE_RSFP)
782 PerlIO_clearerr(parser->rsfp);
783 else if (parser->rsfp && (!parser->old_parser ||
784 (parser->old_parser && parser->rsfp != parser->old_parser->rsfp)))
785 PerlIO_close(parser->rsfp);
786 SvREFCNT_dec(parser->rsfp_filters);
788 Safefree(parser->lex_brackstack);
789 Safefree(parser->lex_casestack);
790 Safefree(parser->lex_shared);
791 PL_parser = parser->old_parser;
797 =for apidoc AmxU|SV *|PL_parser-E<gt>linestr
799 Buffer scalar containing the chunk currently under consideration of the
800 text currently being lexed. This is always a plain string scalar (for
801 which C<SvPOK> is true). It is not intended to be used as a scalar by
802 normal scalar means; instead refer to the buffer directly by the pointer
803 variables described below.
805 The lexer maintains various C<char*> pointers to things in the
806 C<PL_parser-E<gt>linestr> buffer. If C<PL_parser-E<gt>linestr> is ever
807 reallocated, all of these pointers must be updated. Don't attempt to
808 do this manually, but rather use L</lex_grow_linestr> if you need to
809 reallocate the buffer.
811 The content of the text chunk in the buffer is commonly exactly one
812 complete line of input, up to and including a newline terminator,
813 but there are situations where it is otherwise. The octets of the
814 buffer may be intended to be interpreted as either UTF-8 or Latin-1.
815 The function L</lex_bufutf8> tells you which. Do not use the C<SvUTF8>
816 flag on this scalar, which may disagree with it.
818 For direct examination of the buffer, the variable
819 L</PL_parser-E<gt>bufend> points to the end of the buffer. The current
820 lexing position is pointed to by L</PL_parser-E<gt>bufptr>. Direct use
821 of these pointers is usually preferable to examination of the scalar
822 through normal scalar means.
824 =for apidoc AmxU|char *|PL_parser-E<gt>bufend
826 Direct pointer to the end of the chunk of text currently being lexed, the
827 end of the lexer buffer. This is equal to C<SvPVX(PL_parser-E<gt>linestr)
828 + SvCUR(PL_parser-E<gt>linestr)>. A NUL character (zero octet) is
829 always located at the end of the buffer, and does not count as part of
830 the buffer's contents.
832 =for apidoc AmxU|char *|PL_parser-E<gt>bufptr
834 Points to the current position of lexing inside the lexer buffer.
835 Characters around this point may be freely examined, within
836 the range delimited by C<SvPVX(L</PL_parser-E<gt>linestr>)> and
837 L</PL_parser-E<gt>bufend>. The octets of the buffer may be intended to be
838 interpreted as either UTF-8 or Latin-1, as indicated by L</lex_bufutf8>.
840 Lexing code (whether in the Perl core or not) moves this pointer past
841 the characters that it consumes. It is also expected to perform some
842 bookkeeping whenever a newline character is consumed. This movement
843 can be more conveniently performed by the function L</lex_read_to>,
844 which handles newlines appropriately.
846 Interpretation of the buffer's octets can be abstracted out by
847 using the slightly higher-level functions L</lex_peek_unichar> and
848 L</lex_read_unichar>.
850 =for apidoc AmxU|char *|PL_parser-E<gt>linestart
852 Points to the start of the current line inside the lexer buffer.
853 This is useful for indicating at which column an error occurred, and
854 not much else. This must be updated by any lexing code that consumes
855 a newline; the function L</lex_read_to> handles this detail.
861 =for apidoc Amx|bool|lex_bufutf8
863 Indicates whether the octets in the lexer buffer
864 (L</PL_parser-E<gt>linestr>) should be interpreted as the UTF-8 encoding
865 of Unicode characters. If not, they should be interpreted as Latin-1
866 characters. This is analogous to the C<SvUTF8> flag for scalars.
868 In UTF-8 mode, it is not guaranteed that the lexer buffer actually
869 contains valid UTF-8. Lexing code must be robust in the face of invalid
872 The actual C<SvUTF8> flag of the L</PL_parser-E<gt>linestr> scalar
873 is significant, but not the whole story regarding the input character
874 encoding. Normally, when a file is being read, the scalar contains octets
875 and its C<SvUTF8> flag is off, but the octets should be interpreted as
876 UTF-8 if the C<use utf8> pragma is in effect. During a string eval,
877 however, the scalar may have the C<SvUTF8> flag on, and in this case its
878 octets should be interpreted as UTF-8 unless the C<use bytes> pragma
879 is in effect. This logic may change in the future; use this function
880 instead of implementing the logic yourself.
886 Perl_lex_bufutf8(pTHX)
892 =for apidoc Amx|char *|lex_grow_linestr|STRLEN len
894 Reallocates the lexer buffer (L</PL_parser-E<gt>linestr>) to accommodate
895 at least I<len> octets (including terminating NUL). Returns a
896 pointer to the reallocated buffer. This is necessary before making
897 any direct modification of the buffer that would increase its length.
898 L</lex_stuff_pvn> provides a more convenient way to insert text into
901 Do not use C<SvGROW> or C<sv_grow> directly on C<PL_parser-E<gt>linestr>;
902 this function updates all of the lexer's variables that point directly
909 Perl_lex_grow_linestr(pTHX_ STRLEN len)
913 STRLEN bufend_pos, bufptr_pos, oldbufptr_pos, oldoldbufptr_pos;
914 STRLEN linestart_pos, last_uni_pos, last_lop_pos, re_eval_start_pos;
915 linestr = PL_parser->linestr;
916 buf = SvPVX(linestr);
917 if (len <= SvLEN(linestr))
919 bufend_pos = PL_parser->bufend - buf;
920 bufptr_pos = PL_parser->bufptr - buf;
921 oldbufptr_pos = PL_parser->oldbufptr - buf;
922 oldoldbufptr_pos = PL_parser->oldoldbufptr - buf;
923 linestart_pos = PL_parser->linestart - buf;
924 last_uni_pos = PL_parser->last_uni ? PL_parser->last_uni - buf : 0;
925 last_lop_pos = PL_parser->last_lop ? PL_parser->last_lop - buf : 0;
926 re_eval_start_pos = PL_parser->lex_shared->re_eval_start ?
927 PL_parser->lex_shared->re_eval_start - buf : 0;
929 buf = sv_grow(linestr, len);
931 PL_parser->bufend = buf + bufend_pos;
932 PL_parser->bufptr = buf + bufptr_pos;
933 PL_parser->oldbufptr = buf + oldbufptr_pos;
934 PL_parser->oldoldbufptr = buf + oldoldbufptr_pos;
935 PL_parser->linestart = buf + linestart_pos;
936 if (PL_parser->last_uni)
937 PL_parser->last_uni = buf + last_uni_pos;
938 if (PL_parser->last_lop)
939 PL_parser->last_lop = buf + last_lop_pos;
940 if (PL_parser->lex_shared->re_eval_start)
941 PL_parser->lex_shared->re_eval_start = buf + re_eval_start_pos;
946 =for apidoc Amx|void|lex_stuff_pvn|const char *pv|STRLEN len|U32 flags
948 Insert characters into the lexer buffer (L</PL_parser-E<gt>linestr>),
949 immediately after the current lexing point (L</PL_parser-E<gt>bufptr>),
950 reallocating the buffer if necessary. This means that lexing code that
951 runs later will see the characters as if they had appeared in the input.
952 It is not recommended to do this as part of normal parsing, and most
953 uses of this facility run the risk of the inserted characters being
954 interpreted in an unintended manner.
956 The string to be inserted is represented by I<len> octets starting
957 at I<pv>. These octets are interpreted as either UTF-8 or Latin-1,
958 according to whether the C<LEX_STUFF_UTF8> flag is set in I<flags>.
959 The characters are recoded for the lexer buffer, according to how the
960 buffer is currently being interpreted (L</lex_bufutf8>). If a string
961 to be inserted is available as a Perl scalar, the L</lex_stuff_sv>
962 function is more convenient.
968 Perl_lex_stuff_pvn(pTHX_ const char *pv, STRLEN len, U32 flags)
972 PERL_ARGS_ASSERT_LEX_STUFF_PVN;
973 if (flags & ~(LEX_STUFF_UTF8))
974 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_stuff_pvn");
976 if (flags & LEX_STUFF_UTF8) {
980 const char *p, *e = pv+len;
981 for (p = pv; p != e; p++)
982 highhalf += !!(((U8)*p) & 0x80);
985 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len+highhalf);
986 bufptr = PL_parser->bufptr;
987 Move(bufptr, bufptr+len+highhalf, PL_parser->bufend+1-bufptr, char);
988 SvCUR_set(PL_parser->linestr,
989 SvCUR(PL_parser->linestr) + len+highhalf);
990 PL_parser->bufend += len+highhalf;
991 for (p = pv; p != e; p++) {
994 *bufptr++ = (char)(0xc0 | (c >> 6));
995 *bufptr++ = (char)(0x80 | (c & 0x3f));
1002 if (flags & LEX_STUFF_UTF8) {
1003 STRLEN highhalf = 0;
1004 const char *p, *e = pv+len;
1005 for (p = pv; p != e; p++) {
1008 Perl_croak(aTHX_ "Lexing code attempted to stuff "
1009 "non-Latin-1 character into Latin-1 input");
1010 } else if (c >= 0xc2 && p+1 != e &&
1011 (((U8)p[1]) & 0xc0) == 0x80) {
1014 } else if (c >= 0x80) {
1015 /* malformed UTF-8 */
1017 SAVESPTR(PL_warnhook);
1018 PL_warnhook = PERL_WARNHOOK_FATAL;
1019 utf8n_to_uvuni((U8*)p, e-p, NULL, 0);
1025 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len-highhalf);
1026 bufptr = PL_parser->bufptr;
1027 Move(bufptr, bufptr+len-highhalf, PL_parser->bufend+1-bufptr, char);
1028 SvCUR_set(PL_parser->linestr,
1029 SvCUR(PL_parser->linestr) + len-highhalf);
1030 PL_parser->bufend += len-highhalf;
1031 for (p = pv; p != e; p++) {
1034 *bufptr++ = (char)(((c & 0x3) << 6) | (p[1] & 0x3f));
1037 *bufptr++ = (char)c;
1042 lex_grow_linestr(SvCUR(PL_parser->linestr)+1+len);
1043 bufptr = PL_parser->bufptr;
1044 Move(bufptr, bufptr+len, PL_parser->bufend+1-bufptr, char);
1045 SvCUR_set(PL_parser->linestr, SvCUR(PL_parser->linestr) + len);
1046 PL_parser->bufend += len;
1047 Copy(pv, bufptr, len, char);
1053 =for apidoc Amx|void|lex_stuff_pv|const char *pv|U32 flags
1055 Insert characters into the lexer buffer (L</PL_parser-E<gt>linestr>),
1056 immediately after the current lexing point (L</PL_parser-E<gt>bufptr>),
1057 reallocating the buffer if necessary. This means that lexing code that
1058 runs later will see the characters as if they had appeared in the input.
1059 It is not recommended to do this as part of normal parsing, and most
1060 uses of this facility run the risk of the inserted characters being
1061 interpreted in an unintended manner.
1063 The string to be inserted is represented by octets starting at I<pv>
1064 and continuing to the first nul. These octets are interpreted as either
1065 UTF-8 or Latin-1, according to whether the C<LEX_STUFF_UTF8> flag is set
1066 in I<flags>. The characters are recoded for the lexer buffer, according
1067 to how the buffer is currently being interpreted (L</lex_bufutf8>).
1068 If it is not convenient to nul-terminate a string to be inserted, the
1069 L</lex_stuff_pvn> function is more appropriate.
1075 Perl_lex_stuff_pv(pTHX_ const char *pv, U32 flags)
1077 PERL_ARGS_ASSERT_LEX_STUFF_PV;
1078 lex_stuff_pvn(pv, strlen(pv), flags);
1082 =for apidoc Amx|void|lex_stuff_sv|SV *sv|U32 flags
1084 Insert characters into the lexer buffer (L</PL_parser-E<gt>linestr>),
1085 immediately after the current lexing point (L</PL_parser-E<gt>bufptr>),
1086 reallocating the buffer if necessary. This means that lexing code that
1087 runs later will see the characters as if they had appeared in the input.
1088 It is not recommended to do this as part of normal parsing, and most
1089 uses of this facility run the risk of the inserted characters being
1090 interpreted in an unintended manner.
1092 The string to be inserted is the string value of I<sv>. The characters
1093 are recoded for the lexer buffer, according to how the buffer is currently
1094 being interpreted (L</lex_bufutf8>). If a string to be inserted is
1095 not already a Perl scalar, the L</lex_stuff_pvn> function avoids the
1096 need to construct a scalar.
1102 Perl_lex_stuff_sv(pTHX_ SV *sv, U32 flags)
1106 PERL_ARGS_ASSERT_LEX_STUFF_SV;
1108 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_stuff_sv");
1110 lex_stuff_pvn(pv, len, flags | (SvUTF8(sv) ? LEX_STUFF_UTF8 : 0));
1114 =for apidoc Amx|void|lex_unstuff|char *ptr
1116 Discards text about to be lexed, from L</PL_parser-E<gt>bufptr> up to
1117 I<ptr>. Text following I<ptr> will be moved, and the buffer shortened.
1118 This hides the discarded text from any lexing code that runs later,
1119 as if the text had never appeared.
1121 This is not the normal way to consume lexed text. For that, use
1128 Perl_lex_unstuff(pTHX_ char *ptr)
1132 PERL_ARGS_ASSERT_LEX_UNSTUFF;
1133 buf = PL_parser->bufptr;
1135 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_unstuff");
1138 bufend = PL_parser->bufend;
1140 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_unstuff");
1141 unstuff_len = ptr - buf;
1142 Move(ptr, buf, bufend+1-ptr, char);
1143 SvCUR_set(PL_parser->linestr, SvCUR(PL_parser->linestr) - unstuff_len);
1144 PL_parser->bufend = bufend - unstuff_len;
1148 =for apidoc Amx|void|lex_read_to|char *ptr
1150 Consume text in the lexer buffer, from L</PL_parser-E<gt>bufptr> up
1151 to I<ptr>. This advances L</PL_parser-E<gt>bufptr> to match I<ptr>,
1152 performing the correct bookkeeping whenever a newline character is passed.
1153 This is the normal way to consume lexed text.
1155 Interpretation of the buffer's octets can be abstracted out by
1156 using the slightly higher-level functions L</lex_peek_unichar> and
1157 L</lex_read_unichar>.
1163 Perl_lex_read_to(pTHX_ char *ptr)
1166 PERL_ARGS_ASSERT_LEX_READ_TO;
1167 s = PL_parser->bufptr;
1168 if (ptr < s || ptr > PL_parser->bufend)
1169 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_to");
1170 for (; s != ptr; s++)
1172 COPLINE_INC_WITH_HERELINES;
1173 PL_parser->linestart = s+1;
1175 PL_parser->bufptr = ptr;
1179 =for apidoc Amx|void|lex_discard_to|char *ptr
1181 Discards the first part of the L</PL_parser-E<gt>linestr> buffer,
1182 up to I<ptr>. The remaining content of the buffer will be moved, and
1183 all pointers into the buffer updated appropriately. I<ptr> must not
1184 be later in the buffer than the position of L</PL_parser-E<gt>bufptr>:
1185 it is not permitted to discard text that has yet to be lexed.
1187 Normally it is not necessarily to do this directly, because it suffices to
1188 use the implicit discarding behaviour of L</lex_next_chunk> and things
1189 based on it. However, if a token stretches across multiple lines,
1190 and the lexing code has kept multiple lines of text in the buffer for
1191 that purpose, then after completion of the token it would be wise to
1192 explicitly discard the now-unneeded earlier lines, to avoid future
1193 multi-line tokens growing the buffer without bound.
1199 Perl_lex_discard_to(pTHX_ char *ptr)
1203 PERL_ARGS_ASSERT_LEX_DISCARD_TO;
1204 buf = SvPVX(PL_parser->linestr);
1206 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_discard_to");
1209 if (ptr > PL_parser->bufptr)
1210 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_discard_to");
1211 discard_len = ptr - buf;
1212 if (PL_parser->oldbufptr < ptr)
1213 PL_parser->oldbufptr = ptr;
1214 if (PL_parser->oldoldbufptr < ptr)
1215 PL_parser->oldoldbufptr = ptr;
1216 if (PL_parser->last_uni && PL_parser->last_uni < ptr)
1217 PL_parser->last_uni = NULL;
1218 if (PL_parser->last_lop && PL_parser->last_lop < ptr)
1219 PL_parser->last_lop = NULL;
1220 Move(ptr, buf, PL_parser->bufend+1-ptr, char);
1221 SvCUR_set(PL_parser->linestr, SvCUR(PL_parser->linestr) - discard_len);
1222 PL_parser->bufend -= discard_len;
1223 PL_parser->bufptr -= discard_len;
1224 PL_parser->oldbufptr -= discard_len;
1225 PL_parser->oldoldbufptr -= discard_len;
1226 if (PL_parser->last_uni)
1227 PL_parser->last_uni -= discard_len;
1228 if (PL_parser->last_lop)
1229 PL_parser->last_lop -= discard_len;
1233 =for apidoc Amx|bool|lex_next_chunk|U32 flags
1235 Reads in the next chunk of text to be lexed, appending it to
1236 L</PL_parser-E<gt>linestr>. This should be called when lexing code has
1237 looked to the end of the current chunk and wants to know more. It is
1238 usual, but not necessary, for lexing to have consumed the entirety of
1239 the current chunk at this time.
1241 If L</PL_parser-E<gt>bufptr> is pointing to the very end of the current
1242 chunk (i.e., the current chunk has been entirely consumed), normally the
1243 current chunk will be discarded at the same time that the new chunk is
1244 read in. If I<flags> includes C<LEX_KEEP_PREVIOUS>, the current chunk
1245 will not be discarded. If the current chunk has not been entirely
1246 consumed, then it will not be discarded regardless of the flag.
1248 Returns true if some new text was added to the buffer, or false if the
1249 buffer has reached the end of the input text.
1254 #define LEX_FAKE_EOF 0x80000000
1255 #define LEX_NO_TERM 0x40000000
1258 Perl_lex_next_chunk(pTHX_ U32 flags)
1262 STRLEN old_bufend_pos, new_bufend_pos;
1263 STRLEN bufptr_pos, oldbufptr_pos, oldoldbufptr_pos;
1264 STRLEN linestart_pos, last_uni_pos, last_lop_pos;
1265 bool got_some_for_debugger = 0;
1267 if (flags & ~(LEX_KEEP_PREVIOUS|LEX_FAKE_EOF|LEX_NO_TERM))
1268 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_next_chunk");
1269 linestr = PL_parser->linestr;
1270 buf = SvPVX(linestr);
1271 if (!(flags & LEX_KEEP_PREVIOUS) &&
1272 PL_parser->bufptr == PL_parser->bufend) {
1273 old_bufend_pos = bufptr_pos = oldbufptr_pos = oldoldbufptr_pos = 0;
1275 if (PL_parser->last_uni != PL_parser->bufend)
1276 PL_parser->last_uni = NULL;
1277 if (PL_parser->last_lop != PL_parser->bufend)
1278 PL_parser->last_lop = NULL;
1279 last_uni_pos = last_lop_pos = 0;
1283 old_bufend_pos = PL_parser->bufend - buf;
1284 bufptr_pos = PL_parser->bufptr - buf;
1285 oldbufptr_pos = PL_parser->oldbufptr - buf;
1286 oldoldbufptr_pos = PL_parser->oldoldbufptr - buf;
1287 linestart_pos = PL_parser->linestart - buf;
1288 last_uni_pos = PL_parser->last_uni ? PL_parser->last_uni - buf : 0;
1289 last_lop_pos = PL_parser->last_lop ? PL_parser->last_lop - buf : 0;
1291 if (flags & LEX_FAKE_EOF) {
1293 } else if (!PL_parser->rsfp && !PL_parser->filtered) {
1295 } else if (filter_gets(linestr, old_bufend_pos)) {
1297 got_some_for_debugger = 1;
1298 } else if (flags & LEX_NO_TERM) {
1301 if (!SvPOK(linestr)) /* can get undefined by filter_gets */
1302 sv_setpvs(linestr, "");
1304 /* End of real input. Close filehandle (unless it was STDIN),
1305 * then add implicit termination.
1307 if (PL_parser->lex_flags & LEX_DONT_CLOSE_RSFP)
1308 PerlIO_clearerr(PL_parser->rsfp);
1309 else if (PL_parser->rsfp)
1310 (void)PerlIO_close(PL_parser->rsfp);
1311 PL_parser->rsfp = NULL;
1312 PL_parser->in_pod = PL_parser->filtered = 0;
1314 if (PL_madskills && !PL_in_eval && (PL_minus_p || PL_minus_n))
1317 if (!PL_in_eval && PL_minus_p) {
1319 /*{*/";}continue{print or die qq(-p destination: $!\\n);}");
1320 PL_minus_n = PL_minus_p = 0;
1321 } else if (!PL_in_eval && PL_minus_n) {
1322 sv_catpvs(linestr, /*{*/";}");
1325 sv_catpvs(linestr, ";");
1328 buf = SvPVX(linestr);
1329 new_bufend_pos = SvCUR(linestr);
1330 PL_parser->bufend = buf + new_bufend_pos;
1331 PL_parser->bufptr = buf + bufptr_pos;
1332 PL_parser->oldbufptr = buf + oldbufptr_pos;
1333 PL_parser->oldoldbufptr = buf + oldoldbufptr_pos;
1334 PL_parser->linestart = buf + linestart_pos;
1335 if (PL_parser->last_uni)
1336 PL_parser->last_uni = buf + last_uni_pos;
1337 if (PL_parser->last_lop)
1338 PL_parser->last_lop = buf + last_lop_pos;
1339 if (got_some_for_debugger && (PERLDB_LINE || PERLDB_SAVESRC) &&
1340 PL_curstash != PL_debstash) {
1341 /* debugger active and we're not compiling the debugger code,
1342 * so store the line into the debugger's array of lines
1344 update_debugger_info(NULL, buf+old_bufend_pos,
1345 new_bufend_pos-old_bufend_pos);
1351 =for apidoc Amx|I32|lex_peek_unichar|U32 flags
1353 Looks ahead one (Unicode) character in the text currently being lexed.
1354 Returns the codepoint (unsigned integer value) of the next character,
1355 or -1 if lexing has reached the end of the input text. To consume the
1356 peeked character, use L</lex_read_unichar>.
1358 If the next character is in (or extends into) the next chunk of input
1359 text, the next chunk will be read in. Normally the current chunk will be
1360 discarded at the same time, but if I<flags> includes C<LEX_KEEP_PREVIOUS>
1361 then the current chunk will not be discarded.
1363 If the input is being interpreted as UTF-8 and a UTF-8 encoding error
1364 is encountered, an exception is generated.
1370 Perl_lex_peek_unichar(pTHX_ U32 flags)
1374 if (flags & ~(LEX_KEEP_PREVIOUS))
1375 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_peek_unichar");
1376 s = PL_parser->bufptr;
1377 bufend = PL_parser->bufend;
1383 if (!lex_next_chunk(flags))
1385 s = PL_parser->bufptr;
1386 bufend = PL_parser->bufend;
1392 len = PL_utf8skip[head];
1393 while ((STRLEN)(bufend-s) < len) {
1394 if (!lex_next_chunk(flags | LEX_KEEP_PREVIOUS))
1396 s = PL_parser->bufptr;
1397 bufend = PL_parser->bufend;
1400 unichar = utf8n_to_uvuni((U8*)s, bufend-s, &retlen, UTF8_CHECK_ONLY);
1401 if (retlen == (STRLEN)-1) {
1402 /* malformed UTF-8 */
1404 SAVESPTR(PL_warnhook);
1405 PL_warnhook = PERL_WARNHOOK_FATAL;
1406 utf8n_to_uvuni((U8*)s, bufend-s, NULL, 0);
1412 if (!lex_next_chunk(flags))
1414 s = PL_parser->bufptr;
1421 =for apidoc Amx|I32|lex_read_unichar|U32 flags
1423 Reads the next (Unicode) character in the text currently being lexed.
1424 Returns the codepoint (unsigned integer value) of the character read,
1425 and moves L</PL_parser-E<gt>bufptr> past the character, or returns -1
1426 if lexing has reached the end of the input text. To non-destructively
1427 examine the next character, use L</lex_peek_unichar> instead.
1429 If the next character is in (or extends into) the next chunk of input
1430 text, the next chunk will be read in. Normally the current chunk will be
1431 discarded at the same time, but if I<flags> includes C<LEX_KEEP_PREVIOUS>
1432 then the current chunk will not be discarded.
1434 If the input is being interpreted as UTF-8 and a UTF-8 encoding error
1435 is encountered, an exception is generated.
1441 Perl_lex_read_unichar(pTHX_ U32 flags)
1444 if (flags & ~(LEX_KEEP_PREVIOUS))
1445 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_unichar");
1446 c = lex_peek_unichar(flags);
1449 COPLINE_INC_WITH_HERELINES;
1451 PL_parser->bufptr += UTF8SKIP(PL_parser->bufptr);
1453 ++(PL_parser->bufptr);
1459 =for apidoc Amx|void|lex_read_space|U32 flags
1461 Reads optional spaces, in Perl style, in the text currently being
1462 lexed. The spaces may include ordinary whitespace characters and
1463 Perl-style comments. C<#line> directives are processed if encountered.
1464 L</PL_parser-E<gt>bufptr> is moved past the spaces, so that it points
1465 at a non-space character (or the end of the input text).
1467 If spaces extend into the next chunk of input text, the next chunk will
1468 be read in. Normally the current chunk will be discarded at the same
1469 time, but if I<flags> includes C<LEX_KEEP_PREVIOUS> then the current
1470 chunk will not be discarded.
1475 #define LEX_NO_NEXT_CHUNK 0x80000000
1478 Perl_lex_read_space(pTHX_ U32 flags)
1481 bool need_incline = 0;
1482 if (flags & ~(LEX_KEEP_PREVIOUS|LEX_NO_NEXT_CHUNK))
1483 Perl_croak(aTHX_ "Lexing code internal error (%s)", "lex_read_space");
1486 sv_free(PL_skipwhite);
1487 PL_skipwhite = NULL;
1490 PL_skipwhite = newSVpvs("");
1491 #endif /* PERL_MAD */
1492 s = PL_parser->bufptr;
1493 bufend = PL_parser->bufend;
1499 } while (!(c == '\n' || (c == 0 && s == bufend)));
1500 } else if (c == '\n') {
1502 PL_parser->linestart = s;
1507 } else if (isSPACE(c)) {
1509 } else if (c == 0 && s == bufend) {
1513 sv_catpvn(PL_skipwhite, PL_parser->bufptr, s-PL_parser->bufptr);
1514 #endif /* PERL_MAD */
1515 if (flags & LEX_NO_NEXT_CHUNK)
1517 PL_parser->bufptr = s;
1518 COPLINE_INC_WITH_HERELINES;
1519 got_more = lex_next_chunk(flags);
1520 CopLINE_dec(PL_curcop);
1521 s = PL_parser->bufptr;
1522 bufend = PL_parser->bufend;
1525 if (need_incline && PL_parser->rsfp) {
1535 sv_catpvn(PL_skipwhite, PL_parser->bufptr, s-PL_parser->bufptr);
1536 #endif /* PERL_MAD */
1537 PL_parser->bufptr = s;
1542 * This subroutine has nothing to do with tilting, whether at windmills
1543 * or pinball tables. Its name is short for "increment line". It
1544 * increments the current line number in CopLINE(PL_curcop) and checks
1545 * to see whether the line starts with a comment of the form
1546 * # line 500 "foo.pm"
1547 * If so, it sets the current line number and file to the values in the comment.
1551 S_incline(pTHX_ const char *s)
1559 PERL_ARGS_ASSERT_INCLINE;
1561 COPLINE_INC_WITH_HERELINES;
1564 while (SPACE_OR_TAB(*s))
1566 if (strnEQ(s, "line", 4))
1570 if (SPACE_OR_TAB(*s))
1574 while (SPACE_OR_TAB(*s))
1582 if (!SPACE_OR_TAB(*s) && *s != '\r' && *s != '\n' && *s != '\0')
1584 while (SPACE_OR_TAB(*s))
1586 if (*s == '"' && (t = strchr(s+1, '"'))) {
1592 while (!isSPACE(*t))
1596 while (SPACE_OR_TAB(*e) || *e == '\r' || *e == '\f')
1598 if (*e != '\n' && *e != '\0')
1599 return; /* false alarm */
1601 line_num = atoi(n)-1;
1604 const STRLEN len = t - s;
1605 SV *const temp_sv = CopFILESV(PL_curcop);
1610 cf = SvPVX(temp_sv);
1611 tmplen = SvCUR(temp_sv);
1617 if (!PL_rsfp && !PL_parser->filtered) {
1618 /* must copy *{"::_<(eval N)[oldfilename:L]"}
1619 * to *{"::_<newfilename"} */
1620 /* However, the long form of evals is only turned on by the
1621 debugger - usually they're "(eval %lu)" */
1625 STRLEN tmplen2 = len;
1626 if (tmplen + 2 <= sizeof smallbuf)
1629 Newx(tmpbuf, tmplen + 2, char);
1632 memcpy(tmpbuf + 2, cf, tmplen);
1634 gvp = (GV**)hv_fetch(PL_defstash, tmpbuf, tmplen, FALSE);
1639 if (tmplen2 + 2 <= sizeof smallbuf)
1642 Newx(tmpbuf2, tmplen2 + 2, char);
1644 if (tmpbuf2 != smallbuf || tmpbuf != smallbuf) {
1645 /* Either they malloc'd it, or we malloc'd it,
1646 so no prefix is present in ours. */
1651 memcpy(tmpbuf2 + 2, s, tmplen2);
1654 gv2 = *(GV**)hv_fetch(PL_defstash, tmpbuf2, tmplen2, TRUE);
1656 gv_init(gv2, PL_defstash, tmpbuf2, tmplen2, FALSE);
1657 /* adjust ${"::_<newfilename"} to store the new file name */
1658 GvSV(gv2) = newSVpvn(tmpbuf2 + 2, tmplen2 - 2);
1659 /* The line number may differ. If that is the case,
1660 alias the saved lines that are in the array.
1661 Otherwise alias the whole array. */
1662 if (CopLINE(PL_curcop) == line_num) {
1663 GvHV(gv2) = MUTABLE_HV(SvREFCNT_inc(GvHV(*gvp)));
1664 GvAV(gv2) = MUTABLE_AV(SvREFCNT_inc(GvAV(*gvp)));
1666 else if (GvAV(*gvp)) {
1667 AV * const av = GvAV(*gvp);
1668 const I32 start = CopLINE(PL_curcop)+1;
1669 I32 items = AvFILLp(av) - start;
1671 AV * const av2 = GvAVn(gv2);
1672 SV **svp = AvARRAY(av) + start;
1673 I32 l = (I32)line_num+1;
1675 av_store(av2, l++, SvREFCNT_inc(*svp++));
1680 if (tmpbuf2 != smallbuf) Safefree(tmpbuf2);
1682 if (tmpbuf != smallbuf) Safefree(tmpbuf);
1684 CopFILE_free(PL_curcop);
1685 CopFILE_setn(PL_curcop, s, len);
1687 CopLINE_set(PL_curcop, line_num);
1691 /* skip space before PL_thistoken */
1694 S_skipspace0(pTHX_ register char *s)
1696 PERL_ARGS_ASSERT_SKIPSPACE0;
1703 PL_thiswhite = newSVpvs("");
1704 sv_catsv(PL_thiswhite, PL_skipwhite);
1705 sv_free(PL_skipwhite);
1708 PL_realtokenstart = s - SvPVX(PL_linestr);
1712 /* skip space after PL_thistoken */
1715 S_skipspace1(pTHX_ register char *s)
1717 const char *start = s;
1718 I32 startoff = start - SvPVX(PL_linestr);
1720 PERL_ARGS_ASSERT_SKIPSPACE1;
1725 start = SvPVX(PL_linestr) + startoff;
1726 if (!PL_thistoken && PL_realtokenstart >= 0) {
1727 const char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
1728 PL_thistoken = newSVpvn(tstart, start - tstart);
1730 PL_realtokenstart = -1;
1733 PL_nextwhite = newSVpvs("");
1734 sv_catsv(PL_nextwhite, PL_skipwhite);
1735 sv_free(PL_skipwhite);
1742 S_skipspace2(pTHX_ register char *s, SV **svp)
1745 const I32 bufptroff = PL_bufptr - SvPVX(PL_linestr);
1746 const I32 startoff = s - SvPVX(PL_linestr);
1748 PERL_ARGS_ASSERT_SKIPSPACE2;
1751 PL_bufptr = SvPVX(PL_linestr) + bufptroff;
1752 if (!PL_madskills || !svp)
1754 start = SvPVX(PL_linestr) + startoff;
1755 if (!PL_thistoken && PL_realtokenstart >= 0) {
1756 char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
1757 PL_thistoken = newSVpvn(tstart, start - tstart);
1758 PL_realtokenstart = -1;
1762 *svp = newSVpvs("");
1763 sv_setsv(*svp, PL_skipwhite);
1764 sv_free(PL_skipwhite);
1773 S_update_debugger_info(pTHX_ SV *orig_sv, const char *const buf, STRLEN len)
1775 AV *av = CopFILEAVx(PL_curcop);
1777 SV * const sv = newSV_type(SVt_PVMG);
1779 sv_setsv(sv, orig_sv);
1781 sv_setpvn(sv, buf, len);
1784 av_store(av, (I32)CopLINE(PL_curcop), sv);
1790 * Called to gobble the appropriate amount and type of whitespace.
1791 * Skips comments as well.
1795 S_skipspace(pTHX_ register char *s)
1799 #endif /* PERL_MAD */
1800 PERL_ARGS_ASSERT_SKIPSPACE;
1803 sv_free(PL_skipwhite);
1804 PL_skipwhite = NULL;
1806 #endif /* PERL_MAD */
1807 if (PL_lex_formbrack && PL_lex_brackets <= PL_lex_formbrack) {
1808 while (s < PL_bufend && SPACE_OR_TAB(*s))
1811 STRLEN bufptr_pos = PL_bufptr - SvPVX(PL_linestr);
1813 lex_read_space(LEX_KEEP_PREVIOUS |
1814 (PL_sublex_info.sub_inwhat || PL_lex_state == LEX_FORMLINE ?
1815 LEX_NO_NEXT_CHUNK : 0));
1817 PL_bufptr = SvPVX(PL_linestr) + bufptr_pos;
1818 if (PL_linestart > PL_bufptr)
1819 PL_bufptr = PL_linestart;
1824 PL_skipwhite = newSVpvn(start, s-start);
1825 #endif /* PERL_MAD */
1831 * Check the unary operators to ensure there's no ambiguity in how they're
1832 * used. An ambiguous piece of code would be:
1834 * This doesn't mean rand() + 5. Because rand() is a unary operator,
1835 * the +5 is its argument.
1845 if (PL_oldoldbufptr != PL_last_uni)
1847 while (isSPACE(*PL_last_uni))
1850 while (isALNUM_lazy_if(s,UTF) || *s == '-')
1852 if ((t = strchr(s, '(')) && t < PL_bufptr)
1855 Perl_ck_warner_d(aTHX_ packWARN(WARN_AMBIGUOUS),
1856 "Warning: Use of \"%.*s\" without parentheses is ambiguous",
1857 (int)(s - PL_last_uni), PL_last_uni);
1861 * LOP : macro to build a list operator. Its behaviour has been replaced
1862 * with a subroutine, S_lop() for which LOP is just another name.
1865 #define LOP(f,x) return lop(f,x,s)
1869 * Build a list operator (or something that might be one). The rules:
1870 * - if we have a next token, then it's a list operator [why?]
1871 * - if the next thing is an opening paren, then it's a function
1872 * - else it's a list operator
1876 S_lop(pTHX_ I32 f, int x, char *s)
1880 PERL_ARGS_ASSERT_LOP;
1886 PL_last_lop = PL_oldbufptr;
1887 PL_last_lop_op = (OPCODE)f;
1896 return REPORT(FUNC);
1899 return REPORT(FUNC);
1902 if (!PL_lex_allbrackets && PL_lex_fakeeof > LEX_FAKEEOF_LOWLOGIC)
1903 PL_lex_fakeeof = LEX_FAKEEOF_LOWLOGIC;
1904 return REPORT(LSTOP);
1911 * Sets up for an eventual force_next(). start_force(0) basically does
1912 * an unshift, while start_force(-1) does a push. yylex removes items
1917 S_start_force(pTHX_ int where)
1921 if (where < 0) /* so people can duplicate start_force(PL_curforce) */
1922 where = PL_lasttoke;
1923 assert(PL_curforce < 0 || PL_curforce == where);
1924 if (PL_curforce != where) {
1925 for (i = PL_lasttoke; i > where; --i) {
1926 PL_nexttoke[i] = PL_nexttoke[i-1];
1930 if (PL_curforce < 0) /* in case of duplicate start_force() */
1931 Zero(&PL_nexttoke[where], 1, NEXTTOKE);
1932 PL_curforce = where;
1935 curmad('^', newSVpvs(""));
1936 CURMAD('_', PL_nextwhite);
1941 S_curmad(pTHX_ char slot, SV *sv)
1947 if (PL_curforce < 0)
1948 where = &PL_thismad;
1950 where = &PL_nexttoke[PL_curforce].next_mad;
1956 if (UTF && is_utf8_string((U8*)SvPVX(sv), SvCUR(sv)))
1958 else if (PL_encoding) {
1959 sv_recode_to_utf8(sv, PL_encoding);
1964 /* keep a slot open for the head of the list? */
1965 if (slot != '_' && *where && (*where)->mad_key == '^') {
1966 (*where)->mad_key = slot;
1967 sv_free(MUTABLE_SV(((*where)->mad_val)));
1968 (*where)->mad_val = (void*)sv;
1971 addmad(newMADsv(slot, sv), where, 0);
1974 # define start_force(where) NOOP
1975 # define curmad(slot, sv) NOOP
1980 * When the lexer realizes it knows the next token (for instance,
1981 * it is reordering tokens for the parser) then it can call S_force_next
1982 * to know what token to return the next time the lexer is called. Caller
1983 * will need to set PL_nextval[] (or PL_nexttoke[].next_val with PERL_MAD),
1984 * and possibly PL_expect to ensure the lexer handles the token correctly.
1988 S_force_next(pTHX_ I32 type)
1993 PerlIO_printf(Perl_debug_log, "### forced token:\n");
1994 tokereport(type, &NEXTVAL_NEXTTOKE);
1997 /* Don’t let opslab_force_free snatch it */
1998 if (S_is_opval_token(type & 0xffff) && NEXTVAL_NEXTTOKE.opval) {
1999 assert(!NEXTVAL_NEXTTOKE.opval->op_savefree);
2000 NEXTVAL_NEXTTOKE.opval->op_savefree = 1;
2003 if (PL_curforce < 0)
2004 start_force(PL_lasttoke);
2005 PL_nexttoke[PL_curforce].next_type = type;
2006 if (PL_lex_state != LEX_KNOWNEXT)
2007 PL_lex_defer = PL_lex_state;
2008 PL_lex_state = LEX_KNOWNEXT;
2009 PL_lex_expect = PL_expect;
2012 PL_nexttype[PL_nexttoke] = type;
2014 if (PL_lex_state != LEX_KNOWNEXT) {
2015 PL_lex_defer = PL_lex_state;
2016 PL_lex_expect = PL_expect;
2017 PL_lex_state = LEX_KNOWNEXT;
2025 int yyc = PL_parser->yychar;
2026 if (yyc != YYEMPTY) {
2029 NEXTVAL_NEXTTOKE = PL_parser->yylval;
2030 if (yyc == '{'/*}*/ || yyc == HASHBRACK || yyc == '['/*]*/) {
2031 PL_lex_allbrackets--;
2033 yyc |= (3<<24) | (PL_lex_brackstack[PL_lex_brackets] << 16);
2034 } else if (yyc == '('/*)*/) {
2035 PL_lex_allbrackets--;
2040 PL_parser->yychar = YYEMPTY;
2045 S_newSV_maybe_utf8(pTHX_ const char *const start, STRLEN len)
2048 SV * const sv = newSVpvn_utf8(start, len,
2051 && !is_ascii_string((const U8*)start, len)
2052 && is_utf8_string((const U8*)start, len));
2058 * When the lexer knows the next thing is a word (for instance, it has
2059 * just seen -> and it knows that the next char is a word char, then
2060 * it calls S_force_word to stick the next word into the PL_nexttoke/val
2064 * char *start : buffer position (must be within PL_linestr)
2065 * int token : PL_next* will be this type of bare word (e.g., METHOD,WORD)
2066 * int check_keyword : if true, Perl checks to make sure the word isn't
2067 * a keyword (do this if the word is a label, e.g. goto FOO)
2068 * int allow_pack : if true, : characters will also be allowed (require,
2069 * use, etc. do this)
2070 * int allow_initial_tick : used by the "sub" lexer only.
2074 S_force_word(pTHX_ register char *start, int token, int check_keyword, int allow_pack, int allow_initial_tick)
2080 PERL_ARGS_ASSERT_FORCE_WORD;
2082 start = SKIPSPACE1(start);
2084 if (isIDFIRST_lazy_if(s,UTF) ||
2085 (allow_pack && *s == ':') ||
2086 (allow_initial_tick && *s == '\'') )
2088 s = scan_word(s, PL_tokenbuf, sizeof PL_tokenbuf, allow_pack, &len);
2089 if (check_keyword && keyword(PL_tokenbuf, len, 0))
2091 start_force(PL_curforce);
2093 curmad('X', newSVpvn(start,s-start));
2094 if (token == METHOD) {
2099 PL_expect = XOPERATOR;
2103 curmad('g', newSVpvs( "forced" ));
2104 NEXTVAL_NEXTTOKE.opval
2105 = (OP*)newSVOP(OP_CONST,0,
2106 S_newSV_maybe_utf8(aTHX_ PL_tokenbuf, len));
2107 NEXTVAL_NEXTTOKE.opval->op_private |= OPpCONST_BARE;
2115 * Called when the lexer wants $foo *foo &foo etc, but the program
2116 * text only contains the "foo" portion. The first argument is a pointer
2117 * to the "foo", and the second argument is the type symbol to prefix.
2118 * Forces the next token to be a "WORD".
2119 * Creates the symbol if it didn't already exist (via gv_fetchpv()).
2123 S_force_ident(pTHX_ register const char *s, int kind)
2127 PERL_ARGS_ASSERT_FORCE_IDENT;
2130 const STRLEN len = strlen(s);
2131 OP* const o = (OP*)newSVOP(OP_CONST, 0, newSVpvn_flags(s, len,
2132 UTF ? SVf_UTF8 : 0));
2133 start_force(PL_curforce);
2134 NEXTVAL_NEXTTOKE.opval = o;
2137 o->op_private = OPpCONST_ENTERED;
2138 /* XXX see note in pp_entereval() for why we forgo typo
2139 warnings if the symbol must be introduced in an eval.
2141 gv_fetchpvn_flags(s, len,
2142 (PL_in_eval ? (GV_ADDMULTI | GV_ADDINEVAL)
2143 : GV_ADD) | ( UTF ? SVf_UTF8 : 0 ),
2144 kind == '$' ? SVt_PV :
2145 kind == '@' ? SVt_PVAV :
2146 kind == '%' ? SVt_PVHV :
2154 S_force_ident_maybe_lex(pTHX_ char pit)
2156 start_force(PL_curforce);
2157 NEXTVAL_NEXTTOKE.ival = pit;
2162 Perl_str_to_version(pTHX_ SV *sv)
2167 const char *start = SvPV_const(sv,len);
2168 const char * const end = start + len;
2169 const bool utf = SvUTF8(sv) ? TRUE : FALSE;
2171 PERL_ARGS_ASSERT_STR_TO_VERSION;
2173 while (start < end) {
2177 n = utf8n_to_uvchr((U8*)start, len, &skip, 0);
2182 retval += ((NV)n)/nshift;
2191 * Forces the next token to be a version number.
2192 * If the next token appears to be an invalid version number, (e.g. "v2b"),
2193 * and if "guessing" is TRUE, then no new token is created (and the caller
2194 * must use an alternative parsing method).
2198 S_force_version(pTHX_ char *s, int guessing)
2204 I32 startoff = s - SvPVX(PL_linestr);
2207 PERL_ARGS_ASSERT_FORCE_VERSION;
2215 while (isDIGIT(*d) || *d == '_' || *d == '.')
2219 start_force(PL_curforce);
2220 curmad('X', newSVpvn(s,d-s));
2223 if (*d == ';' || isSPACE(*d) || *d == '{' || *d == '}' || !*d) {
2225 #ifdef USE_LOCALE_NUMERIC
2226 char *loc = savepv(setlocale(LC_NUMERIC, NULL));
2227 setlocale(LC_NUMERIC, "C");
2229 s = scan_num(s, &pl_yylval);
2230 #ifdef USE_LOCALE_NUMERIC
2231 setlocale(LC_NUMERIC, loc);
2234 version = pl_yylval.opval;
2235 ver = cSVOPx(version)->op_sv;
2236 if (SvPOK(ver) && !SvNIOK(ver)) {
2237 SvUPGRADE(ver, SVt_PVNV);
2238 SvNV_set(ver, str_to_version(ver));
2239 SvNOK_on(ver); /* hint that it is a version */
2242 else if (guessing) {
2245 sv_free(PL_nextwhite); /* let next token collect whitespace */
2247 s = SvPVX(PL_linestr) + startoff;
2255 if (PL_madskills && !version) {
2256 sv_free(PL_nextwhite); /* let next token collect whitespace */
2258 s = SvPVX(PL_linestr) + startoff;
2261 /* NOTE: The parser sees the package name and the VERSION swapped */
2262 start_force(PL_curforce);
2263 NEXTVAL_NEXTTOKE.opval = version;
2270 * S_force_strict_version
2271 * Forces the next token to be a version number using strict syntax rules.
2275 S_force_strict_version(pTHX_ char *s)
2280 I32 startoff = s - SvPVX(PL_linestr);
2282 const char *errstr = NULL;
2284 PERL_ARGS_ASSERT_FORCE_STRICT_VERSION;
2286 while (isSPACE(*s)) /* leading whitespace */
2289 if (is_STRICT_VERSION(s,&errstr)) {
2291 s = (char *)scan_version(s, ver, 0);
2292 version = newSVOP(OP_CONST, 0, ver);
2294 else if ( (*s != ';' && *s != '{' && *s != '}' ) &&
2295 (s = SKIPSPACE1(s), (*s != ';' && *s != '{' && *s != '}' )))
2299 yyerror(errstr); /* version required */
2304 if (PL_madskills && !version) {
2305 sv_free(PL_nextwhite); /* let next token collect whitespace */
2307 s = SvPVX(PL_linestr) + startoff;
2310 /* NOTE: The parser sees the package name and the VERSION swapped */
2311 start_force(PL_curforce);
2312 NEXTVAL_NEXTTOKE.opval = version;
2320 * Tokenize a quoted string passed in as an SV. It finds the next
2321 * chunk, up to end of string or a backslash. It may make a new
2322 * SV containing that chunk (if HINT_NEW_STRING is on). It also
2327 S_tokeq(pTHX_ SV *sv)
2336 PERL_ARGS_ASSERT_TOKEQ;
2341 s = SvPV_force(sv, len);
2342 if (SvTYPE(sv) >= SVt_PVIV && SvIVX(sv) == -1)
2345 /* This is relying on the SV being "well formed" with a trailing '\0' */
2346 while (s < send && !(*s == '\\' && s[1] == '\\'))
2351 if ( PL_hints & HINT_NEW_STRING ) {
2352 pv = newSVpvn_flags(SvPVX_const(pv), len, SVs_TEMP | SvUTF8(sv));
2356 if (s + 1 < send && (s[1] == '\\'))
2357 s++; /* all that, just for this */
2362 SvCUR_set(sv, d - SvPVX_const(sv));
2364 if ( PL_hints & HINT_NEW_STRING )
2365 return new_constant(NULL, 0, "q", sv, pv, "q", 1);
2370 * Now come three functions related to double-quote context,
2371 * S_sublex_start, S_sublex_push, and S_sublex_done. They're used when
2372 * converting things like "\u\Lgnat" into ucfirst(lc("gnat")). They
2373 * interact with PL_lex_state, and create fake ( ... ) argument lists
2374 * to handle functions and concatenation.
2378 * stringify ( const[foo] concat lcfirst ( const[bar] ) )
2383 * Assumes that pl_yylval.ival is the op we're creating (e.g. OP_LCFIRST).
2385 * Pattern matching will set PL_lex_op to the pattern-matching op to
2386 * make (we return THING if pl_yylval.ival is OP_NULL, PMFUNC otherwise).
2388 * OP_CONST and OP_READLINE are easy--just make the new op and return.
2390 * Everything else becomes a FUNC.
2392 * Sets PL_lex_state to LEX_INTERPPUSH unless (ival was OP_NULL or we
2393 * had an OP_CONST or OP_READLINE). This just sets us up for a
2394 * call to S_sublex_push().
2398 S_sublex_start(pTHX)
2401 const I32 op_type = pl_yylval.ival;
2403 if (op_type == OP_NULL) {
2404 pl_yylval.opval = PL_lex_op;
2408 if (op_type == OP_CONST || op_type == OP_READLINE) {
2409 SV *sv = tokeq(PL_lex_stuff);
2411 if (SvTYPE(sv) == SVt_PVIV) {
2412 /* Overloaded constants, nothing fancy: Convert to SVt_PV: */
2414 const char * const p = SvPV_const(sv, len);
2415 SV * const nsv = newSVpvn_flags(p, len, SvUTF8(sv));
2419 pl_yylval.opval = (OP*)newSVOP(op_type, 0, sv);
2420 PL_lex_stuff = NULL;
2421 /* Allow <FH> // "foo" */
2422 if (op_type == OP_READLINE)
2423 PL_expect = XTERMORDORDOR;
2426 else if (op_type == OP_BACKTICK && PL_lex_op) {
2427 /* readpipe() vas overriden */
2428 cSVOPx(cLISTOPx(cUNOPx(PL_lex_op)->op_first)->op_first->op_sibling)->op_sv = tokeq(PL_lex_stuff);
2429 pl_yylval.opval = PL_lex_op;
2431 PL_lex_stuff = NULL;
2435 PL_sublex_info.super_state = PL_lex_state;
2436 PL_sublex_info.sub_inwhat = (U16)op_type;
2437 PL_sublex_info.sub_op = PL_lex_op;
2438 PL_lex_state = LEX_INTERPPUSH;
2442 pl_yylval.opval = PL_lex_op;
2452 * Create a new scope to save the lexing state. The scope will be
2453 * ended in S_sublex_done. Returns a '(', starting the function arguments
2454 * to the uc, lc, etc. found before.
2455 * Sets PL_lex_state to LEX_INTERPCONCAT.
2465 PL_lex_state = PL_sublex_info.super_state;
2466 SAVEBOOL(PL_lex_dojoin);
2467 SAVEI32(PL_lex_brackets);
2468 SAVEI32(PL_lex_allbrackets);
2469 SAVEI32(PL_lex_formbrack);
2470 SAVEI8(PL_lex_fakeeof);
2471 SAVEI32(PL_lex_casemods);
2472 SAVEI32(PL_lex_starts);
2473 SAVEI8(PL_lex_state);
2474 SAVESPTR(PL_lex_repl);
2475 SAVEVPTR(PL_lex_inpat);
2476 SAVEI16(PL_lex_inwhat);
2477 SAVECOPLINE(PL_curcop);
2478 SAVEPPTR(PL_bufptr);
2479 SAVEPPTR(PL_bufend);
2480 SAVEPPTR(PL_oldbufptr);
2481 SAVEPPTR(PL_oldoldbufptr);
2482 SAVEPPTR(PL_last_lop);
2483 SAVEPPTR(PL_last_uni);
2484 SAVEPPTR(PL_linestart);
2485 SAVESPTR(PL_linestr);
2486 SAVEGENERICPV(PL_lex_brackstack);
2487 SAVEGENERICPV(PL_lex_casestack);
2488 SAVEGENERICPV(PL_parser->lex_shared);
2490 /* The here-doc parser needs to be able to peek into outer lexing
2491 scopes to find the body of the here-doc. So we put PL_linestr and
2492 PL_bufptr into lex_shared, to ‘share’ those values.
2494 PL_parser->lex_shared->ls_linestr = PL_linestr;
2495 PL_parser->lex_shared->ls_bufptr = PL_bufptr;
2497 PL_linestr = PL_lex_stuff;
2498 PL_lex_repl = PL_sublex_info.repl;
2499 PL_lex_stuff = NULL;
2500 PL_sublex_info.repl = NULL;
2502 PL_bufend = PL_bufptr = PL_oldbufptr = PL_oldoldbufptr = PL_linestart
2503 = SvPVX(PL_linestr);
2504 PL_bufend += SvCUR(PL_linestr);
2505 PL_last_lop = PL_last_uni = NULL;
2506 SAVEFREESV(PL_linestr);
2507 if (PL_lex_repl) SAVEFREESV(PL_lex_repl);
2509 PL_lex_dojoin = FALSE;
2510 PL_lex_brackets = PL_lex_formbrack = 0;
2511 PL_lex_allbrackets = 0;
2512 PL_lex_fakeeof = LEX_FAKEEOF_NEVER;
2513 Newx(PL_lex_brackstack, 120, char);
2514 Newx(PL_lex_casestack, 12, char);
2515 PL_lex_casemods = 0;
2516 *PL_lex_casestack = '\0';
2518 PL_lex_state = LEX_INTERPCONCAT;
2519 CopLINE_set(PL_curcop, (line_t)PL_multi_start);
2521 Newxz(shared, 1, LEXSHARED);
2522 shared->ls_prev = PL_parser->lex_shared;
2523 PL_parser->lex_shared = shared;
2525 PL_lex_inwhat = PL_sublex_info.sub_inwhat;
2526 if (PL_lex_inwhat == OP_TRANSR) PL_lex_inwhat = OP_TRANS;
2527 if (PL_lex_inwhat == OP_MATCH || PL_lex_inwhat == OP_QR || PL_lex_inwhat == OP_SUBST)
2528 PL_lex_inpat = PL_sublex_info.sub_op;
2530 PL_lex_inpat = NULL;
2537 * Restores lexer state after a S_sublex_push.
2544 if (!PL_lex_starts++) {
2545 SV * const sv = newSVpvs("");
2546 if (SvUTF8(PL_linestr))
2548 PL_expect = XOPERATOR;
2549 pl_yylval.opval = (OP*)newSVOP(OP_CONST, 0, sv);
2553 if (PL_lex_casemods) { /* oops, we've got some unbalanced parens */
2554 PL_lex_state = LEX_INTERPCASEMOD;
2558 /* Is there a right-hand side to take care of? (s//RHS/ or tr//RHS/) */
2559 assert(PL_lex_inwhat != OP_TRANSR);
2560 if (PL_lex_repl && (PL_lex_inwhat == OP_SUBST || PL_lex_inwhat == OP_TRANS)) {
2561 PL_linestr = PL_lex_repl;
2563 PL_bufend = PL_bufptr = PL_oldbufptr = PL_oldoldbufptr = PL_linestart = SvPVX(PL_linestr);
2564 PL_bufend += SvCUR(PL_linestr);
2565 PL_last_lop = PL_last_uni = NULL;
2566 PL_lex_dojoin = FALSE;
2567 PL_lex_brackets = 0;
2568 PL_lex_allbrackets = 0;
2569 PL_lex_fakeeof = LEX_FAKEEOF_NEVER;
2570 PL_lex_casemods = 0;
2571 *PL_lex_casestack = '\0';
2573 if (SvEVALED(PL_lex_repl)) {
2574 PL_lex_state = LEX_INTERPNORMAL;
2576 /* we don't clear PL_lex_repl here, so that we can check later
2577 whether this is an evalled subst; that means we rely on the
2578 logic to ensure sublex_done() is called again only via the
2579 branch (in yylex()) that clears PL_lex_repl, else we'll loop */
2582 PL_lex_state = LEX_INTERPCONCAT;
2592 PL_endwhite = newSVpvs("");
2593 sv_catsv(PL_endwhite, PL_thiswhite);
2597 sv_setpvs(PL_thistoken,"");
2599 PL_realtokenstart = -1;
2603 PL_bufend = SvPVX(PL_linestr);
2604 PL_bufend += SvCUR(PL_linestr);
2605 PL_expect = XOPERATOR;
2606 PL_sublex_info.sub_inwhat = 0;
2614 Extracts the next constant part of a pattern, double-quoted string,
2615 or transliteration. This is terrifying code.
2617 For example, in parsing the double-quoted string "ab\x63$d", it would
2618 stop at the '$' and return an OP_CONST containing 'abc'.
2620 It looks at PL_lex_inwhat and PL_lex_inpat to find out whether it's
2621 processing a pattern (PL_lex_inpat is true), a transliteration
2622 (PL_lex_inwhat == OP_TRANS is true), or a double-quoted string.
2624 Returns a pointer to the character scanned up to. If this is
2625 advanced from the start pointer supplied (i.e. if anything was
2626 successfully parsed), will leave an OP_CONST for the substring scanned
2627 in pl_yylval. Caller must intuit reason for not parsing further
2628 by looking at the next characters herself.
2632 \N{ABC} => \N{U+41.42.43}
2635 all other \-char, including \N and \N{ apart from \N{ABC}
2638 @ and $ where it appears to be a var, but not for $ as tail anchor
2643 In transliterations:
2644 characters are VERY literal, except for - not at the start or end
2645 of the string, which indicates a range. If the range is in bytes,
2646 scan_const expands the range to the full set of intermediate
2647 characters. If the range is in utf8, the hyphen is replaced with
2648 a certain range mark which will be handled by pmtrans() in op.c.
2650 In double-quoted strings:
2652 double-quoted style: \r and \n
2653 constants: \x31, etc.
2654 deprecated backrefs: \1 (in substitution replacements)
2655 case and quoting: \U \Q \E
2658 scan_const does *not* construct ops to handle interpolated strings.
2659 It stops processing as soon as it finds an embedded $ or @ variable
2660 and leaves it to the caller to work out what's going on.
2662 embedded arrays (whether in pattern or not) could be:
2663 @foo, @::foo, @'foo, @{foo}, @$foo, @+, @-.
2665 $ in double-quoted strings must be the symbol of an embedded scalar.
2667 $ in pattern could be $foo or could be tail anchor. Assumption:
2668 it's a tail anchor if $ is the last thing in the string, or if it's
2669 followed by one of "()| \r\n\t"
2671 \1 (backreferences) are turned into $1 in substitutions
2673 The structure of the code is
2674 while (there's a character to process) {
2675 handle transliteration ranges
2676 skip regexp comments /(?#comment)/ and codes /(?{code})/
2677 skip #-initiated comments in //x patterns
2678 check for embedded arrays
2679 check for embedded scalars
2681 deprecate \1 in substitution replacements
2682 handle string-changing backslashes \l \U \Q \E, etc.
2683 switch (what was escaped) {
2684 handle \- in a transliteration (becomes a literal -)
2685 if a pattern and not \N{, go treat as regular character
2686 handle \132 (octal characters)
2687 handle \x15 and \x{1234} (hex characters)
2688 handle \N{name} (named characters, also \N{3,5} in a pattern)
2689 handle \cV (control characters)
2690 handle printf-style backslashes (\f, \r, \n, etc)
2693 } (end if backslash)
2694 handle regular character
2695 } (end while character to read)
2700 S_scan_const(pTHX_ char *start)
2703 char *send = PL_bufend; /* end of the constant */
2704 SV *sv = newSV(send - start); /* sv for the constant. See
2705 note below on sizing. */
2706 char *s = start; /* start of the constant */
2707 char *d = SvPVX(sv); /* destination for copies */
2708 bool dorange = FALSE; /* are we in a translit range? */
2709 bool didrange = FALSE; /* did we just finish a range? */
2710 bool in_charclass = FALSE; /* within /[...]/ */
2711 bool has_utf8 = FALSE; /* Output constant is UTF8 */
2712 bool this_utf8 = cBOOL(UTF); /* Is the source string assumed
2713 to be UTF8? But, this can
2714 show as true when the source
2715 isn't utf8, as for example
2716 when it is entirely composed
2719 /* Note on sizing: The scanned constant is placed into sv, which is
2720 * initialized by newSV() assuming one byte of output for every byte of
2721 * input. This routine expects newSV() to allocate an extra byte for a
2722 * trailing NUL, which this routine will append if it gets to the end of
2723 * the input. There may be more bytes of input than output (eg., \N{LATIN
2724 * CAPITAL LETTER A}), or more output than input if the constant ends up
2725 * recoded to utf8, but each time a construct is found that might increase
2726 * the needed size, SvGROW() is called. Its size parameter each time is
2727 * based on the best guess estimate at the time, namely the length used so
2728 * far, plus the length the current construct will occupy, plus room for
2729 * the trailing NUL, plus one byte for every input byte still unscanned */
2733 UV literal_endpoint = 0;
2734 bool native_range = TRUE; /* turned to FALSE if the first endpoint is Unicode. */
2737 PERL_ARGS_ASSERT_SCAN_CONST;
2739 assert(PL_lex_inwhat != OP_TRANSR);
2740 if (PL_lex_inwhat == OP_TRANS && PL_sublex_info.sub_op) {
2741 /* If we are doing a trans and we know we want UTF8 set expectation */
2742 has_utf8 = PL_sublex_info.sub_op->op_private & (OPpTRANS_FROM_UTF|OPpTRANS_TO_UTF);
2743 this_utf8 = PL_sublex_info.sub_op->op_private & (PL_lex_repl ? OPpTRANS_FROM_UTF : OPpTRANS_TO_UTF);
2747 while (s < send || dorange) {
2749 /* get transliterations out of the way (they're most literal) */
2750 if (PL_lex_inwhat == OP_TRANS) {
2751 /* expand a range A-Z to the full set of characters. AIE! */
2753 I32 i; /* current expanded character */
2754 I32 min; /* first character in range */
2755 I32 max; /* last character in range */
2766 char * const c = (char*)utf8_hop((U8*)d, -1);
2770 *c = (char)UTF_TO_NATIVE(0xff);
2771 /* mark the range as done, and continue */
2777 i = d - SvPVX_const(sv); /* remember current offset */
2780 SvLEN(sv) + (has_utf8 ?
2781 (512 - UTF_CONTINUATION_MARK +
2784 /* How many two-byte within 0..255: 128 in UTF-8,
2785 * 96 in UTF-8-mod. */
2787 SvGROW(sv, SvLEN(sv) + 256); /* never more than 256 chars in a range */
2789 d = SvPVX(sv) + i; /* refresh d after realloc */
2793 for (j = 0; j <= 1; j++) {
2794 char * const c = (char*)utf8_hop((U8*)d, -1);
2795 const UV uv = utf8n_to_uvchr((U8*)c, d - c, NULL, 0);
2801 max = (U8)0xff; /* only to \xff */
2802 uvmax = uv; /* \x{100} to uvmax */
2804 d = c; /* eat endpoint chars */
2809 d -= 2; /* eat the first char and the - */
2810 min = (U8)*d; /* first char in range */
2811 max = (U8)d[1]; /* last char in range */
2819 "Invalid range \"%c-%c\" in transliteration operator",
2820 (char)min, (char)max);
2824 if (literal_endpoint == 2 &&
2825 ((isLOWER(min) && isLOWER(max)) ||
2826 (isUPPER(min) && isUPPER(max)))) {
2828 for (i = min; i <= max; i++)
2830 *d++ = NATIVE_TO_NEED(has_utf8,i);
2832 for (i = min; i <= max; i++)
2834 *d++ = NATIVE_TO_NEED(has_utf8,i);
2839 for (i = min; i <= max; i++)
2842 const U8 ch = (U8)NATIVE_TO_UTF(i);
2843 if (UNI_IS_INVARIANT(ch))
2846 *d++ = (U8)UTF8_EIGHT_BIT_HI(ch);
2847 *d++ = (U8)UTF8_EIGHT_BIT_LO(ch);
2856 d = (char*)uvchr_to_utf8((U8*)d, 0x100);
2858 *d++ = (char)UTF_TO_NATIVE(0xff);
2860 d = (char*)uvchr_to_utf8((U8*)d, uvmax);
2864 /* mark the range as done, and continue */
2868 literal_endpoint = 0;
2873 /* range begins (ignore - as first or last char) */
2874 else if (*s == '-' && s+1 < send && s != start) {
2877 Perl_croak(aTHX_ "Ambiguous range in transliteration operator");
2884 *d++ = (char)UTF_TO_NATIVE(0xff); /* use illegal utf8 byte--see pmtrans */
2894 literal_endpoint = 0;
2895 native_range = TRUE;
2900 /* if we get here, we're not doing a transliteration */
2902 else if (*s == '[' && PL_lex_inpat && !in_charclass) {
2905 while (s1 >= start && *s1-- == '\\')
2908 in_charclass = TRUE;
2911 else if (*s == ']' && PL_lex_inpat && in_charclass) {
2914 while (s1 >= start && *s1-- == '\\')
2917 in_charclass = FALSE;
2920 /* skip for regexp comments /(?#comment)/, except for the last
2921 * char, which will be done separately.
2922 * Stop on (?{..}) and friends */
2924 else if (*s == '(' && PL_lex_inpat && s[1] == '?') {
2926 while (s+1 < send && *s != ')')
2927 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
2929 else if (!PL_lex_casemods && !in_charclass &&
2930 ( s[2] == '{' /* This should match regcomp.c */
2931 || (s[2] == '?' && s[3] == '{')))
2937 /* likewise skip #-initiated comments in //x patterns */
2938 else if (*s == '#' && PL_lex_inpat &&
2939 ((PMOP*)PL_lex_inpat)->op_pmflags & RXf_PMf_EXTENDED) {
2940 while (s+1 < send && *s != '\n')
2941 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
2944 /* no further processing of single-quoted regex */
2945 else if (PL_lex_inpat && SvIVX(PL_linestr) == '\'')
2946 goto default_action;
2948 /* check for embedded arrays
2949 (@foo, @::foo, @'foo, @{foo}, @$foo, @+, @-)
2951 else if (*s == '@' && s[1]) {
2952 if (isALNUM_lazy_if(s+1,UTF))
2954 if (strchr(":'{$", s[1]))
2956 if (!PL_lex_inpat && (s[1] == '+' || s[1] == '-'))
2957 break; /* in regexp, neither @+ nor @- are interpolated */
2960 /* check for embedded scalars. only stop if we're sure it's a
2963 else if (*s == '$') {
2964 if (!PL_lex_inpat) /* not a regexp, so $ must be var */
2966 if (s + 1 < send && !strchr("()| \r\n\t", s[1])) {
2968 Perl_ck_warner(aTHX_ packWARN(WARN_AMBIGUOUS),
2969 "Possible unintended interpolation of $\\ in regex");
2971 break; /* in regexp, $ might be tail anchor */
2975 /* End of else if chain - OP_TRANS rejoin rest */
2978 if (*s == '\\' && s+1 < send) {
2979 char* e; /* Can be used for ending '}', etc. */
2983 /* warn on \1 - \9 in substitution replacements, but note that \11
2984 * is an octal; and \19 is \1 followed by '9' */
2985 if (PL_lex_inwhat == OP_SUBST && !PL_lex_inpat &&
2986 isDIGIT(*s) && *s != '0' && !isDIGIT(s[1]))
2988 Perl_ck_warner(aTHX_ packWARN(WARN_SYNTAX), "\\%c better written as $%c", *s, *s);
2993 /* string-change backslash escapes */
2994 if (PL_lex_inwhat != OP_TRANS && *s && strchr("lLuUEQF", *s)) {
2998 /* In a pattern, process \N, but skip any other backslash escapes.
2999 * This is because we don't want to translate an escape sequence
3000 * into a meta symbol and have the regex compiler use the meta
3001 * symbol meaning, e.g. \x{2E} would be confused with a dot. But
3002 * in spite of this, we do have to process \N here while the proper
3003 * charnames handler is in scope. See bugs #56444 and #62056.
3004 * There is a complication because \N in a pattern may also stand
3005 * for 'match a non-nl', and not mean a charname, in which case its
3006 * processing should be deferred to the regex compiler. To be a
3007 * charname it must be followed immediately by a '{', and not look
3008 * like \N followed by a curly quantifier, i.e., not something like
3009 * \N{3,}. regcurly returns a boolean indicating if it is a legal
3011 else if (PL_lex_inpat
3014 || regcurly(s + 1)))
3016 *d++ = NATIVE_TO_NEED(has_utf8,'\\');
3017 goto default_action;
3022 /* quoted - in transliterations */
3024 if (PL_lex_inwhat == OP_TRANS) {
3032 Perl_ck_warner(aTHX_ packWARN(WARN_MISC),
3033 "Unrecognized escape \\%c passed through",
3035 /* default action is to copy the quoted character */
3036 goto default_action;
3039 /* eg. \132 indicates the octal constant 0132 */
3040 case '0': case '1': case '2': case '3':
3041 case '4': case '5': case '6': case '7':
3045 uv = NATIVE_TO_UNI(grok_oct(s, &len, &flags, NULL));
3048 goto NUM_ESCAPE_INSERT;
3050 /* eg. \o{24} indicates the octal constant \024 */
3056 bool valid = grok_bslash_o(s, &uv, &len, &error, 1);
3062 goto NUM_ESCAPE_INSERT;
3065 /* eg. \x24 indicates the hex constant 0x24 */
3071 bool valid = grok_bslash_x(s, &uv, &len, &error, 1);
3080 /* Insert oct or hex escaped character. There will always be
3081 * enough room in sv since such escapes will be longer than any
3082 * UTF-8 sequence they can end up as, except if they force us
3083 * to recode the rest of the string into utf8 */
3085 /* Here uv is the ordinal of the next character being added in
3086 * unicode (converted from native). */
3087 if (!UNI_IS_INVARIANT(uv)) {
3088 if (!has_utf8 && uv > 255) {
3089 /* Might need to recode whatever we have accumulated so
3090 * far if it contains any chars variant in utf8 or
3093 SvCUR_set(sv, d - SvPVX_const(sv));
3096 /* See Note on sizing above. */
3097 sv_utf8_upgrade_flags_grow(sv,
3098 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3099 UNISKIP(uv) + (STRLEN)(send - s) + 1);
3100 d = SvPVX(sv) + SvCUR(sv);
3105 d = (char*)uvuni_to_utf8((U8*)d, uv);
3106 if (PL_lex_inwhat == OP_TRANS &&
3107 PL_sublex_info.sub_op) {
3108 PL_sublex_info.sub_op->op_private |=
3109 (PL_lex_repl ? OPpTRANS_FROM_UTF
3113 if (uv > 255 && !dorange)
3114 native_range = FALSE;
3127 /* In a non-pattern \N must be a named character, like \N{LATIN
3128 * SMALL LETTER A} or \N{U+0041}. For patterns, it also can
3129 * mean to match a non-newline. For non-patterns, named
3130 * characters are converted to their string equivalents. In
3131 * patterns, named characters are not converted to their
3132 * ultimate forms for the same reasons that other escapes
3133 * aren't. Instead, they are converted to the \N{U+...} form
3134 * to get the value from the charnames that is in effect right
3135 * now, while preserving the fact that it was a named character
3136 * so that the regex compiler knows this */
3138 /* This section of code doesn't generally use the
3139 * NATIVE_TO_NEED() macro to transform the input. I (khw) did
3140 * a close examination of this macro and determined it is a
3141 * no-op except on utfebcdic variant characters. Every
3142 * character generated by this that would normally need to be
3143 * enclosed by this macro is invariant, so the macro is not
3144 * needed, and would complicate use of copy(). XXX There are
3145 * other parts of this file where the macro is used
3146 * inconsistently, but are saved by it being a no-op */
3148 /* The structure of this section of code (besides checking for
3149 * errors and upgrading to utf8) is:
3150 * Further disambiguate between the two meanings of \N, and if
3151 * not a charname, go process it elsewhere
3152 * If of form \N{U+...}, pass it through if a pattern;
3153 * otherwise convert to utf8
3154 * Otherwise must be \N{NAME}: convert to \N{U+c1.c2...} if a
3155 * pattern; otherwise convert to utf8 */
3157 /* Here, s points to the 'N'; the test below is guaranteed to
3158 * succeed if we are being called on a pattern as we already
3159 * know from a test above that the next character is a '{'.
3160 * On a non-pattern \N must mean 'named sequence, which
3161 * requires braces */
3164 yyerror("Missing braces on \\N{}");
3169 /* If there is no matching '}', it is an error. */
3170 if (! (e = strchr(s, '}'))) {
3171 if (! PL_lex_inpat) {
3172 yyerror("Missing right brace on \\N{}");
3174 yyerror("Missing right brace on \\N{} or unescaped left brace after \\N.");
3179 /* Here it looks like a named character */
3183 /* XXX This block is temporary code. \N{} implies that the
3184 * pattern is to have Unicode semantics, and therefore
3185 * currently has to be encoded in utf8. By putting it in
3186 * utf8 now, we save a whole pass in the regular expression
3187 * compiler. Once that code is changed so Unicode
3188 * semantics doesn't necessarily have to be in utf8, this
3189 * block should be removed. However, the code that parses
3190 * the output of this would have to be changed to not
3191 * necessarily expect utf8 */
3193 SvCUR_set(sv, d - SvPVX_const(sv));
3196 /* See Note on sizing above. */
3197 sv_utf8_upgrade_flags_grow(sv,
3198 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3199 /* 5 = '\N{' + cur char + NUL */
3200 (STRLEN)(send - s) + 5);
3201 d = SvPVX(sv) + SvCUR(sv);
3206 if (*s == 'U' && s[1] == '+') { /* \N{U+...} */
3207 I32 flags = PERL_SCAN_ALLOW_UNDERSCORES
3208 | PERL_SCAN_DISALLOW_PREFIX;
3211 /* For \N{U+...}, the '...' is a unicode value even on
3212 * EBCDIC machines */
3213 s += 2; /* Skip to next char after the 'U+' */
3215 uv = grok_hex(s, &len, &flags, NULL);
3216 if (len == 0 || len != (STRLEN)(e - s)) {
3217 yyerror("Invalid hexadecimal number in \\N{U+...}");
3224 /* On non-EBCDIC platforms, pass through to the regex
3225 * compiler unchanged. The reason we evaluated the
3226 * number above is to make sure there wasn't a syntax
3227 * error. But on EBCDIC we convert to native so
3228 * downstream code can continue to assume it's native
3230 s -= 5; /* Include the '\N{U+' */
3232 d += my_snprintf(d, e - s + 1 + 1, /* includes the }
3235 (unsigned int) UNI_TO_NATIVE(uv));
3237 Copy(s, d, e - s + 1, char); /* 1 = include the } */
3241 else { /* Not a pattern: convert the hex to string */
3243 /* If destination is not in utf8, unconditionally
3244 * recode it to be so. This is because \N{} implies
3245 * Unicode semantics, and scalars have to be in utf8
3246 * to guarantee those semantics */
3248 SvCUR_set(sv, d - SvPVX_const(sv));
3251 /* See Note on sizing above. */
3252 sv_utf8_upgrade_flags_grow(
3254 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3255 UNISKIP(uv) + (STRLEN)(send - e) + 1);
3256 d = SvPVX(sv) + SvCUR(sv);
3260 /* Add the string to the output */
3261 if (UNI_IS_INVARIANT(uv)) {
3264 else d = (char*)uvuni_to_utf8((U8*)d, uv);
3267 else { /* Here is \N{NAME} but not \N{U+...}. */
3269 SV *res; /* result from charnames */
3270 const char *str; /* the string in 'res' */
3271 STRLEN len; /* its length */
3273 /* Get the value for NAME */
3274 res = newSVpvn(s, e - s);
3275 res = new_constant( NULL, 0, "charnames",
3276 /* includes all of: \N{...} */
3277 res, NULL, s - 3, e - s + 4 );
3279 /* Most likely res will be in utf8 already since the
3280 * standard charnames uses pack U, but a custom translator
3281 * can leave it otherwise, so make sure. XXX This can be
3282 * revisited to not have charnames use utf8 for characters
3283 * that don't need it when regexes don't have to be in utf8
3284 * for Unicode semantics. If doing so, remember EBCDIC */
3285 sv_utf8_upgrade(res);
3286 str = SvPV_const(res, len);
3288 /* Don't accept malformed input */
3289 if (! is_utf8_string((U8 *) str, len)) {
3290 yyerror("Malformed UTF-8 returned by \\N");
3292 else if (PL_lex_inpat) {
3294 if (! len) { /* The name resolved to an empty string */
3295 Copy("\\N{}", d, 4, char);
3299 /* In order to not lose information for the regex
3300 * compiler, pass the result in the specially made
3301 * syntax: \N{U+c1.c2.c3...}, where c1 etc. are
3302 * the code points in hex of each character
3303 * returned by charnames */
3305 const char *str_end = str + len;
3306 STRLEN char_length; /* cur char's byte length */
3307 STRLEN output_length; /* and the number of bytes
3308 after this is translated
3310 const STRLEN off = d - SvPVX_const(sv);
3312 /* 2 hex per byte; 2 chars for '\N'; 2 chars for
3313 * max('U+', '.'); and 1 for NUL */
3314 char hex_string[2 * UTF8_MAXBYTES + 5];
3316 /* Get the first character of the result. */
3317 U32 uv = utf8n_to_uvuni((U8 *) str,
3322 /* The call to is_utf8_string() above hopefully
3323 * guarantees that there won't be an error. But
3324 * it's easy here to make sure. The function just
3325 * above warns and returns 0 if invalid utf8, but
3326 * it can also return 0 if the input is validly a
3327 * NUL. Disambiguate */
3328 if (uv == 0 && NATIVE_TO_ASCII(*str) != '\0') {
3329 uv = UNICODE_REPLACEMENT;
3332 /* Convert first code point to hex, including the
3333 * boiler plate before it. For all these, we
3334 * convert to native format so that downstream code
3335 * can continue to assume the input is native */
3337 my_snprintf(hex_string, sizeof(hex_string),
3339 (unsigned int) UNI_TO_NATIVE(uv));
3341 /* Make sure there is enough space to hold it */
3342 d = off + SvGROW(sv, off
3344 + (STRLEN)(send - e)
3345 + 2); /* '}' + NUL */
3347 Copy(hex_string, d, output_length, char);
3350 /* For each subsequent character, append dot and
3351 * its ordinal in hex */
3352 while ((str += char_length) < str_end) {
3353 const STRLEN off = d - SvPVX_const(sv);
3354 U32 uv = utf8n_to_uvuni((U8 *) str,
3358 if (uv == 0 && NATIVE_TO_ASCII(*str) != '\0') {
3359 uv = UNICODE_REPLACEMENT;
3363 my_snprintf(hex_string, sizeof(hex_string),
3365 (unsigned int) UNI_TO_NATIVE(uv));
3367 d = off + SvGROW(sv, off
3369 + (STRLEN)(send - e)
3370 + 2); /* '}' + NUL */
3371 Copy(hex_string, d, output_length, char);
3375 *d++ = '}'; /* Done. Add the trailing brace */
3378 else { /* Here, not in a pattern. Convert the name to a
3381 /* If destination is not in utf8, unconditionally
3382 * recode it to be so. This is because \N{} implies
3383 * Unicode semantics, and scalars have to be in utf8
3384 * to guarantee those semantics */
3386 SvCUR_set(sv, d - SvPVX_const(sv));
3389 /* See Note on sizing above. */
3390 sv_utf8_upgrade_flags_grow(sv,
3391 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3392 len + (STRLEN)(send - s) + 1);
3393 d = SvPVX(sv) + SvCUR(sv);
3395 } else if (len > (STRLEN)(e - s + 4)) { /* I _guess_ 4 is \N{} --jhi */
3397 /* See Note on sizing above. (NOTE: SvCUR() is not
3398 * set correctly here). */
3399 const STRLEN off = d - SvPVX_const(sv);
3400 d = off + SvGROW(sv, off + len + (STRLEN)(send - s) + 1);
3402 Copy(str, d, len, char);
3407 /* Deprecate non-approved name syntax */
3408 if (ckWARN_d(WARN_DEPRECATED)) {
3409 bool problematic = FALSE;
3412 /* For non-ut8 input, look to see that the first
3413 * character is an alpha, then loop through the rest
3414 * checking that each is a continuation */
3416 if (! isALPHAU(*i)) problematic = TRUE;
3417 else for (i = s + 1; i < e; i++) {
3418 if (isCHARNAME_CONT(*i)) continue;
3424 /* Similarly for utf8. For invariants can check
3425 * directly. We accept anything above the latin1
3426 * range because it is immaterial to Perl if it is
3427 * correct or not, and is expensive to check. But
3428 * it is fairly easy in the latin1 range to convert
3429 * the variants into a single character and check
3431 if (UTF8_IS_INVARIANT(*i)) {
3432 if (! isALPHAU(*i)) problematic = TRUE;
3433 } else if (UTF8_IS_DOWNGRADEABLE_START(*i)) {
3434 if (! isALPHAU(UNI_TO_NATIVE(TWO_BYTE_UTF8_TO_UNI(*i,
3440 if (! problematic) for (i = s + UTF8SKIP(s);
3444 if (UTF8_IS_INVARIANT(*i)) {
3445 if (isCHARNAME_CONT(*i)) continue;
3446 } else if (! UTF8_IS_DOWNGRADEABLE_START(*i)) {
3448 } else if (isCHARNAME_CONT(
3450 TWO_BYTE_UTF8_TO_UNI(*i, *(i+1)))))
3459 /* The e-i passed to the final %.*s makes sure that
3460 * should the trailing NUL be missing that this
3461 * print won't run off the end of the string */
3462 Perl_warner(aTHX_ packWARN(WARN_DEPRECATED),
3463 "Deprecated character in \\N{...}; marked by <-- HERE in \\N{%.*s<-- HERE %.*s",
3464 (int)(i - s + 1), s, (int)(e - i), i + 1);
3467 } /* End \N{NAME} */
3470 native_range = FALSE; /* \N{} is defined to be Unicode */
3472 s = e + 1; /* Point to just after the '}' */
3475 /* \c is a control character */
3479 *d++ = grok_bslash_c(*s++, has_utf8, 1);
3482 yyerror("Missing control char name in \\c");
3486 /* printf-style backslashes, formfeeds, newlines, etc */
3488 *d++ = NATIVE_TO_NEED(has_utf8,'\b');
3491 *d++ = NATIVE_TO_NEED(has_utf8,'\n');
3494 *d++ = NATIVE_TO_NEED(has_utf8,'\r');
3497 *d++ = NATIVE_TO_NEED(has_utf8,'\f');
3500 *d++ = NATIVE_TO_NEED(has_utf8,'\t');
3503 *d++ = ASCII_TO_NEED(has_utf8,'\033');
3506 *d++ = ASCII_TO_NEED(has_utf8,'\007');
3512 } /* end if (backslash) */
3519 /* If we started with encoded form, or already know we want it,
3520 then encode the next character */
3521 if (! NATIVE_IS_INVARIANT((U8)(*s)) && (this_utf8 || has_utf8)) {
3525 /* One might think that it is wasted effort in the case of the
3526 * source being utf8 (this_utf8 == TRUE) to take the next character
3527 * in the source, convert it to an unsigned value, and then convert
3528 * it back again. But the source has not been validated here. The
3529 * routine that does the conversion checks for errors like
3532 const UV nextuv = (this_utf8) ? utf8n_to_uvchr((U8*)s, send - s, &len, 0) : (UV) ((U8) *s);
3533 const STRLEN need = UNISKIP(NATIVE_TO_UNI(nextuv));
3535 SvCUR_set(sv, d - SvPVX_const(sv));
3538 /* See Note on sizing above. */
3539 sv_utf8_upgrade_flags_grow(sv,
3540 SV_GMAGIC|SV_FORCE_UTF8_UPGRADE,
3541 need + (STRLEN)(send - s) + 1);
3542 d = SvPVX(sv) + SvCUR(sv);
3544 } else if (need > len) {
3545 /* encoded value larger than old, may need extra space (NOTE:
3546 * SvCUR() is not set correctly here). See Note on sizing
3548 const STRLEN off = d - SvPVX_const(sv);
3549 d = SvGROW(sv, off + need + (STRLEN)(send - s) + 1) + off;
3553 d = (char*)uvchr_to_utf8((U8*)d, nextuv);
3555 if (uv > 255 && !dorange)
3556 native_range = FALSE;
3560 *d++ = NATIVE_TO_NEED(has_utf8,*s++);
3562 } /* while loop to process each character */
3564 /* terminate the string and set up the sv */
3566 SvCUR_set(sv, d - SvPVX_const(sv));
3567 if (SvCUR(sv) >= SvLEN(sv))
3568 Perl_croak(aTHX_ "panic: constant overflowed allocated space, %"UVuf
3569 " >= %"UVuf, (UV)SvCUR(sv), (UV)SvLEN(sv));
3572 if (PL_encoding && !has_utf8) {
3573 sv_recode_to_utf8(sv, PL_encoding);
3579 if (PL_lex_inwhat == OP_TRANS && PL_sublex_info.sub_op) {
3580 PL_sublex_info.sub_op->op_private |=
3581 (PL_lex_repl ? OPpTRANS_FROM_UTF : OPpTRANS_TO_UTF);
3585 /* shrink the sv if we allocated more than we used */
3586 if (SvCUR(sv) + 5 < SvLEN(sv)) {
3587 SvPV_shrink_to_cur(sv);
3590 /* return the substring (via pl_yylval) only if we parsed anything */
3591 if (s > PL_bufptr) {
3592 if ( PL_hints & ( PL_lex_inpat ? HINT_NEW_RE : HINT_NEW_STRING ) ) {
3593 const char *const key = PL_lex_inpat ? "qr" : "q";
3594 const STRLEN keylen = PL_lex_inpat ? 2 : 1;
3598 if (PL_lex_inwhat == OP_TRANS) {
3601 } else if (PL_lex_inwhat == OP_SUBST && !PL_lex_inpat) {
3604 } else if (PL_lex_inpat && SvIVX(PL_linestr) == '\'') {
3612 sv = S_new_constant(aTHX_ start, s - start, key, keylen, sv, NULL,
3615 pl_yylval.opval = (OP*)newSVOP(OP_CONST, 0, sv);
3622 * Returns TRUE if there's more to the expression (e.g., a subscript),
3625 * It deals with "$foo[3]" and /$foo[3]/ and /$foo[0123456789$]+/
3627 * ->[ and ->{ return TRUE
3628 * { and [ outside a pattern are always subscripts, so return TRUE
3629 * if we're outside a pattern and it's not { or [, then return FALSE
3630 * if we're in a pattern and the first char is a {
3631 * {4,5} (any digits around the comma) returns FALSE
3632 * if we're in a pattern and the first char is a [
3634 * [SOMETHING] has a funky algorithm to decide whether it's a
3635 * character class or not. It has to deal with things like
3636 * /$foo[-3]/ and /$foo[$bar]/ as well as /$foo[$\d]+/
3637 * anything else returns TRUE
3640 /* This is the one truly awful dwimmer necessary to conflate C and sed. */
3643 S_intuit_more(pTHX_ register char *s)
3647 PERL_ARGS_ASSERT_INTUIT_MORE;
3649 if (PL_lex_brackets)
3651 if (*s == '-' && s[1] == '>' && (s[2] == '[' || s[2] == '{'))
3653 if (*s != '{' && *s != '[')
3658 /* In a pattern, so maybe we have {n,m}. */
3666 /* On the other hand, maybe we have a character class */
3669 if (*s == ']' || *s == '^')
3672 /* this is terrifying, and it works */
3673 int weight = 2; /* let's weigh the evidence */
3675 unsigned char un_char = 255, last_un_char;
3676 const char * const send = strchr(s,']');
3677 char tmpbuf[sizeof PL_tokenbuf * 4];
3679 if (!send) /* has to be an expression */
3682 Zero(seen,256,char);
3685 else if (isDIGIT(*s)) {
3687 if (isDIGIT(s[1]) && s[2] == ']')
3693 for (; s < send; s++) {
3694 last_un_char = un_char;
3695 un_char = (unsigned char)*s;
3700 weight -= seen[un_char] * 10;
3701 if (isALNUM_lazy_if(s+1,UTF)) {
3703 scan_ident(s, send, tmpbuf, sizeof tmpbuf, FALSE);
3704 len = (int)strlen(tmpbuf);
3705 if (len > 1 && gv_fetchpvn_flags(tmpbuf, len,
3706 UTF ? SVf_UTF8 : 0, SVt_PV))
3711 else if (*s == '$' && s[1] &&
3712 strchr("[#!%*<>()-=",s[1])) {
3713 if (/*{*/ strchr("])} =",s[2]))
3722 if (strchr("wds]",s[1]))
3724 else if (seen[(U8)'\''] || seen[(U8)'"'])
3726 else if (strchr("rnftbxcav",s[1]))
3728 else if (isDIGIT(s[1])) {
3730 while (s[1] && isDIGIT(s[1]))
3740 if (strchr("aA01! ",last_un_char))
3742 if (strchr("zZ79~",s[1]))
3744 if (last_un_char == 255 && (isDIGIT(s[1]) || s[1] == '$'))
3745 weight -= 5; /* cope with negative subscript */
3748 if (!isALNUM(last_un_char)
3749 && !(last_un_char == '$' || last_un_char == '@'
3750 || last_un_char == '&')
3751 && isALPHA(*s) && s[1] && isALPHA(s[1])) {
3756 if (keyword(tmpbuf, d - tmpbuf, 0))
3759 if (un_char == last_un_char + 1)
3761 weight -= seen[un_char];
3766 if (weight >= 0) /* probably a character class */
3776 * Does all the checking to disambiguate
3778 * between foo(bar) and bar->foo. Returns 0 if not a method, otherwise
3779 * FUNCMETH (bar->foo(args)) or METHOD (bar->foo args).
3781 * First argument is the stuff after the first token, e.g. "bar".
3783 * Not a method if foo is a filehandle.
3784 * Not a method if foo is a subroutine prototyped to take a filehandle.
3785 * Not a method if it's really "Foo $bar"
3786 * Method if it's "foo $bar"
3787 * Not a method if it's really "print foo $bar"
3788 * Method if it's really "foo package::" (interpreted as package->foo)
3789 * Not a method if bar is known to be a subroutine ("sub bar; foo bar")
3790 * Not a method if bar is a filehandle or package, but is quoted with
3795 S_intuit_method(pTHX_ char *start, GV *gv, CV *cv)
3798 char *s = start + (*start == '$');
3799 char tmpbuf[sizeof PL_tokenbuf];
3806 PERL_ARGS_ASSERT_INTUIT_METHOD;
3808 if (gv && SvTYPE(gv) == SVt_PVGV && GvIO(gv))
3810 if (cv && SvPOK(cv)) {
3811 const char *proto = CvPROTO(cv);
3819 s = scan_word(s, tmpbuf, sizeof tmpbuf, TRUE, &len);
3820 /* start is the beginning of the possible filehandle/object,
3821 * and s is the end of it
3822 * tmpbuf is a copy of it
3825 if (*start == '$') {
3826 if (cv || PL_last_lop_op == OP_PRINT || PL_last_lop_op == OP_SAY ||
3827 isUPPER(*PL_tokenbuf))
3830 len = start - SvPVX(PL_linestr);
3834 start = SvPVX(PL_linestr) + len;
3838 return *s == '(' ? FUNCMETH : METHOD;
3840 if (!keyword(tmpbuf, len, 0)) {
3841 if (len > 2 && tmpbuf[len - 2] == ':' && tmpbuf[len - 1] == ':') {
3845 soff = s - SvPVX(PL_linestr);
3849 indirgv = gv_fetchpvn_flags(tmpbuf, len, ( UTF ? SVf_UTF8 : 0 ), SVt_PVCV);
3850 if (indirgv && GvCVu(indirgv))
3852 /* filehandle or package name makes it a method */
3853 if (!cv || GvIO(indirgv) || gv_stashpvn(tmpbuf, len, UTF ? SVf_UTF8 : 0)) {
3855 soff = s - SvPVX(PL_linestr);
3858 if ((PL_bufend - s) >= 2 && *s == '=' && *(s+1) == '>')
3859 return 0; /* no assumptions -- "=>" quotes bareword */
3861 start_force(PL_curforce);
3862 NEXTVAL_NEXTTOKE.opval = (OP*)newSVOP(OP_CONST, 0,
3863 S_newSV_maybe_utf8(aTHX_ tmpbuf, len));
3864 NEXTVAL_NEXTTOKE.opval->op_private = OPpCONST_BARE;
3866 curmad('X', newSVpvn_flags(start,SvPVX(PL_linestr) + soff - start,
3867 ( UTF ? SVf_UTF8 : 0 )));
3872 PL_bufptr = SvPVX(PL_linestr) + soff; /* restart before space */
3874 return *s == '(' ? FUNCMETH : METHOD;
3880 /* Encoded script support. filter_add() effectively inserts a
3881 * 'pre-processing' function into the current source input stream.
3882 * Note that the filter function only applies to the current source file
3883 * (e.g., it will not affect files 'require'd or 'use'd by this one).
3885 * The datasv parameter (which may be NULL) can be used to pass
3886 * private data to this instance of the filter. The filter function
3887 * can recover the SV using the FILTER_DATA macro and use it to
3888 * store private buffers and state information.
3890 * The supplied datasv parameter is upgraded to a PVIO type
3891 * and the IoDIRP/IoANY field is used to store the function pointer,
3892 * and IOf_FAKE_DIRP is enabled on datasv to mark this as such.
3893 * Note that IoTOP_NAME, IoFMT_NAME, IoBOTTOM_NAME, if set for
3894 * private use must be set using malloc'd pointers.
3898 Perl_filter_add(pTHX_ filter_t funcp, SV *datasv)
3907 if (PL_parser->lex_flags & LEX_IGNORE_UTF8_HINTS)
3908 Perl_croak(aTHX_ "Source filters apply only to byte streams");
3910 if (!PL_rsfp_filters)
3911 PL_rsfp_filters = newAV();
3914 SvUPGRADE(datasv, SVt_PVIO);
3915 IoANY(datasv) = FPTR2DPTR(void *, funcp); /* stash funcp into spare field */
3916 IoFLAGS(datasv) |= IOf_FAKE_DIRP;
3917 DEBUG_P(PerlIO_printf(Perl_debug_log, "filter_add func %p (%s)\n",
3918 FPTR2DPTR(void *, IoANY(datasv)),
3919 SvPV_nolen(datasv)));
3920 av_unshift(PL_rsfp_filters, 1);
3921 av_store(PL_rsfp_filters, 0, datasv) ;
3923 !PL_parser->filtered
3924 && PL_parser->lex_flags & LEX_EVALBYTES
3925 && PL_bufptr < PL_bufend
3927 const char *s = PL_bufptr;
3928 while (s < PL_bufend) {
3930 SV *linestr = PL_parser->linestr;
3931 char *buf = SvPVX(linestr);
3932 STRLEN const bufptr_pos = PL_parser->bufptr - buf;
3933 STRLEN const oldbufptr_pos = PL_parser->oldbufptr - buf;
3934 STRLEN const oldoldbufptr_pos=PL_parser->oldoldbufptr-buf;
3935 STRLEN const linestart_pos = PL_parser->linestart - buf;
3936 STRLEN const last_uni_pos =
3937 PL_parser->last_uni ? PL_parser->last_uni - buf : 0;
3938 STRLEN const last_lop_pos =
3939 PL_parser->last_lop ? PL_parser->last_lop - buf : 0;
3940 av_push(PL_rsfp_filters, linestr);
3941 PL_parser->linestr =
3942 newSVpvn(SvPVX(linestr), ++s-SvPVX(linestr));
3943 buf = SvPVX(PL_parser->linestr);
3944 PL_parser->bufend = buf + SvCUR(PL_parser->linestr);
3945 PL_parser->bufptr = buf + bufptr_pos;
3946 PL_parser->oldbufptr = buf + oldbufptr_pos;
3947 PL_parser->oldoldbufptr = buf + oldoldbufptr_pos;
3948 PL_parser->linestart = buf + linestart_pos;
3949 if (PL_parser->last_uni)
3950 PL_parser->last_uni = buf + last_uni_pos;
3951 if (PL_parser->last_lop)
3952 PL_parser->last_lop = buf + last_lop_pos;
3953 SvLEN(linestr) = SvCUR(linestr);
3954 SvCUR(linestr) = s-SvPVX(linestr);
3955 PL_parser->filtered = 1;
3965 /* Delete most recently added instance of this filter function. */
3967 Perl_filter_del(pTHX_ filter_t funcp)
3972 PERL_ARGS_ASSERT_FILTER_DEL;
3975 DEBUG_P(PerlIO_printf(Perl_debug_log, "filter_del func %p",
3976 FPTR2DPTR(void*, funcp)));
3978 if (!PL_parser || !PL_rsfp_filters || AvFILLp(PL_rsfp_filters)<0)
3980 /* if filter is on top of stack (usual case) just pop it off */
3981 datasv = FILTER_DATA(AvFILLp(PL_rsfp_filters));
3982 if (IoANY(datasv) == FPTR2DPTR(void *, funcp)) {
3983 sv_free(av_pop(PL_rsfp_filters));
3987 /* we need to search for the correct entry and clear it */
3988 Perl_die(aTHX_ "filter_del can only delete in reverse order (currently)");
3992 /* Invoke the idxth filter function for the current rsfp. */
3993 /* maxlen 0 = read one text line */
3995 Perl_filter_read(pTHX_ int idx, SV *buf_sv, int maxlen)
4000 /* This API is bad. It should have been using unsigned int for maxlen.
4001 Not sure if we want to change the API, but if not we should sanity
4002 check the value here. */
4003 unsigned int correct_length
4012 PERL_ARGS_ASSERT_FILTER_READ;
4014 if (!PL_parser || !PL_rsfp_filters)
4016 if (idx > AvFILLp(PL_rsfp_filters)) { /* Any more filters? */
4017 /* Provide a default input filter to make life easy. */
4018 /* Note that we append to the line. This is handy. */
4019 DEBUG_P(PerlIO_printf(Perl_debug_log,
4020 "filter_read %d: from rsfp\n", idx));
4021 if (correct_length) {
4024 const int old_len = SvCUR(buf_sv);
4026 /* ensure buf_sv is large enough */
4027 SvGROW(buf_sv, (STRLEN)(old_len + correct_length + 1)) ;
4028 if ((len = PerlIO_read(PL_rsfp, SvPVX(buf_sv) + old_len,
4029 correct_length)) <= 0) {
4030 if (PerlIO_error(PL_rsfp))
4031 return -1; /* error */
4033 return 0 ; /* end of file */
4035 SvCUR_set(buf_sv, old_len + len) ;
4036 SvPVX(buf_sv)[old_len + len] = '\0';
4039 if (sv_gets(buf_sv, PL_rsfp, SvCUR(buf_sv)) == NULL) {
4040 if (PerlIO_error(PL_rsfp))
4041 return -1; /* error */
4043 return 0 ; /* end of file */
4046 return SvCUR(buf_sv);
4048 /* Skip this filter slot if filter has been deleted */
4049 if ( (datasv = FILTER_DATA(idx)) == &PL_sv_undef) {
4050 DEBUG_P(PerlIO_printf(Perl_debug_log,
4051 "filter_read %d: skipped (filter deleted)\n",
4053 return FILTER_READ(idx+1, buf_sv, correct_length); /* recurse */
4055 if (SvTYPE(datasv) != SVt_PVIO) {
4056 if (correct_length) {
4058 const STRLEN remainder = SvLEN(datasv) - SvCUR(datasv);
4059 if (!remainder) return 0; /* eof */
4060 if (correct_length > remainder) correct_length = remainder;
4061 sv_catpvn(buf_sv, SvEND(datasv), correct_length);
4062 SvCUR_set(datasv, SvCUR(datasv) + correct_length);
4065 const char *s = SvEND(datasv);
4066 const char *send = SvPVX(datasv) + SvLEN(datasv);
4074 if (s == send) return 0; /* eof */
4075 sv_catpvn(buf_sv, SvEND(datasv), s-SvEND(datasv));
4076 SvCUR_set(datasv, s-SvPVX(datasv));
4078 return SvCUR(buf_sv);
4080 /* Get function pointer hidden within datasv */
4081 funcp = DPTR2FPTR(filter_t, IoANY(datasv));
4082 DEBUG_P(PerlIO_printf(Perl_debug_log,
4083 "filter_read %d: via function %p (%s)\n",
4084 idx, (void*)datasv, SvPV_nolen_const(datasv)));
4085 /* Call function. The function is expected to */
4086 /* call "FILTER_READ(idx+1, buf_sv)" first. */
4087 /* Return: <0:error, =0:eof, >0:not eof */
4088 return (*funcp)(aTHX_ idx, buf_sv, correct_length);
4092 S_filter_gets(pTHX_ register SV *sv, STRLEN append)
4096 PERL_ARGS_ASSERT_FILTER_GETS;
4098 #ifdef PERL_CR_FILTER
4099 if (!PL_rsfp_filters) {
4100 filter_add(S_cr_textfilter,NULL);
4103 if (PL_rsfp_filters) {
4105 SvCUR_set(sv, 0); /* start with empty line */
4106 if (FILTER_READ(0, sv, 0) > 0)
4107 return ( SvPVX(sv) ) ;
4112 return (sv_gets(sv, PL_rsfp, append));
4116 S_find_in_my_stash(pTHX_ const char *pkgname, STRLEN len)
4121 PERL_ARGS_ASSERT_FIND_IN_MY_STASH;
4123 if (len == 11 && *pkgname == '_' && strEQ(pkgname, "__PACKAGE__"))
4127 (pkgname[len - 2] == ':' && pkgname[len - 1] == ':') &&
4128 (gv = gv_fetchpvn_flags(pkgname, len, ( UTF ? SVf_UTF8 : 0 ), SVt_PVHV)))
4130 return GvHV(gv); /* Foo:: */
4133 /* use constant CLASS => 'MyClass' */
4134 gv = gv_fetchpvn_flags(pkgname, len, UTF ? SVf_UTF8 : 0, SVt_PVCV);
4135 if (gv && GvCV(gv)) {
4136 SV * const sv = cv_const_sv(GvCV(gv));
4138 pkgname = SvPV_const(sv, len);
4141 return gv_stashpvn(pkgname, len, UTF ? SVf_UTF8 : 0);
4145 * S_readpipe_override
4146 * Check whether readpipe() is overridden, and generates the appropriate
4147 * optree, provided sublex_start() is called afterwards.
4150 S_readpipe_override(pTHX)
4153 GV *gv_readpipe = gv_fetchpvs("readpipe", GV_NOTQUAL, SVt_PVCV);
4154 pl_yylval.ival = OP_BACKTICK;
4156 && GvCVu(gv_readpipe) && GvIMPORTED_CV(gv_readpipe))
4158 ((gvp = (GV**)hv_fetchs(PL_globalstash, "readpipe", FALSE))
4159 && (gv_readpipe = *gvp) && isGV_with_GP(gv_readpipe)
4160 && GvCVu(gv_readpipe) && GvIMPORTED_CV(gv_readpipe)))
4162 PL_lex_op = (OP*)newUNOP(OP_ENTERSUB, OPf_STACKED,
4163 op_append_elem(OP_LIST,
4164 newSVOP(OP_CONST, 0, &PL_sv_undef), /* value will be read later */
4165 newCVREF(0, newGVOP(OP_GV, 0, gv_readpipe))));
4172 * The intent of this yylex wrapper is to minimize the changes to the
4173 * tokener when we aren't interested in collecting madprops. It remains
4174 * to be seen how successful this strategy will be...
4181 char *s = PL_bufptr;
4183 /* make sure PL_thiswhite is initialized */
4187 /* previous token ate up our whitespace? */
4188 if (!PL_lasttoke && PL_nextwhite) {
4189 PL_thiswhite = PL_nextwhite;
4193 /* isolate the token, and figure out where it is without whitespace */
4194 PL_realtokenstart = -1;
4198 assert(PL_curforce < 0);
4200 if (!PL_thismad || PL_thismad->mad_key == '^') { /* not forced already? */
4201 if (!PL_thistoken) {
4202 if (PL_realtokenstart < 0 || !CopLINE(PL_curcop))
4203 PL_thistoken = newSVpvs("");
4205 char * const tstart = SvPVX(PL_linestr) + PL_realtokenstart;
4206 PL_thistoken = newSVpvn(tstart, s - tstart);
4209 if (PL_thismad) /* install head */
4210 CURMAD('X', PL_thistoken);
4213 /* last whitespace of a sublex? */
4214 if (optype == ')' && PL_endwhite) {
4215 CURMAD('X', PL_endwhite);
4220 /* if no whitespace and we're at EOF, bail. Otherwise fake EOF below. */
4221 if (!PL_thiswhite && !PL_endwhite && !optype) {
4222 sv_free(PL_thistoken);
4227 /* put off final whitespace till peg */
4228 if (optype == ';' && !PL_rsfp && !PL_parser->filtered) {
4229 PL_nextwhite = PL_thiswhite;
4232 else if (PL_thisopen) {
4233 CURMAD('q', PL_thisopen);
4235 sv_free(PL_thistoken);
4239 /* Store actual token text as madprop X */
4240 CURMAD('X', PL_thistoken);
4244 /* add preceding whitespace as madprop _ */
4245 CURMAD('_', PL_thiswhite);
4249 /* add quoted material as madprop = */
4250 CURMAD('=', PL_thisstuff);
4254 /* add terminating quote as madprop Q */
4255 CURMAD('Q', PL_thisclose);
4259 /* special processing based on optype */
4263 /* opval doesn't need a TOKEN since it can already store mp */
4274 if (pl_yylval.opval)
4275 append_madprops(PL_thismad, pl_yylval.opval, 0);
4283 addmad(newMADsv('p', PL_endwhite), &PL_thismad, 0);
4292 /* remember any fake bracket that lexer is about to discard */
4293 if (PL_lex_brackets == 1 &&
4294 ((expectation)PL_lex_brackstack[0] & XFAKEBRACK))
4297 while (s < PL_bufend && (*s == ' ' || *s == '\t'))
4300 PL_thiswhite = newSVpvn(PL_bufptr, ++s - PL_bufptr);
4301 addmad(newMADsv('#', PL_thiswhite), &PL_thismad, 0);
4304 break; /* don't bother looking for trailing comment */
4313 /* attach a trailing comment to its statement instead of next token */
4317 if (PL_bufptr > PL_oldbufptr && PL_bufptr[-1] == optype) {
4319 while (s < PL_bufend && (*s == ' ' || *s == '\t'))
4321 if (*s == '\n' || *s == '#') {
4322 while (s < PL_bufend && *s != '\n')
4326 PL_thiswhite = newSVpvn(PL_bufptr, s - PL_bufptr);
4327 addmad(newMADsv('#', PL_thiswhite), &PL_thismad, 0);
4340 /* Create new token struct. Note: opvals return early above. */
4341 pl_yylval.tkval = newTOKEN(optype, pl_yylval, PL_thismad);
4348 S_tokenize_use(pTHX_ int is_use, char *s) {
4351 PERL_ARGS_ASSERT_TOKENIZE_USE;
4353 if (PL_expect != XSTATE)
4354 yyerror(Perl_form(aTHX_ "\"%s\" not allowed in expression",
4355 is_use ? "use" : "no"));
4358 if (isDIGIT(*s) || (*s == 'v' && isDIGIT(s[1]))) {
4359 s = force_version(s, TRUE);
4360 if (*s == ';' || *s == '}'
4361 || (s = SKIPSPACE1(s), (*s == ';' || *s == '}'))) {
4362 start_force(PL_curforce);
4363 NEXTVAL_NEXTTOKE.opval = NULL;
4366 else if (*s == 'v') {
4367 s = force_word(s,WORD,FALSE,TRUE,FALSE);
4368 s = force_version(s, FALSE);
4372 s = force_word(s,WORD,FALSE,TRUE,FALSE);
4373 s = force_version(s, FALSE);
4375 pl_yylval.ival = is_use;
4379 static const char* const exp_name[] =
4380 { "OPERATOR", "TERM", "REF", "STATE", "BLOCK", "ATTRBLOCK",
4381 "ATTRTERM", "TERMBLOCK", "TERMORDORDOR"
4385 #define word_takes_any_delimeter(p,l) S_word_takes_any_delimeter(p,l)
4387 S_word_takes_any_delimeter(char *p, STRLEN len)
4389 return (len == 1 && strchr("msyq", p[0])) ||
4391 (p[0] == 't' && p[1] == 'r') ||
4392 (p[0] == 'q' && strchr("qwxr", p[1]))));
4398 Works out what to call the token just pulled out of the input
4399 stream. The yacc parser takes care of taking the ops we return and
4400 stitching them into a tree.
4406 if read an identifier
4407 if we're in a my declaration
4408 croak if they tried to say my($foo::bar)
4409 build the ops for a my() declaration
4410 if it's an access to a my() variable
4411 are we in a sort block?
4412 croak if my($a); $a <=> $b
4413 build ops for access to a my() variable
4414 if in a dq string, and they've said @foo and we can't find @foo
4416 build ops for a bareword
4417 if we already built the token before, use it.
4422 #pragma segment Perl_yylex
4428 char *s = PL_bufptr;
4435 /* orig_keyword, gvp, and gv are initialized here because
4436 * jump to the label just_a_word_zero can bypass their
4437 * initialization later. */
4438 I32 orig_keyword = 0;
4443 SV* tmp = newSVpvs("");
4444 PerlIO_printf(Perl_debug_log, "### %"IVdf":LEX_%s/X%s %s\n",
4445 (IV)CopLINE(PL_curcop),
4446 lex_state_names[PL_lex_state],
4447 exp_name[PL_expect],
4448 pv_display(tmp, s, strlen(s), 0, 60));
4452 switch (PL_lex_state) {
4454 case LEX_NORMAL: /* Some compilers will produce faster */
4455 case LEX_INTERPNORMAL: /* code if we comment these out. */
4459 /* when we've already built the next token, just pull it out of the queue */
4463 pl_yylval = PL_nexttoke[PL_lasttoke].next_val;
4465 PL_thismad = PL_nexttoke[PL_lasttoke].next_mad;
4466 PL_nexttoke[PL_lasttoke].next_mad = 0;
4467 if (PL_thismad && PL_thismad->mad_key == '_') {
4468 PL_thiswhite = MUTABLE_SV(PL_thismad->mad_val);