Home | History | Annotate | Line # | Download | only in lint1
externs1.h revision 1.218
      1 /*	$NetBSD: externs1.h,v 1.218 2024/03/03 00:50:41 rillig Exp $	*/
      2 
      3 /*
      4  * Copyright (c) 1994, 1995 Jochen Pohl
      5  * All Rights Reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  * 3. All advertising materials mentioning features or use of this software
     16  *    must display the following acknowledgement:
     17  *	This product includes software developed by Jochen Pohl for
     18  *	The NetBSD Project.
     19  * 4. The name of the author may not be used to endorse or promote products
     20  *    derived from this software without specific prior written permission.
     21  *
     22  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32  */
     33 
     34 #include <signal.h>
     35 
     36 /*
     37  * main1.c
     38  */
     39 extern int aflag;
     40 extern bool bflag;
     41 extern bool cflag;
     42 extern bool eflag;
     43 extern bool Fflag;
     44 extern bool hflag;
     45 extern bool pflag;
     46 extern bool rflag;
     47 extern bool uflag;
     48 extern bool vflag;
     49 extern bool yflag;
     50 extern bool wflag;
     51 extern bool zflag;
     52 extern bool Tflag;
     53 extern bool Pflag;
     54 
     55 extern bool allow_trad;
     56 extern bool allow_c90;
     57 extern bool allow_c99;
     58 extern bool allow_c11;
     59 extern bool allow_c23;
     60 extern bool allow_gcc;
     61 
     62 extern sig_atomic_t fpe;
     63 
     64 void norecover(void);
     65 
     66 /*
     67  * cgram.y
     68  */
     69 extern int block_level;
     70 extern size_t mem_block_level;
     71 extern int yydebug;
     72 
     73 int yyerror(const char *);
     74 int yyparse(void);
     75 
     76 /*
     77  * scan.l
     78  */
     79 extern bool in_gcc_attribute;
     80 extern pos_t curr_pos;
     81 extern pos_t csrc_pos;
     82 extern bool in_system_header;
     83 extern symbol_kind sym_kind;
     84 extern FILE *yyin;
     85 
     86 void init_lex(void);
     87 int64_t convert_integer(int64_t, tspec_t, unsigned int);
     88 void clear_warn_flags(void);
     89 sym_t *getsym(sbuf_t *);
     90 void clean_up_after_error(void);
     91 sym_t *pushdown(const sym_t *);
     92 sym_t *mktempsym(type_t *);
     93 void rmsym(sym_t *);
     94 void symtab_remove_level(sym_t *);
     95 void inssym(int, sym_t *);
     96 void freeyyv(void *, int);
     97 int yylex(void);
     98 
     99 /*
    100  * mem1.c
    101  */
    102 const char *record_filename(const char *, size_t);
    103 int get_filename_id(const char *);
    104 void add_directory_replacement(char *);
    105 const char *transform_filename(const char *, size_t);
    106 
    107 #ifdef DEBUG_MEM
    108 void *block_zero_alloc(size_t, const char *);
    109 void *level_zero_alloc(size_t, size_t, const char *);
    110 #else
    111 void *block_zero_alloc(size_t);
    112 void *level_zero_alloc(size_t, size_t);
    113 #define block_zero_alloc(size, descr) (block_zero_alloc)(size)
    114 #define level_zero_alloc(level, size, descr) (level_zero_alloc)(level, size)
    115 #endif
    116 void level_free_all(size_t);
    117 
    118 #ifdef DEBUG_MEM
    119 void *expr_zero_alloc(size_t, const char *);
    120 #else
    121 void *expr_zero_alloc(size_t);
    122 #define expr_zero_alloc(size, descr) (expr_zero_alloc)(size)
    123 #endif
    124 tnode_t *expr_alloc_tnode(void);
    125 void expr_free_all(void);
    126 memory_pool expr_save_memory(void);
    127 void expr_restore_memory(memory_pool);
    128 
    129 /*
    130  * debug.c
    131  */
    132 
    133 #ifdef DEBUG
    134 const char *decl_level_kind_name(decl_level_kind);
    135 const char *scl_name(scl_t);
    136 const char *symbol_kind_name(symbol_kind);
    137 const char *type_qualifiers_string(type_qualifiers);
    138 const char *function_specifier_name(function_specifier);
    139 void debug_dcs(void);
    140 void debug_dcs_all(void);
    141 void debug_node(const tnode_t *);
    142 void debug_type(const type_t *);
    143 void debug_sym(const char *, const sym_t *, const char *);
    144 void debug_symtab(void);
    145 void debug_printf(const char *fmt, ...) __printflike(1, 2);
    146 void debug_skip_indent(void);
    147 void debug_indent_inc(void);
    148 void debug_indent_dec(void);
    149 bool debug_push_indented(bool);
    150 void debug_pop_indented(bool);
    151 void debug_enter_func(const char *);
    152 void debug_step(const char *fmt, ...) __printflike(1, 2);
    153 void debug_leave_func(const char *);
    154 #define	debug_enter()		debug_enter_func(__func__)
    155 #define	debug_leave()		debug_leave_func(__func__)
    156 #else
    157 #define	debug_noop()		do { } while (false)
    158 #define	debug_dcs()		debug_noop()
    159 #define	debug_dcs_all()		debug_noop()
    160 #define	debug_sym(p, sym, s)	debug_noop()
    161 #define	debug_symtab()		debug_noop()
    162 #define	debug_node(tn)		debug_noop()
    163 #define	debug_type(tp)		debug_noop()
    164 #define	debug_printf(...)	debug_noop()
    165 #define	debug_skip_indent()	debug_noop()
    166 #define	debug_indent_inc()	debug_noop()
    167 #define	debug_indent_dec()	debug_noop()
    168 #define debug_push_indented(c)	true
    169 #define debug_pop_indented(c)	(void)(c)
    170 #define	debug_enter()		debug_noop()
    171 #define	debug_step(...)		debug_noop()
    172 #define	debug_leave()		debug_noop()
    173 #endif
    174 
    175 /*
    176  * err.c
    177  */
    178 extern bool seen_error;
    179 extern bool seen_warning;
    180 extern int sytxerr;
    181 extern bool any_query_enabled;
    182 extern bool is_query_enabled[];
    183 
    184 void msglist(void);
    185 void error_at(int, const pos_t *, ...);
    186 void warning_at(int, const pos_t *, ...);
    187 void message_at(int, const pos_t *, ...);
    188 void error(int, ...);
    189 void warning(int, ...);
    190 bool gnuism(int, ...);
    191 void c99ism(int, ...);
    192 void c11ism(int, ...);
    193 void c23ism(int, ...);
    194 void assert_failed(const char *, int, const char *, const char *) __dead;
    195 void update_location(const char *, int, bool, bool);
    196 void suppress_messages(const char *);
    197 
    198 void query_message(int, ...);
    199 void enable_queries(const char *);
    200 
    201 /*
    202  * decl.c
    203  */
    204 extern decl_level *dcs;
    205 extern const char unnamed[];
    206 extern int enumval;
    207 
    208 void init_decl(void);
    209 type_t *gettyp(tspec_t);
    210 type_t *block_dup_type(const type_t *);
    211 type_t *expr_dup_type(const type_t *);
    212 type_t *expr_unqualified_type(const type_t *);
    213 bool is_incomplete(const type_t *);
    214 void dcs_add_function_specifier(function_specifier);
    215 void dcs_add_storage_class(scl_t);
    216 void dcs_add_type(type_t *);
    217 void dcs_add_qualifiers(type_qualifiers);
    218 void dcs_add_packed(void);
    219 void dcs_set_used(void);
    220 void begin_declaration_level(decl_level_kind);
    221 void end_declaration_level(void);
    222 void dcs_set_asm(void);
    223 void dcs_begin_type(void);
    224 void dcs_end_type(void);
    225 int length_in_bits(const type_t *, const char *);
    226 unsigned int alignment_in_bits(const type_t *);
    227 sym_t *concat_symbols(sym_t *, sym_t *);
    228 void check_type(sym_t *);
    229 sym_t *declare_unnamed_member(void);
    230 sym_t *declare_member(sym_t *);
    231 sym_t *set_bit_field_width(sym_t *, int);
    232 void add_type_qualifiers(type_qualifiers *, type_qualifiers);
    233 qual_ptr *append_qualified_pointer(qual_ptr *, qual_ptr *);
    234 sym_t *add_pointer(sym_t *, qual_ptr *);
    235 sym_t *add_array(sym_t *, bool, int);
    236 sym_t *add_function(sym_t *, struct parameter_list);
    237 void check_extern_declaration(const sym_t *);
    238 void check_function_definition(sym_t *, bool);
    239 sym_t *declarator_name(sym_t *);
    240 sym_t *old_style_function_parameter_name(sym_t *);
    241 type_t *make_tag_type(sym_t *, tspec_t, bool, bool);
    242 type_t *complete_struct_or_union(sym_t *);
    243 type_t *complete_enum(sym_t *);
    244 sym_t *enumeration_constant(sym_t *, int, bool);
    245 void declare(sym_t *, bool, sbuf_t *);
    246 void copy_usage_info(sym_t *, sym_t *);
    247 bool check_redeclaration(sym_t *, bool *);
    248 bool pointer_types_are_compatible(const type_t *, const type_t *, bool);
    249 bool types_compatible(const type_t *, const type_t *, bool, bool, bool *);
    250 void complete_type(sym_t *, sym_t *);
    251 sym_t *declare_parameter(sym_t *, bool);
    252 void check_func_lint_directives(void);
    253 void check_func_old_style_parameters(void);
    254 
    255 void declare_local(sym_t *, bool);
    256 sym_t *abstract_name(void);
    257 sym_t *abstract_enclosing_name(void);
    258 void global_clean_up(void);
    259 sym_t *declare_abstract_type(sym_t *);
    260 void check_size(const sym_t *);
    261 void mark_as_set(sym_t *);
    262 void mark_as_used(sym_t *, bool, bool);
    263 void check_usage(const decl_level *);
    264 void check_usage_sym(bool, const sym_t *);
    265 void end_translation_unit(void);
    266 void print_previous_declaration(const sym_t *);
    267 int to_int_constant(tnode_t *, bool);
    268 
    269 /*
    270  * tree.c
    271  */
    272 const tnode_t *before_conversion(const tnode_t *);
    273 type_t *block_derive_type(type_t *, tspec_t);
    274 type_t *expr_derive_type(type_t *, tspec_t);
    275 bool is_compiler_builtin(const char *);
    276 tnode_t *build_constant(type_t *, val_t *);
    277 tnode_t *build_name(sym_t *, bool);
    278 tnode_t *build_string(buffer *);
    279 tnode_t *build_generic_selection(const tnode_t *,
    280 		    struct generic_association *);
    281 
    282 tnode_t *build_binary(tnode_t *, op_t, bool, tnode_t *);
    283 tnode_t *build_unary(op_t, bool, tnode_t *);
    284 tnode_t *build_member_access(tnode_t *, op_t, bool, sbuf_t *);
    285 tnode_t *cconv(tnode_t *);
    286 bool is_typeok_bool_compares_with_zero(const tnode_t *);
    287 bool typeok(op_t, int, const tnode_t *, const tnode_t *);
    288 tnode_t *promote(op_t, bool, tnode_t *);
    289 tnode_t *convert(op_t, int, type_t *, tnode_t *);
    290 void convert_constant(op_t, int, const type_t *, val_t *, val_t *);
    291 tnode_t *build_sizeof(const type_t *);
    292 tnode_t *build_offsetof(const type_t *, designation);
    293 tnode_t *build_alignof(const type_t *);
    294 tnode_t *cast(tnode_t *, bool, type_t *);
    295 void add_function_argument(function_call *, tnode_t *);
    296 tnode_t *build_function_call(tnode_t *, bool, function_call *);
    297 val_t *integer_constant(tnode_t *, bool);
    298 void expr(tnode_t *, bool, bool, bool, bool);
    299 void check_expr_misc(const tnode_t *, bool, bool, bool, bool, bool, bool);
    300 bool constant_addr(const tnode_t *, const sym_t **, ptrdiff_t *);
    301 buffer *cat_strings(buffer *, buffer *);
    302 unsigned int type_size_in_bits(const type_t *);
    303 sym_t *find_member(const struct_or_union *, const char *);
    304 uint64_t possible_bits(const tnode_t *);
    305 
    306 void begin_statement_expr(void);
    307 void do_statement_expr(tnode_t *);
    308 tnode_t *end_statement_expr(void);
    309 bool in_statement_expr(void);
    310 
    311 /*
    312  * func.c
    313  */
    314 extern sym_t *funcsym;
    315 extern bool reached;
    316 extern bool warn_about_unreachable;
    317 extern bool suppress_fallthrough;
    318 extern int nargusg;
    319 extern pos_t argsused_pos;
    320 extern int nvararg;
    321 extern pos_t vapos;
    322 extern int printflike_argnum;
    323 extern pos_t printflike_pos;
    324 extern int scanflike_argnum;
    325 extern pos_t scanflike_pos;
    326 extern bool suppress_constcond;
    327 extern bool llibflg;
    328 extern int lwarn;
    329 extern bool suppress_bitfieldtype;
    330 extern bool plibflg;
    331 extern bool suppress_longlong;
    332 
    333 void begin_control_statement(control_statement_kind);
    334 void end_control_statement(control_statement_kind);
    335 void check_statement_reachable(void);
    336 void begin_function(sym_t *);
    337 void end_function(void);
    338 void named_label(sym_t *);
    339 void case_label(tnode_t *);
    340 void default_label(void);
    341 void stmt_if_expr(tnode_t *);
    342 void stmt_if_then_stmt(void);
    343 void stmt_if_else_stmt(bool);
    344 void stmt_switch_expr(tnode_t *);
    345 void stmt_switch_expr_stmt(void);
    346 void stmt_while_expr(tnode_t *);
    347 void stmt_while_expr_stmt(void);
    348 void stmt_do(void);
    349 void stmt_do_while_expr(tnode_t *);
    350 void stmt_for_exprs(tnode_t *, tnode_t *, tnode_t *);
    351 void stmt_for_exprs_stmt(void);
    352 void stmt_goto(sym_t *);
    353 void stmt_continue(void);
    354 void stmt_break(void);
    355 void stmt_return(bool, tnode_t *);
    356 void global_clean_up_decl(bool);
    357 void handle_lint_comment(lint_comment, int);
    358 
    359 /*
    360  * init.c
    361  */
    362 void begin_initialization(sym_t *);
    363 void end_initialization(void);
    364 sym_t *current_initsym(void);
    365 
    366 void init_rbrace(void);
    367 void init_lbrace(void);
    368 void init_expr(tnode_t *);
    369 void begin_designation(void);
    370 void add_designator_member(sbuf_t *);
    371 void add_designator_subscript(range_t);
    372 void designation_push(designation *, designator_kind, const sym_t *, size_t);
    373 
    374 /*
    375  * emit.c
    376  */
    377 void outtype(const type_t *);
    378 void outsym(const sym_t *, scl_t, def_t);
    379 void outfdef(const sym_t *, const pos_t *, bool, bool, const sym_t *);
    380 void outcall(const tnode_t *, bool, bool);
    381 void outusg(const sym_t *);
    382 
    383 /*
    384  * lex.c
    385  */
    386 int lex_name(const char *, size_t);
    387 int lex_integer_constant(const char *, size_t, int);
    388 int lex_floating_constant(const char *, size_t);
    389 int lex_operator(int, op_t);
    390 int lex_string(void);
    391 int lex_wide_string(void);
    392 int lex_character_constant(void);
    393 int lex_wide_character_constant(void);
    394 void lex_directive(const char *);
    395 void lex_next_line(void);
    396 void lex_comment(void);
    397 void lex_slash_slash_comment(void);
    398 void lex_unknown_character(int);
    399 int lex_input(void);
    400 bool quoted_next(const buffer *, quoted_iterator *);
    401 
    402 /*
    403  * ckbool.c
    404  */
    405 bool typeok_scalar_strict_bool(op_t, const mod_t *, int,
    406 		    const tnode_t *, const tnode_t *);
    407 bool fallback_symbol_strict_bool(sym_t *);
    408 
    409 /*
    410  * ckctype.c
    411  */
    412 void check_ctype_function_call(const function_call *);
    413 void check_ctype_macro_invocation(const tnode_t *, const tnode_t *);
    414 
    415 /*
    416  * ckgetopt.c
    417  */
    418 void check_getopt_begin_while(const tnode_t *);
    419 void check_getopt_begin_switch(void);
    420 void check_getopt_case_label(int64_t);
    421 void check_getopt_end_switch(void);
    422 void check_getopt_end_while(void);
    423 
    424 /* cksnprintb.c */
    425 void check_snprintb(const tnode_t *);
    426