blob: e743b1e277fcd412972bde2d70871697075ca028 [file] [log] [blame]
Neil Booth1613e522003-04-20 07:29:23 +00001/* CPP Library - charsets
Jakub Jelinek748086b2009-04-09 17:00:19 +02002 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2006, 2008, 2009
Neil Booth1613e522003-04-20 07:29:23 +00003 Free Software Foundation, Inc.
4
5 Broken out of c-lex.c Apr 2003, adding valid C99 UCN ranges.
6
7This program is free software; you can redistribute it and/or modify it
8under the terms of the GNU General Public License as published by the
Jakub Jelinek748086b2009-04-09 17:00:19 +02009Free Software Foundation; either version 3, or (at your option) any
Neil Booth1613e522003-04-20 07:29:23 +000010later version.
11
12This program is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
Jakub Jelinek748086b2009-04-09 17:00:19 +020018along with this program; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
Neil Booth1613e522003-04-20 07:29:23 +000020
21#include "config.h"
22#include "system.h"
Neil Booth1613e522003-04-20 07:29:23 +000023#include "cpplib.h"
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +000024#include "internal.h"
Neil Booth1613e522003-04-20 07:29:23 +000025
Zack Weinberge6cc3a22003-07-05 00:24:00 +000026/* Character set handling for C-family languages.
27
28 Terminological note: In what follows, "charset" or "character set"
29 will be taken to mean both an abstract set of characters and an
30 encoding for that set.
31
32 The C99 standard discusses two character sets: source and execution.
33 The source character set is used for internal processing in translation
34 phases 1 through 4; the execution character set is used thereafter.
35 Both are required by 5.2.1.2p1 to be multibyte encodings, not wide
36 character encodings (see 3.7.2, 3.7.3 for the standardese meanings
37 of these terms). Furthermore, the "basic character set" (listed in
38 5.2.1p3) is to be encoded in each with values one byte wide, and is
39 to appear in the initial shift state.
40
41 It is not explicitly mentioned, but there is also a "wide execution
42 character set" used to encode wide character constants and wide
43 string literals; this is supposed to be the result of applying the
44 standard library function mbstowcs() to an equivalent narrow string
45 (6.4.5p5). However, the behavior of hexadecimal and octal
46 \-escapes is at odds with this; they are supposed to be translated
47 directly to wchar_t values (6.4.4.4p5,6).
48
49 The source character set is not necessarily the character set used
50 to encode physical source files on disk; translation phase 1 converts
51 from whatever that encoding is to the source character set.
52
53 The presence of universal character names in C99 (6.4.3 et seq.)
54 forces the source character set to be isomorphic to ISO 10646,
55 that is, Unicode. There is no such constraint on the execution
56 character set; note also that the conversion from source to
57 execution character set does not occur for identifiers (5.1.1.2p1#5).
58
59 For convenience of implementation, the source character set's
60 encoding of the basic character set should be identical to the
61 execution character set OF THE HOST SYSTEM's encoding of the basic
62 character set, and it should not be a state-dependent encoding.
63
64 cpplib uses UTF-8 or UTF-EBCDIC for the source character set,
65 depending on whether the host is based on ASCII or EBCDIC (see
66 respectively Unicode section 2.3/ISO10646 Amendment 2, and Unicode
Zack Weinbergdea55da2003-07-11 05:49:47 +000067 Technical Report #16). With limited exceptions, it relies on the
68 system library's iconv() primitive to do charset conversion
69 (specified in SUSv2). */
Zack Weinberge6cc3a22003-07-05 00:24:00 +000070
71#if !HAVE_ICONV
72/* Make certain that the uses of iconv(), iconv_open(), iconv_close()
73 below, which are guarded only by if statements with compile-time
74 constant conditions, do not cause link errors. */
75#define iconv_open(x, y) (errno = EINVAL, (iconv_t)-1)
Zack Weinbergf1c4bc42003-07-05 16:44:29 +020076#define iconv(a,b,c,d,e) (errno = EINVAL, (size_t)-1)
Zack Weinbergdea55da2003-07-11 05:49:47 +000077#define iconv_close(x) (void)0
Andrew Pinski5beadb32003-07-07 04:46:29 +000078#define ICONV_CONST
Zack Weinberge6cc3a22003-07-05 00:24:00 +000079#endif
80
81#if HOST_CHARSET == HOST_CHARSET_ASCII
82#define SOURCE_CHARSET "UTF-8"
Zack Weinbergc5ff0692005-02-20 17:01:32 +000083#define LAST_POSSIBLY_BASIC_SOURCE_CHAR 0x7e
Zack Weinberge6cc3a22003-07-05 00:24:00 +000084#elif HOST_CHARSET == HOST_CHARSET_EBCDIC
85#define SOURCE_CHARSET "UTF-EBCDIC"
Zack Weinbergc5ff0692005-02-20 17:01:32 +000086#define LAST_POSSIBLY_BASIC_SOURCE_CHAR 0xFF
Zack Weinberge6cc3a22003-07-05 00:24:00 +000087#else
88#error "Unrecognized basic host character set"
89#endif
90
Zack Weinbergdea55da2003-07-11 05:49:47 +000091#ifndef EILSEQ
92#define EILSEQ EINVAL
93#endif
94
Zack Weinberg6b883142003-07-10 23:16:31 +000095/* This structure is used for a resizable string buffer throughout. */
Nathanael Nerodea8016862003-09-26 05:52:43 +000096/* Don't call it strbuf, as that conflicts with unistd.h on systems
Kazu Hirata0ee55ad2003-10-05 13:09:48 +000097 such as DYNIX/ptx where unistd.h includes stropts.h. */
Nathanael Nerodea8016862003-09-26 05:52:43 +000098struct _cpp_strbuf
Zack Weinberge6cc3a22003-07-05 00:24:00 +000099{
100 uchar *text;
101 size_t asize;
102 size_t len;
103};
104
105/* This is enough to hold any string that fits on a single 80-column
106 line, even if iconv quadruples its size (e.g. conversion from
Zack Weinberg6b883142003-07-10 23:16:31 +0000107 ASCII to UTF-32) rounded up to a power of two. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000108#define OUTBUF_BLOCK_SIZE 256
109
Zack Weinberg6b883142003-07-10 23:16:31 +0000110/* Conversions between UTF-8 and UTF-16/32 are implemented by custom
111 logic. This is because a depressing number of systems lack iconv,
112 or have have iconv libraries that do not do these conversions, so
113 we need a fallback implementation for them. To ensure the fallback
114 doesn't break due to neglect, it is used on all systems.
115
116 UTF-32 encoding is nice and simple: a four-byte binary number,
117 constrained to the range 00000000-7FFFFFFF to avoid questions of
118 signedness. We do have to cope with big- and little-endian
119 variants.
120
121 UTF-16 encoding uses two-byte binary numbers, again in big- and
122 little-endian variants, for all values in the 00000000-0000FFFF
123 range. Values in the 00010000-0010FFFF range are encoded as pairs
124 of two-byte numbers, called "surrogate pairs": given a number S in
125 this range, it is mapped to a pair (H, L) as follows:
126
127 H = (S - 0x10000) / 0x400 + 0xD800
128 L = (S - 0x10000) % 0x400 + 0xDC00
129
130 Two-byte values in the D800...DFFF range are ill-formed except as a
131 component of a surrogate pair. Even if the encoding within a
132 two-byte value is little-endian, the H member of the surrogate pair
133 comes first.
134
135 There is no way to encode values in the 00110000-7FFFFFFF range,
136 which is not currently a problem as there are no assigned code
137 points in that range; however, the author expects that it will
138 eventually become necessary to abandon UTF-16 due to this
139 limitation. Note also that, because of these pairs, UTF-16 does
140 not meet the requirements of the C standard for a wide character
141 encoding (see 3.7.3 and 6.4.4.4p11).
142
143 UTF-8 encoding looks like this:
144
145 value range encoded as
146 00000000-0000007F 0xxxxxxx
147 00000080-000007FF 110xxxxx 10xxxxxx
148 00000800-0000FFFF 1110xxxx 10xxxxxx 10xxxxxx
149 00010000-001FFFFF 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx
150 00200000-03FFFFFF 111110xx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx
151 04000000-7FFFFFFF 1111110x 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx
152
153 Values in the 0000D800 ... 0000DFFF range (surrogates) are invalid,
154 which means that three-byte sequences ED xx yy, with A0 <= xx <= BF,
155 never occur. Note also that any value that can be encoded by a
156 given row of the table can also be encoded by all successive rows,
157 but this is not done; only the shortest possible encoding for any
158 given value is valid. For instance, the character 07C0 could be
159 encoded as any of DF 80, E0 9F 80, F0 80 9F 80, F8 80 80 9F 80, or
160 FC 80 80 80 9F 80. Only the first is valid.
161
162 An implementation note: the transformation from UTF-16 to UTF-8, or
163 vice versa, is easiest done by using UTF-32 as an intermediary. */
164
165/* Internal primitives which go from an UTF-8 byte stream to native-endian
166 UTF-32 in a cppchar_t, or vice versa; this avoids an extra marshal/unmarshal
167 operation in several places below. */
168static inline int
169one_utf8_to_cppchar (const uchar **inbufp, size_t *inbytesleftp,
170 cppchar_t *cp)
171{
172 static const uchar masks[6] = { 0x7F, 0x1F, 0x0F, 0x07, 0x02, 0x01 };
173 static const uchar patns[6] = { 0x00, 0xC0, 0xE0, 0xF0, 0xF8, 0xFC };
Eric Christophercf551fb2004-01-16 22:37:49 +0000174
Zack Weinberg6b883142003-07-10 23:16:31 +0000175 cppchar_t c;
176 const uchar *inbuf = *inbufp;
177 size_t nbytes, i;
178
179 if (*inbytesleftp < 1)
180 return EINVAL;
181
182 c = *inbuf;
183 if (c < 0x80)
184 {
185 *cp = c;
186 *inbytesleftp -= 1;
187 *inbufp += 1;
188 return 0;
189 }
190
191 /* The number of leading 1-bits in the first byte indicates how many
192 bytes follow. */
193 for (nbytes = 2; nbytes < 7; nbytes++)
194 if ((c & ~masks[nbytes-1]) == patns[nbytes-1])
195 goto found;
196 return EILSEQ;
197 found:
198
199 if (*inbytesleftp < nbytes)
200 return EINVAL;
201
202 c = (c & masks[nbytes-1]);
203 inbuf++;
204 for (i = 1; i < nbytes; i++)
205 {
206 cppchar_t n = *inbuf++;
207 if ((n & 0xC0) != 0x80)
208 return EILSEQ;
209 c = ((c << 6) + (n & 0x3F));
210 }
211
212 /* Make sure the shortest possible encoding was used. */
213 if (c <= 0x7F && nbytes > 1) return EILSEQ;
214 if (c <= 0x7FF && nbytes > 2) return EILSEQ;
215 if (c <= 0xFFFF && nbytes > 3) return EILSEQ;
216 if (c <= 0x1FFFFF && nbytes > 4) return EILSEQ;
217 if (c <= 0x3FFFFFF && nbytes > 5) return EILSEQ;
218
219 /* Make sure the character is valid. */
220 if (c > 0x7FFFFFFF || (c >= 0xD800 && c <= 0xDFFF)) return EILSEQ;
221
222 *cp = c;
223 *inbufp = inbuf;
224 *inbytesleftp -= nbytes;
225 return 0;
226}
227
228static inline int
229one_cppchar_to_utf8 (cppchar_t c, uchar **outbufp, size_t *outbytesleftp)
230{
231 static const uchar masks[6] = { 0x00, 0xC0, 0xE0, 0xF0, 0xF8, 0xFC };
232 static const uchar limits[6] = { 0x80, 0xE0, 0xF0, 0xF8, 0xFC, 0xFE };
233 size_t nbytes;
234 uchar buf[6], *p = &buf[6];
235 uchar *outbuf = *outbufp;
236
237 nbytes = 1;
238 if (c < 0x80)
239 *--p = c;
240 else
241 {
242 do
243 {
244 *--p = ((c & 0x3F) | 0x80);
245 c >>= 6;
246 nbytes++;
247 }
248 while (c >= 0x3F || (c & limits[nbytes-1]));
249 *--p = (c | masks[nbytes-1]);
250 }
251
252 if (*outbytesleftp < nbytes)
253 return E2BIG;
254
255 while (p < &buf[6])
256 *outbuf++ = *p++;
257 *outbytesleftp -= nbytes;
258 *outbufp = outbuf;
259 return 0;
260}
261
262/* The following four functions transform one character between the two
263 encodings named in the function name. All have the signature
264 int (*)(iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
265 uchar **outbufp, size_t *outbytesleftp)
266
267 BIGEND must have the value 0 or 1, coerced to (iconv_t); it is
268 interpreted as a boolean indicating whether big-endian or
269 little-endian encoding is to be used for the member of the pair
270 that is not UTF-8.
271
272 INBUFP, INBYTESLEFTP, OUTBUFP, OUTBYTESLEFTP work exactly as they
273 do for iconv.
274
275 The return value is either 0 for success, or an errno value for
276 failure, which may be E2BIG (need more space), EILSEQ (ill-formed
277 input sequence), ir EINVAL (incomplete input sequence). */
Eric Christophercf551fb2004-01-16 22:37:49 +0000278
Zack Weinberg6b883142003-07-10 23:16:31 +0000279static inline int
280one_utf8_to_utf32 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
281 uchar **outbufp, size_t *outbytesleftp)
282{
283 uchar *outbuf;
Jan Hubickabd184962003-10-25 17:12:01 +0200284 cppchar_t s = 0;
Zack Weinberg6b883142003-07-10 23:16:31 +0000285 int rval;
286
287 /* Check for space first, since we know exactly how much we need. */
288 if (*outbytesleftp < 4)
289 return E2BIG;
290
291 rval = one_utf8_to_cppchar (inbufp, inbytesleftp, &s);
292 if (rval)
293 return rval;
294
295 outbuf = *outbufp;
296 outbuf[bigend ? 3 : 0] = (s & 0x000000FF);
297 outbuf[bigend ? 2 : 1] = (s & 0x0000FF00) >> 8;
298 outbuf[bigend ? 1 : 2] = (s & 0x00FF0000) >> 16;
299 outbuf[bigend ? 0 : 3] = (s & 0xFF000000) >> 24;
300
301 *outbufp += 4;
302 *outbytesleftp -= 4;
303 return 0;
304}
305
306static inline int
307one_utf32_to_utf8 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
308 uchar **outbufp, size_t *outbytesleftp)
309{
310 cppchar_t s;
311 int rval;
312 const uchar *inbuf;
313
314 if (*inbytesleftp < 4)
315 return EINVAL;
316
317 inbuf = *inbufp;
318
319 s = inbuf[bigend ? 0 : 3] << 24;
320 s += inbuf[bigend ? 1 : 2] << 16;
321 s += inbuf[bigend ? 2 : 1] << 8;
322 s += inbuf[bigend ? 3 : 0];
323
324 if (s >= 0x7FFFFFFF || (s >= 0xD800 && s <= 0xDFFF))
325 return EILSEQ;
326
327 rval = one_cppchar_to_utf8 (s, outbufp, outbytesleftp);
328 if (rval)
329 return rval;
330
331 *inbufp += 4;
332 *inbytesleftp -= 4;
333 return 0;
334}
335
336static inline int
337one_utf8_to_utf16 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
338 uchar **outbufp, size_t *outbytesleftp)
339{
340 int rval;
Richard Henderson671ca9e2003-10-30 08:36:27 -0800341 cppchar_t s = 0;
Zack Weinberg6b883142003-07-10 23:16:31 +0000342 const uchar *save_inbuf = *inbufp;
343 size_t save_inbytesleft = *inbytesleftp;
344 uchar *outbuf = *outbufp;
345
346 rval = one_utf8_to_cppchar (inbufp, inbytesleftp, &s);
347 if (rval)
348 return rval;
349
350 if (s > 0x0010FFFF)
351 {
352 *inbufp = save_inbuf;
353 *inbytesleftp = save_inbytesleft;
354 return EILSEQ;
355 }
356
357 if (s < 0xFFFF)
358 {
359 if (*outbytesleftp < 2)
360 {
361 *inbufp = save_inbuf;
362 *inbytesleftp = save_inbytesleft;
363 return E2BIG;
364 }
365 outbuf[bigend ? 1 : 0] = (s & 0x00FF);
366 outbuf[bigend ? 0 : 1] = (s & 0xFF00) >> 8;
367
368 *outbufp += 2;
369 *outbytesleftp -= 2;
370 return 0;
371 }
372 else
373 {
374 cppchar_t hi, lo;
375
376 if (*outbytesleftp < 4)
377 {
378 *inbufp = save_inbuf;
379 *inbytesleftp = save_inbytesleft;
380 return E2BIG;
381 }
382
383 hi = (s - 0x10000) / 0x400 + 0xD800;
384 lo = (s - 0x10000) % 0x400 + 0xDC00;
385
386 /* Even if we are little-endian, put the high surrogate first.
387 ??? Matches practice? */
388 outbuf[bigend ? 1 : 0] = (hi & 0x00FF);
389 outbuf[bigend ? 0 : 1] = (hi & 0xFF00) >> 8;
390 outbuf[bigend ? 3 : 2] = (lo & 0x00FF);
391 outbuf[bigend ? 2 : 3] = (lo & 0xFF00) >> 8;
392
393 *outbufp += 4;
394 *outbytesleftp -= 4;
395 return 0;
396 }
397}
398
399static inline int
400one_utf16_to_utf8 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
401 uchar **outbufp, size_t *outbytesleftp)
402{
403 cppchar_t s;
404 const uchar *inbuf = *inbufp;
405 int rval;
406
407 if (*inbytesleftp < 2)
408 return EINVAL;
409 s = inbuf[bigend ? 0 : 1] << 8;
410 s += inbuf[bigend ? 1 : 0];
411
412 /* Low surrogate without immediately preceding high surrogate is invalid. */
413 if (s >= 0xDC00 && s <= 0xDFFF)
414 return EILSEQ;
415 /* High surrogate must have a following low surrogate. */
416 else if (s >= 0xD800 && s <= 0xDBFF)
417 {
418 cppchar_t hi = s, lo;
419 if (*inbytesleftp < 4)
420 return EINVAL;
421
422 lo = inbuf[bigend ? 2 : 3] << 8;
423 lo += inbuf[bigend ? 3 : 2];
424
425 if (lo < 0xDC00 || lo > 0xDFFF)
426 return EILSEQ;
427
428 s = (hi - 0xD800) * 0x400 + (lo - 0xDC00) + 0x10000;
429 }
430
431 rval = one_cppchar_to_utf8 (s, outbufp, outbytesleftp);
432 if (rval)
433 return rval;
434
435 /* Success - update the input pointers (one_cppchar_to_utf8 has done
436 the output pointers for us). */
437 if (s <= 0xFFFF)
438 {
439 *inbufp += 2;
440 *inbytesleftp -= 2;
441 }
442 else
443 {
444 *inbufp += 4;
445 *inbytesleftp -= 4;
446 }
447 return 0;
448}
449
450/* Helper routine for the next few functions. The 'const' on
451 one_conversion means that we promise not to modify what function is
Kazu Hirata4ed43212003-07-12 22:49:48 +0000452 pointed to, which lets the inliner see through it. */
Zack Weinberg6b883142003-07-10 23:16:31 +0000453
454static inline bool
455conversion_loop (int (*const one_conversion)(iconv_t, const uchar **, size_t *,
456 uchar **, size_t *),
Nathanael Nerodea8016862003-09-26 05:52:43 +0000457 iconv_t cd, const uchar *from, size_t flen, struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000458{
459 const uchar *inbuf;
460 uchar *outbuf;
461 size_t inbytesleft, outbytesleft;
462 int rval;
463
464 inbuf = from;
465 inbytesleft = flen;
466 outbuf = to->text + to->len;
467 outbytesleft = to->asize - to->len;
468
469 for (;;)
470 {
471 do
472 rval = one_conversion (cd, &inbuf, &inbytesleft,
473 &outbuf, &outbytesleft);
474 while (inbytesleft && !rval);
475
476 if (__builtin_expect (inbytesleft == 0, 1))
477 {
478 to->len = to->asize - outbytesleft;
479 return true;
480 }
481 if (rval != E2BIG)
482 {
483 errno = rval;
484 return false;
485 }
486
487 outbytesleft += OUTBUF_BLOCK_SIZE;
488 to->asize += OUTBUF_BLOCK_SIZE;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000489 to->text = XRESIZEVEC (uchar, to->text, to->asize);
Zack Weinberg6b883142003-07-10 23:16:31 +0000490 outbuf = to->text + to->asize - outbytesleft;
491 }
492}
Eric Christophercf551fb2004-01-16 22:37:49 +0000493
Zack Weinberg6b883142003-07-10 23:16:31 +0000494
495/* These functions convert entire strings between character sets.
496 They all have the signature
497
Nathanael Nerodea8016862003-09-26 05:52:43 +0000498 bool (*)(iconv_t cd, const uchar *from, size_t flen, struct _cpp_strbuf *to);
Zack Weinberg6b883142003-07-10 23:16:31 +0000499
500 The input string FROM is converted as specified by the function
501 name plus the iconv descriptor CD (which may be fake), and the
502 result appended to TO. On any error, false is returned, otherwise true. */
503
504/* These four use the custom conversion code above. */
505static bool
506convert_utf8_utf16 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000507 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000508{
509 return conversion_loop (one_utf8_to_utf16, cd, from, flen, to);
510}
511
512static bool
513convert_utf8_utf32 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000514 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000515{
516 return conversion_loop (one_utf8_to_utf32, cd, from, flen, to);
517}
518
519static bool
520convert_utf16_utf8 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000521 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000522{
523 return conversion_loop (one_utf16_to_utf8, cd, from, flen, to);
524}
525
526static bool
527convert_utf32_utf8 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000528 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000529{
530 return conversion_loop (one_utf32_to_utf8, cd, from, flen, to);
531}
532
533/* Identity conversion, used when we have no alternative. */
534static bool
535convert_no_conversion (iconv_t cd ATTRIBUTE_UNUSED,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000536 const uchar *from, size_t flen, struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000537{
538 if (to->len + flen > to->asize)
539 {
540 to->asize = to->len + flen;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000541 to->text = XRESIZEVEC (uchar, to->text, to->asize);
Zack Weinberg6b883142003-07-10 23:16:31 +0000542 }
543 memcpy (to->text + to->len, from, flen);
544 to->len += flen;
545 return true;
546}
547
548/* And this one uses the system iconv primitive. It's a little
549 different, since iconv's interface is a little different. */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000550#if HAVE_ICONV
DJ Delorie675575f2007-12-11 20:38:10 -0500551
552#define CONVERT_ICONV_GROW_BUFFER \
553 do { \
554 outbytesleft += OUTBUF_BLOCK_SIZE; \
555 to->asize += OUTBUF_BLOCK_SIZE; \
556 to->text = XRESIZEVEC (uchar, to->text, to->asize); \
557 outbuf = (char *)to->text + to->asize - outbytesleft; \
558 } while (0)
559
Zack Weinberg6b883142003-07-10 23:16:31 +0000560static bool
561convert_using_iconv (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000562 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000563{
564 ICONV_CONST char *inbuf;
565 char *outbuf;
566 size_t inbytesleft, outbytesleft;
567
568 /* Reset conversion descriptor and check that it is valid. */
569 if (iconv (cd, 0, 0, 0, 0) == (size_t)-1)
570 return false;
571
572 inbuf = (ICONV_CONST char *)from;
573 inbytesleft = flen;
574 outbuf = (char *)to->text + to->len;
575 outbytesleft = to->asize - to->len;
576
577 for (;;)
578 {
579 iconv (cd, &inbuf, &inbytesleft, &outbuf, &outbytesleft);
580 if (__builtin_expect (inbytesleft == 0, 1))
581 {
DJ Delorie675575f2007-12-11 20:38:10 -0500582 /* Close out any shift states, returning to the initial state. */
583 if (iconv (cd, 0, 0, &outbuf, &outbytesleft) == (size_t)-1)
584 {
585 if (errno != E2BIG)
586 return false;
587
588 CONVERT_ICONV_GROW_BUFFER;
589 if (iconv (cd, 0, 0, &outbuf, &outbytesleft) == (size_t)-1)
590 return false;
591 }
592
Zack Weinberg6b883142003-07-10 23:16:31 +0000593 to->len = to->asize - outbytesleft;
594 return true;
595 }
596 if (errno != E2BIG)
597 return false;
598
DJ Delorie675575f2007-12-11 20:38:10 -0500599 CONVERT_ICONV_GROW_BUFFER;
Zack Weinberg6b883142003-07-10 23:16:31 +0000600 }
601}
Zack Weinbergdea55da2003-07-11 05:49:47 +0000602#else
603#define convert_using_iconv 0 /* prevent undefined symbol error below */
604#endif
Zack Weinberg6b883142003-07-10 23:16:31 +0000605
606/* Arrange for the above custom conversion logic to be used automatically
607 when conversion between a suitable pair of character sets is requested. */
608
609#define APPLY_CONVERSION(CONVERTER, FROM, FLEN, TO) \
610 CONVERTER.func (CONVERTER.cd, FROM, FLEN, TO)
611
612struct conversion
613{
614 const char *pair;
615 convert_f func;
616 iconv_t fake_cd;
617};
618static const struct conversion conversion_tab[] = {
619 { "UTF-8/UTF-32LE", convert_utf8_utf32, (iconv_t)0 },
620 { "UTF-8/UTF-32BE", convert_utf8_utf32, (iconv_t)1 },
621 { "UTF-8/UTF-16LE", convert_utf8_utf16, (iconv_t)0 },
622 { "UTF-8/UTF-16BE", convert_utf8_utf16, (iconv_t)1 },
623 { "UTF-32LE/UTF-8", convert_utf32_utf8, (iconv_t)0 },
624 { "UTF-32BE/UTF-8", convert_utf32_utf8, (iconv_t)1 },
625 { "UTF-16LE/UTF-8", convert_utf16_utf8, (iconv_t)0 },
626 { "UTF-16BE/UTF-8", convert_utf16_utf8, (iconv_t)1 },
627};
628
629/* Subroutine of cpp_init_iconv: initialize and return a
630 cset_converter structure for conversion from FROM to TO. If
631 iconv_open() fails, issue an error and return an identity
632 converter. Silently return an identity converter if FROM and TO
633 are identical. */
634static struct cset_converter
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000635init_iconv_desc (cpp_reader *pfile, const char *to, const char *from)
636{
Zack Weinberg6b883142003-07-10 23:16:31 +0000637 struct cset_converter ret;
638 char *pair;
639 size_t i;
Eric Christophercf551fb2004-01-16 22:37:49 +0000640
Zack Weinberg6b883142003-07-10 23:16:31 +0000641 if (!strcasecmp (to, from))
642 {
643 ret.func = convert_no_conversion;
644 ret.cd = (iconv_t) -1;
Kris Van Heesb6baa672008-04-18 13:58:08 +0000645 ret.width = -1;
Zack Weinberg6b883142003-07-10 23:16:31 +0000646 return ret;
647 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000648
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000649 pair = (char *) alloca(strlen(to) + strlen(from) + 2);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000650
Zack Weinberg6b883142003-07-10 23:16:31 +0000651 strcpy(pair, from);
652 strcat(pair, "/");
653 strcat(pair, to);
654 for (i = 0; i < ARRAY_SIZE (conversion_tab); i++)
655 if (!strcasecmp (pair, conversion_tab[i].pair))
656 {
657 ret.func = conversion_tab[i].func;
658 ret.cd = conversion_tab[i].fake_cd;
Kris Van Heesb6baa672008-04-18 13:58:08 +0000659 ret.width = -1;
Zack Weinberg6b883142003-07-10 23:16:31 +0000660 return ret;
661 }
662
663 /* No custom converter - try iconv. */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000664 if (HAVE_ICONV)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000665 {
Zack Weinbergdea55da2003-07-11 05:49:47 +0000666 ret.func = convert_using_iconv;
667 ret.cd = iconv_open (to, from);
Kris Van Heesb6baa672008-04-18 13:58:08 +0000668 ret.width = -1;
Zack Weinberg6b883142003-07-10 23:16:31 +0000669
Zack Weinbergdea55da2003-07-11 05:49:47 +0000670 if (ret.cd == (iconv_t) -1)
671 {
672 if (errno == EINVAL)
Eric Christophercf551fb2004-01-16 22:37:49 +0000673 cpp_error (pfile, CPP_DL_ERROR, /* FIXME should be DL_SORRY */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000674 "conversion from %s to %s not supported by iconv",
675 from, to);
676 else
John David Anglin0527bc42003-11-01 22:56:54 +0000677 cpp_errno (pfile, CPP_DL_ERROR, "iconv_open");
Zack Weinbergdea55da2003-07-11 05:49:47 +0000678
679 ret.func = convert_no_conversion;
680 }
681 }
682 else
683 {
Eric Christophercf551fb2004-01-16 22:37:49 +0000684 cpp_error (pfile, CPP_DL_ERROR, /* FIXME: should be DL_SORRY */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000685 "no iconv implementation, cannot convert from %s to %s",
686 from, to);
Zack Weinberg6b883142003-07-10 23:16:31 +0000687 ret.func = convert_no_conversion;
Zack Weinbergdea55da2003-07-11 05:49:47 +0000688 ret.cd = (iconv_t) -1;
Kris Van Heesb6baa672008-04-18 13:58:08 +0000689 ret.width = -1;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000690 }
Zack Weinberg6b883142003-07-10 23:16:31 +0000691 return ret;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000692}
693
694/* If charset conversion is requested, initialize iconv(3) descriptors
695 for conversion from the source character set to the execution
696 character sets. If iconv is not present in the C library, and
697 conversion is requested, issue an error. */
698
699void
700cpp_init_iconv (cpp_reader *pfile)
701{
702 const char *ncset = CPP_OPTION (pfile, narrow_charset);
703 const char *wcset = CPP_OPTION (pfile, wide_charset);
704 const char *default_wcset;
705
706 bool be = CPP_OPTION (pfile, bytes_big_endian);
707
708 if (CPP_OPTION (pfile, wchar_precision) >= 32)
Zack Weinberg6b883142003-07-10 23:16:31 +0000709 default_wcset = be ? "UTF-32BE" : "UTF-32LE";
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000710 else if (CPP_OPTION (pfile, wchar_precision) >= 16)
Zack Weinberg6b883142003-07-10 23:16:31 +0000711 default_wcset = be ? "UTF-16BE" : "UTF-16LE";
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000712 else
713 /* This effectively means that wide strings are not supported,
714 so don't do any conversion at all. */
715 default_wcset = SOURCE_CHARSET;
716
Zack Weinbergdea55da2003-07-11 05:49:47 +0000717 if (!ncset)
718 ncset = SOURCE_CHARSET;
719 if (!wcset)
720 wcset = default_wcset;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000721
Zack Weinbergdea55da2003-07-11 05:49:47 +0000722 pfile->narrow_cset_desc = init_iconv_desc (pfile, ncset, SOURCE_CHARSET);
Kris Van Heesb6baa672008-04-18 13:58:08 +0000723 pfile->narrow_cset_desc.width = CPP_OPTION (pfile, char_precision);
724 pfile->char16_cset_desc = init_iconv_desc (pfile,
725 be ? "UTF-16BE" : "UTF-16LE",
726 SOURCE_CHARSET);
727 pfile->char16_cset_desc.width = 16;
728 pfile->char32_cset_desc = init_iconv_desc (pfile,
729 be ? "UTF-32BE" : "UTF-32LE",
730 SOURCE_CHARSET);
731 pfile->char32_cset_desc.width = 32;
Zack Weinbergdea55da2003-07-11 05:49:47 +0000732 pfile->wide_cset_desc = init_iconv_desc (pfile, wcset, SOURCE_CHARSET);
Kris Van Heesb6baa672008-04-18 13:58:08 +0000733 pfile->wide_cset_desc.width = CPP_OPTION (pfile, wchar_precision);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000734}
735
Zack Weinberga29f62d2004-09-18 00:56:19 +0000736/* Destroy iconv(3) descriptors set up by cpp_init_iconv, if necessary. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000737void
738_cpp_destroy_iconv (cpp_reader *pfile)
739{
740 if (HAVE_ICONV)
741 {
Zack Weinberg6b883142003-07-10 23:16:31 +0000742 if (pfile->narrow_cset_desc.func == convert_using_iconv)
743 iconv_close (pfile->narrow_cset_desc.cd);
744 if (pfile->wide_cset_desc.func == convert_using_iconv)
745 iconv_close (pfile->wide_cset_desc.cd);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000746 }
747}
748
Zack Weinbergc5ff0692005-02-20 17:01:32 +0000749/* Utility routine for use by a full compiler. C is a character taken
750 from the *basic* source character set, encoded in the host's
751 execution encoding. Convert it to (the target's) execution
752 encoding, and return that value.
753
754 Issues an internal error if C's representation in the narrow
755 execution character set fails to be a single-byte value (C99
756 5.2.1p3: "The representation of each member of the source and
757 execution character sets shall fit in a byte.") May also issue an
758 internal error if C fails to be a member of the basic source
759 character set (testing this exactly is too hard, especially when
760 the host character set is EBCDIC). */
761cppchar_t
762cpp_host_to_exec_charset (cpp_reader *pfile, cppchar_t c)
763{
764 uchar sbuf[1];
765 struct _cpp_strbuf tbuf;
766
767 /* This test is merely an approximation, but it suffices to catch
768 the most important thing, which is that we don't get handed a
769 character outside the unibyte range of the host character set. */
770 if (c > LAST_POSSIBLY_BASIC_SOURCE_CHAR)
771 {
772 cpp_error (pfile, CPP_DL_ICE,
773 "character 0x%lx is not in the basic source character set\n",
774 (unsigned long)c);
775 return 0;
776 }
777
778 /* Being a character in the unibyte range of the host character set,
779 we can safely splat it into a one-byte buffer and trust that that
780 is a well-formed string. */
781 sbuf[0] = c;
782
783 /* This should never need to reallocate, but just in case... */
784 tbuf.asize = 1;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +0000785 tbuf.text = XNEWVEC (uchar, tbuf.asize);
Zack Weinbergc5ff0692005-02-20 17:01:32 +0000786 tbuf.len = 0;
787
788 if (!APPLY_CONVERSION (pfile->narrow_cset_desc, sbuf, 1, &tbuf))
789 {
790 cpp_errno (pfile, CPP_DL_ICE, "converting to execution character set");
791 return 0;
792 }
793 if (tbuf.len != 1)
794 {
795 cpp_error (pfile, CPP_DL_ICE,
796 "character 0x%lx is not unibyte in execution character set",
797 (unsigned long)c);
798 return 0;
799 }
800 c = tbuf.text[0];
801 free(tbuf.text);
802 return c;
803}
804
805
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000806
807/* Utility routine that computes a mask of the form 0000...111... with
808 WIDTH 1-bits. */
809static inline size_t
810width_to_mask (size_t width)
811{
812 width = MIN (width, BITS_PER_CPPCHAR_T);
813 if (width >= CHAR_BIT * sizeof (size_t))
814 return ~(size_t) 0;
815 else
816 return ((size_t) 1 << width) - 1;
817}
818
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000819/* A large table of unicode character information. */
820enum {
821 /* Valid in a C99 identifier? */
822 C99 = 1,
823 /* Valid in a C99 identifier, but not as the first character? */
824 DIG = 2,
825 /* Valid in a C++ identifier? */
826 CXX = 4,
827 /* NFC representation is not valid in an identifier? */
828 CID = 8,
829 /* Might be valid NFC form? */
830 NFC = 16,
831 /* Might be valid NFKC form? */
832 NKC = 32,
833 /* Certain preceding characters might make it not valid NFC/NKFC form? */
834 CTX = 64
835};
836
837static const struct {
838 /* Bitmap of flags above. */
839 unsigned char flags;
840 /* Combining class of the character. */
841 unsigned char combine;
842 /* Last character in the range described by this entry. */
843 unsigned short end;
844} ucnranges[] = {
845#include "ucnid.h"
846};
847
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000848/* Returns 1 if C is valid in an identifier, 2 if C is valid except at
849 the start of an identifier, and 0 if C is not valid in an
850 identifier. We assume C has already gone through the checks of
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000851 _cpp_valid_ucn. Also update NST for C if returning nonzero. The
852 algorithm is a simple binary search on the table defined in
853 ucnid.h. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000854
855static int
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000856ucn_valid_in_identifier (cpp_reader *pfile, cppchar_t c,
857 struct normalize_state *nst)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000858{
859 int mn, mx, md;
860
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000861 if (c > 0xFFFF)
862 return 0;
863
864 mn = 0;
865 mx = ARRAY_SIZE (ucnranges) - 1;
866 while (mx != mn)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000867 {
868 md = (mn + mx) / 2;
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000869 if (c <= ucnranges[md].end)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000870 mx = md;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000871 else
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000872 mn = md + 1;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000873 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000874
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000875 /* When -pedantic, we require the character to have been listed by
876 the standard for the current language. Otherwise, we accept the
877 union of the acceptable sets for C++98 and C99. */
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000878 if (! (ucnranges[mn].flags & (C99 | CXX)))
879 return 0;
880
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000881 if (CPP_PEDANTIC (pfile)
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000882 && ((CPP_OPTION (pfile, c99) && !(ucnranges[mn].flags & C99))
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000883 || (CPP_OPTION (pfile, cplusplus)
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000884 && !(ucnranges[mn].flags & CXX))))
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000885 return 0;
886
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000887 /* Update NST. */
888 if (ucnranges[mn].combine != 0 && ucnranges[mn].combine < nst->prev_class)
889 nst->level = normalized_none;
890 else if (ucnranges[mn].flags & CTX)
891 {
892 bool safe;
893 cppchar_t p = nst->previous;
894
895 /* Easy cases from Bengali, Oriya, Tamil, Jannada, and Malayalam. */
896 if (c == 0x09BE)
897 safe = p != 0x09C7; /* Use 09CB instead of 09C7 09BE. */
898 else if (c == 0x0B3E)
899 safe = p != 0x0B47; /* Use 0B4B instead of 0B47 0B3E. */
900 else if (c == 0x0BBE)
901 safe = p != 0x0BC6 && p != 0x0BC7; /* Use 0BCA/0BCB instead. */
902 else if (c == 0x0CC2)
903 safe = p != 0x0CC6; /* Use 0CCA instead of 0CC6 0CC2. */
904 else if (c == 0x0D3E)
905 safe = p != 0x0D46 && p != 0x0D47; /* Use 0D4A/0D4B instead. */
906 /* For Hangul, characters in the range AC00-D7A3 are NFC/NFKC,
907 and are combined algorithmically from a sequence of the form
908 1100-1112 1161-1175 11A8-11C2
909 (if the third is not present, it is treated as 11A7, which is not
910 really a valid character).
911 Unfortunately, C99 allows (only) the NFC form, but C++ allows
912 only the combining characters. */
913 else if (c >= 0x1161 && c <= 0x1175)
914 safe = p < 0x1100 || p > 0x1112;
915 else if (c >= 0x11A8 && c <= 0x11C2)
916 safe = (p < 0xAC00 || p > 0xD7A3 || (p - 0xAC00) % 28 != 0);
917 else
918 {
919 /* Uh-oh, someone updated ucnid.h without updating this code. */
920 cpp_error (pfile, CPP_DL_ICE, "Character %x might not be NFKC", c);
921 safe = true;
922 }
923 if (!safe && c < 0x1161)
924 nst->level = normalized_none;
925 else if (!safe)
926 nst->level = MAX (nst->level, normalized_identifier_C);
927 }
928 else if (ucnranges[mn].flags & NKC)
929 ;
930 else if (ucnranges[mn].flags & NFC)
931 nst->level = MAX (nst->level, normalized_C);
932 else if (ucnranges[mn].flags & CID)
933 nst->level = MAX (nst->level, normalized_identifier_C);
934 else
935 nst->level = normalized_none;
936 nst->previous = c;
937 nst->prev_class = ucnranges[mn].combine;
938
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000939 /* In C99, UCN digits may not begin identifiers. */
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000940 if (CPP_OPTION (pfile, c99) && (ucnranges[mn].flags & DIG))
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000941 return 2;
942
943 return 1;
944}
Neil Booth1613e522003-04-20 07:29:23 +0000945
946/* [lex.charset]: The character designated by the universal character
947 name \UNNNNNNNN is that character whose character short name in
948 ISO/IEC 10646 is NNNNNNNN; the character designated by the
949 universal character name \uNNNN is that character whose character
950 short name in ISO/IEC 10646 is 0000NNNN. If the hexadecimal value
951 for a universal character name is less than 0x20 or in the range
952 0x7F-0x9F (inclusive), or if the universal character name
953 designates a character in the basic source character set, then the
954 program is ill-formed.
955
956 *PSTR must be preceded by "\u" or "\U"; it is assumed that the
Geoffrey Keatingc79e6022005-03-16 00:59:31 +0000957 buffer end is delimited by a non-hex digit. Returns zero if the
958 UCN has not been consumed.
Neil Booth1613e522003-04-20 07:29:23 +0000959
Kazu Hirata6356f892003-06-12 19:01:08 +0000960 Otherwise the nonzero value of the UCN, whether valid or invalid,
Neil Booth1613e522003-04-20 07:29:23 +0000961 is returned. Diagnostics are emitted for invalid values. PSTR
962 is updated to point one beyond the UCN, or to the syntactically
963 invalid character.
964
965 IDENTIFIER_POS is 0 when not in an identifier, 1 for the start of
Zack Weinberga29f62d2004-09-18 00:56:19 +0000966 an identifier, or 2 otherwise. */
Neil Booth1613e522003-04-20 07:29:23 +0000967
968cppchar_t
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000969_cpp_valid_ucn (cpp_reader *pfile, const uchar **pstr,
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000970 const uchar *limit, int identifier_pos,
971 struct normalize_state *nst)
Neil Booth1613e522003-04-20 07:29:23 +0000972{
973 cppchar_t result, c;
974 unsigned int length;
975 const uchar *str = *pstr;
976 const uchar *base = str - 2;
977
Neil Booth1613e522003-04-20 07:29:23 +0000978 if (!CPP_OPTION (pfile, cplusplus) && !CPP_OPTION (pfile, c99))
John David Anglin0527bc42003-11-01 22:56:54 +0000979 cpp_error (pfile, CPP_DL_WARNING,
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000980 "universal character names are only valid in C++ and C99");
981 else if (CPP_WTRADITIONAL (pfile) && identifier_pos == 0)
John David Anglin0527bc42003-11-01 22:56:54 +0000982 cpp_error (pfile, CPP_DL_WARNING,
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000983 "the meaning of '\\%c' is different in traditional C",
984 (int) str[-1]);
Neil Booth1613e522003-04-20 07:29:23 +0000985
986 if (str[-1] == 'u')
987 length = 4;
988 else if (str[-1] == 'U')
989 length = 8;
990 else
Geoffrey Keating50668cf2005-03-15 00:36:33 +0000991 {
992 cpp_error (pfile, CPP_DL_ICE, "In _cpp_valid_ucn but not a UCN");
993 length = 4;
994 }
Neil Booth1613e522003-04-20 07:29:23 +0000995
996 result = 0;
997 do
998 {
999 c = *str;
1000 if (!ISXDIGIT (c))
1001 break;
1002 str++;
1003 result = (result << 4) + hex_value (c);
1004 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001005 while (--length && str < limit);
Neil Booth1613e522003-04-20 07:29:23 +00001006
Geoffrey Keatingc79e6022005-03-16 00:59:31 +00001007 /* Partial UCNs are not valid in strings, but decompose into
1008 multiple tokens in identifiers, so we can't give a helpful
1009 error message in that case. */
1010 if (length && identifier_pos)
1011 return 0;
1012
Neil Booth1613e522003-04-20 07:29:23 +00001013 *pstr = str;
1014 if (length)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001015 {
John David Anglin0527bc42003-11-01 22:56:54 +00001016 cpp_error (pfile, CPP_DL_ERROR,
1017 "incomplete universal character name %.*s",
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001018 (int) (str - base), base);
1019 result = 1;
1020 }
Neil Booth1613e522003-04-20 07:29:23 +00001021 /* The standard permits $, @ and ` to be specified as UCNs. We use
1022 hex escapes so that this also works with EBCDIC hosts. */
1023 else if ((result < 0xa0
1024 && (result != 0x24 && result != 0x40 && result != 0x60))
1025 || (result & 0x80000000)
1026 || (result >= 0xD800 && result <= 0xDFFF))
1027 {
John David Anglin0527bc42003-11-01 22:56:54 +00001028 cpp_error (pfile, CPP_DL_ERROR,
1029 "%.*s is not a valid universal character",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +02001030 (int) (str - base), base);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001031 result = 1;
Neil Booth1613e522003-04-20 07:29:23 +00001032 }
Geoffrey Keating47e20492005-03-12 10:44:06 +00001033 else if (identifier_pos && result == 0x24
1034 && CPP_OPTION (pfile, dollars_in_ident))
1035 {
1036 if (CPP_OPTION (pfile, warn_dollars) && !pfile->state.skipping)
1037 {
1038 CPP_OPTION (pfile, warn_dollars) = 0;
1039 cpp_error (pfile, CPP_DL_PEDWARN, "'$' in identifier or number");
1040 }
Geoffrey Keating50668cf2005-03-15 00:36:33 +00001041 NORMALIZE_STATE_UPDATE_IDNUM (nst);
Geoffrey Keating47e20492005-03-12 10:44:06 +00001042 }
Neil Booth1613e522003-04-20 07:29:23 +00001043 else if (identifier_pos)
1044 {
Geoffrey Keating50668cf2005-03-15 00:36:33 +00001045 int validity = ucn_valid_in_identifier (pfile, result, nst);
Neil Booth1613e522003-04-20 07:29:23 +00001046
1047 if (validity == 0)
John David Anglin0527bc42003-11-01 22:56:54 +00001048 cpp_error (pfile, CPP_DL_ERROR,
Neil Booth1613e522003-04-20 07:29:23 +00001049 "universal character %.*s is not valid in an identifier",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +02001050 (int) (str - base), base);
Neil Booth1613e522003-04-20 07:29:23 +00001051 else if (validity == 2 && identifier_pos == 1)
John David Anglin0527bc42003-11-01 22:56:54 +00001052 cpp_error (pfile, CPP_DL_ERROR,
Neil Booth1613e522003-04-20 07:29:23 +00001053 "universal character %.*s is not valid at the start of an identifier",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +02001054 (int) (str - base), base);
Neil Booth1613e522003-04-20 07:29:23 +00001055 }
1056
1057 if (result == 0)
1058 result = 1;
1059
1060 return result;
1061}
1062
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001063/* Convert an UCN, pointed to by FROM, to UTF-8 encoding, then translate
1064 it to the execution character set and write the result into TBUF.
Zack Weinberg6b883142003-07-10 23:16:31 +00001065 An advanced pointer is returned. Issues all relevant diagnostics. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001066static const uchar *
1067convert_ucn (cpp_reader *pfile, const uchar *from, const uchar *limit,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001068 struct _cpp_strbuf *tbuf, struct cset_converter cvt)
Neil Booth1613e522003-04-20 07:29:23 +00001069{
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001070 cppchar_t ucn;
Zack Weinberg6b883142003-07-10 23:16:31 +00001071 uchar buf[6];
1072 uchar *bufp = buf;
1073 size_t bytesleft = 6;
1074 int rval;
Geoffrey Keating50668cf2005-03-15 00:36:33 +00001075 struct normalize_state nst = INITIAL_NORMALIZE_STATE;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001076
Kazu Hiratae0a21ab2004-01-16 01:44:06 +00001077 from++; /* Skip u/U. */
Geoffrey Keating50668cf2005-03-15 00:36:33 +00001078 ucn = _cpp_valid_ucn (pfile, &from, limit, 0, &nst);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001079
Zack Weinberg6b883142003-07-10 23:16:31 +00001080 rval = one_cppchar_to_utf8 (ucn, &bufp, &bytesleft);
1081 if (rval)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001082 {
Zack Weinberg6b883142003-07-10 23:16:31 +00001083 errno = rval;
John David Anglin0527bc42003-11-01 22:56:54 +00001084 cpp_errno (pfile, CPP_DL_ERROR,
1085 "converting UCN to source character set");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001086 }
Zack Weinberg6b883142003-07-10 23:16:31 +00001087 else if (!APPLY_CONVERSION (cvt, buf, 6 - bytesleft, tbuf))
John David Anglin0527bc42003-11-01 22:56:54 +00001088 cpp_errno (pfile, CPP_DL_ERROR,
1089 "converting UCN to execution character set");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001090
1091 return from;
1092}
1093
Zack Weinberga29f62d2004-09-18 00:56:19 +00001094/* Subroutine of convert_hex and convert_oct. N is the representation
1095 in the execution character set of a numeric escape; write it into the
1096 string buffer TBUF and update the end-of-string pointer therein. WIDE
1097 is true if it's a wide string that's being assembled in TBUF. This
1098 function issues no diagnostics and never fails. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001099static void
1100emit_numeric_escape (cpp_reader *pfile, cppchar_t n,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001101 struct _cpp_strbuf *tbuf, struct cset_converter cvt)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001102{
Kris Van Heesb6baa672008-04-18 13:58:08 +00001103 size_t width = cvt.width;
1104
1105 if (width != CPP_OPTION (pfile, char_precision))
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001106 {
1107 /* We have to render this into the target byte order, which may not
1108 be our byte order. */
1109 bool bigend = CPP_OPTION (pfile, bytes_big_endian);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001110 size_t cwidth = CPP_OPTION (pfile, char_precision);
1111 size_t cmask = width_to_mask (cwidth);
1112 size_t nbwc = width / cwidth;
1113 size_t i;
1114 size_t off = tbuf->len;
1115 cppchar_t c;
1116
1117 if (tbuf->len + nbwc > tbuf->asize)
1118 {
1119 tbuf->asize += OUTBUF_BLOCK_SIZE;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001120 tbuf->text = XRESIZEVEC (uchar, tbuf->text, tbuf->asize);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001121 }
1122
1123 for (i = 0; i < nbwc; i++)
1124 {
1125 c = n & cmask;
1126 n >>= cwidth;
1127 tbuf->text[off + (bigend ? nbwc - i - 1 : i)] = c;
1128 }
1129 tbuf->len += nbwc;
1130 }
1131 else
1132 {
Zack Weinberga29f62d2004-09-18 00:56:19 +00001133 /* Note: this code does not handle the case where the target
1134 and host have a different number of bits in a byte. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001135 if (tbuf->len + 1 > tbuf->asize)
1136 {
1137 tbuf->asize += OUTBUF_BLOCK_SIZE;
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001138 tbuf->text = XRESIZEVEC (uchar, tbuf->text, tbuf->asize);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001139 }
1140 tbuf->text[tbuf->len++] = n;
1141 }
1142}
1143
1144/* Convert a hexadecimal escape, pointed to by FROM, to the execution
1145 character set and write it into the string buffer TBUF. Returns an
1146 advanced pointer, and issues diagnostics as necessary.
1147 No character set translation occurs; this routine always produces the
1148 execution-set character with numeric value equal to the given hex
1149 number. You can, e.g. generate surrogate pairs this way. */
1150static const uchar *
1151convert_hex (cpp_reader *pfile, const uchar *from, const uchar *limit,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001152 struct _cpp_strbuf *tbuf, struct cset_converter cvt)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001153{
1154 cppchar_t c, n = 0, overflow = 0;
1155 int digits_found = 0;
Kris Van Heesb6baa672008-04-18 13:58:08 +00001156 size_t width = cvt.width;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001157 size_t mask = width_to_mask (width);
1158
1159 if (CPP_WTRADITIONAL (pfile))
John David Anglin0527bc42003-11-01 22:56:54 +00001160 cpp_error (pfile, CPP_DL_WARNING,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001161 "the meaning of '\\x' is different in traditional C");
1162
Kazu Hiratae0a21ab2004-01-16 01:44:06 +00001163 from++; /* Skip 'x'. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001164 while (from < limit)
1165 {
1166 c = *from;
1167 if (! hex_p (c))
1168 break;
1169 from++;
1170 overflow |= n ^ (n << 4 >> 4);
1171 n = (n << 4) + hex_value (c);
1172 digits_found = 1;
1173 }
1174
1175 if (!digits_found)
1176 {
John David Anglin0527bc42003-11-01 22:56:54 +00001177 cpp_error (pfile, CPP_DL_ERROR,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001178 "\\x used with no following hex digits");
1179 return from;
1180 }
1181
1182 if (overflow | (n != (n & mask)))
1183 {
John David Anglin0527bc42003-11-01 22:56:54 +00001184 cpp_error (pfile, CPP_DL_PEDWARN,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001185 "hex escape sequence out of range");
1186 n &= mask;
1187 }
1188
Kris Van Heesb6baa672008-04-18 13:58:08 +00001189 emit_numeric_escape (pfile, n, tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001190
1191 return from;
1192}
1193
1194/* Convert an octal escape, pointed to by FROM, to the execution
1195 character set and write it into the string buffer TBUF. Returns an
1196 advanced pointer, and issues diagnostics as necessary.
1197 No character set translation occurs; this routine always produces the
1198 execution-set character with numeric value equal to the given octal
1199 number. */
1200static const uchar *
1201convert_oct (cpp_reader *pfile, const uchar *from, const uchar *limit,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001202 struct _cpp_strbuf *tbuf, struct cset_converter cvt)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001203{
1204 size_t count = 0;
1205 cppchar_t c, n = 0;
Kris Van Heesb6baa672008-04-18 13:58:08 +00001206 size_t width = cvt.width;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001207 size_t mask = width_to_mask (width);
1208 bool overflow = false;
1209
1210 while (from < limit && count++ < 3)
1211 {
1212 c = *from;
1213 if (c < '0' || c > '7')
1214 break;
1215 from++;
1216 overflow |= n ^ (n << 3 >> 3);
1217 n = (n << 3) + c - '0';
1218 }
1219
1220 if (n != (n & mask))
1221 {
John David Anglin0527bc42003-11-01 22:56:54 +00001222 cpp_error (pfile, CPP_DL_PEDWARN,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001223 "octal escape sequence out of range");
1224 n &= mask;
1225 }
1226
Kris Van Heesb6baa672008-04-18 13:58:08 +00001227 emit_numeric_escape (pfile, n, tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001228
1229 return from;
1230}
1231
1232/* Convert an escape sequence (pointed to by FROM) to its value on
1233 the target, and to the execution character set. Do not scan past
1234 LIMIT. Write the converted value into TBUF. Returns an advanced
1235 pointer. Handles all relevant diagnostics. */
1236static const uchar *
1237convert_escape (cpp_reader *pfile, const uchar *from, const uchar *limit,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001238 struct _cpp_strbuf *tbuf, struct cset_converter cvt)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001239{
1240 /* Values of \a \b \e \f \n \r \t \v respectively. */
1241#if HOST_CHARSET == HOST_CHARSET_ASCII
1242 static const uchar charconsts[] = { 7, 8, 27, 12, 10, 13, 9, 11 };
1243#elif HOST_CHARSET == HOST_CHARSET_EBCDIC
1244 static const uchar charconsts[] = { 47, 22, 39, 12, 21, 13, 5, 11 };
1245#else
1246#error "unknown host character set"
1247#endif
1248
1249 uchar c;
1250
1251 c = *from;
1252 switch (c)
1253 {
1254 /* UCNs, hex escapes, and octal escapes are processed separately. */
1255 case 'u': case 'U':
Kris Van Heesb6baa672008-04-18 13:58:08 +00001256 return convert_ucn (pfile, from, limit, tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001257
1258 case 'x':
Kris Van Heesb6baa672008-04-18 13:58:08 +00001259 return convert_hex (pfile, from, limit, tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001260 break;
1261
1262 case '0': case '1': case '2': case '3':
1263 case '4': case '5': case '6': case '7':
Kris Van Heesb6baa672008-04-18 13:58:08 +00001264 return convert_oct (pfile, from, limit, tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001265
1266 /* Various letter escapes. Get the appropriate host-charset
1267 value into C. */
1268 case '\\': case '\'': case '"': case '?': break;
1269
1270 case '(': case '{': case '[': case '%':
1271 /* '\(', etc, can be used at the beginning of a line in a long
1272 string split onto multiple lines with \-newline, to prevent
1273 Emacs or other text editors from getting confused. '\%' can
1274 be used to prevent SCCS from mangling printf format strings. */
1275 if (CPP_PEDANTIC (pfile))
1276 goto unknown;
1277 break;
1278
1279 case 'b': c = charconsts[1]; break;
1280 case 'f': c = charconsts[3]; break;
1281 case 'n': c = charconsts[4]; break;
1282 case 'r': c = charconsts[5]; break;
1283 case 't': c = charconsts[6]; break;
1284 case 'v': c = charconsts[7]; break;
1285
1286 case 'a':
1287 if (CPP_WTRADITIONAL (pfile))
John David Anglin0527bc42003-11-01 22:56:54 +00001288 cpp_error (pfile, CPP_DL_WARNING,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001289 "the meaning of '\\a' is different in traditional C");
1290 c = charconsts[0];
1291 break;
1292
1293 case 'e': case 'E':
1294 if (CPP_PEDANTIC (pfile))
John David Anglin0527bc42003-11-01 22:56:54 +00001295 cpp_error (pfile, CPP_DL_PEDWARN,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001296 "non-ISO-standard escape sequence, '\\%c'", (int) c);
1297 c = charconsts[2];
1298 break;
1299
1300 default:
1301 unknown:
1302 if (ISGRAPH (c))
John David Anglin0527bc42003-11-01 22:56:54 +00001303 cpp_error (pfile, CPP_DL_PEDWARN,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001304 "unknown escape sequence '\\%c'", (int) c);
1305 else
Joseph Myers178b58b2005-11-03 23:08:18 +00001306 {
1307 /* diagnostic.c does not support "%03o". When it does, this
1308 code can use %03o directly in the diagnostic again. */
1309 char buf[32];
1310 sprintf(buf, "%03o", (int) c);
1311 cpp_error (pfile, CPP_DL_PEDWARN,
1312 "unknown escape sequence: '\\%s'", buf);
1313 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001314 }
1315
1316 /* Now convert what we have to the execution character set. */
Zack Weinberg6b883142003-07-10 23:16:31 +00001317 if (!APPLY_CONVERSION (cvt, &c, 1, tbuf))
John David Anglin0527bc42003-11-01 22:56:54 +00001318 cpp_errno (pfile, CPP_DL_ERROR,
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001319 "converting escape sequence to execution character set");
1320
1321 return from + 1;
1322}
1323
Kris Van Heesb6baa672008-04-18 13:58:08 +00001324/* TYPE is a token type. The return value is the conversion needed to
1325 convert from source to execution character set for the given type. */
1326static struct cset_converter
1327converter_for_type (cpp_reader *pfile, enum cpp_ttype type)
1328{
1329 switch (type)
1330 {
1331 default:
1332 return pfile->narrow_cset_desc;
1333 case CPP_CHAR16:
1334 case CPP_STRING16:
1335 return pfile->char16_cset_desc;
1336 case CPP_CHAR32:
1337 case CPP_STRING32:
1338 return pfile->char32_cset_desc;
1339 case CPP_WCHAR:
1340 case CPP_WSTRING:
1341 return pfile->wide_cset_desc;
1342 }
1343}
1344
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001345/* FROM is an array of cpp_string structures of length COUNT. These
1346 are to be converted from the source to the execution character set,
1347 escape sequences translated, and finally all are to be
1348 concatenated. WIDE indicates whether or not to produce a wide
1349 string. The result is written into TO. Returns true for success,
1350 false for failure. */
1351bool
1352cpp_interpret_string (cpp_reader *pfile, const cpp_string *from, size_t count,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001353 cpp_string *to, enum cpp_ttype type)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001354{
Nathanael Nerodea8016862003-09-26 05:52:43 +00001355 struct _cpp_strbuf tbuf;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001356 const uchar *p, *base, *limit;
1357 size_t i;
Kris Van Heesb6baa672008-04-18 13:58:08 +00001358 struct cset_converter cvt = converter_for_type (pfile, type);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001359
1360 tbuf.asize = MAX (OUTBUF_BLOCK_SIZE, from->len);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001361 tbuf.text = XNEWVEC (uchar, tbuf.asize);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001362 tbuf.len = 0;
1363
1364 for (i = 0; i < count; i++)
1365 {
1366 p = from[i].text;
Kris Van Heesb6baa672008-04-18 13:58:08 +00001367 if (*p == 'L' || *p == 'u' || *p == 'U') p++;
Kazu Hiratae0a21ab2004-01-16 01:44:06 +00001368 p++; /* Skip leading quote. */
1369 limit = from[i].text + from[i].len - 1; /* Skip trailing quote. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001370
1371 for (;;)
1372 {
1373 base = p;
1374 while (p < limit && *p != '\\')
1375 p++;
1376 if (p > base)
1377 {
1378 /* We have a run of normal characters; these can be fed
1379 directly to convert_cset. */
Zack Weinberg6b883142003-07-10 23:16:31 +00001380 if (!APPLY_CONVERSION (cvt, base, p - base, &tbuf))
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001381 goto fail;
1382 }
1383 if (p == limit)
1384 break;
1385
Kris Van Heesb6baa672008-04-18 13:58:08 +00001386 p = convert_escape (pfile, p + 1, limit, &tbuf, cvt);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001387 }
1388 }
1389 /* NUL-terminate the 'to' buffer and translate it to a cpp_string
1390 structure. */
Kris Van Heesb6baa672008-04-18 13:58:08 +00001391 emit_numeric_escape (pfile, 0, &tbuf, cvt);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001392 tbuf.text = XRESIZEVEC (uchar, tbuf.text, tbuf.len);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001393 to->text = tbuf.text;
1394 to->len = tbuf.len;
1395 return true;
1396
1397 fail:
John David Anglin0527bc42003-11-01 22:56:54 +00001398 cpp_errno (pfile, CPP_DL_ERROR, "converting to execution character set");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001399 free (tbuf.text);
1400 return false;
1401}
Zack Weinberg6b883142003-07-10 23:16:31 +00001402
1403/* Subroutine of do_line and do_linemarker. Convert escape sequences
1404 in a string, but do not perform character set conversion. */
1405bool
Eric Christopher423e95e2004-02-12 02:25:03 +00001406cpp_interpret_string_notranslate (cpp_reader *pfile, const cpp_string *from,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001407 size_t count, cpp_string *to,
1408 enum cpp_ttype type ATTRIBUTE_UNUSED)
Zack Weinberg6b883142003-07-10 23:16:31 +00001409{
1410 struct cset_converter save_narrow_cset_desc = pfile->narrow_cset_desc;
1411 bool retval;
1412
1413 pfile->narrow_cset_desc.func = convert_no_conversion;
1414 pfile->narrow_cset_desc.cd = (iconv_t) -1;
H.J. Lu0b7c73c2008-06-12 17:03:41 +00001415 pfile->narrow_cset_desc.width = CPP_OPTION (pfile, char_precision);
Zack Weinberg6b883142003-07-10 23:16:31 +00001416
Kris Van Heesb6baa672008-04-18 13:58:08 +00001417 retval = cpp_interpret_string (pfile, from, count, to, CPP_STRING);
Zack Weinberg6b883142003-07-10 23:16:31 +00001418
1419 pfile->narrow_cset_desc = save_narrow_cset_desc;
1420 return retval;
1421}
1422
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001423
1424/* Subroutine of cpp_interpret_charconst which performs the conversion
1425 to a number, for narrow strings. STR is the string structure returned
1426 by cpp_interpret_string. PCHARS_SEEN and UNSIGNEDP are as for
1427 cpp_interpret_charconst. */
1428static cppchar_t
1429narrow_str_to_charconst (cpp_reader *pfile, cpp_string str,
1430 unsigned int *pchars_seen, int *unsignedp)
1431{
1432 size_t width = CPP_OPTION (pfile, char_precision);
1433 size_t max_chars = CPP_OPTION (pfile, int_precision) / width;
1434 size_t mask = width_to_mask (width);
1435 size_t i;
1436 cppchar_t result, c;
1437 bool unsigned_p;
1438
1439 /* The value of a multi-character character constant, or a
1440 single-character character constant whose representation in the
1441 execution character set is more than one byte long, is
1442 implementation defined. This implementation defines it to be the
1443 number formed by interpreting the byte sequence in memory as a
1444 big-endian binary number. If overflow occurs, the high bytes are
1445 lost, and a warning is issued.
1446
1447 We don't want to process the NUL terminator handed back by
1448 cpp_interpret_string. */
1449 result = 0;
1450 for (i = 0; i < str.len - 1; i++)
1451 {
1452 c = str.text[i] & mask;
1453 if (width < BITS_PER_CPPCHAR_T)
1454 result = (result << width) | c;
1455 else
1456 result = c;
1457 }
1458
1459 if (i > max_chars)
1460 {
1461 i = max_chars;
John David Anglin0527bc42003-11-01 22:56:54 +00001462 cpp_error (pfile, CPP_DL_WARNING,
1463 "character constant too long for its type");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001464 }
1465 else if (i > 1 && CPP_OPTION (pfile, warn_multichar))
John David Anglin0527bc42003-11-01 22:56:54 +00001466 cpp_error (pfile, CPP_DL_WARNING, "multi-character character constant");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001467
1468 /* Multichar constants are of type int and therefore signed. */
1469 if (i > 1)
1470 unsigned_p = 0;
1471 else
1472 unsigned_p = CPP_OPTION (pfile, unsigned_char);
1473
1474 /* Truncate the constant to its natural width, and simultaneously
1475 sign- or zero-extend to the full width of cppchar_t.
1476 For single-character constants, the value is WIDTH bits wide.
1477 For multi-character constants, the value is INT_PRECISION bits wide. */
1478 if (i > 1)
1479 width = CPP_OPTION (pfile, int_precision);
1480 if (width < BITS_PER_CPPCHAR_T)
1481 {
1482 mask = ((cppchar_t) 1 << width) - 1;
1483 if (unsigned_p || !(result & (1 << (width - 1))))
1484 result &= mask;
1485 else
1486 result |= ~mask;
1487 }
1488 *pchars_seen = i;
1489 *unsignedp = unsigned_p;
1490 return result;
1491}
Eric Christophercf551fb2004-01-16 22:37:49 +00001492
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001493/* Subroutine of cpp_interpret_charconst which performs the conversion
1494 to a number, for wide strings. STR is the string structure returned
1495 by cpp_interpret_string. PCHARS_SEEN and UNSIGNEDP are as for
Kris Van Heesb6baa672008-04-18 13:58:08 +00001496 cpp_interpret_charconst. TYPE is the token type. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001497static cppchar_t
1498wide_str_to_charconst (cpp_reader *pfile, cpp_string str,
Kris Van Heesb6baa672008-04-18 13:58:08 +00001499 unsigned int *pchars_seen, int *unsignedp,
1500 enum cpp_ttype type)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001501{
1502 bool bigend = CPP_OPTION (pfile, bytes_big_endian);
Kris Van Heesb6baa672008-04-18 13:58:08 +00001503 size_t width = converter_for_type (pfile, type).width;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001504 size_t cwidth = CPP_OPTION (pfile, char_precision);
1505 size_t mask = width_to_mask (width);
1506 size_t cmask = width_to_mask (cwidth);
1507 size_t nbwc = width / cwidth;
1508 size_t off, i;
1509 cppchar_t result = 0, c;
1510
1511 /* This is finicky because the string is in the target's byte order,
1512 which may not be our byte order. Only the last character, ignoring
1513 the NUL terminator, is relevant. */
1514 off = str.len - (nbwc * 2);
1515 result = 0;
1516 for (i = 0; i < nbwc; i++)
1517 {
1518 c = bigend ? str.text[off + i] : str.text[off + nbwc - i - 1];
1519 result = (result << cwidth) | (c & cmask);
1520 }
1521
1522 /* Wide character constants have type wchar_t, and a single
1523 character exactly fills a wchar_t, so a multi-character wide
1524 character constant is guaranteed to overflow. */
Kris Van Heesb6baa672008-04-18 13:58:08 +00001525 if (str.len > nbwc * 2)
John David Anglin0527bc42003-11-01 22:56:54 +00001526 cpp_error (pfile, CPP_DL_WARNING,
1527 "character constant too long for its type");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001528
1529 /* Truncate the constant to its natural width, and simultaneously
1530 sign- or zero-extend to the full width of cppchar_t. */
1531 if (width < BITS_PER_CPPCHAR_T)
1532 {
Kris Van Heesb6baa672008-04-18 13:58:08 +00001533 if (type == CPP_CHAR16 || type == CPP_CHAR32
1534 || CPP_OPTION (pfile, unsigned_wchar)
1535 || !(result & (1 << (width - 1))))
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001536 result &= mask;
1537 else
1538 result |= ~mask;
1539 }
1540
Kris Van Heesb6baa672008-04-18 13:58:08 +00001541 if (type == CPP_CHAR16 || type == CPP_CHAR32
1542 || CPP_OPTION (pfile, unsigned_wchar))
1543 *unsignedp = 1;
1544 else
1545 *unsignedp = 0;
1546
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001547 *pchars_seen = 1;
1548 return result;
1549}
1550
1551/* Interpret a (possibly wide) character constant in TOKEN.
1552 PCHARS_SEEN points to a variable that is filled in with the number
1553 of characters seen, and UNSIGNEDP to a variable that indicates
1554 whether the result has signed type. */
1555cppchar_t
1556cpp_interpret_charconst (cpp_reader *pfile, const cpp_token *token,
1557 unsigned int *pchars_seen, int *unsignedp)
1558{
1559 cpp_string str = { 0, 0 };
Kris Van Heesb6baa672008-04-18 13:58:08 +00001560 bool wide = (token->type != CPP_CHAR);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001561 cppchar_t result;
1562
Kris Van Heesb6baa672008-04-18 13:58:08 +00001563 /* an empty constant will appear as L'', u'', U'' or '' */
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001564 if (token->val.str.len == (size_t) (2 + wide))
1565 {
John David Anglin0527bc42003-11-01 22:56:54 +00001566 cpp_error (pfile, CPP_DL_ERROR, "empty character constant");
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001567 return 0;
1568 }
Kris Van Heesb6baa672008-04-18 13:58:08 +00001569 else if (!cpp_interpret_string (pfile, &token->val.str, 1, &str, token->type))
Neil Booth1613e522003-04-20 07:29:23 +00001570 return 0;
1571
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001572 if (wide)
Kris Van Heesb6baa672008-04-18 13:58:08 +00001573 result = wide_str_to_charconst (pfile, str, pchars_seen, unsignedp,
1574 token->type);
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001575 else
1576 result = narrow_str_to_charconst (pfile, str, pchars_seen, unsignedp);
Neil Booth1613e522003-04-20 07:29:23 +00001577
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001578 if (str.text != token->val.str.text)
1579 free ((void *)str.text);
Neil Booth1613e522003-04-20 07:29:23 +00001580
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001581 return result;
Neil Booth1613e522003-04-20 07:29:23 +00001582}
Geoffrey Keating47e20492005-03-12 10:44:06 +00001583
1584/* Convert an identifier denoted by ID and LEN, which might contain
1585 UCN escapes, to the source character set, either UTF-8 or
1586 UTF-EBCDIC. Assumes that the identifier is actually a valid identifier. */
1587cpp_hashnode *
1588_cpp_interpret_identifier (cpp_reader *pfile, const uchar *id, size_t len)
1589{
1590 /* It turns out that a UCN escape always turns into fewer characters
1591 than the escape itself, so we can allocate a temporary in advance. */
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001592 uchar * buf = (uchar *) alloca (len + 1);
Geoffrey Keating47e20492005-03-12 10:44:06 +00001593 uchar * bufp = buf;
1594 size_t idp;
1595
1596 for (idp = 0; idp < len; idp++)
1597 if (id[idp] != '\\')
1598 *bufp++ = id[idp];
1599 else
1600 {
1601 unsigned length = id[idp+1] == 'u' ? 4 : 8;
1602 cppchar_t value = 0;
1603 size_t bufleft = len - (bufp - buf);
1604 int rval;
Eric Christophercf551fb2004-01-16 22:37:49 +00001605
Geoffrey Keating47e20492005-03-12 10:44:06 +00001606 idp += 2;
1607 while (length && idp < len && ISXDIGIT (id[idp]))
1608 {
1609 value = (value << 4) + hex_value (id[idp]);
1610 idp++;
1611 length--;
1612 }
1613 idp--;
1614
1615 /* Special case for EBCDIC: if the identifier contains
1616 a '$' specified using a UCN, translate it to EBCDIC. */
1617 if (value == 0x24)
1618 {
1619 *bufp++ = '$';
1620 continue;
1621 }
1622
1623 rval = one_cppchar_to_utf8 (value, &bufp, &bufleft);
1624 if (rval)
1625 {
1626 errno = rval;
1627 cpp_errno (pfile, CPP_DL_ERROR,
1628 "converting UCN to source character set");
1629 break;
1630 }
1631 }
1632
1633 return CPP_HASHNODE (ht_lookup (pfile->hash_table,
1634 buf, bufp - buf, HT_ALLOC));
1635}
1636
Zack Weinberga29f62d2004-09-18 00:56:19 +00001637/* Convert an input buffer (containing the complete contents of one
1638 source file) from INPUT_CHARSET to the source character set. INPUT
1639 points to the input buffer, SIZE is its allocated size, and LEN is
1640 the length of the meaningful data within the buffer. The
Tom Tromey688e7a52008-04-21 14:02:00 +00001641 translated buffer is returned, *ST_SIZE is set to the length of
1642 the meaningful data within the translated buffer, and *BUFFER_START
1643 is set to the start of the returned buffer. *BUFFER_START may
1644 differ from the return value in the case of a BOM or other ignored
1645 marker information.
Zack Weinberga29f62d2004-09-18 00:56:19 +00001646
Tom Tromey688e7a52008-04-21 14:02:00 +00001647 INPUT is expected to have been allocated with xmalloc. This
1648 function will either set *BUFFER_START to INPUT, or free it and set
1649 *BUFFER_START to a pointer to another xmalloc-allocated block of
1650 memory. */
Zack Weinberga29f62d2004-09-18 00:56:19 +00001651uchar *
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001652_cpp_convert_input (cpp_reader *pfile, const char *input_charset,
Tom Tromey688e7a52008-04-21 14:02:00 +00001653 uchar *input, size_t size, size_t len,
1654 const unsigned char **buffer_start, off_t *st_size)
Eric Christophercf551fb2004-01-16 22:37:49 +00001655{
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001656 struct cset_converter input_cset;
1657 struct _cpp_strbuf to;
Tom Tromey688e7a52008-04-21 14:02:00 +00001658 unsigned char *buffer;
Eric Christophercf551fb2004-01-16 22:37:49 +00001659
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001660 input_cset = init_iconv_desc (pfile, SOURCE_CHARSET, input_charset);
1661 if (input_cset.func == convert_no_conversion)
1662 {
1663 to.text = input;
1664 to.asize = size;
1665 to.len = len;
1666 }
Eric Christophercf551fb2004-01-16 22:37:49 +00001667 else
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001668 {
1669 to.asize = MAX (65536, len);
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001670 to.text = XNEWVEC (uchar, to.asize);
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001671 to.len = 0;
Eric Christophercf551fb2004-01-16 22:37:49 +00001672
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001673 if (!APPLY_CONVERSION (input_cset, input, len, &to))
1674 cpp_error (pfile, CPP_DL_ERROR,
1675 "failure to convert %s to %s",
1676 CPP_OPTION (pfile, input_charset), SOURCE_CHARSET);
1677
1678 free (input);
1679 }
1680
1681 /* Clean up the mess. */
1682 if (input_cset.func == convert_using_iconv)
1683 iconv_close (input_cset.cd);
1684
1685 /* Resize buffer if we allocated substantially too much, or if we
1686 haven't enough space for the \n-terminator. */
1687 if (to.len + 4096 < to.asize || to.len >= to.asize)
Gabriel Dos Reisc3f829c2005-05-28 15:52:48 +00001688 to.text = XRESIZEVEC (uchar, to.text, to.len + 1);
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001689
Devang Patel04c90ee2005-02-19 11:48:02 -08001690 /* If the file is using old-school Mac line endings (\r only),
1691 terminate with another \r, not an \n, so that we do not mistake
1692 the \r\n sequence for a single DOS line ending and erroneously
1693 issue the "No newline at end of file" diagnostic. */
Tom Tromey30b0edc2006-12-28 18:45:48 +00001694 if (to.len && to.text[to.len - 1] == '\r')
Devang Patel04c90ee2005-02-19 11:48:02 -08001695 to.text[to.len] = '\r';
1696 else
1697 to.text[to.len] = '\n';
1698
Tom Tromey688e7a52008-04-21 14:02:00 +00001699 buffer = to.text;
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001700 *st_size = to.len;
Tom Tromey688e7a52008-04-21 14:02:00 +00001701#if HOST_CHARSET == HOST_CHARSET_ASCII
1702 /* The HOST_CHARSET test just above ensures that the source charset
1703 is UTF-8. So, ignore a UTF-8 BOM if we see one. Note that
1704 glib'c UTF-8 iconv() provider (as of glibc 2.7) does not ignore a
1705 BOM -- however, even if it did, we would still need this code due
1706 to the 'convert_no_conversion' case. */
1707 if (to.len >= 3 && to.text[0] == 0xef && to.text[1] == 0xbb
1708 && to.text[2] == 0xbf)
1709 {
1710 *st_size -= 3;
1711 buffer += 3;
1712 }
1713#endif
1714
1715 *buffer_start = to.text;
1716 return buffer;
Eric Christophercf551fb2004-01-16 22:37:49 +00001717}
1718
Zack Weinberga29f62d2004-09-18 00:56:19 +00001719/* Decide on the default encoding to assume for input files. */
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001720const char *
1721_cpp_default_encoding (void)
Eric Christophercf551fb2004-01-16 22:37:49 +00001722{
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001723 const char *current_encoding = NULL;
Eric Christophercf551fb2004-01-16 22:37:49 +00001724
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +00001725 /* We disable this because the default codeset is 7-bit ASCII on
1726 most platforms, and this causes conversion failures on every
1727 file in GCC that happens to have one of the upper 128 characters
1728 in it -- most likely, as part of the name of a contributor.
1729 We should definitely recognize in-band markers of file encoding,
1730 like:
1731 - the appropriate Unicode byte-order mark (FE FF) to recognize
1732 UTF16 and UCS4 (in both big-endian and little-endian flavors)
1733 and UTF8
Zack Weinbergc6e83802004-06-05 20:58:06 +00001734 - a "#i", "#d", "/ *", "//", " #p" or "#p" (for #pragma) to
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +00001735 distinguish ASCII and EBCDIC.
1736 - now we can parse something like "#pragma GCC encoding <xyz>
1737 on the first line, or even Emacs/VIM's mode line tags (there's
1738 a problem here in that VIM uses the last line, and Emacs has
Zack Weinberga29f62d2004-09-18 00:56:19 +00001739 its more elaborate "local variables" convention).
Paolo Bonzini4f4e53dd2004-05-24 10:50:45 +00001740 - investigate whether Java has another common convention, which
1741 would be friendly to support.
1742 (Zack Weinberg and Paolo Bonzini, May 20th 2004) */
1743#if defined (HAVE_LOCALE_H) && defined (HAVE_LANGINFO_CODESET) && 0
Eric Christopher16dd5cf2004-02-02 20:20:58 +00001744 setlocale (LC_CTYPE, "");
1745 current_encoding = nl_langinfo (CODESET);
1746#endif
1747 if (current_encoding == NULL || *current_encoding == '\0')
1748 current_encoding = SOURCE_CHARSET;
1749
1750 return current_encoding;
Eric Christophercf551fb2004-01-16 22:37:49 +00001751}