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