/illumos-gate/usr/src/tools/smatch/src/ |
H A D | builtin.c | 395 declare_builtin("__builtin_abort", &void_ctype, 0, NULL); in declare_builtins() 406 …declare_builtin("__builtin_bcopy", &void_ctype, 0, &const_ptr_ctype, &ptr_ctype, size_t_ctype, NUL… in declare_builtins() 410 declare_builtin("__builtin_bzero", &void_ctype, 0, &ptr_ctype, size_t_ctype, NULL); in declare_builtins() 421 declare_builtin("__builtin_exit", &void_ctype, 0, &int_ctype, NULL); in declare_builtins() 429 declare_builtin("__builtin_free", &void_ctype, 0, &ptr_ctype, NULL); in declare_builtins() 467 declare_builtin("__builtin_prefetch", &void_ctype, 1, &const_ptr_ctype, NULL); in declare_builtins() 506 declare_builtin("__builtin_trap", &void_ctype, 0, NULL); in declare_builtins() 513 declare_builtin("__builtin_unreachable", &void_ctype, 0, NULL); in declare_builtins() 545 declare_builtin("__sync_lock_release", &void_ctype, 1, &ptr_ctype, NULL); in declare_builtins() 550 declare_builtin("__sync_synchronize", &void_ctype, 0, NULL); in declare_builtins() [all …]
|
H A D | check_all_func_returns.c | 71 if (sym == &void_ctype || (sym->type == SYM_FN && in check_func_return() 72 get_real_base_type(sym) == &void_ctype)) in check_func_return()
|
H A D | symbol.c | 689 struct symbol bool_ctype, void_ctype, type_ctype, variable 751 { &void_ctype, SYM_BASETYPE, 0, NULL, NULL, NULL }, 786 { &ptr_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &void_ctype }, 787 { &null_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &void_ctype }, 788 { &label_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &void_ctype }, 789 { &lazy_ptr_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &void_ctype }, 797 { &const_void_ctype, SYM_NODE, MOD_CONST, NULL, NULL, &void_ctype },
|
H A D | check_buffer_too_small_for_struct.c | 45 if (right_type != &void_ctype && type_bits(right_type) != 8) in match_assign()
|
H A D | evaluate.c | 1118 if (lbase == &void_ctype) { in evaluate_compare() 1122 if (rbase == &void_ctype) { in evaluate_compare() 1245 if (lbase == &void_ctype) { in evaluate_conditional_expression() 1251 if (rbase == &void_ctype) { in evaluate_conditional_expression() 1382 if (t1 == &void_ctype) in whitelist_pointers() 1384 if (t2 == &void_ctype) in whitelist_pointers() 2979 if (ttype == &void_ctype) in evaluate_cast() 3043 if (ttype->ctype.base_type == &void_ctype) { in evaluate_cast() 3065 if (ttype == &void_ctype || stype == &void_ctype) in evaluate_cast() 3460 if (!fntype || fntype == &void_ctype) { in evaluate_return_expression() [all …]
|
H A D | symbol.h | 266 extern struct symbol bool_ctype, void_ctype, type_ctype, 420 return type == &void_ctype; in is_void_type()
|
H A D | smatch_mtag_data.c | 137 if (type == &void_ctype) in invalid_type()
|
H A D | smatch_type.c | 526 if (type == &void_ctype) in is_void_pointer() 788 {&void_ctype, "void"},
|
H A D | smatch_function_ptrs.c | 308 if (type == &void_ctype) in can_hold_function_ptr()
|
H A D | dissect.c | 464 struct symbol *ret = &void_ctype; in do_statement()
|
H A D | parse.c | 472 { "void", NS_TYPEDEF, .type = &void_ctype, .op = &spec_op}, 933 ctype = &void_ctype; in parse_enum_declaration() 2638 if (sym->ctype.base_type == &void_ctype) { in parameter_type_list() 3046 } else if (base_type == &void_ctype && !(decl->ctype.modifiers & MOD_EXTERN)) { in external_declaration()
|
H A D | smatch_math.c | 308 if (!type || (type_bits(type) != 8 && (type != &void_ctype))) in handle_offset_subtraction() 1142 if (get_real_base_type(sym) == &void_ctype) in handle_sizeof()
|
H A D | smatch_buf_size.c | 656 if (type == &void_ctype) in store_alloc()
|
H A D | show-parse.c | 250 { &void_ctype, "void", "" },
|
H A D | smatch_helper.c | 844 if (cur_func == &void_ctype) in is_error_return()
|
H A D | check_kernel_printf.c | 499 if (!is_char_type(basetype) && !is_struct_tag(basetype, "bdaddr_t") && basetype != &void_ctype) { in mac_address_string()
|
H A D | smatch_kernel_user_data.c | 282 if (type == &void_ctype) { in tag_as_user_data()
|
H A D | linearize.c | 1261 if (s->ctype.base_type == &void_ctype) in get_mtype() 1523 if (expr->ctype != &void_ctype) in linearize_call_expression()
|
H A D | smatch_flow.c | 966 if (return_type != &void_ctype) { in fake_a_return()
|