lint2.h revision 1.11
1/* $NetBSD: lint2.h,v 1.11 2020/12/30 10:46:11 rillig 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 */ 40struct 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 */ 83typedef 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_next; /* information for next const. argument */ 91} arginf_t; 92 93/* 94 * Keeps information about position in source file. 95 */ 96typedef 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 */ 113typedef 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_next; /* 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_next s_s.s_next 147 148/* 149 * Used to store information about function calls. 150 */ 151typedef 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_next; /* 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 */ 164typedef struct usym { 165 pos_t u_pos; /* position */ 166 struct usym *u_next; /* next usage */ 167} usym_t; 168 169/* 170 * hash table entry 171 */ 172typedef 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_next of last decl./def. */ 179 fcall_t *h_calls; /* function calls */ 180 fcall_t **h_lcall; /* points to f_next of last call */ 181 usym_t *h_usyms; /* usage info */ 182 usym_t **h_lusym; /* points to u_next 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