xref: /netbsd-src/crypto/external/bsd/heimdal/dist/lib/asn1/gen_encode.c (revision d3273b5b76f5afaafe308cead5511dbb8df8c5e9)
1*d3273b5bSchristos /*	$NetBSD: gen_encode.c,v 1.2 2017/01/28 21:31:45 christos Exp $	*/
2ca1c9b0cSelric 
3ca1c9b0cSelric /*
4ca1c9b0cSelric  * Copyright (c) 1997 - 2006 Kungliga Tekniska Högskolan
5ca1c9b0cSelric  * (Royal Institute of Technology, Stockholm, Sweden).
6ca1c9b0cSelric  * All rights reserved.
7ca1c9b0cSelric  *
8ca1c9b0cSelric  * Redistribution and use in source and binary forms, with or without
9ca1c9b0cSelric  * modification, are permitted provided that the following conditions
10ca1c9b0cSelric  * are met:
11ca1c9b0cSelric  *
12ca1c9b0cSelric  * 1. Redistributions of source code must retain the above copyright
13ca1c9b0cSelric  *    notice, this list of conditions and the following disclaimer.
14ca1c9b0cSelric  *
15ca1c9b0cSelric  * 2. Redistributions in binary form must reproduce the above copyright
16ca1c9b0cSelric  *    notice, this list of conditions and the following disclaimer in the
17ca1c9b0cSelric  *    documentation and/or other materials provided with the distribution.
18ca1c9b0cSelric  *
19ca1c9b0cSelric  * 3. Neither the name of the Institute nor the names of its contributors
20ca1c9b0cSelric  *    may be used to endorse or promote products derived from this software
21ca1c9b0cSelric  *    without specific prior written permission.
22ca1c9b0cSelric  *
23ca1c9b0cSelric  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
24ca1c9b0cSelric  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25ca1c9b0cSelric  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26ca1c9b0cSelric  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
27ca1c9b0cSelric  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28ca1c9b0cSelric  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29ca1c9b0cSelric  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30ca1c9b0cSelric  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31ca1c9b0cSelric  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32ca1c9b0cSelric  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33ca1c9b0cSelric  * SUCH DAMAGE.
34ca1c9b0cSelric  */
35ca1c9b0cSelric 
36ca1c9b0cSelric #include "gen_locl.h"
37ca1c9b0cSelric 
38ca1c9b0cSelric static void
encode_primitive(const char * typename,const char * name)39ca1c9b0cSelric encode_primitive (const char *typename, const char *name)
40ca1c9b0cSelric {
41ca1c9b0cSelric     fprintf (codefile,
42ca1c9b0cSelric 	     "e = der_put_%s(p, len, %s, &l);\n"
43ca1c9b0cSelric 	     "if (e) return e;\np -= l; len -= l; ret += l;\n\n",
44ca1c9b0cSelric 	     typename,
45ca1c9b0cSelric 	     name);
46ca1c9b0cSelric }
47ca1c9b0cSelric 
48ca1c9b0cSelric const char *
classname(Der_class class)49ca1c9b0cSelric classname(Der_class class)
50ca1c9b0cSelric {
51ca1c9b0cSelric     const char *cn[] = { "ASN1_C_UNIV", "ASN1_C_APPL",
52ca1c9b0cSelric 			 "ASN1_C_CONTEXT", "ASN1_C_PRIV" };
53b9d004c6Schristos     if ((int)class >= sizeof(cn) / sizeof(cn[0]))
54ca1c9b0cSelric 	return "???";
55ca1c9b0cSelric     return cn[class];
56ca1c9b0cSelric }
57ca1c9b0cSelric 
58ca1c9b0cSelric 
59ca1c9b0cSelric const char *
valuename(Der_class class,int value)60ca1c9b0cSelric valuename(Der_class class, int value)
61ca1c9b0cSelric {
62ca1c9b0cSelric     static char s[32];
63ca1c9b0cSelric     struct {
64ca1c9b0cSelric 	int value;
65ca1c9b0cSelric 	const char *s;
66ca1c9b0cSelric     } *p, values[] = {
67ca1c9b0cSelric #define X(Y) { Y, #Y }
68ca1c9b0cSelric 	X(UT_BMPString),
69ca1c9b0cSelric 	X(UT_BitString),
70ca1c9b0cSelric 	X(UT_Boolean),
71ca1c9b0cSelric 	X(UT_EmbeddedPDV),
72ca1c9b0cSelric 	X(UT_Enumerated),
73ca1c9b0cSelric 	X(UT_External),
74ca1c9b0cSelric 	X(UT_GeneralString),
75ca1c9b0cSelric 	X(UT_GeneralizedTime),
76ca1c9b0cSelric 	X(UT_GraphicString),
77ca1c9b0cSelric 	X(UT_IA5String),
78ca1c9b0cSelric 	X(UT_Integer),
79ca1c9b0cSelric 	X(UT_Null),
80ca1c9b0cSelric 	X(UT_NumericString),
81ca1c9b0cSelric 	X(UT_OID),
82ca1c9b0cSelric 	X(UT_ObjectDescriptor),
83ca1c9b0cSelric 	X(UT_OctetString),
84ca1c9b0cSelric 	X(UT_PrintableString),
85ca1c9b0cSelric 	X(UT_Real),
86ca1c9b0cSelric 	X(UT_RelativeOID),
87ca1c9b0cSelric 	X(UT_Sequence),
88ca1c9b0cSelric 	X(UT_Set),
89ca1c9b0cSelric 	X(UT_TeletexString),
90ca1c9b0cSelric 	X(UT_UTCTime),
91ca1c9b0cSelric 	X(UT_UTF8String),
92ca1c9b0cSelric 	X(UT_UniversalString),
93ca1c9b0cSelric 	X(UT_VideotexString),
94ca1c9b0cSelric 	X(UT_VisibleString),
95ca1c9b0cSelric #undef X
96ca1c9b0cSelric 	{ -1, NULL }
97ca1c9b0cSelric     };
98ca1c9b0cSelric     if(class == ASN1_C_UNIV) {
99ca1c9b0cSelric 	for(p = values; p->value != -1; p++)
100ca1c9b0cSelric 	    if(p->value == value)
101ca1c9b0cSelric 		return p->s;
102ca1c9b0cSelric     }
103ca1c9b0cSelric     snprintf(s, sizeof(s), "%d", value);
104ca1c9b0cSelric     return s;
105ca1c9b0cSelric }
106ca1c9b0cSelric 
107ca1c9b0cSelric static int
encode_type(const char * name,const Type * t,const char * tmpstr)108ca1c9b0cSelric encode_type (const char *name, const Type *t, const char *tmpstr)
109ca1c9b0cSelric {
110ca1c9b0cSelric     int constructed = 1;
111ca1c9b0cSelric 
112ca1c9b0cSelric     switch (t->type) {
113ca1c9b0cSelric     case TType:
114ca1c9b0cSelric #if 0
115ca1c9b0cSelric 	encode_type (name, t->symbol->type);
116ca1c9b0cSelric #endif
117ca1c9b0cSelric 	fprintf (codefile,
118ca1c9b0cSelric 		 "e = encode_%s(p, len, %s, &l);\n"
119ca1c9b0cSelric 		 "if (e) return e;\np -= l; len -= l; ret += l;\n\n",
120ca1c9b0cSelric 		 t->symbol->gen_name, name);
121ca1c9b0cSelric 	break;
122ca1c9b0cSelric     case TInteger:
123ca1c9b0cSelric 	if(t->members) {
124ca1c9b0cSelric 	    fprintf(codefile,
125ca1c9b0cSelric 		    "{\n"
126ca1c9b0cSelric 		    "int enumint = (int)*%s;\n",
127ca1c9b0cSelric 		    name);
128ca1c9b0cSelric 	    encode_primitive ("integer", "&enumint");
129ca1c9b0cSelric 	    fprintf(codefile, "}\n;");
130ca1c9b0cSelric 	} else if (t->range == NULL) {
131ca1c9b0cSelric 	    encode_primitive ("heim_integer", name);
132b9d004c6Schristos 	} else if (t->range->min < INT_MIN && t->range->max <= INT64_MAX) {
133b9d004c6Schristos 	    encode_primitive ("integer64", name);
134b9d004c6Schristos 	} else if (t->range->min >= 0 && t->range->max > UINT_MAX) {
135b9d004c6Schristos 	    encode_primitive ("unsigned64", name);
136b9d004c6Schristos 	} else if (t->range->min >= INT_MIN && t->range->max <= INT_MAX) {
137ca1c9b0cSelric 	    encode_primitive ("integer", name);
138b9d004c6Schristos 	} else if (t->range->min >= 0 && t->range->max <= UINT_MAX) {
139ca1c9b0cSelric 	    encode_primitive ("unsigned", name);
140ca1c9b0cSelric 	} else
141b9d004c6Schristos 	    errx(1, "%s: unsupported range %lld -> %lld",
142b9d004c6Schristos 		 name, (long long)t->range->min, (long long)t->range->max);
143b9d004c6Schristos 
144ca1c9b0cSelric 	constructed = 0;
145ca1c9b0cSelric 	break;
146ca1c9b0cSelric     case TBoolean:
147ca1c9b0cSelric 	encode_primitive ("boolean", name);
148ca1c9b0cSelric 	constructed = 0;
149ca1c9b0cSelric 	break;
150ca1c9b0cSelric     case TOctetString:
151ca1c9b0cSelric 	encode_primitive ("octet_string", name);
152ca1c9b0cSelric 	constructed = 0;
153ca1c9b0cSelric 	break;
154ca1c9b0cSelric     case TBitString: {
155ca1c9b0cSelric 	Member *m;
156ca1c9b0cSelric 	int pos;
157ca1c9b0cSelric 
158ca1c9b0cSelric 	if (ASN1_TAILQ_EMPTY(t->members)) {
159ca1c9b0cSelric 	    encode_primitive("bit_string", name);
160ca1c9b0cSelric 	    constructed = 0;
161ca1c9b0cSelric 	    break;
162ca1c9b0cSelric 	}
163ca1c9b0cSelric 
164ca1c9b0cSelric 	fprintf (codefile, "{\n"
165ca1c9b0cSelric 		 "unsigned char c = 0;\n");
166ca1c9b0cSelric 	if (!rfc1510_bitstring)
167ca1c9b0cSelric 	    fprintf (codefile,
168ca1c9b0cSelric 		     "int rest = 0;\n"
169ca1c9b0cSelric 		     "int bit_set = 0;\n");
170ca1c9b0cSelric #if 0
171ca1c9b0cSelric 	pos = t->members->prev->val;
172ca1c9b0cSelric 	/* fix for buggy MIT (and OSF?) code */
173ca1c9b0cSelric 	if (pos > 31)
174ca1c9b0cSelric 	    abort ();
175ca1c9b0cSelric #endif
176ca1c9b0cSelric 	/*
177ca1c9b0cSelric 	 * It seems that if we do not always set pos to 31 here, the MIT
178ca1c9b0cSelric 	 * code will do the wrong thing.
179ca1c9b0cSelric 	 *
180ca1c9b0cSelric 	 * I hate ASN.1 (and DER), but I hate it even more when everybody
181ca1c9b0cSelric 	 * has to screw it up differently.
182ca1c9b0cSelric 	 */
183ca1c9b0cSelric 	pos = ASN1_TAILQ_LAST(t->members, memhead)->val;
184ca1c9b0cSelric 	if (rfc1510_bitstring) {
185ca1c9b0cSelric 	    if (pos < 31)
186ca1c9b0cSelric 		pos = 31;
187ca1c9b0cSelric 	}
188ca1c9b0cSelric 
189ca1c9b0cSelric 	ASN1_TAILQ_FOREACH_REVERSE(m, t->members, memhead, members) {
190ca1c9b0cSelric 	    while (m->val / 8 < pos / 8) {
191ca1c9b0cSelric 		if (!rfc1510_bitstring)
192ca1c9b0cSelric 		    fprintf (codefile,
193ca1c9b0cSelric 			     "if (c != 0 || bit_set) {\n");
194ca1c9b0cSelric 		fprintf (codefile,
195ca1c9b0cSelric 			 "if (len < 1) return ASN1_OVERFLOW;\n"
196ca1c9b0cSelric 			 "*p-- = c; len--; ret++;\n");
197ca1c9b0cSelric 		if (!rfc1510_bitstring)
198ca1c9b0cSelric 		    fprintf (codefile,
199ca1c9b0cSelric 			     "if (!bit_set) {\n"
200ca1c9b0cSelric 			     "rest = 0;\n"
201ca1c9b0cSelric 			     "while(c) { \n"
202ca1c9b0cSelric 			     "if (c & 1) break;\n"
203ca1c9b0cSelric 			     "c = c >> 1;\n"
204ca1c9b0cSelric 			     "rest++;\n"
205ca1c9b0cSelric 			     "}\n"
206ca1c9b0cSelric 			     "bit_set = 1;\n"
207ca1c9b0cSelric 			     "}\n"
208ca1c9b0cSelric 			     "}\n");
209ca1c9b0cSelric 		fprintf (codefile,
210ca1c9b0cSelric 			 "c = 0;\n");
211ca1c9b0cSelric 		pos -= 8;
212ca1c9b0cSelric 	    }
213ca1c9b0cSelric 	    fprintf (codefile,
214ca1c9b0cSelric 		     "if((%s)->%s) {\n"
215ca1c9b0cSelric 		     "c |= 1<<%d;\n",
216ca1c9b0cSelric 		     name, m->gen_name, 7 - m->val % 8);
217ca1c9b0cSelric 	    fprintf (codefile,
218ca1c9b0cSelric 		     "}\n");
219ca1c9b0cSelric 	}
220ca1c9b0cSelric 
221ca1c9b0cSelric 	if (!rfc1510_bitstring)
222ca1c9b0cSelric 	    fprintf (codefile,
223ca1c9b0cSelric 		     "if (c != 0 || bit_set) {\n");
224ca1c9b0cSelric 	fprintf (codefile,
225ca1c9b0cSelric 		 "if (len < 1) return ASN1_OVERFLOW;\n"
226ca1c9b0cSelric 		 "*p-- = c; len--; ret++;\n");
227ca1c9b0cSelric 	if (!rfc1510_bitstring)
228ca1c9b0cSelric 	    fprintf (codefile,
229ca1c9b0cSelric 		     "if (!bit_set) {\n"
230ca1c9b0cSelric 		     "rest = 0;\n"
231ca1c9b0cSelric 		     "if(c) { \n"
232ca1c9b0cSelric 		     "while(c) { \n"
233ca1c9b0cSelric 		     "if (c & 1) break;\n"
234ca1c9b0cSelric 		     "c = c >> 1;\n"
235ca1c9b0cSelric 		     "rest++;\n"
236ca1c9b0cSelric 		     "}\n"
237ca1c9b0cSelric 		     "}\n"
238ca1c9b0cSelric 		     "}\n"
239ca1c9b0cSelric 		     "}\n");
240ca1c9b0cSelric 
241ca1c9b0cSelric 	fprintf (codefile,
242ca1c9b0cSelric 		 "if (len < 1) return ASN1_OVERFLOW;\n"
243ca1c9b0cSelric 		 "*p-- = %s;\n"
244ca1c9b0cSelric 		 "len -= 1;\n"
245ca1c9b0cSelric 		 "ret += 1;\n"
246ca1c9b0cSelric 		 "}\n\n",
247ca1c9b0cSelric 		 rfc1510_bitstring ? "0" : "rest");
248ca1c9b0cSelric 	constructed = 0;
249ca1c9b0cSelric 	break;
250ca1c9b0cSelric     }
251ca1c9b0cSelric     case TEnumerated : {
252ca1c9b0cSelric 	encode_primitive ("enumerated", name);
253ca1c9b0cSelric 	constructed = 0;
254ca1c9b0cSelric 	break;
255ca1c9b0cSelric     }
256ca1c9b0cSelric 
257ca1c9b0cSelric     case TSet:
258ca1c9b0cSelric     case TSequence: {
259ca1c9b0cSelric 	Member *m;
260ca1c9b0cSelric 
261ca1c9b0cSelric 	if (t->members == NULL)
262ca1c9b0cSelric 	    break;
263ca1c9b0cSelric 
264ca1c9b0cSelric 	ASN1_TAILQ_FOREACH_REVERSE(m, t->members, memhead, members) {
265ca1c9b0cSelric 	    char *s = NULL;
266ca1c9b0cSelric 
267ca1c9b0cSelric 	    if (m->ellipsis)
268ca1c9b0cSelric 		continue;
269ca1c9b0cSelric 
270ca1c9b0cSelric 	    if (asprintf (&s, "%s(%s)->%s", m->optional ? "" : "&", name, m->gen_name) < 0 || s == NULL)
271ca1c9b0cSelric 		errx(1, "malloc");
272ca1c9b0cSelric 	    fprintf(codefile, "/* %s */\n", m->name);
273ca1c9b0cSelric 	    if (m->optional)
274ca1c9b0cSelric 		fprintf (codefile,
275ca1c9b0cSelric 			 "if(%s) ",
276ca1c9b0cSelric 			 s);
277ca1c9b0cSelric 	    else if(m->defval)
278ca1c9b0cSelric 		gen_compare_defval(s + 1, m->defval);
279ca1c9b0cSelric 	    fprintf (codefile, "{\n");
2804f77a458Spettai 	    fprintf (codefile, "size_t %s_oldret HEIMDAL_UNUSED_ATTRIBUTE = ret;\n", tmpstr);
281ca1c9b0cSelric 	    fprintf (codefile, "ret = 0;\n");
282ca1c9b0cSelric 	    encode_type (s, m->type, m->gen_name);
283ca1c9b0cSelric 	    fprintf (codefile, "ret += %s_oldret;\n", tmpstr);
284ca1c9b0cSelric 	    fprintf (codefile, "}\n");
285ca1c9b0cSelric 	    free (s);
286ca1c9b0cSelric 	}
287ca1c9b0cSelric 	break;
288ca1c9b0cSelric     }
289ca1c9b0cSelric     case TSetOf: {
290ca1c9b0cSelric 
291ca1c9b0cSelric 	fprintf(codefile,
292ca1c9b0cSelric 		"{\n"
293b9d004c6Schristos 		"heim_octet_string *val;\n"
294ca1c9b0cSelric 		"size_t elen = 0, totallen = 0;\n"
295ca1c9b0cSelric 		"int eret = 0;\n");
296ca1c9b0cSelric 
297ca1c9b0cSelric 	fprintf(codefile,
298ca1c9b0cSelric 		"if ((%s)->len > UINT_MAX/sizeof(val[0]))\n"
299ca1c9b0cSelric 		"return ERANGE;\n",
300ca1c9b0cSelric 		name);
301ca1c9b0cSelric 
302ca1c9b0cSelric 	fprintf(codefile,
303ca1c9b0cSelric 		"val = malloc(sizeof(val[0]) * (%s)->len);\n"
304ca1c9b0cSelric 		"if (val == NULL && (%s)->len != 0) return ENOMEM;\n",
305ca1c9b0cSelric 		name, name);
306ca1c9b0cSelric 
307ca1c9b0cSelric 	fprintf(codefile,
3084f77a458Spettai 		"for(i = 0; i < (int)(%s)->len; i++) {\n",
309ca1c9b0cSelric 		name);
310ca1c9b0cSelric 
311ca1c9b0cSelric 	fprintf(codefile,
312ca1c9b0cSelric 		"ASN1_MALLOC_ENCODE(%s, val[i].data, "
313ca1c9b0cSelric 		"val[i].length, &(%s)->val[i], &elen, eret);\n",
314ca1c9b0cSelric 		t->subtype->symbol->gen_name,
315ca1c9b0cSelric 		name);
316ca1c9b0cSelric 
317ca1c9b0cSelric 	fprintf(codefile,
318ca1c9b0cSelric 		"if(eret) {\n"
319ca1c9b0cSelric 		"i--;\n"
320ca1c9b0cSelric 		"while (i >= 0) {\n"
321ca1c9b0cSelric 		"free(val[i].data);\n"
322ca1c9b0cSelric 		"i--;\n"
323ca1c9b0cSelric 		"}\n"
324ca1c9b0cSelric 		"free(val);\n"
325ca1c9b0cSelric 		"return eret;\n"
326ca1c9b0cSelric 		"}\n"
327ca1c9b0cSelric 		"totallen += elen;\n"
328ca1c9b0cSelric 		"}\n");
329ca1c9b0cSelric 
330ca1c9b0cSelric 	fprintf(codefile,
331ca1c9b0cSelric 		"if (totallen > len) {\n"
3324f77a458Spettai 		"for (i = 0; i < (int)(%s)->len; i++) {\n"
333ca1c9b0cSelric 		"free(val[i].data);\n"
334ca1c9b0cSelric 		"}\n"
335ca1c9b0cSelric 		"free(val);\n"
336ca1c9b0cSelric 		"return ASN1_OVERFLOW;\n"
337ca1c9b0cSelric 		"}\n",
338ca1c9b0cSelric 		name);
339ca1c9b0cSelric 
340ca1c9b0cSelric 	fprintf(codefile,
341ca1c9b0cSelric 		"qsort(val, (%s)->len, sizeof(val[0]), _heim_der_set_sort);\n",
342ca1c9b0cSelric 		name);
343ca1c9b0cSelric 
344ca1c9b0cSelric 	fprintf (codefile,
3454f77a458Spettai 		 "for(i = (int)(%s)->len - 1; i >= 0; --i) {\n"
346ca1c9b0cSelric 		 "p -= val[i].length;\n"
347ca1c9b0cSelric 		 "ret += val[i].length;\n"
348ca1c9b0cSelric 		 "memcpy(p + 1, val[i].data, val[i].length);\n"
349ca1c9b0cSelric 		 "free(val[i].data);\n"
350ca1c9b0cSelric 		 "}\n"
351ca1c9b0cSelric 		 "free(val);\n"
352ca1c9b0cSelric 		 "}\n",
353ca1c9b0cSelric 		 name);
354ca1c9b0cSelric 	break;
355ca1c9b0cSelric     }
356ca1c9b0cSelric     case TSequenceOf: {
357ca1c9b0cSelric 	char *sname = NULL;
358ca1c9b0cSelric 	char *n = NULL;
359ca1c9b0cSelric 
360ca1c9b0cSelric 	fprintf (codefile,
3614f77a458Spettai 		 "for(i = (int)(%s)->len - 1; i >= 0; --i) {\n"
362ca1c9b0cSelric 		 "size_t %s_for_oldret = ret;\n"
363ca1c9b0cSelric 		 "ret = 0;\n",
364ca1c9b0cSelric 		 name, tmpstr);
365ca1c9b0cSelric 	if (asprintf (&n, "&(%s)->val[i]", name) < 0 || n == NULL)
366ca1c9b0cSelric 	    errx(1, "malloc");
367ca1c9b0cSelric 	if (asprintf (&sname, "%s_S_Of", tmpstr) < 0 || sname == NULL)
368ca1c9b0cSelric 	    errx(1, "malloc");
369ca1c9b0cSelric 	encode_type (n, t->subtype, sname);
370ca1c9b0cSelric 	fprintf (codefile,
371ca1c9b0cSelric 		 "ret += %s_for_oldret;\n"
372ca1c9b0cSelric 		 "}\n",
373ca1c9b0cSelric 		 tmpstr);
374ca1c9b0cSelric 	free (n);
375ca1c9b0cSelric 	free (sname);
376ca1c9b0cSelric 	break;
377ca1c9b0cSelric     }
378ca1c9b0cSelric     case TGeneralizedTime:
379ca1c9b0cSelric 	encode_primitive ("generalized_time", name);
380ca1c9b0cSelric 	constructed = 0;
381ca1c9b0cSelric 	break;
382ca1c9b0cSelric     case TGeneralString:
383ca1c9b0cSelric 	encode_primitive ("general_string", name);
384ca1c9b0cSelric 	constructed = 0;
385ca1c9b0cSelric 	break;
386ca1c9b0cSelric     case TTeletexString:
387ca1c9b0cSelric 	encode_primitive ("general_string", name);
388ca1c9b0cSelric 	constructed = 0;
389ca1c9b0cSelric 	break;
390ca1c9b0cSelric     case TTag: {
391ca1c9b0cSelric     	char *tname = NULL;
392ca1c9b0cSelric 	int c;
393ca1c9b0cSelric 	if (asprintf (&tname, "%s_tag", tmpstr) < 0 || tname == NULL)
394ca1c9b0cSelric 	    errx(1, "malloc");
395ca1c9b0cSelric 	c = encode_type (name, t->subtype, tname);
396ca1c9b0cSelric 	fprintf (codefile,
397ca1c9b0cSelric 		 "e = der_put_length_and_tag (p, len, ret, %s, %s, %s, &l);\n"
398ca1c9b0cSelric 		 "if (e) return e;\np -= l; len -= l; ret += l;\n\n",
399ca1c9b0cSelric 		 classname(t->tag.tagclass),
400ca1c9b0cSelric 		 c ? "CONS" : "PRIM",
401ca1c9b0cSelric 		 valuename(t->tag.tagclass, t->tag.tagvalue));
402ca1c9b0cSelric 	free (tname);
403ca1c9b0cSelric 	break;
404ca1c9b0cSelric     }
405ca1c9b0cSelric     case TChoice:{
406ca1c9b0cSelric 	Member *m, *have_ellipsis = NULL;
407ca1c9b0cSelric 	char *s = NULL;
408ca1c9b0cSelric 
409ca1c9b0cSelric 	if (t->members == NULL)
410ca1c9b0cSelric 	    break;
411ca1c9b0cSelric 
412ca1c9b0cSelric 	fprintf(codefile, "\n");
413ca1c9b0cSelric 
414ca1c9b0cSelric 	if (asprintf (&s, "(%s)", name) < 0 || s == NULL)
415ca1c9b0cSelric 	    errx(1, "malloc");
416ca1c9b0cSelric 	fprintf(codefile, "switch(%s->element) {\n", s);
417ca1c9b0cSelric 
418ca1c9b0cSelric 	ASN1_TAILQ_FOREACH_REVERSE(m, t->members, memhead, members) {
419ca1c9b0cSelric 	    char *s2 = NULL;
420ca1c9b0cSelric 
421ca1c9b0cSelric 	    if (m->ellipsis) {
422ca1c9b0cSelric 		have_ellipsis = m;
423ca1c9b0cSelric 		continue;
424ca1c9b0cSelric 	    }
425ca1c9b0cSelric 
426ca1c9b0cSelric 	    fprintf (codefile, "case %s: {", m->label);
427ca1c9b0cSelric 	    if (asprintf(&s2, "%s(%s)->u.%s", m->optional ? "" : "&",
428ca1c9b0cSelric 			 s, m->gen_name) < 0 || s2 == NULL)
429ca1c9b0cSelric 		errx(1, "malloc");
430ca1c9b0cSelric 	    if (m->optional)
431ca1c9b0cSelric 		fprintf (codefile, "if(%s) {\n", s2);
432ca1c9b0cSelric 	    fprintf (codefile, "size_t %s_oldret = ret;\n", tmpstr);
433ca1c9b0cSelric 	    fprintf (codefile, "ret = 0;\n");
434ca1c9b0cSelric 	    constructed = encode_type (s2, m->type, m->gen_name);
435ca1c9b0cSelric 	    fprintf (codefile, "ret += %s_oldret;\n", tmpstr);
436ca1c9b0cSelric 	    if(m->optional)
437ca1c9b0cSelric 		fprintf (codefile, "}\n");
438ca1c9b0cSelric 	    fprintf(codefile, "break;\n");
439ca1c9b0cSelric 	    fprintf(codefile, "}\n");
440ca1c9b0cSelric 	    free (s2);
441ca1c9b0cSelric 	}
442ca1c9b0cSelric 	free (s);
443ca1c9b0cSelric 	if (have_ellipsis) {
444ca1c9b0cSelric 	    fprintf(codefile,
445ca1c9b0cSelric 		    "case %s: {\n"
446ca1c9b0cSelric 		    "if (len < (%s)->u.%s.length)\n"
447ca1c9b0cSelric 		    "return ASN1_OVERFLOW;\n"
448ca1c9b0cSelric 		    "p -= (%s)->u.%s.length;\n"
449ca1c9b0cSelric 		    "ret += (%s)->u.%s.length;\n"
450ca1c9b0cSelric 		    "memcpy(p + 1, (%s)->u.%s.data, (%s)->u.%s.length);\n"
451ca1c9b0cSelric 		    "break;\n"
452ca1c9b0cSelric 		    "}\n",
453ca1c9b0cSelric 		    have_ellipsis->label,
454ca1c9b0cSelric 		    name, have_ellipsis->gen_name,
455ca1c9b0cSelric 		    name, have_ellipsis->gen_name,
456ca1c9b0cSelric 		    name, have_ellipsis->gen_name,
457ca1c9b0cSelric 		    name, have_ellipsis->gen_name,
458ca1c9b0cSelric 		    name, have_ellipsis->gen_name);
459ca1c9b0cSelric 	}
460ca1c9b0cSelric 	fprintf(codefile, "};\n");
461ca1c9b0cSelric 	break;
462ca1c9b0cSelric     }
463ca1c9b0cSelric     case TOID:
464ca1c9b0cSelric 	encode_primitive ("oid", name);
465ca1c9b0cSelric 	constructed = 0;
466ca1c9b0cSelric 	break;
467ca1c9b0cSelric     case TUTCTime:
468ca1c9b0cSelric 	encode_primitive ("utctime", name);
469ca1c9b0cSelric 	constructed = 0;
470ca1c9b0cSelric 	break;
471ca1c9b0cSelric     case TUTF8String:
472ca1c9b0cSelric 	encode_primitive ("utf8string", name);
473ca1c9b0cSelric 	constructed = 0;
474ca1c9b0cSelric 	break;
475ca1c9b0cSelric     case TPrintableString:
476ca1c9b0cSelric 	encode_primitive ("printable_string", name);
477ca1c9b0cSelric 	constructed = 0;
478ca1c9b0cSelric 	break;
479ca1c9b0cSelric     case TIA5String:
480ca1c9b0cSelric 	encode_primitive ("ia5_string", name);
481ca1c9b0cSelric 	constructed = 0;
482ca1c9b0cSelric 	break;
483ca1c9b0cSelric     case TBMPString:
484ca1c9b0cSelric 	encode_primitive ("bmp_string", name);
485ca1c9b0cSelric 	constructed = 0;
486ca1c9b0cSelric 	break;
487ca1c9b0cSelric     case TUniversalString:
488ca1c9b0cSelric 	encode_primitive ("universal_string", name);
489ca1c9b0cSelric 	constructed = 0;
490ca1c9b0cSelric 	break;
491ca1c9b0cSelric     case TVisibleString:
492ca1c9b0cSelric 	encode_primitive ("visible_string", name);
493ca1c9b0cSelric 	constructed = 0;
494ca1c9b0cSelric 	break;
495ca1c9b0cSelric     case TNull:
496ca1c9b0cSelric 	fprintf (codefile, "/* NULL */\n");
497ca1c9b0cSelric 	constructed = 0;
498ca1c9b0cSelric 	break;
499ca1c9b0cSelric     default:
500ca1c9b0cSelric 	abort ();
501ca1c9b0cSelric     }
502ca1c9b0cSelric     return constructed;
503ca1c9b0cSelric }
504ca1c9b0cSelric 
505ca1c9b0cSelric void
generate_type_encode(const Symbol * s)506ca1c9b0cSelric generate_type_encode (const Symbol *s)
507ca1c9b0cSelric {
508ca1c9b0cSelric     fprintf (codefile, "int ASN1CALL\n"
5094f77a458Spettai 	     "encode_%s(unsigned char *p HEIMDAL_UNUSED_ATTRIBUTE, size_t len HEIMDAL_UNUSED_ATTRIBUTE,"
510ca1c9b0cSelric 	     " const %s *data, size_t *size)\n"
511ca1c9b0cSelric 	     "{\n",
512ca1c9b0cSelric 	     s->gen_name, s->gen_name);
513ca1c9b0cSelric 
514ca1c9b0cSelric     switch (s->type->type) {
515ca1c9b0cSelric     case TInteger:
516ca1c9b0cSelric     case TBoolean:
517ca1c9b0cSelric     case TOctetString:
518ca1c9b0cSelric     case TGeneralizedTime:
519ca1c9b0cSelric     case TGeneralString:
520ca1c9b0cSelric     case TTeletexString:
521ca1c9b0cSelric     case TUTCTime:
522ca1c9b0cSelric     case TUTF8String:
523ca1c9b0cSelric     case TPrintableString:
524ca1c9b0cSelric     case TIA5String:
525ca1c9b0cSelric     case TBMPString:
526ca1c9b0cSelric     case TUniversalString:
527ca1c9b0cSelric     case TVisibleString:
528ca1c9b0cSelric     case TNull:
529ca1c9b0cSelric     case TBitString:
530ca1c9b0cSelric     case TEnumerated:
531ca1c9b0cSelric     case TOID:
532ca1c9b0cSelric     case TSequence:
533ca1c9b0cSelric     case TSequenceOf:
534ca1c9b0cSelric     case TSet:
535ca1c9b0cSelric     case TSetOf:
536ca1c9b0cSelric     case TTag:
537ca1c9b0cSelric     case TType:
538ca1c9b0cSelric     case TChoice:
539ca1c9b0cSelric 	fprintf (codefile,
5404f77a458Spettai 		 "size_t ret HEIMDAL_UNUSED_ATTRIBUTE = 0;\n"
5414f77a458Spettai 		 "size_t l HEIMDAL_UNUSED_ATTRIBUTE;\n"
5424f77a458Spettai 		 "int i HEIMDAL_UNUSED_ATTRIBUTE, e HEIMDAL_UNUSED_ATTRIBUTE;\n\n");
543ca1c9b0cSelric 
544ca1c9b0cSelric 	encode_type("data", s->type, "Top");
545ca1c9b0cSelric 
546ca1c9b0cSelric 	fprintf (codefile, "*size = ret;\n"
547ca1c9b0cSelric 		 "return 0;\n");
548ca1c9b0cSelric 	break;
549ca1c9b0cSelric     default:
550ca1c9b0cSelric 	abort ();
551ca1c9b0cSelric     }
552ca1c9b0cSelric     fprintf (codefile, "}\n\n");
553ca1c9b0cSelric }
554