read.c revision 1.15 1 1.15 yamt /* $NetBSD: read.c,v 1.15 2004/09/12 08:58:52 yamt Exp $ */
2 1.2 cgd
3 1.1 cgd /*
4 1.3 cgd * Copyright (c) 1996 Christopher G. Demetriou. All Rights Reserved.
5 1.1 cgd * Copyright (c) 1994, 1995 Jochen Pohl
6 1.1 cgd * All Rights Reserved.
7 1.1 cgd *
8 1.1 cgd * Redistribution and use in source and binary forms, with or without
9 1.1 cgd * modification, are permitted provided that the following conditions
10 1.1 cgd * are met:
11 1.1 cgd * 1. Redistributions of source code must retain the above copyright
12 1.1 cgd * notice, this list of conditions and the following disclaimer.
13 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
14 1.1 cgd * notice, this list of conditions and the following disclaimer in the
15 1.1 cgd * documentation and/or other materials provided with the distribution.
16 1.1 cgd * 3. All advertising materials mentioning features or use of this software
17 1.1 cgd * must display the following acknowledgement:
18 1.1 cgd * This product includes software developed by Jochen Pohl for
19 1.1 cgd * The NetBSD Project.
20 1.1 cgd * 4. The name of the author may not be used to endorse or promote products
21 1.1 cgd * derived from this software without specific prior written permission.
22 1.1 cgd *
23 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
24 1.1 cgd * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
25 1.1 cgd * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
26 1.1 cgd * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
27 1.1 cgd * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
28 1.1 cgd * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29 1.1 cgd * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
30 1.1 cgd * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
31 1.1 cgd * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
32 1.1 cgd * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 1.1 cgd */
34 1.1 cgd
35 1.14 jmc #if HAVE_NBTOOL_CONFIG_H
36 1.14 jmc #include "nbtool_config.h"
37 1.14 jmc #endif
38 1.14 jmc
39 1.5 christos #include <sys/cdefs.h>
40 1.13 tv #if defined(__RCSID) && !defined(lint)
41 1.15 yamt __RCSID("$NetBSD: read.c,v 1.15 2004/09/12 08:58:52 yamt Exp $");
42 1.1 cgd #endif
43 1.1 cgd
44 1.12 tv #include <ctype.h>
45 1.12 tv #include <limits.h>
46 1.1 cgd #include <stdio.h>
47 1.1 cgd #include <stdlib.h>
48 1.1 cgd #include <string.h>
49 1.1 cgd
50 1.1 cgd #include "lint2.h"
51 1.1 cgd
52 1.1 cgd
53 1.1 cgd /* index of current (included) source file */
54 1.1 cgd static int srcfile;
55 1.1 cgd
56 1.1 cgd /*
57 1.1 cgd * The array pointed to by inpfns maps the file name indices of input files
58 1.1 cgd * to the file name indices used in lint2
59 1.1 cgd */
60 1.1 cgd static short *inpfns;
61 1.1 cgd static size_t ninpfns;
62 1.1 cgd
63 1.1 cgd /*
64 1.1 cgd * The array pointed to by *fnames maps file name indizes to file names.
65 1.1 cgd * Indices of type short are used instead of pointers to save memory.
66 1.1 cgd */
67 1.1 cgd const char **fnames;
68 1.1 cgd static size_t nfnames;
69 1.1 cgd
70 1.1 cgd /*
71 1.1 cgd * Types are shared (to save memory for the types itself) and accessed
72 1.1 cgd * via indices (to save memory for references to types (indices are short)).
73 1.1 cgd * To share types, a equal type must be located fast. This is done by a
74 1.1 cgd * hash table. Access by indices is done via an array of pointers to the
75 1.1 cgd * types.
76 1.1 cgd */
77 1.1 cgd typedef struct thtab {
78 1.1 cgd const char *th_name;
79 1.1 cgd u_short th_idx;
80 1.1 cgd struct thtab *th_nxt;
81 1.1 cgd } thtab_t;
82 1.1 cgd static thtab_t **thtab; /* hash table */
83 1.1 cgd type_t **tlst; /* array for indexed access */
84 1.1 cgd static size_t tlstlen; /* length of tlst */
85 1.1 cgd
86 1.4 cgd static hte_t **renametab;
87 1.4 cgd
88 1.1 cgd /* index of current C source file (as spezified at the command line) */
89 1.1 cgd static int csrcfile;
90 1.1 cgd
91 1.1 cgd
92 1.9 lukem static void inperr(void);
93 1.9 lukem static void setsrc(const char *);
94 1.9 lukem static void setfnid(int, const char *);
95 1.9 lukem static void funccall(pos_t *, const char *);
96 1.9 lukem static void decldef(pos_t *, const char *);
97 1.9 lukem static void usedsym(pos_t *, const char *);
98 1.9 lukem static u_short inptype(const char *, const char **);
99 1.9 lukem static int gettlen(const char *, const char **);
100 1.9 lukem static u_short findtype(const char *, size_t, int);
101 1.9 lukem static u_short storetyp(type_t *, const char *, size_t, int);
102 1.9 lukem static int thash(const char *, size_t);
103 1.9 lukem static char *inpqstrg(const char *, const char **);
104 1.9 lukem static const char *inpname(const char *, const char **);
105 1.9 lukem static int getfnidx(const char *);
106 1.1 cgd
107 1.1 cgd void
108 1.9 lukem readfile(const char *name)
109 1.1 cgd {
110 1.1 cgd FILE *inp;
111 1.1 cgd size_t len;
112 1.1 cgd const char *cp;
113 1.5 christos char *line, *eptr, rt = '\0';
114 1.1 cgd int cline, isrc, iline;
115 1.1 cgd pos_t pos;
116 1.1 cgd
117 1.1 cgd if (inpfns == NULL)
118 1.1 cgd inpfns = xcalloc(ninpfns = 128, sizeof (short));
119 1.1 cgd if (fnames == NULL)
120 1.1 cgd fnames = xcalloc(nfnames = 256, sizeof (char *));
121 1.1 cgd if (tlstlen == 0)
122 1.1 cgd tlst = xcalloc(tlstlen = 256, sizeof (type_t *));
123 1.1 cgd if (thtab == NULL)
124 1.1 cgd thtab = xcalloc(THSHSIZ2, sizeof (thtab_t));
125 1.1 cgd
126 1.4 cgd _inithash(&renametab);
127 1.4 cgd
128 1.1 cgd srcfile = getfnidx(name);
129 1.1 cgd
130 1.1 cgd if ((inp = fopen(name, "r")) == NULL)
131 1.1 cgd err(1, "cannot open %s", name);
132 1.1 cgd
133 1.1 cgd while ((line = fgetln(inp, &len)) != NULL) {
134 1.1 cgd
135 1.1 cgd if (len == 0 || line[len - 1] != '\n')
136 1.1 cgd inperr();
137 1.1 cgd line[len - 1] = '\0';
138 1.1 cgd cp = line;
139 1.1 cgd
140 1.1 cgd /* line number in csrcfile */
141 1.1 cgd cline = (int)strtol(cp, &eptr, 10);
142 1.1 cgd if (cp == eptr) {
143 1.1 cgd cline = -1;
144 1.1 cgd } else {
145 1.1 cgd cp = eptr;
146 1.1 cgd }
147 1.1 cgd
148 1.1 cgd /* record type */
149 1.1 cgd if (*cp != '\0') {
150 1.1 cgd rt = *cp++;
151 1.1 cgd } else {
152 1.1 cgd inperr();
153 1.1 cgd }
154 1.1 cgd
155 1.1 cgd if (rt == 'S') {
156 1.1 cgd setsrc(cp);
157 1.1 cgd continue;
158 1.1 cgd } else if (rt == 's') {
159 1.1 cgd setfnid(cline, cp);
160 1.1 cgd continue;
161 1.1 cgd }
162 1.1 cgd
163 1.1 cgd /*
164 1.1 cgd * Index of (included) source file. If this index is
165 1.1 cgd * different from csrcfile, it refers to an included
166 1.1 cgd * file.
167 1.1 cgd */
168 1.1 cgd isrc = (int)strtol(cp, &eptr, 10);
169 1.1 cgd if (cp == eptr)
170 1.1 cgd inperr();
171 1.1 cgd cp = eptr;
172 1.1 cgd isrc = inpfns[isrc];
173 1.1 cgd
174 1.1 cgd /* line number in isrc */
175 1.1 cgd if (*cp++ != '.')
176 1.1 cgd inperr();
177 1.1 cgd iline = (int)strtol(cp, &eptr, 10);
178 1.1 cgd if (cp == eptr)
179 1.1 cgd inperr();
180 1.1 cgd cp = eptr;
181 1.1 cgd
182 1.1 cgd pos.p_src = (u_short)csrcfile;
183 1.1 cgd pos.p_line = (u_short)cline;
184 1.1 cgd pos.p_isrc = (u_short)isrc;
185 1.1 cgd pos.p_iline = (u_short)iline;
186 1.1 cgd
187 1.1 cgd /* process rest of this record */
188 1.1 cgd switch (rt) {
189 1.1 cgd case 'c':
190 1.1 cgd funccall(&pos, cp);
191 1.1 cgd break;
192 1.1 cgd case 'd':
193 1.1 cgd decldef(&pos, cp);
194 1.1 cgd break;
195 1.1 cgd case 'u':
196 1.1 cgd usedsym(&pos, cp);
197 1.1 cgd break;
198 1.1 cgd default:
199 1.1 cgd inperr();
200 1.1 cgd }
201 1.1 cgd
202 1.1 cgd }
203 1.1 cgd
204 1.4 cgd _destroyhash(renametab);
205 1.4 cgd
206 1.1 cgd if (ferror(inp))
207 1.1 cgd err(1, "read error on %s", name);
208 1.1 cgd
209 1.1 cgd (void)fclose(inp);
210 1.1 cgd }
211 1.1 cgd
212 1.1 cgd
213 1.1 cgd static void
214 1.9 lukem inperr(void)
215 1.1 cgd {
216 1.9 lukem
217 1.1 cgd errx(1, "input file error: %s", fnames[srcfile]);
218 1.1 cgd }
219 1.1 cgd
220 1.1 cgd /*
221 1.1 cgd * Set the name of the C source file of the .ln file which is
222 1.1 cgd * currently read.
223 1.1 cgd */
224 1.1 cgd static void
225 1.9 lukem setsrc(const char *cp)
226 1.1 cgd {
227 1.9 lukem
228 1.1 cgd csrcfile = getfnidx(cp);
229 1.1 cgd }
230 1.1 cgd
231 1.1 cgd /*
232 1.1 cgd * setfnid() gets as input an index as used in an input file and the
233 1.10 wiz * associated file name. If necessary, it creates a new lint2 file
234 1.1 cgd * name index for this file name and creates the mapping of the index
235 1.1 cgd * as used in the input file to the index used in lint2.
236 1.1 cgd */
237 1.1 cgd static void
238 1.9 lukem setfnid(int fid, const char *cp)
239 1.1 cgd {
240 1.9 lukem
241 1.1 cgd if (fid == -1)
242 1.1 cgd inperr();
243 1.1 cgd
244 1.1 cgd if (fid >= ninpfns) {
245 1.1 cgd inpfns = xrealloc(inpfns, (ninpfns * 2) * sizeof (short));
246 1.1 cgd (void)memset(inpfns + ninpfns, 0, ninpfns * sizeof (short));
247 1.1 cgd ninpfns *= 2;
248 1.1 cgd }
249 1.1 cgd /*
250 1.1 cgd * Should always be true because indices written in the output
251 1.1 cgd * file by lint1 are always the previous index + 1.
252 1.1 cgd */
253 1.1 cgd if (fid >= ninpfns)
254 1.1 cgd errx(1, "internal error: setfnid()");
255 1.1 cgd inpfns[fid] = (u_short)getfnidx(cp);
256 1.1 cgd }
257 1.1 cgd
258 1.1 cgd /*
259 1.1 cgd * Process a function call record (c-record).
260 1.1 cgd */
261 1.1 cgd static void
262 1.9 lukem funccall(pos_t *posp, const char *cp)
263 1.1 cgd {
264 1.1 cgd arginf_t *ai, **lai;
265 1.1 cgd char c, *eptr;
266 1.1 cgd int rused, rdisc;
267 1.1 cgd hte_t *hte;
268 1.1 cgd fcall_t *fcall;
269 1.4 cgd const char *name;
270 1.1 cgd
271 1.1 cgd fcall = xalloc(sizeof (fcall_t));
272 1.1 cgd STRUCT_ASSIGN(fcall->f_pos, *posp);
273 1.1 cgd
274 1.1 cgd /* read flags */
275 1.1 cgd rused = rdisc = 0;
276 1.1 cgd lai = &fcall->f_args;
277 1.1 cgd while ((c = *cp) == 'u' || c == 'i' || c == 'd' ||
278 1.1 cgd c == 'z' || c == 'p' || c == 'n' || c == 's') {
279 1.1 cgd cp++;
280 1.1 cgd switch (c) {
281 1.1 cgd case 'u':
282 1.1 cgd if (rused || rdisc)
283 1.1 cgd inperr();
284 1.1 cgd rused = 1;
285 1.1 cgd break;
286 1.1 cgd case 'i':
287 1.1 cgd if (rused || rdisc)
288 1.1 cgd inperr();
289 1.1 cgd break;
290 1.1 cgd case 'd':
291 1.1 cgd if (rused || rdisc)
292 1.1 cgd inperr();
293 1.1 cgd rdisc = 1;
294 1.1 cgd break;
295 1.1 cgd case 'z':
296 1.1 cgd case 'p':
297 1.1 cgd case 'n':
298 1.1 cgd case 's':
299 1.1 cgd ai = xalloc(sizeof (arginf_t));
300 1.1 cgd ai->a_num = (int)strtol(cp, &eptr, 10);
301 1.1 cgd if (cp == eptr)
302 1.1 cgd inperr();
303 1.1 cgd cp = eptr;
304 1.1 cgd if (c == 'z') {
305 1.1 cgd ai->a_pcon = ai->a_zero = 1;
306 1.1 cgd } else if (c == 'p') {
307 1.1 cgd ai->a_pcon = 1;
308 1.1 cgd } else if (c == 'n') {
309 1.1 cgd ai->a_ncon = 1;
310 1.1 cgd } else {
311 1.1 cgd ai->a_fmt = 1;
312 1.1 cgd ai->a_fstrg = inpqstrg(cp, &cp);
313 1.1 cgd }
314 1.1 cgd *lai = ai;
315 1.1 cgd lai = &ai->a_nxt;
316 1.1 cgd break;
317 1.1 cgd }
318 1.1 cgd }
319 1.1 cgd fcall->f_rused = rused;
320 1.1 cgd fcall->f_rdisc = rdisc;
321 1.1 cgd
322 1.1 cgd /* read name of function */
323 1.4 cgd name = inpname(cp, &cp);
324 1.4 cgd
325 1.4 cgd /* first look it up in the renaming table, then in the normal table */
326 1.4 cgd hte = _hsearch(renametab, name, 0);
327 1.4 cgd if (hte != NULL)
328 1.4 cgd hte = hte->h_hte;
329 1.4 cgd else
330 1.4 cgd hte = hsearch(name, 1);
331 1.1 cgd hte->h_used = 1;
332 1.1 cgd
333 1.1 cgd fcall->f_type = inptype(cp, &cp);
334 1.1 cgd
335 1.1 cgd *hte->h_lcall = fcall;
336 1.1 cgd hte->h_lcall = &fcall->f_nxt;
337 1.1 cgd
338 1.1 cgd if (*cp != '\0')
339 1.1 cgd inperr();
340 1.1 cgd }
341 1.1 cgd
342 1.1 cgd /*
343 1.1 cgd * Process a declaration or definition (d-record).
344 1.1 cgd */
345 1.1 cgd static void
346 1.9 lukem decldef(pos_t *posp, const char *cp)
347 1.1 cgd {
348 1.1 cgd sym_t *symp, sym;
349 1.4 cgd char c, *ep, *pos1;
350 1.4 cgd int used, renamed;
351 1.5 christos hte_t *hte, *renamehte = NULL;
352 1.4 cgd const char *name, *rename;
353 1.1 cgd
354 1.1 cgd (void)memset(&sym, 0, sizeof (sym));
355 1.1 cgd STRUCT_ASSIGN(sym.s_pos, *posp);
356 1.1 cgd sym.s_def = NODECL;
357 1.1 cgd
358 1.1 cgd used = 0;
359 1.1 cgd
360 1.1 cgd while ((c = *cp) == 't' || c == 'd' || c == 'e' || c == 'u' ||
361 1.1 cgd c == 'r' || c == 'o' || c == 's' || c == 'v' ||
362 1.1 cgd c == 'P' || c == 'S') {
363 1.1 cgd cp++;
364 1.1 cgd switch (c) {
365 1.1 cgd case 't':
366 1.1 cgd if (sym.s_def != NODECL)
367 1.1 cgd inperr();
368 1.1 cgd sym.s_def = TDEF;
369 1.1 cgd break;
370 1.1 cgd case 'd':
371 1.1 cgd if (sym.s_def != NODECL)
372 1.1 cgd inperr();
373 1.1 cgd sym.s_def = DEF;
374 1.1 cgd break;
375 1.1 cgd case 'e':
376 1.1 cgd if (sym.s_def != NODECL)
377 1.1 cgd inperr();
378 1.1 cgd sym.s_def = DECL;
379 1.1 cgd break;
380 1.1 cgd case 'u':
381 1.1 cgd if (used)
382 1.1 cgd inperr();
383 1.1 cgd used = 1;
384 1.1 cgd break;
385 1.1 cgd case 'r':
386 1.1 cgd if (sym.s_rval)
387 1.1 cgd inperr();
388 1.1 cgd sym.s_rval = 1;
389 1.1 cgd break;
390 1.1 cgd case 'o':
391 1.1 cgd if (sym.s_osdef)
392 1.1 cgd inperr();
393 1.1 cgd sym.s_osdef = 1;
394 1.1 cgd break;
395 1.1 cgd case 's':
396 1.1 cgd if (sym.s_static)
397 1.1 cgd inperr();
398 1.1 cgd sym.s_static = 1;
399 1.1 cgd break;
400 1.1 cgd case 'v':
401 1.1 cgd if (sym.s_va)
402 1.1 cgd inperr();
403 1.1 cgd sym.s_va = 1;
404 1.1 cgd sym.s_nva = (short)strtol(cp, &ep, 10);
405 1.1 cgd if (cp == ep)
406 1.1 cgd inperr();
407 1.1 cgd cp = ep;
408 1.1 cgd break;
409 1.1 cgd case 'P':
410 1.1 cgd if (sym.s_prfl)
411 1.1 cgd inperr();
412 1.1 cgd sym.s_prfl = 1;
413 1.1 cgd sym.s_nprfl = (short)strtol(cp, &ep, 10);
414 1.1 cgd if (cp == ep)
415 1.1 cgd inperr();
416 1.1 cgd cp = ep;
417 1.1 cgd break;
418 1.1 cgd case 'S':
419 1.1 cgd if (sym.s_scfl)
420 1.1 cgd inperr();
421 1.1 cgd sym.s_scfl = 1;
422 1.1 cgd sym.s_nscfl = (short)strtol(cp, &ep, 10);
423 1.1 cgd if (cp == ep)
424 1.1 cgd inperr();
425 1.1 cgd cp = ep;
426 1.1 cgd break;
427 1.1 cgd }
428 1.1 cgd }
429 1.1 cgd
430 1.4 cgd /* read symbol name, doing renaming if necessary */
431 1.4 cgd name = inpname(cp, &cp);
432 1.4 cgd renamed = 0;
433 1.4 cgd if (*cp == 'r') {
434 1.4 cgd cp++;
435 1.4 cgd name = xstrdup(name);
436 1.4 cgd rename = inpname(cp, &cp);
437 1.4 cgd
438 1.4 cgd /* enter it and see if it's already been renamed */
439 1.4 cgd renamehte = _hsearch(renametab, name, 1);
440 1.4 cgd if (renamehte->h_hte == NULL) {
441 1.4 cgd hte = hsearch(rename, 1);
442 1.4 cgd renamehte->h_hte = hte;
443 1.4 cgd renamed = 1;
444 1.4 cgd } else if (strcmp((hte = renamehte->h_hte)->h_name, rename)) {
445 1.4 cgd pos1 = xstrdup(mkpos(&renamehte->h_syms->s_pos));
446 1.4 cgd /* %s renamed multiple times\t%s :: %s */
447 1.4 cgd msg(18, name, pos1, mkpos(&sym.s_pos));
448 1.4 cgd free(pos1);
449 1.4 cgd }
450 1.4 cgd free((char *)name);
451 1.4 cgd } else {
452 1.4 cgd /* it might be a previously-done rename */
453 1.4 cgd hte = _hsearch(renametab, name, 0);
454 1.4 cgd if (hte != NULL)
455 1.4 cgd hte = hte->h_hte;
456 1.4 cgd else
457 1.4 cgd hte = hsearch(name, 1);
458 1.4 cgd }
459 1.1 cgd hte->h_used |= used;
460 1.1 cgd if (sym.s_def == DEF || sym.s_def == TDEF)
461 1.1 cgd hte->h_def = 1;
462 1.1 cgd
463 1.1 cgd sym.s_type = inptype(cp, &cp);
464 1.1 cgd
465 1.1 cgd /*
466 1.1 cgd * Allocate memory for this symbol only if it was not already
467 1.1 cgd * declared or tentatively defined at the same location with
468 1.1 cgd * the same type. Works only for symbols with external linkage,
469 1.1 cgd * because static symbols, tentatively defined at the same location
470 1.1 cgd * but in different translation units are really different symbols.
471 1.1 cgd */
472 1.1 cgd for (symp = hte->h_syms; symp != NULL; symp = symp->s_nxt) {
473 1.1 cgd if (symp->s_pos.p_isrc == sym.s_pos.p_isrc &&
474 1.1 cgd symp->s_pos.p_iline == sym.s_pos.p_iline &&
475 1.1 cgd symp->s_type == sym.s_type &&
476 1.1 cgd ((symp->s_def == DECL && sym.s_def == DECL) ||
477 1.1 cgd (!sflag && symp->s_def == TDEF && sym.s_def == TDEF)) &&
478 1.1 cgd !symp->s_static && !sym.s_static) {
479 1.1 cgd break;
480 1.1 cgd }
481 1.1 cgd }
482 1.1 cgd
483 1.1 cgd if (symp == NULL) {
484 1.1 cgd /* allocsym reserviert keinen Platz fuer s_nva */
485 1.1 cgd if (sym.s_va || sym.s_prfl || sym.s_scfl) {
486 1.1 cgd symp = xalloc(sizeof (sym_t));
487 1.1 cgd STRUCT_ASSIGN(*symp, sym);
488 1.1 cgd } else {
489 1.1 cgd symp = xalloc(sizeof (symp->s_s));
490 1.1 cgd STRUCT_ASSIGN(symp->s_s, sym.s_s);
491 1.1 cgd }
492 1.1 cgd *hte->h_lsym = symp;
493 1.1 cgd hte->h_lsym = &symp->s_nxt;
494 1.4 cgd
495 1.4 cgd /* XXX hack so we can remember where a symbol was renamed */
496 1.4 cgd if (renamed)
497 1.4 cgd renamehte->h_syms = symp;
498 1.1 cgd }
499 1.1 cgd
500 1.1 cgd if (*cp != '\0')
501 1.1 cgd inperr();
502 1.1 cgd }
503 1.1 cgd
504 1.1 cgd /*
505 1.1 cgd * Read an u-record (emited by lint1 if a symbol was used).
506 1.1 cgd */
507 1.1 cgd static void
508 1.9 lukem usedsym(pos_t *posp, const char *cp)
509 1.1 cgd {
510 1.1 cgd usym_t *usym;
511 1.1 cgd hte_t *hte;
512 1.4 cgd const char *name;
513 1.1 cgd
514 1.1 cgd usym = xalloc(sizeof (usym_t));
515 1.1 cgd STRUCT_ASSIGN(usym->u_pos, *posp);
516 1.1 cgd
517 1.1 cgd /* needed as delimiter between two numbers */
518 1.1 cgd if (*cp++ != 'x')
519 1.1 cgd inperr();
520 1.1 cgd
521 1.4 cgd name = inpname(cp, &cp);
522 1.4 cgd hte = _hsearch(renametab, name, 0);
523 1.4 cgd if (hte != NULL)
524 1.4 cgd hte = hte->h_hte;
525 1.4 cgd else
526 1.4 cgd hte = hsearch(name, 1);
527 1.1 cgd hte->h_used = 1;
528 1.1 cgd
529 1.1 cgd *hte->h_lusym = usym;
530 1.1 cgd hte->h_lusym = &usym->u_nxt;
531 1.1 cgd }
532 1.1 cgd
533 1.1 cgd /*
534 1.1 cgd * Read a type and return the index of this type.
535 1.1 cgd */
536 1.1 cgd static u_short
537 1.9 lukem inptype(const char *cp, const char **epp)
538 1.1 cgd {
539 1.1 cgd char c, s, *eptr;
540 1.1 cgd const char *ep;
541 1.1 cgd type_t *tp;
542 1.5 christos int narg, i, osdef = 0;
543 1.1 cgd size_t tlen;
544 1.1 cgd u_short tidx;
545 1.1 cgd int h;
546 1.1 cgd
547 1.1 cgd /* If we have this type already, return it's index. */
548 1.1 cgd tlen = gettlen(cp, &ep);
549 1.1 cgd h = thash(cp, tlen);
550 1.1 cgd if ((tidx = findtype(cp, tlen, h)) != 0) {
551 1.1 cgd *epp = ep;
552 1.1 cgd return (tidx);
553 1.1 cgd }
554 1.1 cgd
555 1.1 cgd /* No, we must create a new type. */
556 1.1 cgd tp = xalloc(sizeof (type_t));
557 1.1 cgd
558 1.1 cgd tidx = storetyp(tp, cp, tlen, h);
559 1.1 cgd
560 1.1 cgd c = *cp++;
561 1.1 cgd
562 1.1 cgd while (c == 'c' || c == 'v') {
563 1.1 cgd if (c == 'c') {
564 1.1 cgd tp->t_const = 1;
565 1.1 cgd } else {
566 1.1 cgd tp->t_volatile = 1;
567 1.1 cgd }
568 1.1 cgd c = *cp++;
569 1.1 cgd }
570 1.1 cgd
571 1.1 cgd if (c == 's' || c == 'u' || c == 'l' || c == 'e') {
572 1.1 cgd s = c;
573 1.1 cgd c = *cp++;
574 1.1 cgd } else {
575 1.1 cgd s = '\0';
576 1.1 cgd }
577 1.1 cgd
578 1.1 cgd switch (c) {
579 1.15 yamt case 'B':
580 1.15 yamt tp->t_tspec = BOOL;
581 1.15 yamt break;
582 1.1 cgd case 'C':
583 1.1 cgd tp->t_tspec = s == 's' ? SCHAR : (s == 'u' ? UCHAR : CHAR);
584 1.1 cgd break;
585 1.1 cgd case 'S':
586 1.1 cgd tp->t_tspec = s == 'u' ? USHORT : SHORT;
587 1.1 cgd break;
588 1.1 cgd case 'I':
589 1.1 cgd tp->t_tspec = s == 'u' ? UINT : INT;
590 1.1 cgd break;
591 1.1 cgd case 'L':
592 1.1 cgd tp->t_tspec = s == 'u' ? ULONG : LONG;
593 1.1 cgd break;
594 1.1 cgd case 'Q':
595 1.1 cgd tp->t_tspec = s == 'u' ? UQUAD : QUAD;
596 1.1 cgd break;
597 1.1 cgd case 'D':
598 1.1 cgd tp->t_tspec = s == 's' ? FLOAT : (s == 'l' ? LDOUBLE : DOUBLE);
599 1.1 cgd break;
600 1.1 cgd case 'V':
601 1.1 cgd tp->t_tspec = VOID;
602 1.1 cgd break;
603 1.1 cgd case 'P':
604 1.1 cgd tp->t_tspec = PTR;
605 1.1 cgd break;
606 1.1 cgd case 'A':
607 1.1 cgd tp->t_tspec = ARRAY;
608 1.1 cgd break;
609 1.1 cgd case 'F':
610 1.1 cgd case 'f':
611 1.1 cgd osdef = c == 'f';
612 1.1 cgd tp->t_tspec = FUNC;
613 1.1 cgd break;
614 1.1 cgd case 'T':
615 1.1 cgd tp->t_tspec = s == 'e' ? ENUM : (s == 's' ? STRUCT : UNION);
616 1.1 cgd break;
617 1.1 cgd }
618 1.1 cgd
619 1.1 cgd switch (tp->t_tspec) {
620 1.1 cgd case ARRAY:
621 1.1 cgd tp->t_dim = (int)strtol(cp, &eptr, 10);
622 1.1 cgd cp = eptr;
623 1.1 cgd tp->t_subt = TP(inptype(cp, &cp));
624 1.1 cgd break;
625 1.1 cgd case PTR:
626 1.1 cgd tp->t_subt = TP(inptype(cp, &cp));
627 1.1 cgd break;
628 1.1 cgd case FUNC:
629 1.1 cgd c = *cp;
630 1.1 cgd if (isdigit((u_char)c)) {
631 1.1 cgd if (!osdef)
632 1.1 cgd tp->t_proto = 1;
633 1.1 cgd narg = (int)strtol(cp, &eptr, 10);
634 1.1 cgd cp = eptr;
635 1.1 cgd tp->t_args = xcalloc((size_t)(narg + 1),
636 1.1 cgd sizeof (type_t *));
637 1.1 cgd for (i = 0; i < narg; i++) {
638 1.1 cgd if (i == narg - 1 && *cp == 'E') {
639 1.1 cgd tp->t_vararg = 1;
640 1.1 cgd cp++;
641 1.1 cgd } else {
642 1.1 cgd tp->t_args[i] = TP(inptype(cp, &cp));
643 1.1 cgd }
644 1.1 cgd }
645 1.1 cgd }
646 1.1 cgd tp->t_subt = TP(inptype(cp, &cp));
647 1.1 cgd break;
648 1.1 cgd case ENUM:
649 1.1 cgd tp->t_tspec = INT;
650 1.1 cgd tp->t_isenum = 1;
651 1.1 cgd /* FALLTHROUGH */
652 1.1 cgd case STRUCT:
653 1.1 cgd case UNION:
654 1.1 cgd switch (*cp++) {
655 1.1 cgd case '1':
656 1.1 cgd tp->t_istag = 1;
657 1.1 cgd tp->t_tag = hsearch(inpname(cp, &cp), 1);
658 1.1 cgd break;
659 1.1 cgd case '2':
660 1.1 cgd tp->t_istynam = 1;
661 1.1 cgd tp->t_tynam = hsearch(inpname(cp, &cp), 1);
662 1.1 cgd break;
663 1.3 cgd case '3':
664 1.3 cgd tp->t_isuniqpos = 1;
665 1.3 cgd tp->t_uniqpos.p_line = strtol(cp, &eptr, 10);
666 1.3 cgd cp = eptr;
667 1.3 cgd cp++;
668 1.3 cgd /* xlate to 'global' file name. */
669 1.3 cgd tp->t_uniqpos.p_file =
670 1.3 cgd addoutfile(inpfns[strtol(cp, &eptr, 10)]);
671 1.3 cgd cp = eptr;
672 1.3 cgd cp++;
673 1.3 cgd tp->t_uniqpos.p_uniq = strtol(cp, &eptr, 10);
674 1.3 cgd cp = eptr;
675 1.3 cgd break;
676 1.1 cgd }
677 1.1 cgd break;
678 1.5 christos case LONG:
679 1.5 christos case VOID:
680 1.5 christos case LDOUBLE:
681 1.5 christos case DOUBLE:
682 1.5 christos case FLOAT:
683 1.5 christos case UQUAD:
684 1.5 christos case QUAD:
685 1.5 christos case ULONG:
686 1.5 christos case UINT:
687 1.5 christos case INT:
688 1.5 christos case USHORT:
689 1.5 christos case SHORT:
690 1.5 christos case UCHAR:
691 1.5 christos case SCHAR:
692 1.5 christos case CHAR:
693 1.15 yamt case BOOL:
694 1.5 christos case UNSIGN:
695 1.5 christos case SIGNED:
696 1.5 christos case NOTSPEC:
697 1.5 christos break;
698 1.11 tron case NTSPEC:
699 1.11 tron abort();
700 1.1 cgd }
701 1.1 cgd
702 1.1 cgd *epp = cp;
703 1.1 cgd return (tidx);
704 1.1 cgd }
705 1.1 cgd
706 1.1 cgd /*
707 1.1 cgd * Get the length of a type string.
708 1.1 cgd */
709 1.1 cgd static int
710 1.9 lukem gettlen(const char *cp, const char **epp)
711 1.1 cgd {
712 1.1 cgd const char *cp1;
713 1.1 cgd char c, s, *eptr;
714 1.1 cgd tspec_t t;
715 1.1 cgd int narg, i, cm, vm;
716 1.1 cgd
717 1.1 cgd cp1 = cp;
718 1.1 cgd
719 1.1 cgd c = *cp++;
720 1.1 cgd
721 1.1 cgd cm = vm = 0;
722 1.1 cgd
723 1.1 cgd while (c == 'c' || c == 'v') {
724 1.1 cgd if (c == 'c') {
725 1.1 cgd if (cm)
726 1.1 cgd inperr();
727 1.1 cgd cm = 1;
728 1.1 cgd } else {
729 1.1 cgd if (vm)
730 1.1 cgd inperr();
731 1.1 cgd vm = 1;
732 1.1 cgd }
733 1.1 cgd c = *cp++;
734 1.1 cgd }
735 1.1 cgd
736 1.1 cgd if (c == 's' || c == 'u' || c == 'l' || c == 'e') {
737 1.1 cgd s = c;
738 1.1 cgd c = *cp++;
739 1.1 cgd } else {
740 1.1 cgd s = '\0';
741 1.1 cgd }
742 1.1 cgd
743 1.1 cgd t = NOTSPEC;
744 1.1 cgd
745 1.1 cgd switch (c) {
746 1.15 yamt case 'B':
747 1.15 yamt if (s == '\0')
748 1.15 yamt t = BOOL;
749 1.15 yamt break;
750 1.1 cgd case 'C':
751 1.1 cgd if (s == 's') {
752 1.1 cgd t = SCHAR;
753 1.1 cgd } else if (s == 'u') {
754 1.1 cgd t = UCHAR;
755 1.1 cgd } else if (s == '\0') {
756 1.1 cgd t = CHAR;
757 1.1 cgd }
758 1.1 cgd break;
759 1.1 cgd case 'S':
760 1.1 cgd if (s == 'u') {
761 1.1 cgd t = USHORT;
762 1.1 cgd } else if (s == '\0') {
763 1.1 cgd t = SHORT;
764 1.1 cgd }
765 1.1 cgd break;
766 1.1 cgd case 'I':
767 1.1 cgd if (s == 'u') {
768 1.1 cgd t = UINT;
769 1.1 cgd } else if (s == '\0') {
770 1.1 cgd t = INT;
771 1.1 cgd }
772 1.1 cgd break;
773 1.1 cgd case 'L':
774 1.1 cgd if (s == 'u') {
775 1.1 cgd t = ULONG;
776 1.1 cgd } else if (s == '\0') {
777 1.1 cgd t = LONG;
778 1.1 cgd }
779 1.1 cgd break;
780 1.1 cgd case 'Q':
781 1.1 cgd if (s == 'u') {
782 1.1 cgd t = UQUAD;
783 1.1 cgd } else if (s == '\0') {
784 1.1 cgd t = QUAD;
785 1.1 cgd }
786 1.1 cgd break;
787 1.1 cgd case 'D':
788 1.1 cgd if (s == 's') {
789 1.1 cgd t = FLOAT;
790 1.1 cgd } else if (s == 'l') {
791 1.1 cgd t = LDOUBLE;
792 1.1 cgd } else if (s == '\0') {
793 1.1 cgd t = DOUBLE;
794 1.1 cgd }
795 1.1 cgd break;
796 1.1 cgd case 'V':
797 1.1 cgd if (s == '\0')
798 1.1 cgd t = VOID;
799 1.1 cgd break;
800 1.1 cgd case 'P':
801 1.1 cgd if (s == '\0')
802 1.1 cgd t = PTR;
803 1.1 cgd break;
804 1.1 cgd case 'A':
805 1.1 cgd if (s == '\0')
806 1.1 cgd t = ARRAY;
807 1.1 cgd break;
808 1.1 cgd case 'F':
809 1.1 cgd case 'f':
810 1.1 cgd if (s == '\0')
811 1.1 cgd t = FUNC;
812 1.1 cgd break;
813 1.1 cgd case 'T':
814 1.1 cgd if (s == 'e') {
815 1.1 cgd t = ENUM;
816 1.1 cgd } else if (s == 's') {
817 1.1 cgd t = STRUCT;
818 1.1 cgd } else if (s == 'u') {
819 1.1 cgd t = UNION;
820 1.1 cgd }
821 1.1 cgd break;
822 1.1 cgd default:
823 1.1 cgd inperr();
824 1.1 cgd }
825 1.1 cgd
826 1.1 cgd if (t == NOTSPEC)
827 1.1 cgd inperr();
828 1.1 cgd
829 1.1 cgd switch (t) {
830 1.1 cgd case ARRAY:
831 1.1 cgd (void)strtol(cp, &eptr, 10);
832 1.1 cgd if (cp == eptr)
833 1.1 cgd inperr();
834 1.1 cgd cp = eptr;
835 1.1 cgd (void)gettlen(cp, &cp);
836 1.1 cgd break;
837 1.1 cgd case PTR:
838 1.1 cgd (void)gettlen(cp, &cp);
839 1.1 cgd break;
840 1.1 cgd case FUNC:
841 1.1 cgd c = *cp;
842 1.1 cgd if (isdigit((u_char)c)) {
843 1.1 cgd narg = (int)strtol(cp, &eptr, 10);
844 1.1 cgd cp = eptr;
845 1.1 cgd for (i = 0; i < narg; i++) {
846 1.1 cgd if (i == narg - 1 && *cp == 'E') {
847 1.1 cgd cp++;
848 1.1 cgd } else {
849 1.1 cgd (void)gettlen(cp, &cp);
850 1.1 cgd }
851 1.1 cgd }
852 1.1 cgd }
853 1.1 cgd (void)gettlen(cp, &cp);
854 1.1 cgd break;
855 1.1 cgd case ENUM:
856 1.1 cgd case STRUCT:
857 1.1 cgd case UNION:
858 1.1 cgd switch (*cp++) {
859 1.1 cgd case '1':
860 1.1 cgd (void)inpname(cp, &cp);
861 1.1 cgd break;
862 1.1 cgd case '2':
863 1.1 cgd (void)inpname(cp, &cp);
864 1.3 cgd break;
865 1.3 cgd case '3':
866 1.3 cgd /* unique position: line.file.uniquifier */
867 1.3 cgd (void)strtol(cp, &eptr, 10);
868 1.3 cgd if (cp == eptr)
869 1.3 cgd inperr();
870 1.3 cgd cp = eptr;
871 1.3 cgd if (*cp++ != '.')
872 1.3 cgd inperr();
873 1.3 cgd (void)strtol(cp, &eptr, 10);
874 1.3 cgd if (cp == eptr)
875 1.3 cgd inperr();
876 1.3 cgd cp = eptr;
877 1.3 cgd if (*cp++ != '.')
878 1.3 cgd inperr();
879 1.3 cgd (void)strtol(cp, &eptr, 10);
880 1.3 cgd if (cp == eptr)
881 1.3 cgd inperr();
882 1.3 cgd cp = eptr;
883 1.1 cgd break;
884 1.1 cgd default:
885 1.1 cgd inperr();
886 1.1 cgd }
887 1.1 cgd break;
888 1.5 christos case FLOAT:
889 1.5 christos case USHORT:
890 1.5 christos case SHORT:
891 1.5 christos case UCHAR:
892 1.5 christos case SCHAR:
893 1.5 christos case CHAR:
894 1.15 yamt case BOOL:
895 1.5 christos case UNSIGN:
896 1.5 christos case SIGNED:
897 1.5 christos case NOTSPEC:
898 1.5 christos case INT:
899 1.5 christos case UINT:
900 1.5 christos case DOUBLE:
901 1.5 christos case LDOUBLE:
902 1.5 christos case VOID:
903 1.5 christos case ULONG:
904 1.5 christos case QUAD:
905 1.5 christos case UQUAD:
906 1.5 christos case LONG:
907 1.5 christos break;
908 1.11 tron case NTSPEC:
909 1.11 tron abort();
910 1.1 cgd }
911 1.1 cgd
912 1.1 cgd *epp = cp;
913 1.1 cgd return (cp - cp1);
914 1.1 cgd }
915 1.1 cgd
916 1.1 cgd /*
917 1.1 cgd * Search a type by it's type string.
918 1.1 cgd */
919 1.1 cgd static u_short
920 1.9 lukem findtype(const char *cp, size_t len, int h)
921 1.1 cgd {
922 1.1 cgd thtab_t *thte;
923 1.1 cgd
924 1.1 cgd for (thte = thtab[h]; thte != NULL; thte = thte->th_nxt) {
925 1.1 cgd if (strncmp(thte->th_name, cp, len) != 0)
926 1.1 cgd continue;
927 1.1 cgd if (thte->th_name[len] == '\0')
928 1.1 cgd return (thte->th_idx);
929 1.1 cgd }
930 1.1 cgd
931 1.1 cgd return (0);
932 1.1 cgd }
933 1.1 cgd
934 1.1 cgd /*
935 1.1 cgd * Store a type and it's type string so we can later share this type
936 1.1 cgd * if we read the same type string from the input file.
937 1.1 cgd */
938 1.1 cgd static u_short
939 1.9 lukem storetyp(type_t *tp, const char *cp, size_t len, int h)
940 1.1 cgd {
941 1.9 lukem static u_int tidx = 1; /* 0 is reserved */
942 1.1 cgd thtab_t *thte;
943 1.1 cgd char *name;
944 1.1 cgd
945 1.1 cgd if (tidx >= USHRT_MAX)
946 1.1 cgd errx(1, "sorry, too many types");
947 1.1 cgd
948 1.1 cgd if (tidx == tlstlen - 1) {
949 1.1 cgd tlst = xrealloc(tlst, (tlstlen * 2) * sizeof (type_t *));
950 1.1 cgd (void)memset(tlst + tlstlen, 0, tlstlen * sizeof (type_t *));
951 1.1 cgd tlstlen *= 2;
952 1.1 cgd }
953 1.1 cgd
954 1.1 cgd tlst[tidx] = tp;
955 1.1 cgd
956 1.1 cgd /* create a hash table entry */
957 1.1 cgd name = xalloc(len + 1);
958 1.1 cgd (void)memcpy(name, cp, len);
959 1.1 cgd name[len] = '\0';
960 1.1 cgd
961 1.1 cgd thte = xalloc(sizeof (thtab_t));
962 1.1 cgd thte->th_name = name;
963 1.1 cgd thte->th_idx = tidx;
964 1.1 cgd thte->th_nxt = thtab[h];
965 1.1 cgd thtab[h] = thte;
966 1.1 cgd
967 1.1 cgd return ((u_short)tidx++);
968 1.1 cgd }
969 1.1 cgd
970 1.1 cgd /*
971 1.1 cgd * Hash function for types
972 1.1 cgd */
973 1.1 cgd static int
974 1.9 lukem thash(const char *s, size_t len)
975 1.1 cgd {
976 1.1 cgd u_int v;
977 1.1 cgd
978 1.1 cgd v = 0;
979 1.1 cgd while (len-- != 0) {
980 1.1 cgd v = (v << sizeof (v)) + (u_char)*s++;
981 1.1 cgd v ^= v >> (sizeof (v) * CHAR_BIT - sizeof (v));
982 1.1 cgd }
983 1.1 cgd return (v % THSHSIZ2);
984 1.1 cgd }
985 1.1 cgd
986 1.1 cgd /*
987 1.1 cgd * Read a string enclosed by "". This string may contain quoted chars.
988 1.1 cgd */
989 1.1 cgd static char *
990 1.9 lukem inpqstrg(const char *src, const char **epp)
991 1.1 cgd {
992 1.1 cgd char *strg, *dst;
993 1.1 cgd size_t slen;
994 1.1 cgd int c;
995 1.1 cgd int v;
996 1.1 cgd
997 1.1 cgd dst = strg = xmalloc(slen = 32);
998 1.1 cgd
999 1.1 cgd if ((c = *src++) != '"')
1000 1.1 cgd inperr();
1001 1.1 cgd if ((c = *src++) == '\0')
1002 1.1 cgd inperr();
1003 1.1 cgd
1004 1.1 cgd while (c != '"') {
1005 1.1 cgd if (c == '\\') {
1006 1.1 cgd if ((c = *src++) == '\0')
1007 1.1 cgd inperr();
1008 1.1 cgd switch (c) {
1009 1.1 cgd case 'n':
1010 1.1 cgd c = '\n';
1011 1.1 cgd break;
1012 1.1 cgd case 't':
1013 1.1 cgd c = '\t';
1014 1.1 cgd break;
1015 1.1 cgd case 'v':
1016 1.1 cgd c = '\v';
1017 1.1 cgd break;
1018 1.1 cgd case 'b':
1019 1.1 cgd c = '\b';
1020 1.1 cgd break;
1021 1.1 cgd case 'r':
1022 1.1 cgd c = '\r';
1023 1.1 cgd break;
1024 1.1 cgd case 'f':
1025 1.1 cgd c = '\f';
1026 1.1 cgd break;
1027 1.1 cgd case 'a':
1028 1.1 cgd c = '\a';
1029 1.1 cgd break;
1030 1.1 cgd case '\\':
1031 1.1 cgd c = '\\';
1032 1.1 cgd break;
1033 1.1 cgd case '"':
1034 1.1 cgd c = '"';
1035 1.1 cgd break;
1036 1.1 cgd case '\'':
1037 1.1 cgd c = '\'';
1038 1.1 cgd break;
1039 1.1 cgd case '0': case '1': case '2': case '3':
1040 1.1 cgd v = (c - '0') << 6;
1041 1.1 cgd if ((c = *src++) < '0' || c > '7')
1042 1.1 cgd inperr();
1043 1.1 cgd v |= (c - '0') << 3;
1044 1.1 cgd if ((c = *src++) < '0' || c > '7')
1045 1.1 cgd inperr();
1046 1.1 cgd v |= c - '0';
1047 1.1 cgd c = (u_char)v;
1048 1.1 cgd break;
1049 1.1 cgd default:
1050 1.1 cgd inperr();
1051 1.1 cgd }
1052 1.1 cgd }
1053 1.1 cgd /* keep space for trailing '\0' */
1054 1.1 cgd if (dst - strg == slen - 1) {
1055 1.1 cgd strg = xrealloc(strg, slen * 2);
1056 1.1 cgd dst = strg + (slen - 1);
1057 1.1 cgd slen *= 2;
1058 1.1 cgd }
1059 1.1 cgd *dst++ = (char)c;
1060 1.1 cgd if ((c = *src++) == '\0')
1061 1.1 cgd inperr();
1062 1.1 cgd }
1063 1.1 cgd *dst = '\0';
1064 1.1 cgd
1065 1.1 cgd *epp = src;
1066 1.1 cgd return (strg);
1067 1.1 cgd }
1068 1.1 cgd
1069 1.1 cgd /*
1070 1.1 cgd * Read the name of a symbol in static memory.
1071 1.1 cgd */
1072 1.1 cgd static const char *
1073 1.9 lukem inpname(const char *cp, const char **epp)
1074 1.1 cgd {
1075 1.1 cgd static char *buf;
1076 1.1 cgd static size_t blen = 0;
1077 1.1 cgd size_t len, i;
1078 1.1 cgd char *eptr, c;
1079 1.1 cgd
1080 1.1 cgd len = (int)strtol(cp, &eptr, 10);
1081 1.1 cgd if (cp == eptr)
1082 1.1 cgd inperr();
1083 1.1 cgd cp = eptr;
1084 1.1 cgd if (len + 1 > blen)
1085 1.1 cgd buf = xrealloc(buf, blen = len + 1);
1086 1.1 cgd for (i = 0; i < len; i++) {
1087 1.1 cgd c = *cp++;
1088 1.7 christos if (!isalnum((unsigned char)c) && c != '_')
1089 1.1 cgd inperr();
1090 1.1 cgd buf[i] = c;
1091 1.1 cgd }
1092 1.1 cgd buf[i] = '\0';
1093 1.1 cgd
1094 1.1 cgd *epp = cp;
1095 1.1 cgd return (buf);
1096 1.1 cgd }
1097 1.1 cgd
1098 1.1 cgd /*
1099 1.1 cgd * Return the index of a file name. If the name cannot be found, create
1100 1.1 cgd * a new entry and return the index of the newly created entry.
1101 1.1 cgd */
1102 1.1 cgd static int
1103 1.9 lukem getfnidx(const char *fn)
1104 1.1 cgd {
1105 1.1 cgd int i;
1106 1.1 cgd
1107 1.1 cgd /* 0 ist reserved */
1108 1.1 cgd for (i = 1; fnames[i] != NULL; i++) {
1109 1.1 cgd if (strcmp(fnames[i], fn) == 0)
1110 1.1 cgd break;
1111 1.1 cgd }
1112 1.1 cgd if (fnames[i] != NULL)
1113 1.1 cgd return (i);
1114 1.1 cgd
1115 1.1 cgd if (i == nfnames - 1) {
1116 1.1 cgd fnames = xrealloc(fnames, (nfnames * 2) * sizeof (char *));
1117 1.1 cgd (void)memset(fnames + nfnames, 0, nfnames * sizeof (char *));
1118 1.1 cgd nfnames *= 2;
1119 1.1 cgd }
1120 1.1 cgd
1121 1.1 cgd fnames[i] = xstrdup(fn);
1122 1.1 cgd return (i);
1123 1.1 cgd }
1124 1.1 cgd
1125 1.1 cgd /*
1126 1.1 cgd * Separate symbols with static and external linkage.
1127 1.1 cgd */
1128 1.1 cgd void
1129 1.9 lukem mkstatic(hte_t *hte)
1130 1.1 cgd {
1131 1.1 cgd sym_t *sym1, **symp, *sym;
1132 1.1 cgd fcall_t **callp, *call;
1133 1.1 cgd usym_t **usymp, *usym;
1134 1.1 cgd hte_t *nhte;
1135 1.1 cgd int ofnd;
1136 1.1 cgd
1137 1.1 cgd /* Look for first static definition */
1138 1.1 cgd for (sym1 = hte->h_syms; sym1 != NULL; sym1 = sym1->s_nxt) {
1139 1.1 cgd if (sym1->s_static)
1140 1.1 cgd break;
1141 1.1 cgd }
1142 1.1 cgd if (sym1 == NULL)
1143 1.1 cgd return;
1144 1.1 cgd
1145 1.1 cgd /* Do nothing if this name is used only in one translation unit. */
1146 1.1 cgd ofnd = 0;
1147 1.1 cgd for (sym = hte->h_syms; sym != NULL && !ofnd; sym = sym->s_nxt) {
1148 1.1 cgd if (sym->s_pos.p_src != sym1->s_pos.p_src)
1149 1.1 cgd ofnd = 1;
1150 1.1 cgd }
1151 1.1 cgd for (call = hte->h_calls; call != NULL && !ofnd; call = call->f_nxt) {
1152 1.1 cgd if (call->f_pos.p_src != sym1->s_pos.p_src)
1153 1.1 cgd ofnd = 1;
1154 1.1 cgd }
1155 1.1 cgd for (usym = hte->h_usyms; usym != NULL && !ofnd; usym = usym->u_nxt) {
1156 1.1 cgd if (usym->u_pos.p_src != sym1->s_pos.p_src)
1157 1.1 cgd ofnd = 1;
1158 1.1 cgd }
1159 1.1 cgd if (!ofnd) {
1160 1.1 cgd hte->h_used = 1;
1161 1.1 cgd /* errors about undef. static symbols are printed in lint1 */
1162 1.1 cgd hte->h_def = 1;
1163 1.1 cgd hte->h_static = 1;
1164 1.1 cgd return;
1165 1.1 cgd }
1166 1.1 cgd
1167 1.1 cgd /*
1168 1.1 cgd * Create a new hash table entry
1169 1.1 cgd *
1170 1.1 cgd * XXX this entry should be put at the beginning of the list to
1171 1.1 cgd * avoid to process the same symbol twice.
1172 1.1 cgd */
1173 1.9 lukem for (nhte = hte; nhte->h_link != NULL; nhte = nhte->h_link)
1174 1.9 lukem continue;
1175 1.4 cgd nhte->h_link = xmalloc(sizeof (hte_t));
1176 1.1 cgd nhte = nhte->h_link;
1177 1.1 cgd nhte->h_name = hte->h_name;
1178 1.1 cgd nhte->h_used = 1;
1179 1.1 cgd nhte->h_def = 1; /* error in lint1 */
1180 1.6 mycroft nhte->h_static = 1;
1181 1.6 mycroft nhte->h_syms = NULL;
1182 1.1 cgd nhte->h_lsym = &nhte->h_syms;
1183 1.6 mycroft nhte->h_calls = NULL;
1184 1.1 cgd nhte->h_lcall = &nhte->h_calls;
1185 1.6 mycroft nhte->h_usyms = NULL;
1186 1.1 cgd nhte->h_lusym = &nhte->h_usyms;
1187 1.6 mycroft nhte->h_link = NULL;
1188 1.6 mycroft nhte->h_hte = NULL;
1189 1.1 cgd
1190 1.1 cgd /*
1191 1.1 cgd * move all symbols used in this translation unit into the new
1192 1.1 cgd * hash table entry.
1193 1.1 cgd */
1194 1.1 cgd for (symp = &hte->h_syms; (sym = *symp) != NULL; ) {
1195 1.1 cgd if (sym->s_pos.p_src == sym1->s_pos.p_src) {
1196 1.1 cgd sym->s_static = 1;
1197 1.1 cgd (*symp) = sym->s_nxt;
1198 1.1 cgd if (hte->h_lsym == &sym->s_nxt)
1199 1.1 cgd hte->h_lsym = symp;
1200 1.1 cgd sym->s_nxt = NULL;
1201 1.1 cgd *nhte->h_lsym = sym;
1202 1.1 cgd nhte->h_lsym = &sym->s_nxt;
1203 1.1 cgd } else {
1204 1.1 cgd symp = &sym->s_nxt;
1205 1.1 cgd }
1206 1.1 cgd }
1207 1.1 cgd for (callp = &hte->h_calls; (call = *callp) != NULL; ) {
1208 1.1 cgd if (call->f_pos.p_src == sym1->s_pos.p_src) {
1209 1.1 cgd (*callp) = call->f_nxt;
1210 1.1 cgd if (hte->h_lcall == &call->f_nxt)
1211 1.1 cgd hte->h_lcall = callp;
1212 1.1 cgd call->f_nxt = NULL;
1213 1.1 cgd *nhte->h_lcall = call;
1214 1.1 cgd nhte->h_lcall = &call->f_nxt;
1215 1.1 cgd } else {
1216 1.1 cgd callp = &call->f_nxt;
1217 1.1 cgd }
1218 1.1 cgd }
1219 1.1 cgd for (usymp = &hte->h_usyms; (usym = *usymp) != NULL; ) {
1220 1.1 cgd if (usym->u_pos.p_src == sym1->s_pos.p_src) {
1221 1.1 cgd (*usymp) = usym->u_nxt;
1222 1.1 cgd if (hte->h_lusym == &usym->u_nxt)
1223 1.1 cgd hte->h_lusym = usymp;
1224 1.1 cgd usym->u_nxt = NULL;
1225 1.1 cgd *nhte->h_lusym = usym;
1226 1.1 cgd nhte->h_lusym = &usym->u_nxt;
1227 1.1 cgd } else {
1228 1.1 cgd usymp = &usym->u_nxt;
1229 1.1 cgd }
1230 1.1 cgd }
1231 1.1 cgd
1232 1.1 cgd /* h_def must be recalculated for old hte */
1233 1.1 cgd hte->h_def = nhte->h_def = 0;
1234 1.1 cgd for (sym = hte->h_syms; sym != NULL; sym = sym->s_nxt) {
1235 1.1 cgd if (sym->s_def == DEF || sym->s_def == TDEF) {
1236 1.1 cgd hte->h_def = 1;
1237 1.1 cgd break;
1238 1.1 cgd }
1239 1.1 cgd }
1240 1.1 cgd
1241 1.1 cgd mkstatic(hte);
1242 1.1 cgd }
1243