1/*
2 * Copyright 2010 Nexenta Systems, Inc.  All rights reserved.
3 * Copyright 2015 John Marino <draco@marino.st>
4 *
5 * This source code is derived from the illumos localedef command, and
6 * provided under BSD-style license terms by Nexenta Systems, Inc.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 *    notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 *    notice, this list of conditions and the following disclaimer in the
16 *    documentation and/or other materials provided with the distribution.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
22 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 * POSSIBILITY OF SUCH DAMAGE.
29 */
30
31/*
32 * LC_COLLATE database generation routines for localedef.
33 */
34#include <sys/cdefs.h>
35__FBSDID("$FreeBSD: stable/11/usr.bin/localedef/collate.c 307697 2016-10-21 03:10:05Z araujo $");
36
37#include <sys/types.h>
38#include <sys/tree.h>
39
40#include <stdio.h>
41#include <stddef.h>
42#include <stdlib.h>
43#include <errno.h>
44#include <string.h>
45#include <unistd.h>
46#include <wchar.h>
47#include <limits.h>
48#include "localedef.h"
49#include "parser.h"
50#include "collate.h"
51
52/*
53 * Design notes.
54 *
55 * It will be extremely helpful to the reader if they have access to
56 * the localedef and locale file format specifications available.
57 * Latest versions of these are available from www.opengroup.org.
58 *
59 * The design for the collation code is a bit complex.  The goal is a
60 * single collation database as described in collate.h (in
61 * libc/port/locale).  However, there are some other tidbits:
62 *
63 * a) The substitution entries are now a directly indexable array.  A
64 * priority elsewhere in the table is taken as an index into the
65 * substitution table if it has a high bit (COLLATE_SUBST_PRIORITY)
66 * set.  (The bit is cleared and the result is the index into the
67 * table.
68 *
69 * b) We eliminate duplicate entries into the substitution table.
70 * This saves a lot of space.
71 *
72 * c) The priorities for each level are "compressed", so that each
73 * sorting level has consecutively numbered priorities starting at 1.
74 * (O is reserved for the ignore priority.)  This means sort levels
75 * which only have a few distinct priorities can represent the
76 * priority level in fewer bits, which makes the strxfrm output
77 * smaller.
78 *
79 * d) We record the total number of priorities so that strxfrm can
80 * figure out how many bytes to expand a numeric priority into.
81 *
82 * e) For the UNDEFINED pass (the last pass), we record the maximum
83 * number of bits needed to uniquely prioritize these entries, so that
84 * the last pass can also use smaller strxfrm output when possible.
85 *
86 * f) Priorities with the sign bit set are verboten.  This works out
87 * because no active character set needs that bit to carry significant
88 * information once the character is in wide form.
89 *
90 * To process the entire data to make the database, we actually run
91 * multiple passes over the data.
92 *
93 * The first pass, which is done at parse time, identifies elements,
94 * substitutions, and such, and records them in priority order.  As
95 * some priorities can refer to other priorities, using forward
96 * references, we use a table of references indicating whether the
97 * priority's value has been resolved, or whether it is still a
98 * reference.
99 *
100 * The second pass walks over all the items in priority order, noting
101 * that they are used directly, and not just an indirect reference.
102 * This is done by creating a "weight" structure for the item.  The
103 * weights are stashed in an RB tree sorted by relative "priority".
104 *
105 * The third pass walks over all the weight structures, in priority
106 * order, and assigns a new monotonically increasing (per sort level)
107 * weight value to them.  These are the values that will actually be
108 * written to the file.
109 *
110 * The fourth pass just writes the data out.
111 */
112
113/*
114 * In order to resolve the priorities, we create a table of priorities.
115 * Entries in the table can be in one of three states.
116 *
117 * UNKNOWN is for newly allocated entries, and indicates that nothing
118 * is known about the priority.  (For example, when new entries are created
119 * for collating-symbols, this is the value assigned for them until the
120 * collating symbol's order has been determined.
121 *
122 * RESOLVED is used for an entry where the priority indicates the final
123 * numeric weight.
124 *
125 * REFER is used for entries that reference other entries.  Typically
126 * this is used for forward references.  A collating-symbol can never
127 * have this value.
128 *
129 * The "pass" field is used during final resolution to aid in detection
130 * of referencing loops.  (For example <A> depends on <B>, but <B> has its
131 * priority dependent on <A>.)
132 */
133typedef enum {
134	UNKNOWN,	/* priority is totally unknown */
135	RESOLVED,	/* priority value fully resolved */
136	REFER		/* priority is a reference (index) */
137} res_t;
138
139typedef struct weight {
140	int32_t		pri;
141	int		opt;
142	RB_ENTRY(weight) entry;
143} weight_t;
144
145typedef struct priority {
146	res_t		res;
147	int32_t		pri;
148	int		pass;
149	int		lineno;
150} collpri_t;
151
152#define	NUM_WT	collinfo.directive_count
153
154/*
155 * These are the abstract collating symbols, which are just a symbolic
156 * way to reference a priority.
157 */
158struct collsym {
159	char		*name;
160	int32_t		ref;
161	RB_ENTRY(collsym) entry;
162};
163
164/*
165 * These are also abstract collating symbols, but we allow them to have
166 * different priorities at different levels.
167 */
168typedef struct collundef {
169	char		*name;
170	int32_t		ref[COLL_WEIGHTS_MAX];
171	RB_ENTRY(collundef) entry;
172} collundef_t;
173
174/*
175 * These are called "chains" in libc.  This records the fact that two
176 * more characters should be treated as a single collating entity when
177 * they appear together.  For example, in Spanish <C><h> gets collated
178 * as a character between <C> and <D>.
179 */
180struct collelem {
181	char		*symbol;
182	wchar_t		*expand;
183	int32_t		ref[COLL_WEIGHTS_MAX];
184	RB_ENTRY(collelem) rb_bysymbol;
185	RB_ENTRY(collelem) rb_byexpand;
186};
187
188/*
189 * Individual characters have a sequence of weights as well.
190 */
191typedef struct collchar {
192	wchar_t		wc;
193	int32_t		ref[COLL_WEIGHTS_MAX];
194	RB_ENTRY(collchar) entry;
195} collchar_t;
196
197/*
198 * Substitution entries.  The key is itself a priority.  Note that
199 * when we create one of these, we *automatically* wind up with a
200 * fully resolved priority for the key, because creation of
201 * substitutions creates a resolved priority at the same time.
202 */
203typedef struct subst{
204	int32_t		key;
205	int32_t		ref[COLLATE_STR_LEN];
206	RB_ENTRY(subst)	entry;
207	RB_ENTRY(subst)	entry_ref;
208} subst_t;
209
210static RB_HEAD(collsyms, collsym) collsyms;
211static RB_HEAD(collundefs, collundef) collundefs;
212static RB_HEAD(elem_by_symbol, collelem) elem_by_symbol;
213static RB_HEAD(elem_by_expand, collelem) elem_by_expand;
214static RB_HEAD(collchars, collchar) collchars;
215static RB_HEAD(substs, subst) substs[COLL_WEIGHTS_MAX];
216static RB_HEAD(substs_ref, subst) substs_ref[COLL_WEIGHTS_MAX];
217static RB_HEAD(weights, weight) weights[COLL_WEIGHTS_MAX];
218static int32_t		nweight[COLL_WEIGHTS_MAX];
219
220/*
221 * This is state tracking for the ellipsis token.  Note that we start
222 * the initial values so that the ellipsis logic will think we got a
223 * magic starting value of NUL.  It starts at minus one because the
224 * starting point is exclusive -- i.e. the starting point is not
225 * itself handled by the ellipsis code.
226 */
227static int currorder = EOF;
228static int lastorder = EOF;
229static collelem_t *currelem;
230static collchar_t *currchar;
231static collundef_t *currundef;
232static wchar_t ellipsis_start = 0;
233static int32_t ellipsis_weights[COLL_WEIGHTS_MAX];
234
235/*
236 * We keep a running tally of weights.
237 */
238static int nextpri = 1;
239static int nextsubst[COLL_WEIGHTS_MAX] = { 0 };
240
241/*
242 * This array collects up the weights for each level.
243 */
244static int32_t order_weights[COLL_WEIGHTS_MAX];
245static int curr_weight = 0;
246static int32_t subst_weights[COLLATE_STR_LEN];
247static int curr_subst = 0;
248
249/*
250 * Some initial priority values.
251 */
252static int32_t pri_undefined[COLL_WEIGHTS_MAX];
253static int32_t pri_ignore;
254
255static collate_info_t collinfo;
256
257static collpri_t	*prilist = NULL;
258static int		numpri = 0;
259static int		maxpri = 0;
260
261static void start_order(int);
262
263static int32_t
264new_pri(void)
265{
266	int i;
267
268	if (numpri >= maxpri) {
269		maxpri = maxpri ? maxpri * 2 : 1024;
270		prilist = realloc(prilist, sizeof (collpri_t) * maxpri);
271		if (prilist == NULL) {
272			fprintf(stderr,"out of memory");
273			return (-1);
274		}
275		for (i = numpri; i < maxpri; i++) {
276			prilist[i].res = UNKNOWN;
277			prilist[i].pri = 0;
278			prilist[i].pass = 0;
279		}
280	}
281	return (numpri++);
282}
283
284static collpri_t *
285get_pri(int32_t ref)
286{
287	if ((ref < 0) || (ref > numpri)) {
288		INTERR;
289		return (NULL);
290	}
291	return (&prilist[ref]);
292}
293
294static void
295set_pri(int32_t ref, int32_t v, res_t res)
296{
297	collpri_t	*pri;
298
299	pri = get_pri(ref);
300
301	if ((res == REFER) && ((v < 0) || (v >= numpri))) {
302		INTERR;
303	}
304
305	/* Resolve self references */
306	if ((res == REFER) && (ref == v)) {
307		v = nextpri;
308		res = RESOLVED;
309	}
310
311	if (pri->res != UNKNOWN) {
312		warn("repeated item in order list (first on %d)",
313		    pri->lineno);
314		return;
315	}
316	pri->lineno = lineno;
317	pri->pri = v;
318	pri->res = res;
319}
320
321static int32_t
322resolve_pri(int32_t ref)
323{
324	collpri_t	*pri;
325	static int32_t	pass = 0;
326
327	pri = get_pri(ref);
328	pass++;
329	while (pri->res == REFER) {
330		if (pri->pass == pass) {
331			/* report a line with the circular symbol */
332			lineno = pri->lineno;
333			fprintf(stderr,"circular reference in order list");
334			return (-1);
335		}
336		if ((pri->pri < 0) || (pri->pri >= numpri)) {
337			INTERR;
338			return (-1);
339		}
340		pri->pass = pass;
341		pri = &prilist[pri->pri];
342	}
343
344	if (pri->res == UNKNOWN) {
345		return (-1);
346	}
347	if (pri->res != RESOLVED)
348		INTERR;
349
350	return (pri->pri);
351}
352
353static int
354weight_compare(const void *n1, const void *n2)
355{
356	int32_t	k1 = ((const weight_t *)n1)->pri;
357	int32_t	k2 = ((const weight_t *)n2)->pri;
358
359	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
360}
361
362RB_GENERATE_STATIC(weights, weight, entry, weight_compare);
363
364static int
365collsym_compare(const void *n1, const void *n2)
366{
367	const collsym_t *c1 = n1;
368	const collsym_t *c2 = n2;
369	int rv;
370
371	rv = strcmp(c1->name, c2->name);
372	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
373}
374
375RB_GENERATE_STATIC(collsyms, collsym, entry, collsym_compare);
376
377static int
378collundef_compare(const void *n1, const void *n2)
379{
380	const collundef_t *c1 = n1;
381	const collundef_t *c2 = n2;
382	int rv;
383
384	rv = strcmp(c1->name, c2->name);
385	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
386}
387
388RB_GENERATE_STATIC(collundefs, collundef, entry, collundef_compare);
389
390static int
391element_compare_symbol(const void *n1, const void *n2)
392{
393	const collelem_t *c1 = n1;
394	const collelem_t *c2 = n2;
395	int rv;
396
397	rv = strcmp(c1->symbol, c2->symbol);
398	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
399}
400
401RB_GENERATE_STATIC(elem_by_symbol, collelem, rb_bysymbol, element_compare_symbol);
402
403static int
404element_compare_expand(const void *n1, const void *n2)
405{
406	const collelem_t *c1 = n1;
407	const collelem_t *c2 = n2;
408	int rv;
409
410	rv = wcscmp(c1->expand, c2->expand);
411	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
412}
413
414RB_GENERATE_STATIC(elem_by_expand, collelem, rb_byexpand, element_compare_expand);
415
416static int
417collchar_compare(const void *n1, const void *n2)
418{
419	wchar_t	k1 = ((const collchar_t *)n1)->wc;
420	wchar_t	k2 = ((const collchar_t *)n2)->wc;
421
422	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
423}
424
425RB_GENERATE_STATIC(collchars, collchar, entry, collchar_compare);
426
427static int
428subst_compare(const void *n1, const void *n2)
429{
430	int32_t	k1 = ((const subst_t *)n1)->key;
431	int32_t	k2 = ((const subst_t *)n2)->key;
432
433	return (k1 < k2 ? -1 : k1 > k2 ? 1 : 0);
434}
435
436RB_GENERATE_STATIC(substs, subst, entry, subst_compare);
437
438static int
439subst_compare_ref(const void *n1, const void *n2)
440{
441	const wchar_t *c1 = ((const subst_t *)n1)->ref;
442	const wchar_t *c2 = ((const subst_t *)n2)->ref;
443	int rv;
444
445	rv = wcscmp(c1, c2);
446	return ((rv < 0) ? -1 : (rv > 0) ? 1 : 0);
447}
448
449RB_GENERATE_STATIC(substs_ref, subst, entry_ref, subst_compare_ref);
450
451void
452init_collate(void)
453{
454	int i;
455
456	RB_INIT(&collsyms);
457
458	RB_INIT(&collundefs);
459
460	RB_INIT(&elem_by_symbol);
461
462	RB_INIT(&elem_by_expand);
463
464	RB_INIT(&collchars);
465
466	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
467		RB_INIT(&substs[i]);
468		RB_INIT(&substs_ref[i]);
469		RB_INIT(&weights[i]);
470		nweight[i] = 1;
471	}
472
473	(void) memset(&collinfo, 0, sizeof (collinfo));
474
475	/* allocate some initial priorities */
476	pri_ignore = new_pri();
477
478	set_pri(pri_ignore, 0, RESOLVED);
479
480	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
481		pri_undefined[i] = new_pri();
482
483		/* we will override this later */
484		set_pri(pri_undefined[i], COLLATE_MAX_PRIORITY, UNKNOWN);
485	}
486}
487
488void
489define_collsym(char *name)
490{
491	collsym_t	*sym;
492
493	if ((sym = calloc(1, sizeof(*sym))) == NULL) {
494		fprintf(stderr,"out of memory");
495		return;
496	}
497	sym->name = name;
498	sym->ref = new_pri();
499
500	if (RB_FIND(collsyms, &collsyms, sym) != NULL) {
501		/*
502		 * This should never happen because we are only called
503		 * for undefined symbols.
504		 */
505		free(sym);
506		INTERR;
507		return;
508	}
509	RB_INSERT(collsyms, &collsyms, sym);
510}
511
512collsym_t *
513lookup_collsym(char *name)
514{
515	collsym_t	srch;
516
517	srch.name = name;
518	return (RB_FIND(collsyms, &collsyms, &srch));
519}
520
521collelem_t *
522lookup_collelem(char *symbol)
523{
524	collelem_t	srch;
525
526	srch.symbol = symbol;
527	return (RB_FIND(elem_by_symbol, &elem_by_symbol, &srch));
528}
529
530static collundef_t *
531get_collundef(char *name)
532{
533	collundef_t	srch;
534	collundef_t	*ud;
535	int		i;
536
537	srch.name = name;
538	if ((ud = RB_FIND(collundefs, &collundefs, &srch)) == NULL) {
539		if (((ud = calloc(1, sizeof(*ud))) == NULL) ||
540		    ((ud->name = strdup(name)) == NULL)) {
541			fprintf(stderr,"out of memory");
542			free(ud);
543			return (NULL);
544		}
545		for (i = 0; i < NUM_WT; i++) {
546			ud->ref[i] = new_pri();
547		}
548		RB_INSERT(collundefs, &collundefs, ud);
549	}
550	add_charmap_undefined(name);
551	return (ud);
552}
553
554static collchar_t *
555get_collchar(wchar_t wc, int create)
556{
557	collchar_t	srch;
558	collchar_t	*cc;
559	int		i;
560
561	srch.wc = wc;
562	cc = RB_FIND(collchars, &collchars, &srch);
563	if ((cc == NULL) && create) {
564		if ((cc = calloc(1, sizeof(*cc))) == NULL) {
565			fprintf(stderr, "out of memory");
566			return (NULL);
567		}
568		for (i = 0; i < NUM_WT; i++) {
569			cc->ref[i] = new_pri();
570		}
571		cc->wc = wc;
572		RB_INSERT(collchars, &collchars, cc);
573	}
574	return (cc);
575}
576
577void
578end_order_collsym(collsym_t *sym)
579{
580	start_order(T_COLLSYM);
581	/* update the weight */
582
583	set_pri(sym->ref, nextpri, RESOLVED);
584	nextpri++;
585}
586
587void
588end_order(void)
589{
590	int		i;
591	int32_t		pri;
592	int32_t		ref;
593	collpri_t	*p;
594
595	/* advance the priority/weight */
596	pri = nextpri;
597
598	switch (currorder) {
599	case T_CHAR:
600		for (i = 0; i < NUM_WT; i++) {
601			if (((ref = order_weights[i]) < 0) ||
602			    ((p = get_pri(ref)) == NULL) ||
603			    (p->pri == -1)) {
604				/* unspecified weight is a self reference */
605				set_pri(currchar->ref[i], pri, RESOLVED);
606			} else {
607				set_pri(currchar->ref[i], ref, REFER);
608			}
609			order_weights[i] = -1;
610		}
611
612		/* leave a cookie trail in case next symbol is ellipsis */
613		ellipsis_start = currchar->wc + 1;
614		currchar = NULL;
615		break;
616
617	case T_ELLIPSIS:
618		/* save off the weights were we can find them */
619		for (i = 0; i < NUM_WT; i++) {
620			ellipsis_weights[i] = order_weights[i];
621			order_weights[i] = -1;
622		}
623		break;
624
625	case T_COLLELEM:
626		if (currelem == NULL) {
627			INTERR;
628		} else {
629			for (i = 0; i < NUM_WT; i++) {
630
631				if (((ref = order_weights[i]) < 0) ||
632				    ((p = get_pri(ref)) == NULL) ||
633				    (p->pri == -1)) {
634					set_pri(currelem->ref[i], pri,
635					    RESOLVED);
636				} else {
637					set_pri(currelem->ref[i], ref, REFER);
638				}
639				order_weights[i] = -1;
640			}
641		}
642		break;
643
644	case T_UNDEFINED:
645		for (i = 0; i < NUM_WT; i++) {
646			if (((ref = order_weights[i]) < 0) ||
647			    ((p = get_pri(ref)) == NULL) ||
648			    (p->pri == -1)) {
649				set_pri(pri_undefined[i], -1, RESOLVED);
650			} else {
651				set_pri(pri_undefined[i], ref, REFER);
652			}
653			order_weights[i] = -1;
654		}
655		break;
656
657	case T_SYMBOL:
658		for (i = 0; i < NUM_WT; i++) {
659			if (((ref = order_weights[i]) < 0) ||
660			    ((p = get_pri(ref)) == NULL) ||
661			    (p->pri == -1)) {
662				set_pri(currundef->ref[i], pri, RESOLVED);
663			} else {
664				set_pri(currundef->ref[i], ref, REFER);
665			}
666			order_weights[i] = -1;
667		}
668		break;
669
670	default:
671		INTERR;
672	}
673
674	nextpri++;
675}
676
677static void
678start_order(int type)
679{
680	int	i;
681
682	lastorder = currorder;
683	currorder = type;
684
685	/* this is used to protect ELLIPSIS processing */
686	if ((lastorder == T_ELLIPSIS) && (type != T_CHAR)) {
687		fprintf(stderr, "character value expected");
688	}
689
690	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
691		order_weights[i] = -1;
692	}
693	curr_weight = 0;
694}
695
696void
697start_order_undefined(void)
698{
699	start_order(T_UNDEFINED);
700}
701
702void
703start_order_symbol(char *name)
704{
705	currundef = get_collundef(name);
706	start_order(T_SYMBOL);
707}
708
709void
710start_order_char(wchar_t wc)
711{
712	collchar_t	*cc;
713	int32_t		ref;
714
715	start_order(T_CHAR);
716
717	/*
718	 * If we last saw an ellipsis, then we need to close the range.
719	 * Handle that here.  Note that we have to be careful because the
720	 * items *inside* the range are treated exclusiveley to the items
721	 * outside of the range.  The ends of the range can have quite
722	 * different weights than the range members.
723	 */
724	if (lastorder == T_ELLIPSIS) {
725		int		i;
726
727		if (wc < ellipsis_start) {
728			fprintf(stderr, "malformed range!");
729			return;
730		}
731		while (ellipsis_start < wc) {
732			/*
733			 * pick all of the saved weights for the
734			 * ellipsis.  note that -1 encodes for the
735			 * ellipsis itself, which means to take the
736			 * current relative priority.
737			 */
738			if ((cc = get_collchar(ellipsis_start, 1)) == NULL) {
739				INTERR;
740				return;
741			}
742			for (i = 0; i < NUM_WT; i++) {
743				collpri_t *p;
744				if (((ref = ellipsis_weights[i]) == -1) ||
745				    ((p = get_pri(ref)) == NULL) ||
746				    (p->pri == -1)) {
747					set_pri(cc->ref[i], nextpri, RESOLVED);
748				} else {
749					set_pri(cc->ref[i], ref, REFER);
750				}
751				ellipsis_weights[i] = 0;
752			}
753			ellipsis_start++;
754			nextpri++;
755		}
756	}
757
758	currchar = get_collchar(wc, 1);
759}
760
761void
762start_order_collelem(collelem_t *e)
763{
764	start_order(T_COLLELEM);
765	currelem = e;
766}
767
768void
769start_order_ellipsis(void)
770{
771	int	i;
772
773	start_order(T_ELLIPSIS);
774
775	if (lastorder != T_CHAR) {
776		fprintf(stderr, "illegal starting point for range");
777		return;
778	}
779
780	for (i = 0; i < NUM_WT; i++) {
781		ellipsis_weights[i] = order_weights[i];
782	}
783}
784
785void
786define_collelem(char *name, wchar_t *wcs)
787{
788	collelem_t	*e;
789	int		i;
790
791	if (wcslen(wcs) >= COLLATE_STR_LEN) {
792		fprintf(stderr,"expanded collation element too long");
793		return;
794	}
795
796	if ((e = calloc(1, sizeof(*e))) == NULL) {
797		fprintf(stderr, "out of memory");
798		return;
799	}
800	e->expand = wcs;
801	e->symbol = name;
802
803	/*
804	 * This is executed before the order statement, so we don't
805	 * know how many priorities we *really* need.  We allocate one
806	 * for each possible weight.  Not a big deal, as collating-elements
807	 * prove to be quite rare.
808	 */
809	for (i = 0; i < COLL_WEIGHTS_MAX; i++) {
810		e->ref[i] = new_pri();
811	}
812
813	/* A character sequence can only reduce to one element. */
814	if ((RB_FIND(elem_by_symbol, &elem_by_symbol, e) != NULL) ||
815	    (RB_FIND(elem_by_expand, &elem_by_expand, e) != NULL)) {
816		fprintf(stderr, "duplicate collating element definition");
817		free(e);
818		return;
819	}
820	RB_INSERT(elem_by_symbol, &elem_by_symbol, e);
821	RB_INSERT(elem_by_expand, &elem_by_expand, e);
822}
823
824void
825add_order_bit(int kw)
826{
827	uint8_t bit = DIRECTIVE_UNDEF;
828
829	switch (kw) {
830	case T_FORWARD:
831		bit = DIRECTIVE_FORWARD;
832		break;
833	case T_BACKWARD:
834		bit = DIRECTIVE_BACKWARD;
835		break;
836	case T_POSITION:
837		bit = DIRECTIVE_POSITION;
838		break;
839	default:
840		INTERR;
841		break;
842	}
843	collinfo.directive[collinfo.directive_count] |= bit;
844}
845
846void
847add_order_directive(void)
848{
849	if (collinfo.directive_count >= COLL_WEIGHTS_MAX) {
850		fprintf(stderr,"too many directives (max %d)", COLL_WEIGHTS_MAX);
851	}
852	collinfo.directive_count++;
853}
854
855static void
856add_order_pri(int32_t ref)
857{
858	if (curr_weight >= NUM_WT) {
859		fprintf(stderr,"too many weights (max %d)", NUM_WT);
860		return;
861	}
862	order_weights[curr_weight] = ref;
863	curr_weight++;
864}
865
866void
867add_order_collsym(collsym_t *s)
868{
869	add_order_pri(s->ref);
870}
871
872void
873add_order_char(wchar_t wc)
874{
875	collchar_t *cc;
876
877	if ((cc = get_collchar(wc, 1)) == NULL) {
878		INTERR;
879		return;
880	}
881
882	add_order_pri(cc->ref[curr_weight]);
883}
884
885void
886add_order_collelem(collelem_t *e)
887{
888	add_order_pri(e->ref[curr_weight]);
889}
890
891void
892add_order_ignore(void)
893{
894	add_order_pri(pri_ignore);
895}
896
897void
898add_order_symbol(char *sym)
899{
900	collundef_t *c;
901	if ((c = get_collundef(sym)) == NULL) {
902		INTERR;
903		return;
904	}
905	add_order_pri(c->ref[curr_weight]);
906}
907
908void
909add_order_ellipsis(void)
910{
911	/* special NULL value indicates self reference */
912	add_order_pri(0);
913}
914
915void
916add_order_subst(void)
917{
918	subst_t srch;
919	subst_t	*s;
920	int i;
921
922	(void) memset(&srch, 0, sizeof (srch));
923	for (i = 0; i < curr_subst; i++) {
924		srch.ref[i] = subst_weights[i];
925		subst_weights[i] = 0;
926	}
927	s = RB_FIND(substs_ref, &substs_ref[curr_weight], &srch);
928
929	if (s == NULL) {
930		if ((s = calloc(1, sizeof(*s))) == NULL) {
931			fprintf(stderr,"out of memory");
932			return;
933		}
934		s->key = new_pri();
935
936		/*
937		 * We use a self reference for our key, but we set a
938		 * high bit to indicate that this is a substitution
939		 * reference.  This will expedite table lookups later,
940		 * and prevent table lookups for situations that don't
941		 * require it.  (In short, its a big win, because we
942		 * can skip a lot of binary searching.)
943		 */
944		set_pri(s->key,
945		    (nextsubst[curr_weight] | COLLATE_SUBST_PRIORITY),
946		    RESOLVED);
947		nextsubst[curr_weight] += 1;
948
949		for (i = 0; i < curr_subst; i++) {
950			s->ref[i] = srch.ref[i];
951		}
952
953		RB_INSERT(substs_ref, &substs_ref[curr_weight], s);
954
955		if (RB_FIND(substs, &substs[curr_weight], s) != NULL) {
956			INTERR;
957			return;
958		}
959		RB_INSERT(substs, &substs[curr_weight], s);
960	}
961	curr_subst = 0;
962
963
964	/*
965	 * We are using the current (unique) priority as a search key
966	 * in the substitution table.
967	 */
968	add_order_pri(s->key);
969}
970
971static void
972add_subst_pri(int32_t ref)
973{
974	if (curr_subst >= COLLATE_STR_LEN) {
975		fprintf(stderr,"substitution string is too long");
976		return;
977	}
978	subst_weights[curr_subst] = ref;
979	curr_subst++;
980}
981
982void
983add_subst_char(wchar_t wc)
984{
985	collchar_t *cc;
986
987
988	if (((cc = get_collchar(wc, 1)) == NULL) ||
989	    (cc->wc != wc)) {
990		INTERR;
991		return;
992	}
993	/* we take the weight for the character at that position */
994	add_subst_pri(cc->ref[curr_weight]);
995}
996
997void
998add_subst_collelem(collelem_t *e)
999{
1000	add_subst_pri(e->ref[curr_weight]);
1001}
1002
1003void
1004add_subst_collsym(collsym_t *s)
1005{
1006	add_subst_pri(s->ref);
1007}
1008
1009void
1010add_subst_symbol(char *ptr)
1011{
1012	collundef_t *cu;
1013
1014	if ((cu = get_collundef(ptr)) != NULL) {
1015		add_subst_pri(cu->ref[curr_weight]);
1016	}
1017}
1018
1019void
1020add_weight(int32_t ref, int pass)
1021{
1022	weight_t srch;
1023	weight_t *w;
1024
1025	srch.pri = resolve_pri(ref);
1026
1027	/* No translation of ignores */
1028	if (srch.pri == 0)
1029		return;
1030
1031	/* Substitution priorities are not weights */
1032	if (srch.pri & COLLATE_SUBST_PRIORITY)
1033		return;
1034
1035	if (RB_FIND(weights, &weights[pass], &srch) != NULL)
1036		return;
1037
1038	if ((w = calloc(1, sizeof(*w))) == NULL) {
1039		fprintf(stderr, "out of memory");
1040		return;
1041	}
1042	w->pri = srch.pri;
1043	RB_INSERT(weights, &weights[pass], w);
1044}
1045
1046void
1047add_weights(int32_t *refs)
1048{
1049	int i;
1050	for (i = 0; i < NUM_WT; i++) {
1051		add_weight(refs[i], i);
1052	}
1053}
1054
1055int32_t
1056get_weight(int32_t ref, int pass)
1057{
1058	weight_t	srch;
1059	weight_t	*w;
1060	int32_t		pri;
1061
1062	pri = resolve_pri(ref);
1063	if (pri & COLLATE_SUBST_PRIORITY) {
1064		return (pri);
1065	}
1066	if (pri <= 0) {
1067		return (pri);
1068	}
1069	srch.pri = pri;
1070	if ((w = RB_FIND(weights, &weights[pass], &srch)) == NULL) {
1071		INTERR;
1072		return (-1);
1073	}
1074	return (w->opt);
1075}
1076
1077wchar_t *
1078wsncpy(wchar_t *s1, const wchar_t *s2, size_t n)
1079{
1080	wchar_t *os1 = s1;
1081
1082	n++;
1083	while (--n > 0 && (*s1++ = *s2++) != 0)
1084		continue;
1085	if (n > 0)
1086		while (--n > 0)
1087			*s1++ = 0;
1088	return (os1);
1089}
1090
1091#define RB_COUNT(x, name, head, cnt) do { \
1092	(cnt) = 0; \
1093	RB_FOREACH(x, name, (head)) { \
1094		(cnt)++; \
1095	} \
1096} while (0)
1097
1098#define RB_NUMNODES(type, name, head, cnt) do { \
1099	type *t; \
1100	cnt = 0; \
1101	RB_FOREACH(t, name, head) { \
1102		cnt++; \
1103	} \
1104} while (0)
1105
1106void
1107dump_collate(void)
1108{
1109	FILE			*f;
1110	int			i, j, n;
1111	size_t			sz;
1112	int32_t			pri;
1113	collelem_t		*ce;
1114	collchar_t		*cc;
1115	subst_t			*sb;
1116	char			vers[COLLATE_STR_LEN];
1117	collate_char_t		chars[UCHAR_MAX + 1];
1118	collate_large_t		*large;
1119	collate_subst_t		*subst[COLL_WEIGHTS_MAX];
1120	collate_chain_t		*chain;
1121
1122	/*
1123	 * We have to run through a preliminary pass to identify all the
1124	 * weights that we use for each sorting level.
1125	 */
1126	for (i = 0; i < NUM_WT; i++) {
1127		add_weight(pri_ignore, i);
1128	}
1129	for (i = 0; i < NUM_WT; i++) {
1130		RB_FOREACH(sb, substs, &substs[i]) {
1131			for (j = 0; sb->ref[j]; j++) {
1132				add_weight(sb->ref[j], i);
1133			}
1134		}
1135	}
1136	RB_FOREACH(ce, elem_by_expand, &elem_by_expand) {
1137		add_weights(ce->ref);
1138	}
1139	RB_FOREACH(cc, collchars, &collchars) {
1140		add_weights(cc->ref);
1141	}
1142
1143	/*
1144	 * Now we walk the entire set of weights, removing the gaps
1145	 * in the weights.  This gives us optimum usage.  The walk
1146	 * occurs in priority.
1147	 */
1148	for (i = 0; i < NUM_WT; i++) {
1149		weight_t *w;
1150		RB_FOREACH(w, weights, &weights[i]) {
1151			w->opt = nweight[i];
1152			nweight[i] += 1;
1153		}
1154	}
1155
1156	(void) memset(&chars, 0, sizeof (chars));
1157	(void) memset(vers, 0, COLLATE_STR_LEN);
1158	(void) strlcpy(vers, COLLATE_VERSION, sizeof (vers));
1159
1160	/*
1161	 * We need to make sure we arrange for the UNDEFINED field
1162	 * to show up.  Also, set the total weight counts.
1163	 */
1164	for (i = 0; i < NUM_WT; i++) {
1165		if (resolve_pri(pri_undefined[i]) == -1) {
1166			set_pri(pri_undefined[i], -1, RESOLVED);
1167			/* they collate at the end of everything else */
1168			collinfo.undef_pri[i] = COLLATE_MAX_PRIORITY;
1169		}
1170		collinfo.pri_count[i] = nweight[i];
1171	}
1172
1173	collinfo.pri_count[NUM_WT] = max_wide();
1174	collinfo.undef_pri[NUM_WT] = COLLATE_MAX_PRIORITY;
1175	collinfo.directive[NUM_WT] = DIRECTIVE_UNDEFINED;
1176
1177	/*
1178	 * Ordinary character priorities
1179	 */
1180	for (i = 0; i <= UCHAR_MAX; i++) {
1181		if ((cc = get_collchar(i, 0)) != NULL) {
1182			for (j = 0; j < NUM_WT; j++) {
1183				chars[i].pri[j] = get_weight(cc->ref[j], j);
1184			}
1185		} else {
1186			for (j = 0; j < NUM_WT; j++) {
1187				chars[i].pri[j] =
1188				    get_weight(pri_undefined[j], j);
1189			}
1190			/*
1191			 * Per POSIX, for undefined characters, we
1192			 * also have to add a last item, which is the
1193			 * character code.
1194			 */
1195			chars[i].pri[NUM_WT] = i;
1196		}
1197	}
1198
1199	/*
1200	 * Substitution tables
1201	 */
1202	for (i = 0; i < NUM_WT; i++) {
1203		collate_subst_t *st = NULL;
1204		subst_t *temp;
1205		RB_COUNT(temp, substs, &substs[i], n);
1206		collinfo.subst_count[i] = n;
1207		if ((st = calloc(n, sizeof(collate_subst_t))) == NULL) {
1208			fprintf(stderr, "out of memory");
1209			return;
1210		}
1211		n = 0;
1212		RB_FOREACH(sb, substs, &substs[i]) {
1213			if ((st[n].key = resolve_pri(sb->key)) < 0) {
1214				/* by definition these resolve! */
1215				INTERR;
1216			}
1217			if (st[n].key != (n | COLLATE_SUBST_PRIORITY)) {
1218				INTERR;
1219			}
1220			for (j = 0; sb->ref[j]; j++) {
1221				st[n].pri[j] = get_weight(sb->ref[j], i);
1222			}
1223			n++;
1224		}
1225		if (n != collinfo.subst_count[i])
1226			INTERR;
1227		subst[i] = st;
1228	}
1229
1230
1231	/*
1232	 * Chains, i.e. collating elements
1233	 */
1234	RB_NUMNODES(collelem_t, elem_by_expand, &elem_by_expand,
1235	    collinfo.chain_count);
1236	chain = calloc(collinfo.chain_count, sizeof(collate_chain_t));
1237	if (chain == NULL) {
1238		fprintf(stderr, "out of memory");
1239		return;
1240	}
1241	n = 0;
1242	RB_FOREACH(ce, elem_by_expand, &elem_by_expand) {
1243		(void) wsncpy(chain[n].str, ce->expand, COLLATE_STR_LEN);
1244		for (i = 0; i < NUM_WT; i++) {
1245			chain[n].pri[i] = get_weight(ce->ref[i], i);
1246		}
1247		n++;
1248	}
1249	if (n != collinfo.chain_count)
1250		INTERR;
1251
1252	/*
1253	 * Large (> UCHAR_MAX) character priorities
1254	 */
1255	RB_NUMNODES(collchar_t, collchars, &collchars, n);
1256	large = calloc(n, sizeof(collate_large_t));
1257	if (large == NULL) {
1258		fprintf(stderr, "out of memory");
1259		return;
1260	}
1261
1262	i = 0;
1263	RB_FOREACH(cc, collchars, &collchars) {
1264		int	undef = 0;
1265		/* we already gathered those */
1266		if (cc->wc <= UCHAR_MAX)
1267			continue;
1268		for (j = 0; j < NUM_WT; j++) {
1269			if ((pri = get_weight(cc->ref[j], j)) < 0) {
1270				undef = 1;
1271			}
1272			if (undef && (pri >= 0)) {
1273				/* if undefined, then all priorities are */
1274				INTERR;
1275			} else {
1276				large[i].pri.pri[j] = pri;
1277			}
1278		}
1279		if (!undef) {
1280			large[i].val = cc->wc;
1281			collinfo.large_count = i++;
1282		}
1283	}
1284
1285	if ((f = open_category()) == NULL) {
1286		return;
1287	}
1288
1289	/* Time to write the entire data set out */
1290
1291	if ((wr_category(vers, COLLATE_STR_LEN, f) < 0) ||
1292	    (wr_category(&collinfo, sizeof (collinfo), f) < 0) ||
1293	    (wr_category(&chars, sizeof (chars), f) < 0)) {
1294		return;
1295	}
1296
1297	for (i = 0; i < NUM_WT; i++) {
1298		sz =  sizeof (collate_subst_t) * collinfo.subst_count[i];
1299		if (wr_category(subst[i], sz, f) < 0) {
1300			return;
1301		}
1302	}
1303	sz = sizeof (collate_chain_t) * collinfo.chain_count;
1304	if (wr_category(chain, sz, f) < 0) {
1305		return;
1306	}
1307	sz = sizeof (collate_large_t) * collinfo.large_count;
1308	if (wr_category(large, sz, f) < 0) {
1309		return;
1310	}
1311
1312	close_category(f);
1313}
1314