blob: a9424086031860f4be19dd48a8ddd9fa6602d21f [file] [log] [blame]
Neil Booth1613e522003-04-20 07:29:23 +00001/* CPP Library - charsets
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003
3 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
9Free Software Foundation; either version 2, or (at your option) any
10later 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
18along with this program; if not, write to the Free Software
19Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
20
21#include "config.h"
22#include "system.h"
Neil Booth1613e522003-04-20 07:29:23 +000023#include "cpplib.h"
24#include "cpphash.h"
Zack Weinberge6cc3a22003-07-05 00:24:00 +000025#include "cppucnid.h"
Neil Booth1613e522003-04-20 07:29:23 +000026
Zack Weinberge6cc3a22003-07-05 00:24:00 +000027/* Character set handling for C-family languages.
28
29 Terminological note: In what follows, "charset" or "character set"
30 will be taken to mean both an abstract set of characters and an
31 encoding for that set.
32
33 The C99 standard discusses two character sets: source and execution.
34 The source character set is used for internal processing in translation
35 phases 1 through 4; the execution character set is used thereafter.
36 Both are required by 5.2.1.2p1 to be multibyte encodings, not wide
37 character encodings (see 3.7.2, 3.7.3 for the standardese meanings
38 of these terms). Furthermore, the "basic character set" (listed in
39 5.2.1p3) is to be encoded in each with values one byte wide, and is
40 to appear in the initial shift state.
41
42 It is not explicitly mentioned, but there is also a "wide execution
43 character set" used to encode wide character constants and wide
44 string literals; this is supposed to be the result of applying the
45 standard library function mbstowcs() to an equivalent narrow string
46 (6.4.5p5). However, the behavior of hexadecimal and octal
47 \-escapes is at odds with this; they are supposed to be translated
48 directly to wchar_t values (6.4.4.4p5,6).
49
50 The source character set is not necessarily the character set used
51 to encode physical source files on disk; translation phase 1 converts
52 from whatever that encoding is to the source character set.
53
54 The presence of universal character names in C99 (6.4.3 et seq.)
55 forces the source character set to be isomorphic to ISO 10646,
56 that is, Unicode. There is no such constraint on the execution
57 character set; note also that the conversion from source to
58 execution character set does not occur for identifiers (5.1.1.2p1#5).
59
60 For convenience of implementation, the source character set's
61 encoding of the basic character set should be identical to the
62 execution character set OF THE HOST SYSTEM's encoding of the basic
63 character set, and it should not be a state-dependent encoding.
64
65 cpplib uses UTF-8 or UTF-EBCDIC for the source character set,
66 depending on whether the host is based on ASCII or EBCDIC (see
67 respectively Unicode section 2.3/ISO10646 Amendment 2, and Unicode
Zack Weinbergdea55da2003-07-11 05:49:47 +000068 Technical Report #16). With limited exceptions, it relies on the
69 system library's iconv() primitive to do charset conversion
70 (specified in SUSv2). */
Zack Weinberge6cc3a22003-07-05 00:24:00 +000071
72#if !HAVE_ICONV
73/* Make certain that the uses of iconv(), iconv_open(), iconv_close()
74 below, which are guarded only by if statements with compile-time
75 constant conditions, do not cause link errors. */
76#define iconv_open(x, y) (errno = EINVAL, (iconv_t)-1)
Zack Weinbergf1c4bc42003-07-05 16:44:29 +020077#define iconv(a,b,c,d,e) (errno = EINVAL, (size_t)-1)
Zack Weinbergdea55da2003-07-11 05:49:47 +000078#define iconv_close(x) (void)0
Andrew Pinski5beadb32003-07-07 04:46:29 +000079#define ICONV_CONST
Zack Weinberge6cc3a22003-07-05 00:24:00 +000080#endif
81
82#if HOST_CHARSET == HOST_CHARSET_ASCII
83#define SOURCE_CHARSET "UTF-8"
84#elif HOST_CHARSET == HOST_CHARSET_EBCDIC
85#define SOURCE_CHARSET "UTF-EBCDIC"
86#else
87#error "Unrecognized basic host character set"
88#endif
89
Zack Weinbergdea55da2003-07-11 05:49:47 +000090#ifndef EILSEQ
91#define EILSEQ EINVAL
92#endif
93
Zack Weinberg6b883142003-07-10 23:16:31 +000094/* This structure is used for a resizable string buffer throughout. */
Nathanael Nerodea8016862003-09-26 05:52:43 +000095/* Don't call it strbuf, as that conflicts with unistd.h on systems
96 such as DYNIX/ptx where unistd.h includes stropts.h. */
97struct _cpp_strbuf
Zack Weinberge6cc3a22003-07-05 00:24:00 +000098{
99 uchar *text;
100 size_t asize;
101 size_t len;
102};
103
104/* This is enough to hold any string that fits on a single 80-column
105 line, even if iconv quadruples its size (e.g. conversion from
Zack Weinberg6b883142003-07-10 23:16:31 +0000106 ASCII to UTF-32) rounded up to a power of two. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000107#define OUTBUF_BLOCK_SIZE 256
108
Zack Weinberg6b883142003-07-10 23:16:31 +0000109/* Conversions between UTF-8 and UTF-16/32 are implemented by custom
110 logic. This is because a depressing number of systems lack iconv,
111 or have have iconv libraries that do not do these conversions, so
112 we need a fallback implementation for them. To ensure the fallback
113 doesn't break due to neglect, it is used on all systems.
114
115 UTF-32 encoding is nice and simple: a four-byte binary number,
116 constrained to the range 00000000-7FFFFFFF to avoid questions of
117 signedness. We do have to cope with big- and little-endian
118 variants.
119
120 UTF-16 encoding uses two-byte binary numbers, again in big- and
121 little-endian variants, for all values in the 00000000-0000FFFF
122 range. Values in the 00010000-0010FFFF range are encoded as pairs
123 of two-byte numbers, called "surrogate pairs": given a number S in
124 this range, it is mapped to a pair (H, L) as follows:
125
126 H = (S - 0x10000) / 0x400 + 0xD800
127 L = (S - 0x10000) % 0x400 + 0xDC00
128
129 Two-byte values in the D800...DFFF range are ill-formed except as a
130 component of a surrogate pair. Even if the encoding within a
131 two-byte value is little-endian, the H member of the surrogate pair
132 comes first.
133
134 There is no way to encode values in the 00110000-7FFFFFFF range,
135 which is not currently a problem as there are no assigned code
136 points in that range; however, the author expects that it will
137 eventually become necessary to abandon UTF-16 due to this
138 limitation. Note also that, because of these pairs, UTF-16 does
139 not meet the requirements of the C standard for a wide character
140 encoding (see 3.7.3 and 6.4.4.4p11).
141
142 UTF-8 encoding looks like this:
143
144 value range encoded as
145 00000000-0000007F 0xxxxxxx
146 00000080-000007FF 110xxxxx 10xxxxxx
147 00000800-0000FFFF 1110xxxx 10xxxxxx 10xxxxxx
148 00010000-001FFFFF 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx
149 00200000-03FFFFFF 111110xx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx
150 04000000-7FFFFFFF 1111110x 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx 10xxxxxx
151
152 Values in the 0000D800 ... 0000DFFF range (surrogates) are invalid,
153 which means that three-byte sequences ED xx yy, with A0 <= xx <= BF,
154 never occur. Note also that any value that can be encoded by a
155 given row of the table can also be encoded by all successive rows,
156 but this is not done; only the shortest possible encoding for any
157 given value is valid. For instance, the character 07C0 could be
158 encoded as any of DF 80, E0 9F 80, F0 80 9F 80, F8 80 80 9F 80, or
159 FC 80 80 80 9F 80. Only the first is valid.
160
161 An implementation note: the transformation from UTF-16 to UTF-8, or
162 vice versa, is easiest done by using UTF-32 as an intermediary. */
163
164/* Internal primitives which go from an UTF-8 byte stream to native-endian
165 UTF-32 in a cppchar_t, or vice versa; this avoids an extra marshal/unmarshal
166 operation in several places below. */
167static inline int
168one_utf8_to_cppchar (const uchar **inbufp, size_t *inbytesleftp,
169 cppchar_t *cp)
170{
171 static const uchar masks[6] = { 0x7F, 0x1F, 0x0F, 0x07, 0x02, 0x01 };
172 static const uchar patns[6] = { 0x00, 0xC0, 0xE0, 0xF0, 0xF8, 0xFC };
173
174 cppchar_t c;
175 const uchar *inbuf = *inbufp;
176 size_t nbytes, i;
177
178 if (*inbytesleftp < 1)
179 return EINVAL;
180
181 c = *inbuf;
182 if (c < 0x80)
183 {
184 *cp = c;
185 *inbytesleftp -= 1;
186 *inbufp += 1;
187 return 0;
188 }
189
190 /* The number of leading 1-bits in the first byte indicates how many
191 bytes follow. */
192 for (nbytes = 2; nbytes < 7; nbytes++)
193 if ((c & ~masks[nbytes-1]) == patns[nbytes-1])
194 goto found;
195 return EILSEQ;
196 found:
197
198 if (*inbytesleftp < nbytes)
199 return EINVAL;
200
201 c = (c & masks[nbytes-1]);
202 inbuf++;
203 for (i = 1; i < nbytes; i++)
204 {
205 cppchar_t n = *inbuf++;
206 if ((n & 0xC0) != 0x80)
207 return EILSEQ;
208 c = ((c << 6) + (n & 0x3F));
209 }
210
211 /* Make sure the shortest possible encoding was used. */
212 if (c <= 0x7F && nbytes > 1) return EILSEQ;
213 if (c <= 0x7FF && nbytes > 2) return EILSEQ;
214 if (c <= 0xFFFF && nbytes > 3) return EILSEQ;
215 if (c <= 0x1FFFFF && nbytes > 4) return EILSEQ;
216 if (c <= 0x3FFFFFF && nbytes > 5) return EILSEQ;
217
218 /* Make sure the character is valid. */
219 if (c > 0x7FFFFFFF || (c >= 0xD800 && c <= 0xDFFF)) return EILSEQ;
220
221 *cp = c;
222 *inbufp = inbuf;
223 *inbytesleftp -= nbytes;
224 return 0;
225}
226
227static inline int
228one_cppchar_to_utf8 (cppchar_t c, uchar **outbufp, size_t *outbytesleftp)
229{
230 static const uchar masks[6] = { 0x00, 0xC0, 0xE0, 0xF0, 0xF8, 0xFC };
231 static const uchar limits[6] = { 0x80, 0xE0, 0xF0, 0xF8, 0xFC, 0xFE };
232 size_t nbytes;
233 uchar buf[6], *p = &buf[6];
234 uchar *outbuf = *outbufp;
235
236 nbytes = 1;
237 if (c < 0x80)
238 *--p = c;
239 else
240 {
241 do
242 {
243 *--p = ((c & 0x3F) | 0x80);
244 c >>= 6;
245 nbytes++;
246 }
247 while (c >= 0x3F || (c & limits[nbytes-1]));
248 *--p = (c | masks[nbytes-1]);
249 }
250
251 if (*outbytesleftp < nbytes)
252 return E2BIG;
253
254 while (p < &buf[6])
255 *outbuf++ = *p++;
256 *outbytesleftp -= nbytes;
257 *outbufp = outbuf;
258 return 0;
259}
260
261/* The following four functions transform one character between the two
262 encodings named in the function name. All have the signature
263 int (*)(iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
264 uchar **outbufp, size_t *outbytesleftp)
265
266 BIGEND must have the value 0 or 1, coerced to (iconv_t); it is
267 interpreted as a boolean indicating whether big-endian or
268 little-endian encoding is to be used for the member of the pair
269 that is not UTF-8.
270
271 INBUFP, INBYTESLEFTP, OUTBUFP, OUTBYTESLEFTP work exactly as they
272 do for iconv.
273
274 The return value is either 0 for success, or an errno value for
275 failure, which may be E2BIG (need more space), EILSEQ (ill-formed
276 input sequence), ir EINVAL (incomplete input sequence). */
277
278static inline int
279one_utf8_to_utf32 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
280 uchar **outbufp, size_t *outbytesleftp)
281{
282 uchar *outbuf;
283 cppchar_t s;
284 int rval;
285
286 /* Check for space first, since we know exactly how much we need. */
287 if (*outbytesleftp < 4)
288 return E2BIG;
289
290 rval = one_utf8_to_cppchar (inbufp, inbytesleftp, &s);
291 if (rval)
292 return rval;
293
294 outbuf = *outbufp;
295 outbuf[bigend ? 3 : 0] = (s & 0x000000FF);
296 outbuf[bigend ? 2 : 1] = (s & 0x0000FF00) >> 8;
297 outbuf[bigend ? 1 : 2] = (s & 0x00FF0000) >> 16;
298 outbuf[bigend ? 0 : 3] = (s & 0xFF000000) >> 24;
299
300 *outbufp += 4;
301 *outbytesleftp -= 4;
302 return 0;
303}
304
305static inline int
306one_utf32_to_utf8 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
307 uchar **outbufp, size_t *outbytesleftp)
308{
309 cppchar_t s;
310 int rval;
311 const uchar *inbuf;
312
313 if (*inbytesleftp < 4)
314 return EINVAL;
315
316 inbuf = *inbufp;
317
318 s = inbuf[bigend ? 0 : 3] << 24;
319 s += inbuf[bigend ? 1 : 2] << 16;
320 s += inbuf[bigend ? 2 : 1] << 8;
321 s += inbuf[bigend ? 3 : 0];
322
323 if (s >= 0x7FFFFFFF || (s >= 0xD800 && s <= 0xDFFF))
324 return EILSEQ;
325
326 rval = one_cppchar_to_utf8 (s, outbufp, outbytesleftp);
327 if (rval)
328 return rval;
329
330 *inbufp += 4;
331 *inbytesleftp -= 4;
332 return 0;
333}
334
335static inline int
336one_utf8_to_utf16 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
337 uchar **outbufp, size_t *outbytesleftp)
338{
339 int rval;
340 cppchar_t s;
341 const uchar *save_inbuf = *inbufp;
342 size_t save_inbytesleft = *inbytesleftp;
343 uchar *outbuf = *outbufp;
344
345 rval = one_utf8_to_cppchar (inbufp, inbytesleftp, &s);
346 if (rval)
347 return rval;
348
349 if (s > 0x0010FFFF)
350 {
351 *inbufp = save_inbuf;
352 *inbytesleftp = save_inbytesleft;
353 return EILSEQ;
354 }
355
356 if (s < 0xFFFF)
357 {
358 if (*outbytesleftp < 2)
359 {
360 *inbufp = save_inbuf;
361 *inbytesleftp = save_inbytesleft;
362 return E2BIG;
363 }
364 outbuf[bigend ? 1 : 0] = (s & 0x00FF);
365 outbuf[bigend ? 0 : 1] = (s & 0xFF00) >> 8;
366
367 *outbufp += 2;
368 *outbytesleftp -= 2;
369 return 0;
370 }
371 else
372 {
373 cppchar_t hi, lo;
374
375 if (*outbytesleftp < 4)
376 {
377 *inbufp = save_inbuf;
378 *inbytesleftp = save_inbytesleft;
379 return E2BIG;
380 }
381
382 hi = (s - 0x10000) / 0x400 + 0xD800;
383 lo = (s - 0x10000) % 0x400 + 0xDC00;
384
385 /* Even if we are little-endian, put the high surrogate first.
386 ??? Matches practice? */
387 outbuf[bigend ? 1 : 0] = (hi & 0x00FF);
388 outbuf[bigend ? 0 : 1] = (hi & 0xFF00) >> 8;
389 outbuf[bigend ? 3 : 2] = (lo & 0x00FF);
390 outbuf[bigend ? 2 : 3] = (lo & 0xFF00) >> 8;
391
392 *outbufp += 4;
393 *outbytesleftp -= 4;
394 return 0;
395 }
396}
397
398static inline int
399one_utf16_to_utf8 (iconv_t bigend, const uchar **inbufp, size_t *inbytesleftp,
400 uchar **outbufp, size_t *outbytesleftp)
401{
402 cppchar_t s;
403 const uchar *inbuf = *inbufp;
404 int rval;
405
406 if (*inbytesleftp < 2)
407 return EINVAL;
408 s = inbuf[bigend ? 0 : 1] << 8;
409 s += inbuf[bigend ? 1 : 0];
410
411 /* Low surrogate without immediately preceding high surrogate is invalid. */
412 if (s >= 0xDC00 && s <= 0xDFFF)
413 return EILSEQ;
414 /* High surrogate must have a following low surrogate. */
415 else if (s >= 0xD800 && s <= 0xDBFF)
416 {
417 cppchar_t hi = s, lo;
418 if (*inbytesleftp < 4)
419 return EINVAL;
420
421 lo = inbuf[bigend ? 2 : 3] << 8;
422 lo += inbuf[bigend ? 3 : 2];
423
424 if (lo < 0xDC00 || lo > 0xDFFF)
425 return EILSEQ;
426
427 s = (hi - 0xD800) * 0x400 + (lo - 0xDC00) + 0x10000;
428 }
429
430 rval = one_cppchar_to_utf8 (s, outbufp, outbytesleftp);
431 if (rval)
432 return rval;
433
434 /* Success - update the input pointers (one_cppchar_to_utf8 has done
435 the output pointers for us). */
436 if (s <= 0xFFFF)
437 {
438 *inbufp += 2;
439 *inbytesleftp -= 2;
440 }
441 else
442 {
443 *inbufp += 4;
444 *inbytesleftp -= 4;
445 }
446 return 0;
447}
448
449/* Helper routine for the next few functions. The 'const' on
450 one_conversion means that we promise not to modify what function is
Kazu Hirata4ed43212003-07-12 22:49:48 +0000451 pointed to, which lets the inliner see through it. */
Zack Weinberg6b883142003-07-10 23:16:31 +0000452
453static inline bool
454conversion_loop (int (*const one_conversion)(iconv_t, const uchar **, size_t *,
455 uchar **, size_t *),
Nathanael Nerodea8016862003-09-26 05:52:43 +0000456 iconv_t cd, const uchar *from, size_t flen, struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000457{
458 const uchar *inbuf;
459 uchar *outbuf;
460 size_t inbytesleft, outbytesleft;
461 int rval;
462
463 inbuf = from;
464 inbytesleft = flen;
465 outbuf = to->text + to->len;
466 outbytesleft = to->asize - to->len;
467
468 for (;;)
469 {
470 do
471 rval = one_conversion (cd, &inbuf, &inbytesleft,
472 &outbuf, &outbytesleft);
473 while (inbytesleft && !rval);
474
475 if (__builtin_expect (inbytesleft == 0, 1))
476 {
477 to->len = to->asize - outbytesleft;
478 return true;
479 }
480 if (rval != E2BIG)
481 {
482 errno = rval;
483 return false;
484 }
485
486 outbytesleft += OUTBUF_BLOCK_SIZE;
487 to->asize += OUTBUF_BLOCK_SIZE;
488 to->text = xrealloc (to->text, to->asize);
489 outbuf = to->text + to->asize - outbytesleft;
490 }
491}
492
493
494/* These functions convert entire strings between character sets.
495 They all have the signature
496
Nathanael Nerodea8016862003-09-26 05:52:43 +0000497 bool (*)(iconv_t cd, const uchar *from, size_t flen, struct _cpp_strbuf *to);
Zack Weinberg6b883142003-07-10 23:16:31 +0000498
499 The input string FROM is converted as specified by the function
500 name plus the iconv descriptor CD (which may be fake), and the
501 result appended to TO. On any error, false is returned, otherwise true. */
502
503/* These four use the custom conversion code above. */
504static bool
505convert_utf8_utf16 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000506 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000507{
508 return conversion_loop (one_utf8_to_utf16, cd, from, flen, to);
509}
510
511static bool
512convert_utf8_utf32 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000513 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000514{
515 return conversion_loop (one_utf8_to_utf32, cd, from, flen, to);
516}
517
518static bool
519convert_utf16_utf8 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000520 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000521{
522 return conversion_loop (one_utf16_to_utf8, cd, from, flen, to);
523}
524
525static bool
526convert_utf32_utf8 (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000527 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000528{
529 return conversion_loop (one_utf32_to_utf8, cd, from, flen, to);
530}
531
532/* Identity conversion, used when we have no alternative. */
533static bool
534convert_no_conversion (iconv_t cd ATTRIBUTE_UNUSED,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000535 const uchar *from, size_t flen, struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000536{
537 if (to->len + flen > to->asize)
538 {
539 to->asize = to->len + flen;
540 to->text = xrealloc (to->text, to->asize);
541 }
542 memcpy (to->text + to->len, from, flen);
543 to->len += flen;
544 return true;
545}
546
547/* And this one uses the system iconv primitive. It's a little
548 different, since iconv's interface is a little different. */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000549#if HAVE_ICONV
Zack Weinberg6b883142003-07-10 23:16:31 +0000550static bool
551convert_using_iconv (iconv_t cd, const uchar *from, size_t flen,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000552 struct _cpp_strbuf *to)
Zack Weinberg6b883142003-07-10 23:16:31 +0000553{
554 ICONV_CONST char *inbuf;
555 char *outbuf;
556 size_t inbytesleft, outbytesleft;
557
558 /* Reset conversion descriptor and check that it is valid. */
559 if (iconv (cd, 0, 0, 0, 0) == (size_t)-1)
560 return false;
561
562 inbuf = (ICONV_CONST char *)from;
563 inbytesleft = flen;
564 outbuf = (char *)to->text + to->len;
565 outbytesleft = to->asize - to->len;
566
567 for (;;)
568 {
569 iconv (cd, &inbuf, &inbytesleft, &outbuf, &outbytesleft);
570 if (__builtin_expect (inbytesleft == 0, 1))
571 {
572 to->len = to->asize - outbytesleft;
573 return true;
574 }
575 if (errno != E2BIG)
576 return false;
577
578 outbytesleft += OUTBUF_BLOCK_SIZE;
579 to->asize += OUTBUF_BLOCK_SIZE;
580 to->text = xrealloc (to->text, to->asize);
581 outbuf = (char *)to->text + to->asize - outbytesleft;
582 }
583}
Zack Weinbergdea55da2003-07-11 05:49:47 +0000584#else
585#define convert_using_iconv 0 /* prevent undefined symbol error below */
586#endif
Zack Weinberg6b883142003-07-10 23:16:31 +0000587
588/* Arrange for the above custom conversion logic to be used automatically
589 when conversion between a suitable pair of character sets is requested. */
590
591#define APPLY_CONVERSION(CONVERTER, FROM, FLEN, TO) \
592 CONVERTER.func (CONVERTER.cd, FROM, FLEN, TO)
593
594struct conversion
595{
596 const char *pair;
597 convert_f func;
598 iconv_t fake_cd;
599};
600static const struct conversion conversion_tab[] = {
601 { "UTF-8/UTF-32LE", convert_utf8_utf32, (iconv_t)0 },
602 { "UTF-8/UTF-32BE", convert_utf8_utf32, (iconv_t)1 },
603 { "UTF-8/UTF-16LE", convert_utf8_utf16, (iconv_t)0 },
604 { "UTF-8/UTF-16BE", convert_utf8_utf16, (iconv_t)1 },
605 { "UTF-32LE/UTF-8", convert_utf32_utf8, (iconv_t)0 },
606 { "UTF-32BE/UTF-8", convert_utf32_utf8, (iconv_t)1 },
607 { "UTF-16LE/UTF-8", convert_utf16_utf8, (iconv_t)0 },
608 { "UTF-16BE/UTF-8", convert_utf16_utf8, (iconv_t)1 },
609};
610
611/* Subroutine of cpp_init_iconv: initialize and return a
612 cset_converter structure for conversion from FROM to TO. If
613 iconv_open() fails, issue an error and return an identity
614 converter. Silently return an identity converter if FROM and TO
615 are identical. */
616static struct cset_converter
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000617init_iconv_desc (cpp_reader *pfile, const char *to, const char *from)
618{
Zack Weinberg6b883142003-07-10 23:16:31 +0000619 struct cset_converter ret;
620 char *pair;
621 size_t i;
622
623 if (!strcasecmp (to, from))
624 {
625 ret.func = convert_no_conversion;
626 ret.cd = (iconv_t) -1;
627 return ret;
628 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000629
Zack Weinberg6b883142003-07-10 23:16:31 +0000630 pair = alloca(strlen(to) + strlen(from) + 2);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000631
Zack Weinberg6b883142003-07-10 23:16:31 +0000632 strcpy(pair, from);
633 strcat(pair, "/");
634 strcat(pair, to);
635 for (i = 0; i < ARRAY_SIZE (conversion_tab); i++)
636 if (!strcasecmp (pair, conversion_tab[i].pair))
637 {
638 ret.func = conversion_tab[i].func;
639 ret.cd = conversion_tab[i].fake_cd;
640 return ret;
641 }
642
643 /* No custom converter - try iconv. */
Zack Weinbergdea55da2003-07-11 05:49:47 +0000644 if (HAVE_ICONV)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000645 {
Zack Weinbergdea55da2003-07-11 05:49:47 +0000646 ret.func = convert_using_iconv;
647 ret.cd = iconv_open (to, from);
Zack Weinberg6b883142003-07-10 23:16:31 +0000648
Zack Weinbergdea55da2003-07-11 05:49:47 +0000649 if (ret.cd == (iconv_t) -1)
650 {
651 if (errno == EINVAL)
652 cpp_error (pfile, DL_ERROR, /* XXX should be DL_SORRY */
653 "conversion from %s to %s not supported by iconv",
654 from, to);
655 else
656 cpp_errno (pfile, DL_ERROR, "iconv_open");
657
658 ret.func = convert_no_conversion;
659 }
660 }
661 else
662 {
663 cpp_error (pfile, DL_ERROR, /* XXX should be DL_SORRY */
664 "no iconv implementation, cannot convert from %s to %s",
665 from, to);
Zack Weinberg6b883142003-07-10 23:16:31 +0000666 ret.func = convert_no_conversion;
Zack Weinbergdea55da2003-07-11 05:49:47 +0000667 ret.cd = (iconv_t) -1;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000668 }
Zack Weinberg6b883142003-07-10 23:16:31 +0000669 return ret;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000670}
671
672/* If charset conversion is requested, initialize iconv(3) descriptors
673 for conversion from the source character set to the execution
674 character sets. If iconv is not present in the C library, and
675 conversion is requested, issue an error. */
676
677void
678cpp_init_iconv (cpp_reader *pfile)
679{
680 const char *ncset = CPP_OPTION (pfile, narrow_charset);
681 const char *wcset = CPP_OPTION (pfile, wide_charset);
682 const char *default_wcset;
683
684 bool be = CPP_OPTION (pfile, bytes_big_endian);
685
686 if (CPP_OPTION (pfile, wchar_precision) >= 32)
Zack Weinberg6b883142003-07-10 23:16:31 +0000687 default_wcset = be ? "UTF-32BE" : "UTF-32LE";
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000688 else if (CPP_OPTION (pfile, wchar_precision) >= 16)
Zack Weinberg6b883142003-07-10 23:16:31 +0000689 default_wcset = be ? "UTF-16BE" : "UTF-16LE";
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000690 else
691 /* This effectively means that wide strings are not supported,
692 so don't do any conversion at all. */
693 default_wcset = SOURCE_CHARSET;
694
Zack Weinbergdea55da2003-07-11 05:49:47 +0000695 if (!ncset)
696 ncset = SOURCE_CHARSET;
697 if (!wcset)
698 wcset = default_wcset;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000699
Zack Weinbergdea55da2003-07-11 05:49:47 +0000700 pfile->narrow_cset_desc = init_iconv_desc (pfile, ncset, SOURCE_CHARSET);
701 pfile->wide_cset_desc = init_iconv_desc (pfile, wcset, SOURCE_CHARSET);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000702}
703
704void
705_cpp_destroy_iconv (cpp_reader *pfile)
706{
707 if (HAVE_ICONV)
708 {
Zack Weinberg6b883142003-07-10 23:16:31 +0000709 if (pfile->narrow_cset_desc.func == convert_using_iconv)
710 iconv_close (pfile->narrow_cset_desc.cd);
711 if (pfile->wide_cset_desc.func == convert_using_iconv)
712 iconv_close (pfile->wide_cset_desc.cd);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000713 }
714}
715
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000716
717/* Utility routine that computes a mask of the form 0000...111... with
718 WIDTH 1-bits. */
719static inline size_t
720width_to_mask (size_t width)
721{
722 width = MIN (width, BITS_PER_CPPCHAR_T);
723 if (width >= CHAR_BIT * sizeof (size_t))
724 return ~(size_t) 0;
725 else
726 return ((size_t) 1 << width) - 1;
727}
728
729
730
731/* Returns 1 if C is valid in an identifier, 2 if C is valid except at
732 the start of an identifier, and 0 if C is not valid in an
733 identifier. We assume C has already gone through the checks of
734 _cpp_valid_ucn. The algorithm is a simple binary search on the
735 table defined in cppucnid.h. */
736
737static int
738ucn_valid_in_identifier (cpp_reader *pfile, cppchar_t c)
739{
740 int mn, mx, md;
741
742 mn = -1;
743 mx = ARRAY_SIZE (ucnranges);
744 while (mx - mn > 1)
745 {
746 md = (mn + mx) / 2;
747 if (c < ucnranges[md].lo)
748 mx = md;
749 else if (c > ucnranges[md].hi)
750 mn = md;
751 else
752 goto found;
753 }
754 return 0;
755
756 found:
757 /* When -pedantic, we require the character to have been listed by
758 the standard for the current language. Otherwise, we accept the
759 union of the acceptable sets for C++98 and C99. */
760 if (CPP_PEDANTIC (pfile)
761 && ((CPP_OPTION (pfile, c99) && !(ucnranges[md].flags & C99))
762 || (CPP_OPTION (pfile, cplusplus)
763 && !(ucnranges[md].flags & CXX))))
764 return 0;
765
766 /* In C99, UCN digits may not begin identifiers. */
767 if (CPP_OPTION (pfile, c99) && (ucnranges[md].flags & DIG))
768 return 2;
769
770 return 1;
771}
Neil Booth1613e522003-04-20 07:29:23 +0000772
773/* [lex.charset]: The character designated by the universal character
774 name \UNNNNNNNN is that character whose character short name in
775 ISO/IEC 10646 is NNNNNNNN; the character designated by the
776 universal character name \uNNNN is that character whose character
777 short name in ISO/IEC 10646 is 0000NNNN. If the hexadecimal value
778 for a universal character name is less than 0x20 or in the range
779 0x7F-0x9F (inclusive), or if the universal character name
780 designates a character in the basic source character set, then the
781 program is ill-formed.
782
783 *PSTR must be preceded by "\u" or "\U"; it is assumed that the
784 buffer end is delimited by a non-hex digit. Returns zero if UCNs
785 are not part of the relevant standard, or if the string beginning
786 at *PSTR doesn't syntactically match the form 'NNNN' or 'NNNNNNNN'.
787
Kazu Hirata6356f892003-06-12 19:01:08 +0000788 Otherwise the nonzero value of the UCN, whether valid or invalid,
Neil Booth1613e522003-04-20 07:29:23 +0000789 is returned. Diagnostics are emitted for invalid values. PSTR
790 is updated to point one beyond the UCN, or to the syntactically
791 invalid character.
792
793 IDENTIFIER_POS is 0 when not in an identifier, 1 for the start of
794 an identifier, or 2 otherwise.
795*/
796
797cppchar_t
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000798_cpp_valid_ucn (cpp_reader *pfile, const uchar **pstr,
799 const uchar *limit, int identifier_pos)
Neil Booth1613e522003-04-20 07:29:23 +0000800{
801 cppchar_t result, c;
802 unsigned int length;
803 const uchar *str = *pstr;
804 const uchar *base = str - 2;
805
Neil Booth1613e522003-04-20 07:29:23 +0000806 if (!CPP_OPTION (pfile, cplusplus) && !CPP_OPTION (pfile, c99))
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000807 cpp_error (pfile, DL_WARNING,
808 "universal character names are only valid in C++ and C99");
809 else if (CPP_WTRADITIONAL (pfile) && identifier_pos == 0)
810 cpp_error (pfile, DL_WARNING,
811 "the meaning of '\\%c' is different in traditional C",
812 (int) str[-1]);
Neil Booth1613e522003-04-20 07:29:23 +0000813
814 if (str[-1] == 'u')
815 length = 4;
816 else if (str[-1] == 'U')
817 length = 8;
818 else
819 abort();
820
821 result = 0;
822 do
823 {
824 c = *str;
825 if (!ISXDIGIT (c))
826 break;
827 str++;
828 result = (result << 4) + hex_value (c);
829 }
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000830 while (--length && str < limit);
Neil Booth1613e522003-04-20 07:29:23 +0000831
832 *pstr = str;
833 if (length)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000834 {
835 /* We'll error when we try it out as the start of an identifier. */
836 cpp_error (pfile, DL_ERROR, "incomplete universal character name %.*s",
837 (int) (str - base), base);
838 result = 1;
839 }
Neil Booth1613e522003-04-20 07:29:23 +0000840 /* The standard permits $, @ and ` to be specified as UCNs. We use
841 hex escapes so that this also works with EBCDIC hosts. */
842 else if ((result < 0xa0
843 && (result != 0x24 && result != 0x40 && result != 0x60))
844 || (result & 0x80000000)
845 || (result >= 0xD800 && result <= 0xDFFF))
846 {
847 cpp_error (pfile, DL_ERROR, "%.*s is not a valid universal character",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +0200848 (int) (str - base), base);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000849 result = 1;
Neil Booth1613e522003-04-20 07:29:23 +0000850 }
851 else if (identifier_pos)
852 {
853 int validity = ucn_valid_in_identifier (pfile, result);
854
855 if (validity == 0)
856 cpp_error (pfile, DL_ERROR,
857 "universal character %.*s is not valid in an identifier",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +0200858 (int) (str - base), base);
Neil Booth1613e522003-04-20 07:29:23 +0000859 else if (validity == 2 && identifier_pos == 1)
860 cpp_error (pfile, DL_ERROR,
861 "universal character %.*s is not valid at the start of an identifier",
Andreas Jaeger0e7a8c42003-04-21 14:06:12 +0200862 (int) (str - base), base);
Neil Booth1613e522003-04-20 07:29:23 +0000863 }
864
865 if (result == 0)
866 result = 1;
867
868 return result;
869}
870
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000871/* Convert an UCN, pointed to by FROM, to UTF-8 encoding, then translate
872 it to the execution character set and write the result into TBUF.
Zack Weinberg6b883142003-07-10 23:16:31 +0000873 An advanced pointer is returned. Issues all relevant diagnostics. */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000874
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000875
876static const uchar *
877convert_ucn (cpp_reader *pfile, const uchar *from, const uchar *limit,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000878 struct _cpp_strbuf *tbuf, bool wide)
Neil Booth1613e522003-04-20 07:29:23 +0000879{
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000880 cppchar_t ucn;
Zack Weinberg6b883142003-07-10 23:16:31 +0000881 uchar buf[6];
882 uchar *bufp = buf;
883 size_t bytesleft = 6;
884 int rval;
885 struct cset_converter cvt
886 = wide ? pfile->wide_cset_desc : pfile->narrow_cset_desc;
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000887
Zack Weinberg6b883142003-07-10 23:16:31 +0000888 from++; /* skip u/U */
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000889 ucn = _cpp_valid_ucn (pfile, &from, limit, 0);
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000890
Zack Weinberg6b883142003-07-10 23:16:31 +0000891 rval = one_cppchar_to_utf8 (ucn, &bufp, &bytesleft);
892 if (rval)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000893 {
Zack Weinberg6b883142003-07-10 23:16:31 +0000894 errno = rval;
895 cpp_errno (pfile, DL_ERROR, "converting UCN to source character set");
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000896 }
Zack Weinberg6b883142003-07-10 23:16:31 +0000897 else if (!APPLY_CONVERSION (cvt, buf, 6 - bytesleft, tbuf))
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000898 cpp_errno (pfile, DL_ERROR, "converting UCN to execution character set");
899
900 return from;
901}
902
903static void
904emit_numeric_escape (cpp_reader *pfile, cppchar_t n,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000905 struct _cpp_strbuf *tbuf, bool wide)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000906{
907 if (wide)
908 {
909 /* We have to render this into the target byte order, which may not
910 be our byte order. */
911 bool bigend = CPP_OPTION (pfile, bytes_big_endian);
912 size_t width = CPP_OPTION (pfile, wchar_precision);
913 size_t cwidth = CPP_OPTION (pfile, char_precision);
914 size_t cmask = width_to_mask (cwidth);
915 size_t nbwc = width / cwidth;
916 size_t i;
917 size_t off = tbuf->len;
918 cppchar_t c;
919
920 if (tbuf->len + nbwc > tbuf->asize)
921 {
922 tbuf->asize += OUTBUF_BLOCK_SIZE;
923 tbuf->text = xrealloc (tbuf->text, tbuf->asize);
924 }
925
926 for (i = 0; i < nbwc; i++)
927 {
928 c = n & cmask;
929 n >>= cwidth;
930 tbuf->text[off + (bigend ? nbwc - i - 1 : i)] = c;
931 }
932 tbuf->len += nbwc;
933 }
934 else
935 {
936 if (tbuf->len + 1 > tbuf->asize)
937 {
938 tbuf->asize += OUTBUF_BLOCK_SIZE;
939 tbuf->text = xrealloc (tbuf->text, tbuf->asize);
940 }
941 tbuf->text[tbuf->len++] = n;
942 }
943}
944
945/* Convert a hexadecimal escape, pointed to by FROM, to the execution
946 character set and write it into the string buffer TBUF. Returns an
947 advanced pointer, and issues diagnostics as necessary.
948 No character set translation occurs; this routine always produces the
949 execution-set character with numeric value equal to the given hex
950 number. You can, e.g. generate surrogate pairs this way. */
951static const uchar *
952convert_hex (cpp_reader *pfile, const uchar *from, const uchar *limit,
Nathanael Nerodea8016862003-09-26 05:52:43 +0000953 struct _cpp_strbuf *tbuf, bool wide)
Zack Weinberge6cc3a22003-07-05 00:24:00 +0000954{
955 cppchar_t c, n = 0, overflow = 0;
956 int digits_found = 0;
957 size_t width = (wide ? CPP_OPTION (pfile, wchar_precision)
958 : CPP_OPTION (pfile, char_precision));
959 size_t mask = width_to_mask (width);
960
961 if (CPP_WTRADITIONAL (pfile))
962 cpp_error (pfile, DL_WARNING,
963 "the meaning of '\\x' is different in traditional C");
964
965 from++; /* skip 'x' */
966 while (from < limit)
967 {
968 c = *from;
969 if (! hex_p (c))
970 break;
971 from++;
972 overflow |= n ^ (n << 4 >> 4);
973 n = (n << 4) + hex_value (c);
974 digits_found = 1;
975 }
976
977 if (!digits_found)
978 {
979 cpp_error (pfile, DL_ERROR,
980 "\\x used with no following hex digits");
981 return from;
982 }
983
984 if (overflow | (n != (n & mask)))
985 {
986 cpp_error (pfile, DL_PEDWARN,
987 "hex escape sequence out of range");
988 n &= mask;
989 }
990
991 emit_numeric_escape (pfile, n, tbuf, wide);
992
993 return from;
994}
995
996/* Convert an octal escape, pointed to by FROM, to the execution
997 character set and write it into the string buffer TBUF. Returns an
998 advanced pointer, and issues diagnostics as necessary.
999 No character set translation occurs; this routine always produces the
1000 execution-set character with numeric value equal to the given octal
1001 number. */
1002static const uchar *
1003convert_oct (cpp_reader *pfile, const uchar *from, const uchar *limit,
Nathanael Nerodea8016862003-09-26 05:52:43 +00001004 struct _cpp_strbuf *tbuf, bool wide)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001005{
1006 size_t count = 0;
1007 cppchar_t c, n = 0;
1008 size_t width = (wide ? CPP_OPTION (pfile, wchar_precision)
1009 : CPP_OPTION (pfile, char_precision));
1010 size_t mask = width_to_mask (width);
1011 bool overflow = false;
1012
1013 while (from < limit && count++ < 3)
1014 {
1015 c = *from;
1016 if (c < '0' || c > '7')
1017 break;
1018 from++;
1019 overflow |= n ^ (n << 3 >> 3);
1020 n = (n << 3) + c - '0';
1021 }
1022
1023 if (n != (n & mask))
1024 {
1025 cpp_error (pfile, DL_PEDWARN,
1026 "octal escape sequence out of range");
1027 n &= mask;
1028 }
1029
1030 emit_numeric_escape (pfile, n, tbuf, wide);
1031
1032 return from;
1033}
1034
1035/* Convert an escape sequence (pointed to by FROM) to its value on
1036 the target, and to the execution character set. Do not scan past
1037 LIMIT. Write the converted value into TBUF. Returns an advanced
1038 pointer. Handles all relevant diagnostics. */
1039static const uchar *
1040convert_escape (cpp_reader *pfile, const uchar *from, const uchar *limit,
Nathanael Nerodea8016862003-09-26 05:52:43 +00001041 struct _cpp_strbuf *tbuf, bool wide)
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001042{
1043 /* Values of \a \b \e \f \n \r \t \v respectively. */
1044#if HOST_CHARSET == HOST_CHARSET_ASCII
1045 static const uchar charconsts[] = { 7, 8, 27, 12, 10, 13, 9, 11 };
1046#elif HOST_CHARSET == HOST_CHARSET_EBCDIC
1047 static const uchar charconsts[] = { 47, 22, 39, 12, 21, 13, 5, 11 };
1048#else
1049#error "unknown host character set"
1050#endif
1051
1052 uchar c;
Zack Weinberg6b883142003-07-10 23:16:31 +00001053 struct cset_converter cvt
1054 = wide ? pfile->wide_cset_desc : pfile->narrow_cset_desc;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001055
1056 c = *from;
1057 switch (c)
1058 {
1059 /* UCNs, hex escapes, and octal escapes are processed separately. */
1060 case 'u': case 'U':
1061 return convert_ucn (pfile, from, limit, tbuf, wide);
1062
1063 case 'x':
1064 return convert_hex (pfile, from, limit, tbuf, wide);
1065 break;
1066
1067 case '0': case '1': case '2': case '3':
1068 case '4': case '5': case '6': case '7':
1069 return convert_oct (pfile, from, limit, tbuf, wide);
1070
1071 /* Various letter escapes. Get the appropriate host-charset
1072 value into C. */
1073 case '\\': case '\'': case '"': case '?': break;
1074
1075 case '(': case '{': case '[': case '%':
1076 /* '\(', etc, can be used at the beginning of a line in a long
1077 string split onto multiple lines with \-newline, to prevent
1078 Emacs or other text editors from getting confused. '\%' can
1079 be used to prevent SCCS from mangling printf format strings. */
1080 if (CPP_PEDANTIC (pfile))
1081 goto unknown;
1082 break;
1083
1084 case 'b': c = charconsts[1]; break;
1085 case 'f': c = charconsts[3]; break;
1086 case 'n': c = charconsts[4]; break;
1087 case 'r': c = charconsts[5]; break;
1088 case 't': c = charconsts[6]; break;
1089 case 'v': c = charconsts[7]; break;
1090
1091 case 'a':
1092 if (CPP_WTRADITIONAL (pfile))
1093 cpp_error (pfile, DL_WARNING,
1094 "the meaning of '\\a' is different in traditional C");
1095 c = charconsts[0];
1096 break;
1097
1098 case 'e': case 'E':
1099 if (CPP_PEDANTIC (pfile))
1100 cpp_error (pfile, DL_PEDWARN,
1101 "non-ISO-standard escape sequence, '\\%c'", (int) c);
1102 c = charconsts[2];
1103 break;
1104
1105 default:
1106 unknown:
1107 if (ISGRAPH (c))
1108 cpp_error (pfile, DL_PEDWARN,
1109 "unknown escape sequence '\\%c'", (int) c);
1110 else
1111 cpp_error (pfile, DL_PEDWARN,
1112 "unknown escape sequence: '\\%03o'", (int) c);
1113 }
1114
1115 /* Now convert what we have to the execution character set. */
Zack Weinberg6b883142003-07-10 23:16:31 +00001116 if (!APPLY_CONVERSION (cvt, &c, 1, tbuf))
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001117 cpp_errno (pfile, DL_ERROR,
1118 "converting escape sequence to execution character set");
1119
1120 return from + 1;
1121}
1122
1123/* FROM is an array of cpp_string structures of length COUNT. These
1124 are to be converted from the source to the execution character set,
1125 escape sequences translated, and finally all are to be
1126 concatenated. WIDE indicates whether or not to produce a wide
1127 string. The result is written into TO. Returns true for success,
1128 false for failure. */
1129bool
1130cpp_interpret_string (cpp_reader *pfile, const cpp_string *from, size_t count,
1131 cpp_string *to, bool wide)
1132{
Nathanael Nerodea8016862003-09-26 05:52:43 +00001133 struct _cpp_strbuf tbuf;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001134 const uchar *p, *base, *limit;
1135 size_t i;
Zack Weinberg6b883142003-07-10 23:16:31 +00001136 struct cset_converter cvt
1137 = wide ? pfile->wide_cset_desc : pfile->narrow_cset_desc;
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001138
1139 tbuf.asize = MAX (OUTBUF_BLOCK_SIZE, from->len);
1140 tbuf.text = xmalloc (tbuf.asize);
1141 tbuf.len = 0;
1142
1143 for (i = 0; i < count; i++)
1144 {
1145 p = from[i].text;
1146 if (*p == 'L') p++;
1147 p++; /* skip leading quote */
1148 limit = from[i].text + from[i].len - 1; /* skip trailing quote */
1149
1150 for (;;)
1151 {
1152 base = p;
1153 while (p < limit && *p != '\\')
1154 p++;
1155 if (p > base)
1156 {
1157 /* We have a run of normal characters; these can be fed
1158 directly to convert_cset. */
Zack Weinberg6b883142003-07-10 23:16:31 +00001159 if (!APPLY_CONVERSION (cvt, base, p - base, &tbuf))
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001160 goto fail;
1161 }
1162 if (p == limit)
1163 break;
1164
1165 p = convert_escape (pfile, p + 1, limit, &tbuf, wide);
1166 }
1167 }
1168 /* NUL-terminate the 'to' buffer and translate it to a cpp_string
1169 structure. */
1170 emit_numeric_escape (pfile, 0, &tbuf, wide);
1171 tbuf.text = xrealloc (tbuf.text, tbuf.len);
1172 to->text = tbuf.text;
1173 to->len = tbuf.len;
1174 return true;
1175
1176 fail:
1177 cpp_errno (pfile, DL_ERROR, "converting to execution character set");
1178 free (tbuf.text);
1179 return false;
1180}
Zack Weinberg6b883142003-07-10 23:16:31 +00001181
1182/* Subroutine of do_line and do_linemarker. Convert escape sequences
1183 in a string, but do not perform character set conversion. */
1184bool
1185_cpp_interpret_string_notranslate (cpp_reader *pfile, const cpp_string *in,
1186 cpp_string *out)
1187{
1188 struct cset_converter save_narrow_cset_desc = pfile->narrow_cset_desc;
1189 bool retval;
1190
1191 pfile->narrow_cset_desc.func = convert_no_conversion;
1192 pfile->narrow_cset_desc.cd = (iconv_t) -1;
1193
1194 retval = cpp_interpret_string (pfile, in, 1, out, false);
1195
1196 pfile->narrow_cset_desc = save_narrow_cset_desc;
1197 return retval;
1198}
1199
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001200
1201/* Subroutine of cpp_interpret_charconst which performs the conversion
1202 to a number, for narrow strings. STR is the string structure returned
1203 by cpp_interpret_string. PCHARS_SEEN and UNSIGNEDP are as for
1204 cpp_interpret_charconst. */
1205static cppchar_t
1206narrow_str_to_charconst (cpp_reader *pfile, cpp_string str,
1207 unsigned int *pchars_seen, int *unsignedp)
1208{
1209 size_t width = CPP_OPTION (pfile, char_precision);
1210 size_t max_chars = CPP_OPTION (pfile, int_precision) / width;
1211 size_t mask = width_to_mask (width);
1212 size_t i;
1213 cppchar_t result, c;
1214 bool unsigned_p;
1215
1216 /* The value of a multi-character character constant, or a
1217 single-character character constant whose representation in the
1218 execution character set is more than one byte long, is
1219 implementation defined. This implementation defines it to be the
1220 number formed by interpreting the byte sequence in memory as a
1221 big-endian binary number. If overflow occurs, the high bytes are
1222 lost, and a warning is issued.
1223
1224 We don't want to process the NUL terminator handed back by
1225 cpp_interpret_string. */
1226 result = 0;
1227 for (i = 0; i < str.len - 1; i++)
1228 {
1229 c = str.text[i] & mask;
1230 if (width < BITS_PER_CPPCHAR_T)
1231 result = (result << width) | c;
1232 else
1233 result = c;
1234 }
1235
1236 if (i > max_chars)
1237 {
1238 i = max_chars;
1239 cpp_error (pfile, DL_WARNING, "character constant too long for its type");
1240 }
1241 else if (i > 1 && CPP_OPTION (pfile, warn_multichar))
1242 cpp_error (pfile, DL_WARNING, "multi-character character constant");
1243
1244 /* Multichar constants are of type int and therefore signed. */
1245 if (i > 1)
1246 unsigned_p = 0;
1247 else
1248 unsigned_p = CPP_OPTION (pfile, unsigned_char);
1249
1250 /* Truncate the constant to its natural width, and simultaneously
1251 sign- or zero-extend to the full width of cppchar_t.
1252 For single-character constants, the value is WIDTH bits wide.
1253 For multi-character constants, the value is INT_PRECISION bits wide. */
1254 if (i > 1)
1255 width = CPP_OPTION (pfile, int_precision);
1256 if (width < BITS_PER_CPPCHAR_T)
1257 {
1258 mask = ((cppchar_t) 1 << width) - 1;
1259 if (unsigned_p || !(result & (1 << (width - 1))))
1260 result &= mask;
1261 else
1262 result |= ~mask;
1263 }
1264 *pchars_seen = i;
1265 *unsignedp = unsigned_p;
1266 return result;
1267}
1268
1269/* Subroutine of cpp_interpret_charconst which performs the conversion
1270 to a number, for wide strings. STR is the string structure returned
1271 by cpp_interpret_string. PCHARS_SEEN and UNSIGNEDP are as for
1272 cpp_interpret_charconst. */
1273static cppchar_t
1274wide_str_to_charconst (cpp_reader *pfile, cpp_string str,
1275 unsigned int *pchars_seen, int *unsignedp)
1276{
1277 bool bigend = CPP_OPTION (pfile, bytes_big_endian);
1278 size_t width = CPP_OPTION (pfile, wchar_precision);
1279 size_t cwidth = CPP_OPTION (pfile, char_precision);
1280 size_t mask = width_to_mask (width);
1281 size_t cmask = width_to_mask (cwidth);
1282 size_t nbwc = width / cwidth;
1283 size_t off, i;
1284 cppchar_t result = 0, c;
1285
1286 /* This is finicky because the string is in the target's byte order,
1287 which may not be our byte order. Only the last character, ignoring
1288 the NUL terminator, is relevant. */
1289 off = str.len - (nbwc * 2);
1290 result = 0;
1291 for (i = 0; i < nbwc; i++)
1292 {
1293 c = bigend ? str.text[off + i] : str.text[off + nbwc - i - 1];
1294 result = (result << cwidth) | (c & cmask);
1295 }
1296
1297 /* Wide character constants have type wchar_t, and a single
1298 character exactly fills a wchar_t, so a multi-character wide
1299 character constant is guaranteed to overflow. */
1300 if (off > 0)
1301 cpp_error (pfile, DL_WARNING, "character constant too long for its type");
1302
1303 /* Truncate the constant to its natural width, and simultaneously
1304 sign- or zero-extend to the full width of cppchar_t. */
1305 if (width < BITS_PER_CPPCHAR_T)
1306 {
1307 if (CPP_OPTION (pfile, unsigned_wchar) || !(result & (1 << (width - 1))))
1308 result &= mask;
1309 else
1310 result |= ~mask;
1311 }
1312
1313 *unsignedp = CPP_OPTION (pfile, unsigned_wchar);
1314 *pchars_seen = 1;
1315 return result;
1316}
1317
1318/* Interpret a (possibly wide) character constant in TOKEN.
1319 PCHARS_SEEN points to a variable that is filled in with the number
1320 of characters seen, and UNSIGNEDP to a variable that indicates
1321 whether the result has signed type. */
1322cppchar_t
1323cpp_interpret_charconst (cpp_reader *pfile, const cpp_token *token,
1324 unsigned int *pchars_seen, int *unsignedp)
1325{
1326 cpp_string str = { 0, 0 };
1327 bool wide = (token->type == CPP_WCHAR);
1328 cppchar_t result;
1329
1330 /* an empty constant will appear as L'' or '' */
1331 if (token->val.str.len == (size_t) (2 + wide))
1332 {
1333 cpp_error (pfile, DL_ERROR, "empty character constant");
1334 return 0;
1335 }
1336 else if (!cpp_interpret_string (pfile, &token->val.str, 1, &str, wide))
Neil Booth1613e522003-04-20 07:29:23 +00001337 return 0;
1338
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001339 if (wide)
1340 result = wide_str_to_charconst (pfile, str, pchars_seen, unsignedp);
1341 else
1342 result = narrow_str_to_charconst (pfile, str, pchars_seen, unsignedp);
Neil Booth1613e522003-04-20 07:29:23 +00001343
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001344 if (str.text != token->val.str.text)
1345 free ((void *)str.text);
Neil Booth1613e522003-04-20 07:29:23 +00001346
Zack Weinberge6cc3a22003-07-05 00:24:00 +00001347 return result;
Neil Booth1613e522003-04-20 07:29:23 +00001348}