lint2.h revision 1.8 1 /* $NetBSD: lint2.h,v 1.8 2017/12/26 17:02:19 christos Exp $ */
2
3 /*
4 * Copyright (c) 1996 Christopher G. Demetriou. All Rights Reserved.
5 * Copyright (c) 1994, 1995 Jochen Pohl
6 * All Rights Reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 * 3. All advertising materials mentioning features or use of this software
17 * must display the following acknowledgement:
18 * This product includes software developed by Jochen Pohl for
19 * The NetBSD Project.
20 * 4. The name of the author may not be used to endorse or promote products
21 * derived from this software without specific prior written permission.
22 *
23 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
24 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
25 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
26 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
27 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
28 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
30 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
31 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
32 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 */
34
35 #include "lint.h"
36
37 /*
38 * Types are described by structures of type type_t.
39 */
40 struct type {
41 tspec_t t_tspec; /* type specifier */
42 u_int t_const : 1; /* constant */
43 u_int t_volatile : 1; /* volatile */
44 u_int t_vararg : 1; /* function has variable number of arguments */
45 u_int t_isenum : 1; /* enum type */
46 u_int t_proto : 1; /* this is a prototype */
47 u_int t_istag : 1; /* tag with _t_tag valid */
48 u_int t_istynam : 1; /* tag with _t_tynam valid */
49 u_int t_isuniqpos : 1; /* tag with _t_uniqpos valid */
50 union {
51 int _t_dim; /* if the type is an ARRAY than this
52 is the dimension of the array. */
53 struct hte *_t_tag; /* hash table entry of tag if
54 t_isenum, STRUCT or UNION */
55 struct hte *_t_tynam; /* hash table entry of typename if
56 t_isenum, STRUCT or UNION */
57 struct {
58 int p_line;
59 short p_file;
60 int p_uniq;
61 } _t_uniqpos; /* unique position, for untagged
62 untyped STRUCTs, UNIONS, and ENUMs,
63 if t_isuniqpos */
64 struct type **_t_args; /* list of argument types if this
65 is a prototype */
66 } t_u;
67 struct type *t_subt; /* indirected type (array element, pointed to
68 type, type of return value) */
69 };
70
71 #define t_dim t_u._t_dim
72 #define t_tag t_u._t_tag
73 #define t_tynam t_u._t_tynam
74 #define t_uniqpos t_u._t_uniqpos
75 #define t_args t_u._t_args
76
77 /*
78 * argument information
79 *
80 * Such a structure is created for each argument of a function call
81 * which is an integer constant or a constant string.
82 */
83 typedef struct arginf {
84 int a_num; /* # of argument (1..) */
85 u_int a_zero : 1; /* argument is 0 */
86 u_int a_pcon : 1; /* msb of argument is not set */
87 u_int a_ncon : 1; /* msb of argument is set */
88 u_int a_fmt : 1; /* a_fstrg points to format string */
89 char *a_fstrg; /* format string */
90 struct arginf *a_nxt; /* information for next const. argument */
91 } arginf_t;
92
93 /*
94 * Keeps information about position in source file.
95 */
96 typedef struct {
97 u_short p_src; /* index of name of translation unit
98 (the name which was specified at the
99 command line) */
100 u_short p_line; /* line number in p_src */
101 u_short p_isrc; /* index of (included) file */
102 u_short p_iline; /* line number in p_iline */
103 } pos_t;
104
105 /*
106 * Used for definitions and declarations
107 *
108 * To save memory, variable sized structures are used. If
109 * all s_va, s_prfl and s_scfl are not set, the memory allocated
110 * for a symbol is only large enough to keep the first member of
111 * struct sym, s_s.
112 */
113 typedef struct sym {
114 struct {
115 pos_t s_pos; /* pos of def./decl. */
116 #ifndef lint
117 u_int s_def : 3; /* DECL, TDEF or DEF */
118 #else
119 def_t s_def;
120 #endif
121 u_int s_rval : 1; /* function has return value */
122 u_int s_inline : 1; /* function is inline */
123 u_int s_osdef : 1; /* old style function definition */
124 u_int s_static : 1; /* symbol is static */
125 u_int s_va : 1; /* check only first s_nva arguments */
126 u_int s_prfl : 1; /* printflike */
127 u_int s_scfl : 1; /* scanflike */
128 u_short s_type; /* type */
129 struct sym *s_nxt; /* next symbol with same name */
130 } s_s;
131 short s_nva;
132 short s_nprfl;
133 short s_nscfl;
134 } sym_t;
135
136 #define s_pos s_s.s_pos
137 #define s_rval s_s.s_rval
138 #define s_osdef s_s.s_osdef
139 #define s_inline s_s.s_inline
140 #define s_static s_s.s_static
141 #define s_def s_s.s_def
142 #define s_va s_s.s_va
143 #define s_prfl s_s.s_prfl
144 #define s_scfl s_s.s_scfl
145 #define s_type s_s.s_type
146 #define s_nxt s_s.s_nxt
147
148 /*
149 * Used to store informations about function calls.
150 */
151 typedef struct fcall {
152 pos_t f_pos; /* position of call */
153 u_int f_rused : 1; /* return value used */
154 u_int f_rdisc : 1; /* return value discarded (casted to void) */
155 u_short f_type; /* types of expected return value and args */
156 arginf_t *f_args; /* information about constant arguments */
157 struct fcall *f_nxt; /* next call of same function */
158 } fcall_t;
159
160 /*
161 * Used to store information about usage of symbols other
162 * than for function calls.
163 */
164 typedef struct usym {
165 pos_t u_pos; /* position */
166 struct usym *u_nxt; /* next usage */
167 } usym_t;
168
169 /*
170 * hash table entry
171 */
172 typedef struct hte {
173 const char *h_name; /* name */
174 u_int h_used : 1; /* symbol is used */
175 u_int h_def : 1; /* symbol is defined */
176 u_int h_static : 1; /* static symbol */
177 sym_t *h_syms; /* declarations and definitions */
178 sym_t **h_lsym; /* points to s_nxt of last decl./def. */
179 fcall_t *h_calls; /* function calls */
180 fcall_t **h_lcall; /* points to f_nxt of last call */
181 usym_t *h_usyms; /* usage info */
182 usym_t **h_lusym; /* points to u_nxt of last usage info */
183 struct hte *h_link; /* next hte with same hash function */
184 struct hte *h_hte; /* pointer to other htes (for renames */
185 } hte_t;
186
187 /* maps type indices into pointers to type structs */
188 #define TP(idx) (tlst[idx])
189
190 #include "externs2.h"
191