This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
grok_bin_oct_hex: Unroll loop one more iteration
[perl5.git] / dquote.c
CommitLineData
a55c5245 1/* dquote.c
04e98a4d 2 *
a55c5245
JH
3 * This file contains functions that are related to
4 * parsing double-quotish expressions.
04e98a4d 5 *
04e98a4d
AD
6*/
7
a55c5245
JH
8#include "EXTERN.h"
9#define PERL_IN_DQUOTE_C
10#include "perl.h"
ce54a8b9 11#include "dquote_inline.h"
881ffab6 12
68b355dd 13/* XXX Add documentation after final interface and behavior is decided */
f7e03a10 14/* May want to show context for error, so would pass S_grok_bslash_c(pTHX_ const char* current, const char* start, const bool output_warning)
68b355dd 15 U8 source = *current;
68b355dd
KW
16*/
17
a55c5245
JH
18char
19Perl_grok_bslash_c(pTHX_ const char source, const bool output_warning)
68b355dd
KW
20{
21
22 U8 result;
23
421e43ba 24 if (! isPRINT_A(source)) {
7357bd17
KW
25 Perl_croak(aTHX_ "%s",
26 "Character following \"\\c\" must be printable ASCII");
68b355dd 27 }
421e43ba 28 else if (source == '{') {
a27ed980
KW
29 const char control = toCTRL('{');
30 if (isPRINT_A(control)) {
31 /* diag_listed_as: Use "%s" instead of "%s" */
32 Perl_croak(aTHX_ "Use \"%c\" instead of \"\\c{\"", control);
33 }
34 else {
35 Perl_croak(aTHX_ "Sequence \"\\c{\" invalid");
36 }
421e43ba 37 }
68b355dd
KW
38
39 result = toCTRL(source);
5e784d58 40 if (output_warning && isPRINT_A(result)) {
4d8be631
KW
41 U8 clearer[3];
42 U8 i = 0;
43 if (! isWORDCHAR(result)) {
44 clearer[i++] = '\\';
45 }
46 clearer[i++] = result;
47 clearer[i++] = '\0';
68b355dd 48
d4360efa
S
49 Perl_ck_warner(aTHX_ packWARN(WARN_SYNTAX),
50 "\"\\c%c\" is more clearly written simply as \"%s\"",
51 source,
52 clearer);
68b355dd
KW
53 }
54
55 return result;
56}
57
a55c5245 58bool
e8278639
KW
59Perl_grok_bslash_o(pTHX_ char **s, const char * const send, UV *uv,
60 const char** error_msg,
80f4111b 61 const bool output_warning, const bool strict,
17896a85 62 const bool silence_non_portable,
80f4111b 63 const bool UTF)
db30362b
KW
64{
65
66/* Documentation to be supplied when interface nailed down finally
67 * This returns FALSE if there is an error which the caller need not recover
61caa4da
DM
68 * from; otherwise TRUE. In either case the caller should look at *len [???].
69 * It guarantees that the returned codepoint, *uv, when expressed as
7a4ca5b4 70 * utf8 bytes, would fit within the skipped "\o{...}" bytes.
db30362b 71 * On input:
e8278639
KW
72 * s is the address of a pointer to a string. **s is 'o', and the
73 * previous character was a backslash. At exit, *s will be advanced
74 * to the byte just after those absorbed by this function. Hence the
75 * caller can continue parsing from there. In the case of an error,
76 * this routine has generally positioned *s to point just to the right
77 * of the first bad spot, so that a message that has a "<--" to mark
78 * the spot will be correctly positioned.
79 * send - 1 gives a limit in *s that this function is not permitted to
80 * look beyond. That is, the function may look at bytes only in the
81 * range *s..send-1
db30362b
KW
82 * uv points to a UV that will hold the output value, valid only if the
83 * return from the function is TRUE
db30362b
KW
84 * error_msg is a pointer that will be set to an internal buffer giving an
85 * error message upon failure (the return is FALSE). Untouched if
86 * function succeeds
87 * output_warning says whether to output any warning messages, or suppress
88 * them
80f4111b
KW
89 * strict is true if this should fail instead of warn if there are
90 * non-octal digits within the braces
17896a85
KW
91 * silence_non_portable is true if to suppress warnings about the code
92 * point returned being too large to fit on all platforms.
80f4111b 93 * UTF is true iff the string *s is encoded in UTF-8.
db30362b 94 */
00ce5563 95 char* e;
db30362b
KW
96 STRLEN numbers_len;
97 I32 flags = PERL_SCAN_ALLOW_UNDERSCORES
98 | PERL_SCAN_DISALLOW_PREFIX
99 /* XXX Until the message is improved in grok_oct, handle errors
100 * ourselves */
101 | PERL_SCAN_SILENT_ILLDIGIT;
102
103 PERL_ARGS_ASSERT_GROK_BSLASH_O;
104
7f4ec488
KW
105 assert(*(*s - 1) == '\\');
106 assert(* *s == 'o');
00ce5563 107 (*s)++;
db30362b 108
83a1b28e 109 if (send <= *s || **s != '{') {
db30362b
KW
110 *error_msg = "Missing braces on \\o{}";
111 return FALSE;
112 }
113
e8278639 114 e = (char *) memchr(*s, '}', send - *s);
db30362b 115 if (!e) {
00ce5563 116 (*s)++; /* Move past the '{' */
b8de99ca
KW
117 while (isOCTAL(**s)) { /* Position beyond the legal digits */
118 (*s)++;
119 }
00ce5563 120 *error_msg = "Missing right brace on \\o{";
db30362b
KW
121 return FALSE;
122 }
123
00ce5563
KW
124 (*s)++; /* Point to expected first digit (could be first byte of utf8
125 sequence if not a digit) */
126 numbers_len = e - *s;
db30362b 127 if (numbers_len == 0) {
00ce5563 128 (*s)++; /* Move past the } */
ccad8842 129 *error_msg = "Empty \\o{}";
db30362b
KW
130 return FALSE;
131 }
132
17896a85
KW
133 if (silence_non_portable) {
134 flags |= PERL_SCAN_SILENT_NON_PORTABLE;
135 }
136
00ce5563 137 *uv = grok_oct(*s, &numbers_len, &flags, NULL);
db30362b
KW
138 /* Note that if has non-octal, will ignore everything starting with that up
139 * to the '}' */
140
80f4111b
KW
141 if (numbers_len != (STRLEN) (e - *s)) {
142 if (strict) {
143 *s += numbers_len;
6dd641e1 144 *s += (UTF) ? UTF8_SAFE_SKIP(*s, send) : 1;
80f4111b
KW
145 *error_msg = "Non-octal character";
146 return FALSE;
147 }
148 else if (output_warning) {
b67d718a
KW
149 Perl_ck_warner(aTHX_ packWARN(WARN_DIGIT),
150 /* diag_listed_as: Non-octal character '%c'. Resolved as "%s" */
151 "Non-octal character '%c'. Resolved as \"\\o{%.*s}\"",
152 *(*s + numbers_len),
153 (int) numbers_len,
154 *s);
80f4111b 155 }
db30362b
KW
156 }
157
00ce5563
KW
158 /* Return past the '}' */
159 *s = e + 1;
160
db30362b
KW
161 return TRUE;
162}
163
ce54a8b9 164bool
e8278639
KW
165Perl_grok_bslash_x(pTHX_ char **s, const char * const send, UV *uv,
166 const char** error_msg,
ce54a8b9
KW
167 const bool output_warning, const bool strict,
168 const bool silence_non_portable,
169 const bool UTF)
170{
5e0a247b 171
ce54a8b9
KW
172/* Documentation to be supplied when interface nailed down finally
173 * This returns FALSE if there is an error which the caller need not recover
174 * from; otherwise TRUE.
175 * It guarantees that the returned codepoint, *uv, when expressed as
176 * utf8 bytes, would fit within the skipped "\x{...}" bytes.
177 *
178 * On input:
e8278639
KW
179 * s is the address of a pointer to a string. **s is 'x', and the
180 * previous character was a backslash. At exit, *s will be advanced
181 * to the byte just after those absorbed by this function. Hence the
182 * caller can continue parsing from there. In the case of an error,
183 * this routine has generally positioned *s to point just to the right
184 * of the first bad spot, so that a message that has a "<--" to mark
185 * the spot will be correctly positioned.
186 * send - 1 gives a limit in *s that this function is not permitted to
187 * look beyond. That is, the function may look at bytes only in the
188 * range *s..send-1
ce54a8b9
KW
189 * uv points to a UV that will hold the output value, valid only if the
190 * return from the function is TRUE
191 * error_msg is a pointer that will be set to an internal buffer giving an
192 * error message upon failure (the return is FALSE). Untouched if
193 * function succeeds
194 * output_warning says whether to output any warning messages, or suppress
195 * them
196 * strict is true if anything out of the ordinary should cause this to
197 * fail instead of warn or be silent. For example, it requires
198 * exactly 2 digits following the \x (when there are no braces).
199 * 3 digits could be a mistake, so is forbidden in this mode.
200 * silence_non_portable is true if to suppress warnings about the code
201 * point returned being too large to fit on all platforms.
202 * UTF is true iff the string *s is encoded in UTF-8.
203 */
204 char* e;
205 STRLEN numbers_len;
206 I32 flags = PERL_SCAN_DISALLOW_PREFIX;
7f4ec488 207
5e0a247b 208
ce54a8b9 209 PERL_ARGS_ASSERT_GROK_BSLASH_X;
5e0a247b 210
7f4ec488
KW
211 assert(*(*s - 1) == '\\');
212 assert(* *s == 'x');
0b97d156 213
ce54a8b9 214 (*s)++;
5e0a247b 215
0b97d156
KW
216 if (send <= *s) {
217 if (strict) {
218 *error_msg = "Empty \\x";
219 return FALSE;
220 }
221
222 /* Sadly, to preserve backcompat, an empty \x at the end of string is
223 * interpreted as a NUL */
224 *uv = 0;
225 return TRUE;
226 }
227
ce54a8b9
KW
228 if (strict || ! output_warning) {
229 flags |= PERL_SCAN_SILENT_ILLDIGIT;
5e0a247b
KW
230 }
231
ce54a8b9
KW
232 if (**s != '{') {
233 STRLEN len = (strict) ? 3 : 2;
234
235 *uv = grok_hex(*s, &len, &flags, NULL);
236 *s += len;
237 if (strict && len != 2) {
238 if (len < 2) {
6dd641e1 239 *s += (UTF) ? UTF8_SAFE_SKIP(*s, send) : 1;
ce54a8b9
KW
240 *error_msg = "Non-hex character";
241 }
242 else {
243 *error_msg = "Use \\x{...} for more than two hex characters";
244 }
245 return FALSE;
246 }
247 return TRUE;
248 }
249
e8278639 250 e = (char *) memchr(*s, '}', send - *s);
ce54a8b9
KW
251 if (!e) {
252 (*s)++; /* Move past the '{' */
253 while (isXDIGIT(**s)) { /* Position beyond the legal digits */
254 (*s)++;
255 }
256 /* XXX The corresponding message above for \o is just '\\o{'; other
257 * messages for other constructs include the '}', so are inconsistent.
258 */
259 *error_msg = "Missing right brace on \\x{}";
260 return FALSE;
261 }
262
263 (*s)++; /* Point to expected first digit (could be first byte of utf8
264 sequence if not a digit) */
265 numbers_len = e - *s;
266 if (numbers_len == 0) {
267 if (strict) {
268 (*s)++; /* Move past the } */
e750debb 269 *error_msg = "Empty \\x{}";
ce54a8b9
KW
270 return FALSE;
271 }
272 *s = e + 1;
273 *uv = 0;
274 return TRUE;
275 }
276
277 flags |= PERL_SCAN_ALLOW_UNDERSCORES;
278 if (silence_non_portable) {
279 flags |= PERL_SCAN_SILENT_NON_PORTABLE;
280 }
281
282 *uv = grok_hex(*s, &numbers_len, &flags, NULL);
283 /* Note that if has non-hex, will ignore everything starting with that up
284 * to the '}' */
285
286 if (strict && numbers_len != (STRLEN) (e - *s)) {
287 *s += numbers_len;
6dd641e1 288 *s += (UTF) ? UTF8_SAFE_SKIP(*s, send) : 1;
ce54a8b9
KW
289 *error_msg = "Non-hex character";
290 return FALSE;
291 }
292
293 /* Return past the '}' */
294 *s = e + 1;
295
296 return TRUE;
5e0a247b
KW
297}
298
04e98a4d 299/*
14d04a33 300 * ex: set ts=8 sts=4 sw=4 et:
04e98a4d 301 */