Home | History | Annotate | Line # | Download | only in lint1
externs1.h revision 1.208
      1 /*	$NetBSD: externs1.h,v 1.208 2023/12/03 18:17: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 symt_t symtyp;
     84 extern FILE *yyin;
     85 
     86 void initscan(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 *symt_name(symt_t);
    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 
    183 void msglist(void);
    184 void error_at(int, const pos_t *, ...);
    185 void warning_at(int, const pos_t *, ...);
    186 void message_at(int, const pos_t *, ...);
    187 void error(int, ...);
    188 void warning(int, ...);
    189 bool gnuism(int, ...);
    190 void c99ism(int, ...);
    191 void c11ism(int, ...);
    192 void c23ism(int, ...);
    193 void assert_failed(const char *, int, const char *, const char *) __dead;
    194 void update_location(const char *, int, bool, bool);
    195 void suppress_messages(const char *);
    196 
    197 void query_message(int, ...);
    198 void enable_queries(const char *);
    199 
    200 /*
    201  * decl.c
    202  */
    203 extern decl_level *dcs;
    204 extern const char unnamed[];
    205 extern int enumval;
    206 
    207 void initdecl(void);
    208 type_t *gettyp(tspec_t);
    209 type_t *block_dup_type(const type_t *);
    210 type_t *expr_dup_type(const type_t *);
    211 type_t *expr_unqualified_type(const type_t *);
    212 bool is_incomplete(const type_t *);
    213 void dcs_add_function_specifier(function_specifier);
    214 void dcs_add_storage_class(scl_t);
    215 void dcs_add_type(type_t *);
    216 void dcs_add_qualifiers(type_qualifiers);
    217 void dcs_add_packed(void);
    218 void dcs_set_used(void);
    219 void begin_declaration_level(decl_level_kind);
    220 void end_declaration_level(void);
    221 void dcs_set_asm(void);
    222 void dcs_begin_type(void);
    223 void dcs_end_type(void);
    224 int length_in_bits(const type_t *, const char *);
    225 unsigned int alignment_in_bits(const type_t *);
    226 sym_t *concat_symbols(sym_t *, sym_t *);
    227 void check_type(sym_t *);
    228 sym_t *declare_unnamed_member(void);
    229 sym_t *declare_member(sym_t *);
    230 sym_t *set_bit_field_width(sym_t *, int);
    231 void add_type_qualifiers(type_qualifiers *, type_qualifiers);
    232 qual_ptr *append_qualified_pointer(qual_ptr *, qual_ptr *);
    233 sym_t *add_pointer(sym_t *, qual_ptr *);
    234 sym_t *add_array(sym_t *, bool, int);
    235 sym_t *add_function(sym_t *, struct parameter_list);
    236 void check_extern_declaration(const sym_t *);
    237 void check_function_definition(sym_t *, bool);
    238 sym_t *declarator_name(sym_t *);
    239 sym_t *old_style_function_parameter_name(sym_t *);
    240 type_t *make_tag_type(sym_t *, tspec_t, bool, bool);
    241 type_t *complete_struct_or_union(sym_t *);
    242 type_t *complete_enum(sym_t *);
    243 sym_t *enumeration_constant(sym_t *, int, bool);
    244 void declare(sym_t *, bool, sbuf_t *);
    245 void copy_usage_info(sym_t *, sym_t *);
    246 bool check_redeclaration(sym_t *, bool *);
    247 bool pointer_types_are_compatible(const type_t *, const type_t *, bool);
    248 bool types_compatible(const type_t *, const type_t *, bool, bool, bool *);
    249 void complete_type(sym_t *, sym_t *);
    250 sym_t *declare_parameter(sym_t *, bool);
    251 void check_func_lint_directives(void);
    252 void check_func_old_style_parameters(void);
    253 
    254 void declare_local(sym_t *, bool);
    255 sym_t *abstract_name(void);
    256 sym_t *abstract_enclosing_name(void);
    257 void global_clean_up(void);
    258 sym_t *declare_abstract_type(sym_t *);
    259 void check_size(const sym_t *);
    260 void mark_as_set(sym_t *);
    261 void mark_as_used(sym_t *, bool, bool);
    262 void check_usage(const decl_level *);
    263 void check_usage_sym(bool, const sym_t *);
    264 void end_translation_unit(void);
    265 void print_previous_declaration(const sym_t *);
    266 int to_int_constant(tnode_t *, bool);
    267 
    268 /*
    269  * tree.c
    270  */
    271 const tnode_t *before_conversion(const tnode_t *);
    272 type_t *block_derive_type(type_t *, tspec_t);
    273 type_t *expr_derive_type(type_t *, tspec_t);
    274 bool is_compiler_builtin(const char *);
    275 tnode_t *build_constant(type_t *, val_t *);
    276 tnode_t *build_name(sym_t *, bool);
    277 tnode_t *build_string(strg_t *);
    278 tnode_t *build_generic_selection(const tnode_t *,
    279 		    struct generic_association *);
    280 
    281 tnode_t *build_binary(tnode_t *, op_t, bool, tnode_t *);
    282 tnode_t *build_unary(op_t, bool, tnode_t *);
    283 tnode_t *build_member_access(tnode_t *, op_t, bool, sbuf_t *);
    284 tnode_t *cconv(tnode_t *);
    285 bool is_typeok_bool_compares_with_zero(const tnode_t *);
    286 bool typeok(op_t, int, const tnode_t *, const tnode_t *);
    287 tnode_t *promote(op_t, bool, tnode_t *);
    288 tnode_t *convert(op_t, int, type_t *, tnode_t *);
    289 void convert_constant(op_t, int, const type_t *, val_t *, val_t *);
    290 tnode_t *build_sizeof(const type_t *);
    291 tnode_t *build_offsetof(const type_t *, const sym_t *);
    292 tnode_t *build_alignof(const type_t *);
    293 tnode_t *cast(tnode_t *, type_t *);
    294 tnode_t *build_function_argument(tnode_t *, tnode_t *);
    295 tnode_t *build_function_call(tnode_t *, bool, tnode_t *);
    296 val_t *integer_constant(tnode_t *, bool);
    297 void expr(tnode_t *, bool, bool, bool, bool);
    298 void check_expr_misc(const tnode_t *, bool, bool, bool, bool, bool, bool);
    299 bool constant_addr(const tnode_t *, const sym_t **, ptrdiff_t *);
    300 strg_t *cat_strings(strg_t *, strg_t *);
    301 unsigned int type_size_in_bits(const type_t *);
    302 sym_t *find_member(const struct_or_union *, const char *);
    303 
    304 void begin_statement_expr(void);
    305 void do_statement_expr(tnode_t *);
    306 tnode_t *end_statement_expr(void);
    307 bool in_statement_expr(void);
    308 
    309 /*
    310  * func.c
    311  */
    312 extern sym_t *funcsym;
    313 extern bool reached;
    314 extern bool warn_about_unreachable;
    315 extern bool suppress_fallthrough;
    316 extern int nargusg;
    317 extern pos_t argsused_pos;
    318 extern int nvararg;
    319 extern pos_t vapos;
    320 extern int printflike_argnum;
    321 extern pos_t printflike_pos;
    322 extern int scanflike_argnum;
    323 extern pos_t scanflike_pos;
    324 extern bool suppress_constcond;
    325 extern bool llibflg;
    326 extern int lwarn;
    327 extern bool suppress_bitfieldtype;
    328 extern bool plibflg;
    329 extern bool suppress_longlong;
    330 
    331 void begin_control_statement(control_statement_kind);
    332 void end_control_statement(control_statement_kind);
    333 void check_statement_reachable(void);
    334 void begin_function(sym_t *);
    335 void end_function(void);
    336 void named_label(sym_t *);
    337 void case_label(tnode_t *);
    338 void default_label(void);
    339 void stmt_if_expr(tnode_t *);
    340 void stmt_if_then_stmt(void);
    341 void stmt_if_else_stmt(bool);
    342 void stmt_switch_expr(tnode_t *);
    343 void stmt_switch_expr_stmt(void);
    344 void stmt_while_expr(tnode_t *);
    345 void stmt_while_expr_stmt(void);
    346 void stmt_do(void);
    347 void stmt_do_while_expr(tnode_t *);
    348 void stmt_for_exprs(tnode_t *, tnode_t *, tnode_t *);
    349 void stmt_for_exprs_stmt(void);
    350 void stmt_goto(sym_t *);
    351 void stmt_continue(void);
    352 void stmt_break(void);
    353 void stmt_return(bool, tnode_t *);
    354 void global_clean_up_decl(bool);
    355 void handle_lint_comment(lint_comment, int);
    356 
    357 /*
    358  * init.c
    359  */
    360 void begin_initialization(sym_t *);
    361 void end_initialization(void);
    362 sym_t *current_initsym(void);
    363 
    364 void init_rbrace(void);
    365 void init_lbrace(void);
    366 void init_expr(tnode_t *);
    367 void begin_designation(void);
    368 void add_designator_member(sbuf_t *);
    369 void add_designator_subscript(range_t);
    370 
    371 /*
    372  * emit.c
    373  */
    374 void outtype(const type_t *);
    375 void outsym(const sym_t *, scl_t, def_t);
    376 void outfdef(const sym_t *, const pos_t *, bool, bool, const sym_t *);
    377 void outcall(const tnode_t *, bool, bool);
    378 void outusg(const sym_t *);
    379 
    380 /*
    381  * lex.c
    382  */
    383 int lex_name(const char *, size_t);
    384 int lex_integer_constant(const char *, size_t, int);
    385 int lex_floating_constant(const char *, size_t);
    386 int lex_operator(int, op_t);
    387 int lex_string(void);
    388 int lex_wide_string(void);
    389 int lex_character_constant(void);
    390 int lex_wide_character_constant(void);
    391 void lex_directive(const char *);
    392 void lex_next_line(void);
    393 void lex_comment(void);
    394 void lex_slash_slash_comment(void);
    395 void lex_unknown_character(int);
    396 int lex_input(void);
    397 
    398 /*
    399  * ckbool.c
    400  */
    401 bool typeok_scalar_strict_bool(op_t, const mod_t *, int,
    402 		    const tnode_t *, const tnode_t *);
    403 bool fallback_symbol_strict_bool(sym_t *);
    404 
    405 /*
    406  * ckctype.c
    407  */
    408 void check_ctype_function_call(const tnode_t *, const tnode_t *);
    409 void check_ctype_macro_invocation(const tnode_t *, const tnode_t *);
    410 
    411 /*
    412  * ckgetopt.c
    413  */
    414 void check_getopt_begin_while(const tnode_t *);
    415 void check_getopt_begin_switch(void);
    416 void check_getopt_case_label(int64_t);
    417 void check_getopt_end_switch(void);
    418 void check_getopt_end_while(void);
    419