/* $NetBSD: lint2.h,v 1.30 2025/05/24 07:38:59 rillig Exp $ */ /* * Copyright (c) 1996 Christopher G. Demetriou. All Rights Reserved. * Copyright (c) 1994, 1995 Jochen Pohl * All Rights Reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * 3. All advertising materials mentioning features or use of this software * must display the following acknowledgement: * This product includes software developed by Jochen Pohl for * The NetBSD Project. * 4. The name of the author may not be used to endorse or promote products * derived from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #include "lint.h" struct lint2_type { tspec_t t_tspec; /* type specifier */ bool t_const:1; bool t_volatile:1; bool t_vararg:1; /* function has variable number of arguments */ bool t_is_enum:1; bool t_proto:1; /* function is a prototype */ bool t_istag:1; /* tag with _t_tag valid */ bool t_istynam:1; /* tag with _t_tynam valid */ bool t_isuniqpos:1; /* tag with _t_uniqpos valid */ union { int _t_dim; /* if the type is an ARRAY, this * is the dimension of the array. */ struct hte *_t_tag; /* hash table entry of tag if * t_is_enum, STRUCT or UNION */ struct hte *_t_tynam; /* hash table entry of typename if * t_is_enum, STRUCT or UNION */ struct { int p_line; short p_file; int p_uniq; } _t_uniqpos; /* unique position, for untagged * untyped STRUCTs, UNIONS, and ENUMs, * if t_isuniqpos */ const struct lint2_type **_t_args; /* list of argument types if * this is a prototype */ } t_u; struct lint2_type *t_subt; /*- element type (if ARRAY), * return type (if FUNC), * target type (if PTR) */ }; #define t_dim t_u._t_dim #define t_tag t_u._t_tag #define t_tynam t_u._t_tynam #define t_uniqpos t_u._t_uniqpos #define t_args t_u._t_args /* * argument information * * Such a structure is created for each argument of a function call * which is an integer constant or a constant string. */ typedef struct arginf { int a_num; /* # of argument (1..) */ bool a_zero:1; /* argument is 0 */ bool a_pcon:1; /* msb of argument is not set */ bool a_ncon:1; /* msb of argument is set */ bool a_fmt:1; /* a_fstrg points to format string */ char *a_fstrg; /* format string */ struct arginf *a_next; /* information for next const. argument */ } arginf_t; /* * Keeps information about position in source file. */ typedef struct { unsigned short p_src; /* index of name of translation unit (the name * which was specified at the command line) */ unsigned short p_line; /* line number in p_src */ unsigned short p_isrc; /* index of (included) file */ unsigned short p_iline; /* line number in p_iline */ } pos_t; /* Used for definitions and declarations. */ typedef struct sym { struct { pos_t s_pos; /* pos of def./decl. */ #if !defined(lint) && !defined(DEBUG) unsigned char s_def; /* DECL, TDEF or DEF */ #else def_t s_def; #endif bool s_function_has_return_value:1; bool s_inline:1; bool s_old_style_function:1; bool s_static:1; bool s_check_only_first_args:1; bool s_printflike:1; bool s_scanflike:1; unsigned short s_type; struct sym *s_next; /* next symbol with same name */ } s_s; /* * To save memory, the remaining members are only allocated if one of * s_check_only_first_args, s_printflike and s_scanflike is set. */ short s_check_num_args; /* if s_check_only_first_args */ short s_printflike_arg; /* if s_printflike */ short s_scanflike_arg; /* if s_scanflike */ } sym_t; #define s_pos s_s.s_pos #define s_function_has_return_value s_s.s_function_has_return_value #define s_old_style_function s_s.s_old_style_function #define s_inline s_s.s_inline #define s_static s_s.s_static #define s_def s_s.s_def #define s_check_only_first_args s_s.s_check_only_first_args #define s_printflike s_s.s_printflike #define s_scanflike s_s.s_scanflike #define s_type s_s.s_type #define s_next s_s.s_next /* * Used to store information about function calls. */ typedef struct fcall { pos_t f_pos; /* position of call */ bool f_rused:1; /* return value used */ bool f_rdisc:1; /* return value discarded (casted to void) */ unsigned short f_type; /* types of expected return value and args */ arginf_t *f_args; /* information about constant arguments */ struct fcall *f_next; /* next call of same function */ } fcall_t; /* * Used to store information about usage of symbols other * than for function calls. */ typedef struct usym { pos_t u_pos; /* position */ struct usym *u_next; /* next usage */ } usym_t; /* * hash table entry */ typedef struct hte { const char *h_name; /* name */ bool h_used:1; /* symbol is used */ bool h_def:1; /* symbol is defined */ bool h_static:1; /* static symbol */ sym_t *h_syms; /* declarations and definitions */ sym_t **h_lsym; /* points to s_next of last decl./def. */ fcall_t *h_calls; /* function calls */ fcall_t **h_lcall; /* points to f_next of last call */ usym_t *h_usyms; /* usage info */ usym_t **h_lusym; /* points to u_next of last usage info */ struct hte *h_link; /* next hte with same hash function */ struct hte *h_hte; /* pointer to other htes (for renames) */ } hte_t; #include "externs2.h" /* maps type indices into pointers to type structs */ static inline type_t * TP(unsigned short type_id) { /* force sequence point for newly parsed type_id */ return tlst[type_id]; }
