| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | builtin.c | 395 declare_builtin("__builtin_abort", &void_ctype, 0, NULL); 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()
555 declare_builtin("__builtin_bfin_csync", &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 | symbol.h | 266 extern struct symbol bool_ctype, void_ctype, type_ctype,
420 return type == &void_ctype; in is_void_type()
|
| 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()
3065 if (ttype == &void_ctype || stype == &void_ctype) in evaluate_cast()
3460 if (!fntype || fntype == &void_ctype) { in evaluate_return_expression()
3461 if (expr && expr->ctype != &void_ctype) in evaluate_return_expression()
[all …]
|
| 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()
|