Home
last modified time | relevance | path

Searched refs:base_type (Results 1 – 25 of 54) sorted by relevance

123

/illumos-gate/usr/src/tools/smatch/src/
H A Dsymbol.c214 base_type = examine_symbol_type(sym->ctype.base_type); in examine_base_type()
215 if (!base_type || base_type->type == SYM_PTR) in examine_base_type()
222 base_type = base_type->ctype.base_type; in examine_base_type()
223 sym->ctype.base_type = base_type; in examine_base_type()
225 return base_type; in examine_base_type()
234 if (!base_type) in examine_array_type()
258 if (!base_type) in examine_bitfield_type()
285 sym->ctype.base_type = base_type->ctype.base_type; in merge_type()
394 if (!base_type) in examine_node_type()
410 struct symbol *node_type = base_type->ctype.base_type; in examine_node_type()
[all …]
H A Dsymbol.h105 struct symbol *base_type; member
353 type = type->ctype.base_type; in is_int_type()
355 type = type->ctype.base_type; in is_int_type()
363 type = type->ctype.base_type; in is_enum_type()
370 sym = sym->ctype.base_type; in is_signed_type()
386 type = type->ctype.base_type; in is_ptr_type()
393 type = type->ctype.base_type; in is_func_type()
400 type = type->ctype.base_type; in is_array_type()
407 type = type->ctype.base_type; in is_float_type()
419 type = type->ctype.base_type; in is_void_type()
[all …]
H A Dparse.c693 sym->ctype.base_type = ctype->base_type; in alloc_indirect_symbol()
996 parent->ctype.base_type = base_type; in parse_enum_declaration()
1029 parent->ctype.base_type = base_type; in parse_enum_declaration()
1061 ctx->ctype.base_type = sym->ctype.base_type; in typeof_specifier()
1613 ctx->ctype.base_type = s->ctype.base_type; in declaration_specifiers()
1645 ctx->ctype.base_type = s->ctype.base_type; in declaration_specifiers()
1859 while (ctype->base_type != base_type) in direct_declarator()
3017 base_type = decl->ctype.base_type; in external_declaration()
3020 if (base_type && !base_type->ident) { in external_declaration()
3036 base_type->ctype.base_type = &int_ctype; in external_declaration()
[all …]
H A Ddissect.c60 *base_type(struct symbol *sym),
95 if (!type->ctype.base_type) in fix_mode()
127 sym.ctype.base_type = &bad_ctype; in no_member()
173 if (!sym->ctype.base_type) in expr_symbol()
218 node->ctype.base_type = in examine_sym_node()
355 ret = ret->ctype.base_type; in do_expression()
400 ret->ctype.base_type = in do_expression()
441 in = in->ctype.base_type; in do_expression()
546 m_type = base_type(type); in do_initializer()
580 type = base_type(sym); in do_symbol()
[all …]
H A Dsmatch_type.c384 if (!base_type) in type_signed()
462 if (type_is_fp(base_type)) in sval_type_max()
463 return fp_max(base_type); in sval_type_max()
465 if (!base_type || !type_bits(base_type)) in sval_type_max()
466 base_type = &llong_ctype; in sval_type_max()
467 ret.type = base_type; in sval_type_max()
491 if (type_is_fp(base_type)) in sval_type_min()
492 return fp_min(base_type); in sval_type_min()
494 if (!base_type || !type_bits(base_type)) in sval_type_min()
496 ret.type = base_type; in sval_type_min()
[all …]
H A Devaluate.c68 struct symbol *base_type; in evaluate_symbol_expression() local
78 if (!base_type) { in evaluate_symbol_expression()
111 sym->ctype.base_type = array; in evaluate_string()
830 if (type->ctype.base_type && type->ctype.base_type->type == SYM_ARRAY) in target_qualifiers()
2238 if (!base_type) in evaluate_sizeof()
3404 struct symbol *base_type; in evaluate_symbol() local
3414 if (!base_type) in evaluate_symbol()
3428 current_fn = base_type; in evaluate_symbol()
3431 if (!base_type->stmt && base_type->inline_stmt) in evaluate_symbol()
3433 if (base_type->stmt) in evaluate_symbol()
[all …]
H A Dcheck_trinity_generator.c57 num_args = ptr_list_size((struct ptr_list *)cur_func_sym->ctype.base_type->arguments); in match_return()
68 FOR_EACH_PTR(cur_func_sym->ctype.base_type->arguments, arg) { in match_return()
81 FOR_EACH_PTR(cur_func_sym->ctype.base_type->arguments, arg) { in match_return()
H A Dsmatch_container_of.c407 struct symbol *base_type; in get_member_type_from_offset() local
410 base_type = get_real_base_type(sym); in get_member_type_from_offset()
411 if (base_type && base_type->type == SYM_PTR) in get_member_type_from_offset()
412 base_type = get_real_base_type(base_type); in get_member_type_from_offset()
413 if (offset == 0 && base_type && base_type->type == SYM_BASETYPE) in get_member_type_from_offset()
414 return base_type; in get_member_type_from_offset()
622 FOR_EACH_PTR(cur_func_sym->ctype.base_type->arguments, arg) { in handle_passed_container()
H A Dcheck_uninitialized.c35 struct symbol *struct_type, *tmp, *base_type; in mark_members_uninitialized() local
42 base_type = get_real_base_type(tmp); in mark_members_uninitialized()
43 if (!base_type || in mark_members_uninitialized()
44 base_type->type == SYM_STRUCT || in mark_members_uninitialized()
45 base_type->type == SYM_ARRAY || in mark_members_uninitialized()
46 base_type->type == SYM_UNION) in mark_members_uninitialized()
H A Dc2xml.c188 if (sym->ctype.base_type) { in examine_symbol()
189 if ((base = builtin_typename(sym->ctype.base_type)) == NULL) { in examine_symbol()
190 if (!sym->ctype.base_type->aux) { in examine_symbol()
191 examine_symbol(sym->ctype.base_type, root_node); in examine_symbol()
194 xmlGetProp((xmlNodePtr)sym->ctype.base_type->aux, BAD_CAST "id")); in examine_symbol()
H A Dcheck_rosenberg.c63 struct symbol *tmp, *base_type; in check_struct() local
72 base_type = get_real_base_type(tmp); in check_struct()
73 if (base_type && base_type->type == SYM_STRUCT) { in check_struct()
74 if (check_struct(expr, base_type)) in check_struct()
85 if (base_type == &bool_ctype) in check_struct()
H A Dsmatch_unknown_value.c55 fake_fn_symbol.ctype.base_type = &llong_ctype; in initialize_local_variables()
56 fake_node_symbol.ctype.base_type = &fake_fn_symbol; in initialize_local_variables()
H A Dbuiltin.c270 type = type->ctype.base_type; in evaluate_overflow_gen()
275 type = type->ctype.base_type; in evaluate_overflow_gen()
280 type = type->ctype.base_type; in evaluate_overflow_gen()
283 if (type->ctype.base_type != &int_type || type == &bool_ctype) in evaluate_overflow_gen()
325 struct symbol *base_type; member
360 sym->ctype.base_type = ptr->base_type; in init_builtins()
375 sym->ctype.base_type = fun; in declare_builtin()
379 fun->ctype.base_type = rtype; in declare_builtin()
385 anode->ctype.base_type = arg; in declare_builtin()
H A Dsparse-llvm.c32 return symbol_type(sym->ctype.base_type); in func_return_type()
55 struct symbol *base_type; in sym_array_type() local
57 base_type = sym->ctype.base_type; in sym_array_type()
59 assert(base_type->bit_size > 0); in sym_array_type()
61 elem_type = symbol_type(base_type); in sym_array_type()
119 if (is_void_type(sym->ctype.base_type)) in sym_ptr_type()
122 type = symbol_type(sym->ctype.base_type); in sym_ptr_type()
181 return symbol_type(sym->ctype.base_type); in symbol_type()
192 ret = symbol_type(sym->ctype.base_type); in symbol_type()
1136 struct symbol *base_type = sym->ctype.base_type; in output_fn() local
[all …]
H A Dcheck_expects_err_ptr.c37 FOR_EACH_PTR(func_sym->ctype.base_type->arguments, arg) { in match_function_def()
62 FOR_EACH_PTR(func_sym->ctype.base_type->arguments, arg) { in get_arg_num()
H A Dexpand.c175 ctype = ctype->ctype.base_type; in warn_shift_count()
509 struct ctype c1 = {.base_type = left}; in compare_types()
510 struct ctype c2 = {.base_type = right}; in compare_types()
1117 struct symbol *base_type; in expand_symbol() local
1121 base_type = sym->ctype.base_type; in expand_symbol()
1122 if (!base_type) in expand_symbol()
1127 if (base_type->type == SYM_FN) { in expand_symbol()
1128 if (base_type->stmt) in expand_symbol()
1129 expand_statement(base_type->stmt); in expand_symbol()
1313 ctype = ctype->ctype.base_type; in __get_expression_value()
H A Dcheck_puts_argument.c42 FOR_EACH_PTR(this_func->ctype.base_type->arguments, arg) { in parent_is_arg()
96 FOR_EACH_PTR(this_func->ctype.base_type->arguments, arg) { in print_arg()
H A Dtest-dissect.c54 show_typename(sym->ctype.base_type)); in r_symbol()
71 show_typename(mem ? mem->ctype.base_type : sym)); in r_member()
H A Dcheck_frees_argument.c43 FOR_EACH_PTR(this_func->ctype.base_type->arguments, arg) { in is_arg()
98 FOR_EACH_PTR(this_func->ctype.base_type->arguments, arg) { in print_arg()
H A Dsmatch_flow.c932 func_stmt = base_type->stmt; in handle_backward_goto()
934 func_stmt = base_type->inline_stmt; in handle_backward_goto()
1570 if (!base_type->stmt && !base_type->inline_stmt) in split_function()
1588 __split_stmt(base_type->stmt); in split_function()
1589 __split_stmt(base_type->inline_stmt); in split_function()
1596 __split_stmt(base_type->stmt); in split_function()
1597 __split_stmt(base_type->inline_stmt); in split_function()
1664 struct symbol *base_type; in parse_inline() local
1681 base_type = get_base_type(call->fn->symbol); in parse_inline()
1700 __split_stmt(base_type->stmt); in parse_inline()
[all …]
H A Dsmatch_function_ptrs.c402 struct symbol *base_type; in print_initializer_list() local
418 base_type = get_type(expr->ident_expression); in print_initializer_list()
419 if (!base_type || base_type->type != SYM_FN) in print_initializer_list()
H A Dlinearize.c946 base = base->ctype.base_type; in bitfield_base_type()
948 return base->ctype.base_type; in bitfield_base_type()
1258 s = s->ctype.base_type; in get_mtype()
1268 s = s->ctype.base_type; in get_mtype()
1347 src = src->ctype.base_type; in get_cast_opcode()
1349 dst = dst->ctype.base_type; in get_cast_opcode()
2486 ret_type = base_type->ctype.base_type; in linearize_fn()
2498 struct symbol *base_type; in linearize_symbol() local
2503 base_type = sym->ctype.base_type; in linearize_symbol()
2504 if (!base_type) in linearize_symbol()
[all …]
H A Dssa.c25 type = type->ctype.base_type; in is_promotable()
67 if (type->ctype.base_type == &int_type) in is_promotable()
69 if (type->ctype.base_type == &fp_type) in is_promotable()
H A Dsmatch_parameter_names.c29 FOR_EACH_PTR(cur_func_sym->ctype.base_type->arguments, param) { in match_def()
H A Dsmatch_function_info.c34 FOR_EACH_PTR(sym->ctype.base_type->arguments, arg) { in match_def()

123