xref: /freebsd/crypto/heimdal/lib/asn1/gen_copy.c (revision c19800e8)
1b528cefcSMark Murray /*
2c19800e8SDoug Rabson  * Copyright (c) 1997 - 2005 Kungliga Tekniska Högskolan
3b528cefcSMark Murray  * (Royal Institute of Technology, Stockholm, Sweden).
4b528cefcSMark Murray  * All rights reserved.
5b528cefcSMark Murray  *
6b528cefcSMark Murray  * Redistribution and use in source and binary forms, with or without
7b528cefcSMark Murray  * modification, are permitted provided that the following conditions
8b528cefcSMark Murray  * are met:
9b528cefcSMark Murray  *
10b528cefcSMark Murray  * 1. Redistributions of source code must retain the above copyright
11b528cefcSMark Murray  *    notice, this list of conditions and the following disclaimer.
12b528cefcSMark Murray  *
13b528cefcSMark Murray  * 2. Redistributions in binary form must reproduce the above copyright
14b528cefcSMark Murray  *    notice, this list of conditions and the following disclaimer in the
15b528cefcSMark Murray  *    documentation and/or other materials provided with the distribution.
16b528cefcSMark Murray  *
17b528cefcSMark Murray  * 3. Neither the name of the Institute nor the names of its contributors
18b528cefcSMark Murray  *    may be used to endorse or promote products derived from this software
19b528cefcSMark Murray  *    without specific prior written permission.
20b528cefcSMark Murray  *
21b528cefcSMark Murray  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
22b528cefcSMark Murray  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23b528cefcSMark Murray  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24b528cefcSMark Murray  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
25b528cefcSMark Murray  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26b528cefcSMark Murray  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27b528cefcSMark Murray  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28b528cefcSMark Murray  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29b528cefcSMark Murray  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30b528cefcSMark Murray  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31b528cefcSMark Murray  * SUCH DAMAGE.
32b528cefcSMark Murray  */
33b528cefcSMark Murray 
34b528cefcSMark Murray #include "gen_locl.h"
35b528cefcSMark Murray 
36c19800e8SDoug Rabson RCSID("$Id$");
37c19800e8SDoug Rabson 
38c19800e8SDoug Rabson static int used_fail;
39b528cefcSMark Murray 
40b528cefcSMark Murray static void
copy_primitive(const char * typename,const char * from,const char * to)41b528cefcSMark Murray copy_primitive (const char *typename, const char *from, const char *to)
42b528cefcSMark Murray {
43c19800e8SDoug Rabson     fprintf (codefile, "if(der_copy_%s(%s, %s)) goto fail;\n",
44b528cefcSMark Murray 	     typename, from, to);
45c19800e8SDoug Rabson     used_fail++;
46b528cefcSMark Murray }
47b528cefcSMark Murray 
48b528cefcSMark Murray static void
copy_type(const char * from,const char * to,const Type * t,int preserve)49c19800e8SDoug Rabson copy_type (const char *from, const char *to, const Type *t, int preserve)
50b528cefcSMark Murray {
51b528cefcSMark Murray     switch (t->type) {
52b528cefcSMark Murray     case TType:
53b528cefcSMark Murray #if 0
54c19800e8SDoug Rabson 	copy_type (from, to, t->symbol->type, preserve);
55b528cefcSMark Murray #endif
56c19800e8SDoug Rabson 	fprintf (codefile, "if(copy_%s(%s, %s)) goto fail;\n",
57b528cefcSMark Murray 		 t->symbol->gen_name, from, to);
58c19800e8SDoug Rabson 	used_fail++;
59b528cefcSMark Murray 	break;
60b528cefcSMark Murray     case TInteger:
61c19800e8SDoug Rabson 	if (t->range == NULL && t->members == NULL) {
62c19800e8SDoug Rabson 	    copy_primitive ("heim_integer", from, to);
63c19800e8SDoug Rabson 	    break;
64c19800e8SDoug Rabson 	}
65c19800e8SDoug Rabson     case TBoolean:
664137ff4cSJacques Vidrine     case TEnumerated :
67b528cefcSMark Murray 	fprintf(codefile, "*(%s) = *(%s);\n", to, from);
68b528cefcSMark Murray 	break;
69b528cefcSMark Murray     case TOctetString:
70b528cefcSMark Murray 	copy_primitive ("octet_string", from, to);
71b528cefcSMark Murray 	break;
72c19800e8SDoug Rabson     case TBitString:
73c19800e8SDoug Rabson 	if (ASN1_TAILQ_EMPTY(t->members))
74c19800e8SDoug Rabson 	    copy_primitive ("bit_string", from, to);
75c19800e8SDoug Rabson 	else
76b528cefcSMark Murray 	    fprintf(codefile, "*(%s) = *(%s);\n", to, from);
77b528cefcSMark Murray 	break;
78c19800e8SDoug Rabson     case TSet:
79c19800e8SDoug Rabson     case TSequence:
80c19800e8SDoug Rabson     case TChoice: {
81c19800e8SDoug Rabson 	Member *m, *have_ellipsis = NULL;
82b528cefcSMark Murray 
83b528cefcSMark Murray 	if(t->members == NULL)
84b528cefcSMark Murray 	    break;
85b528cefcSMark Murray 
86c19800e8SDoug Rabson 	if ((t->type == TSequence || t->type == TChoice) && preserve) {
87c19800e8SDoug Rabson 	    fprintf(codefile,
88c19800e8SDoug Rabson 		    "{ int ret;\n"
89c19800e8SDoug Rabson 		    "ret = der_copy_octet_string(&(%s)->_save, &(%s)->_save);\n"
90c19800e8SDoug Rabson 		    "if (ret) goto fail;\n"
91c19800e8SDoug Rabson 		    "}\n",
92c19800e8SDoug Rabson 		    from, to);
93c19800e8SDoug Rabson 	    used_fail++;
94b528cefcSMark Murray 	}
95c19800e8SDoug Rabson 
96c19800e8SDoug Rabson 	if(t->type == TChoice) {
97c19800e8SDoug Rabson 	    fprintf(codefile, "(%s)->element = (%s)->element;\n", to, from);
98c19800e8SDoug Rabson 	    fprintf(codefile, "switch((%s)->element) {\n", from);
99c19800e8SDoug Rabson 	}
100c19800e8SDoug Rabson 
101c19800e8SDoug Rabson 	ASN1_TAILQ_FOREACH(m, t->members, members) {
102c19800e8SDoug Rabson 	    char *fs;
103c19800e8SDoug Rabson 	    char *ts;
104c19800e8SDoug Rabson 
105c19800e8SDoug Rabson 	    if (m->ellipsis) {
106c19800e8SDoug Rabson 		have_ellipsis = m;
107c19800e8SDoug Rabson 		continue;
108c19800e8SDoug Rabson 	    }
109c19800e8SDoug Rabson 
110c19800e8SDoug Rabson 	    if(t->type == TChoice)
111c19800e8SDoug Rabson 		fprintf(codefile, "case %s:\n", m->label);
112c19800e8SDoug Rabson 
113c19800e8SDoug Rabson 	    if (asprintf (&fs, "%s(%s)->%s%s",
114c19800e8SDoug Rabson 			  m->optional ? "" : "&", from,
115c19800e8SDoug Rabson 			  t->type == TChoice ? "u." : "", m->gen_name) < 0)
116c19800e8SDoug Rabson 		errx(1, "malloc");
117c19800e8SDoug Rabson 	    if (fs == NULL)
118c19800e8SDoug Rabson 		errx(1, "malloc");
119c19800e8SDoug Rabson 	    if (asprintf (&ts, "%s(%s)->%s%s",
120c19800e8SDoug Rabson 			  m->optional ? "" : "&", to,
121c19800e8SDoug Rabson 			  t->type == TChoice ? "u." : "", m->gen_name) < 0)
122c19800e8SDoug Rabson 		errx(1, "malloc");
123c19800e8SDoug Rabson 	    if (ts == NULL)
124c19800e8SDoug Rabson 		errx(1, "malloc");
125c19800e8SDoug Rabson 	    if(m->optional){
126c19800e8SDoug Rabson 		fprintf(codefile, "if(%s) {\n", fs);
127c19800e8SDoug Rabson 		fprintf(codefile, "%s = malloc(sizeof(*%s));\n", ts, ts);
128c19800e8SDoug Rabson 		fprintf(codefile, "if(%s == NULL) goto fail;\n", ts);
129c19800e8SDoug Rabson 		used_fail++;
130b528cefcSMark Murray 	    }
131b528cefcSMark Murray 	    copy_type (fs, ts, m->type, FALSE);
132c19800e8SDoug Rabson 	    if(m->optional){
133b528cefcSMark Murray 		fprintf(codefile, "}else\n");
134c19800e8SDoug Rabson 		fprintf(codefile, "%s = NULL;\n", ts);
135c19800e8SDoug Rabson 	    }
136c19800e8SDoug Rabson 	    free (fs);
137c19800e8SDoug Rabson 	    free (ts);
138c19800e8SDoug Rabson 	    if(t->type == TChoice)
139c19800e8SDoug Rabson 		fprintf(codefile, "break;\n");
140c19800e8SDoug Rabson 	}
141c19800e8SDoug Rabson 	if(t->type == TChoice) {
142c19800e8SDoug Rabson 	    if (have_ellipsis) {
143c19800e8SDoug Rabson 		fprintf(codefile, "case %s: {\n"
144c19800e8SDoug Rabson 			"int ret;\n"
145c19800e8SDoug Rabson 			"ret=der_copy_octet_string(&(%s)->u.%s, &(%s)->u.%s);\n"
146c19800e8SDoug Rabson 			"if (ret) goto fail;\n"
147c19800e8SDoug Rabson 			"break;\n"
148c19800e8SDoug Rabson 			"}\n",
149c19800e8SDoug Rabson 			have_ellipsis->label,
150c19800e8SDoug Rabson 			from, have_ellipsis->gen_name,
151c19800e8SDoug Rabson 			to, have_ellipsis->gen_name);
152c19800e8SDoug Rabson 		used_fail++;
153b528cefcSMark Murray 	    }
154b528cefcSMark Murray 	    fprintf(codefile, "}\n");
155b528cefcSMark Murray 	}
156c19800e8SDoug Rabson 	break;
157b528cefcSMark Murray     }
158b528cefcSMark Murray     case TSetOf:
159b528cefcSMark Murray     case TSequenceOf: {
160b528cefcSMark Murray 	char *f = NULL, *T = NULL;
161b528cefcSMark Murray 
162b528cefcSMark Murray 	fprintf (codefile, "if(((%s)->val = "
163b528cefcSMark Murray 		 "malloc((%s)->len * sizeof(*(%s)->val))) == NULL && (%s)->len != 0)\n",
164c19800e8SDoug Rabson 		 to, from, to, from);
165c19800e8SDoug Rabson 	fprintf (codefile, "goto fail;\n");
166b528cefcSMark Murray 	used_fail++;
167b528cefcSMark Murray 	fprintf(codefile,
168b528cefcSMark Murray 		"for((%s)->len = 0; (%s)->len < (%s)->len; (%s)->len++){\n",
169b528cefcSMark Murray 		to, to, from, to);
170c19800e8SDoug Rabson 	if (asprintf(&f, "&(%s)->val[(%s)->len]", from, to) < 0)
171c19800e8SDoug Rabson 	    errx(1, "malloc");
172b528cefcSMark Murray 	if (f == NULL)
173c19800e8SDoug Rabson 	    errx(1, "malloc");
174c19800e8SDoug Rabson 	if (asprintf(&T, "&(%s)->val[(%s)->len]", to, to) < 0)
175c19800e8SDoug Rabson 	    errx(1, "malloc");
176b528cefcSMark Murray 	if (T == NULL)
177b528cefcSMark Murray 	    errx(1, "malloc");
178b528cefcSMark Murray 	copy_type(f, T, t->subtype, FALSE);
179b528cefcSMark Murray 	fprintf(codefile, "}\n");
180b528cefcSMark Murray 	free(f);
181b528cefcSMark Murray 	free(T);
182b528cefcSMark Murray 	break;
183b528cefcSMark Murray     }
184b528cefcSMark Murray     case TGeneralizedTime:
185b528cefcSMark Murray 	fprintf(codefile, "*(%s) = *(%s);\n", to, from);
186b528cefcSMark Murray 	break;
187c19800e8SDoug Rabson     case TGeneralString:
188c19800e8SDoug Rabson 	copy_primitive ("general_string", from, to);
189c19800e8SDoug Rabson 	break;
190c19800e8SDoug Rabson     case TTeletexString:
191c19800e8SDoug Rabson 	copy_primitive ("general_string", from, to);
192c19800e8SDoug Rabson 	break;
193c19800e8SDoug Rabson     case TUTCTime:
194c19800e8SDoug Rabson 	fprintf(codefile, "*(%s) = *(%s);\n", to, from);
195c19800e8SDoug Rabson 	break;
196c19800e8SDoug Rabson     case TUTF8String:
197c19800e8SDoug Rabson 	copy_primitive ("utf8string", from, to);
198c19800e8SDoug Rabson 	break;
199c19800e8SDoug Rabson     case TPrintableString:
200c19800e8SDoug Rabson 	copy_primitive ("printable_string", from, to);
201c19800e8SDoug Rabson 	break;
202c19800e8SDoug Rabson     case TIA5String:
203c19800e8SDoug Rabson 	copy_primitive ("ia5_string", from, to);
204c19800e8SDoug Rabson 	break;
205c19800e8SDoug Rabson     case TBMPString:
206c19800e8SDoug Rabson 	copy_primitive ("bmp_string", from, to);
207c19800e8SDoug Rabson 	break;
208c19800e8SDoug Rabson     case TUniversalString:
209c19800e8SDoug Rabson 	copy_primitive ("universal_string", from, to);
210c19800e8SDoug Rabson 	break;
211c19800e8SDoug Rabson     case TVisibleString:
212c19800e8SDoug Rabson 	copy_primitive ("visible_string", from, to);
213c19800e8SDoug Rabson 	break;
214c19800e8SDoug Rabson     case TTag:
215b528cefcSMark Murray 	copy_type (from, to, t->subtype, preserve);
216b528cefcSMark Murray 	break;
217b528cefcSMark Murray     case TOID:
218b528cefcSMark Murray 	copy_primitive ("oid", from, to);
219b528cefcSMark Murray 	break;
220b528cefcSMark Murray     case TNull:
221b528cefcSMark Murray 	break;
222b528cefcSMark Murray     default :
223b528cefcSMark Murray 	abort ();
224c19800e8SDoug Rabson     }
225c19800e8SDoug Rabson }
226c19800e8SDoug Rabson 
227c19800e8SDoug Rabson void
generate_type_copy(const Symbol * s)228b528cefcSMark Murray generate_type_copy (const Symbol *s)
229b528cefcSMark Murray {
230b528cefcSMark Murray   int preserve = preserve_type(s->name) ? TRUE : FALSE;
231b528cefcSMark Murray 
232b528cefcSMark Murray   used_fail = 0;
233b528cefcSMark Murray 
234c19800e8SDoug Rabson   fprintf (codefile, "int ASN1CALL\n"
235c19800e8SDoug Rabson 	   "copy_%s(const %s *from, %s *to)\n"
236b528cefcSMark Murray 	   "{\n"
237c19800e8SDoug Rabson 	   "memset(to, 0, sizeof(*to));\n",
238c19800e8SDoug Rabson 	   s->gen_name, s->gen_name, s->gen_name);
239b528cefcSMark Murray   copy_type ("from", "to", s->type, preserve);
240c19800e8SDoug Rabson   fprintf (codefile, "return 0;\n");
241c19800e8SDoug Rabson 
242c19800e8SDoug Rabson   if (used_fail)
243c19800e8SDoug Rabson       fprintf (codefile, "fail:\n"
244c19800e8SDoug Rabson 	       "free_%s(to);\n"
245c19800e8SDoug Rabson 	       "return ENOMEM;\n",
246c19800e8SDoug Rabson 	       s->gen_name);
247c19800e8SDoug Rabson 
248b528cefcSMark Murray   fprintf(codefile,
249b528cefcSMark Murray 	  "}\n\n");
250 }
251 
252