/illumos-gate/usr/src/tools/smatch/src/ |
H A D | builtin.c | 35 expr->ctype = &int_ctype; in evaluate_to_int_const_expr() 396 declare_builtin("__builtin_abs", &int_ctype , 0, &int_ctype, NULL); in declare_builtins() 405 …declare_builtin("__builtin_bcmp", &int_ctype , 0, &const_ptr_ctype, &const_ptr_ctype, size_t_ctype… in declare_builtins() 412 declare_builtin("__builtin_clrsb", &int_ctype, 0, &int_ctype, NULL); in declare_builtins() 413 declare_builtin("__builtin_clrsbl", &int_ctype, 0, &long_ctype, NULL); in declare_builtins() 414 declare_builtin("__builtin_clrsbll", &int_ctype, 0, &llong_ctype, NULL); in declare_builtins() 415 declare_builtin("__builtin_clz", &int_ctype, 0, &int_ctype, NULL); in declare_builtins() 416 declare_builtin("__builtin_clzl", &int_ctype, 0, &long_ctype, NULL); in declare_builtins() 417 declare_builtin("__builtin_clzll", &int_ctype, 0, &llong_ctype, NULL); in declare_builtins() 418 declare_builtin("__builtin_ctz", &int_ctype, 0, &int_ctype, NULL); in declare_builtins() [all …]
|
H A D | target.c | 13 struct symbol *int32_ctype = &int_ctype; 15 struct symbol *wchar_ctype = &int_ctype; 157 wint_ctype = &int_ctype; in init_target()
|
H A D | smatch_buf_size.c | 77 sval.type = &int_ctype; in size_to_estate() 87 sval.type = &int_ctype; in size_to_rl() 119 str_to_rl(&int_ctype, value, &rl); in set_param_buf_size() 201 str_to_rl(&int_ctype, argv[0], &db_size_rl); in db_size_callback() 203 str_to_rl(&int_ctype, argv[0], &tmp); in db_size_callback() 278 call_results_to_rl(call, &int_ctype, math, &rl); in db_returns_buf_size() 279 rl = cast_rl(&int_ctype, rl); in db_returns_buf_size() 466 .type = &int_ctype, in alloc_int_rl() 730 rl = cast_rl(&int_ctype, rl); in match_alloc() 754 .type = &int_ctype, in match_page() [all …]
|
H A D | check_index_overflow.c | 209 sval_t hard_max = { .type = &int_ctype, }; in should_warn() 210 sval_t fuzzy_max = { .type = &int_ctype, }; in should_warn() 267 sval_t hard_max = { .type = &int_ctype, }; in array_check() 268 sval_t fuzzy_max = { .type = &int_ctype, }; in array_check()
|
H A D | smatch_type.c | 73 return &int_ctype; in get_binop_type() 108 return &int_ctype; in get_binop_type() 314 ret = &int_ctype; in get_type_helper() 345 return &int_ctype; in get_final_type_helper() 367 struct symbol *ret = &int_ctype; in get_promoted_type() 796 {&int_ctype, "int"},
|
H A D | smatch_strlen.c | 40 sval.type = &int_ctype; in size_to_estate() 229 sval = sval_type_val(&int_ctype, len - 1); in get_strlen_from_string() 302 str_to_rl(&int_ctype, value, &rl); in set_param_strlen()
|
H A D | check_err_ptr_deref.c | 28 .type = &int_ctype, 33 .type = &int_ctype,
|
H A D | check_impossible_mask.c | 88 type = &int_ctype; in match_condition()
|
H A D | parse.c | 892 struct range irange = type_range(&int_ctype); in cast_enum_list() 904 expr->ctype = &int_ctype; in cast_enum_list() 924 parent->ctype.base_type = &int_ctype; in parse_enum_declaration() 937 ctype = &int_ctype; in parse_enum_declaration() 982 base_type = &int_ctype; in parse_enum_declaration() 1017 else if (type_is_ok(&int_ctype, range)) in parse_enum_declaration() 1018 base_type = &int_ctype; in parse_enum_declaration() 1560 {&short_ctype, &int_ctype, &long_ctype, &llong_ctype, &lllong_ctype}; 2880 arg->ctype.base_type = &int_ctype; in promote_k_r_types() 2903 type->ctype.base_type = &int_ctype; in apply_k_r_types() [all …]
|
H A D | smatch_ranges.c | 362 cast_type = &int_ctype; in filter_by_comparison() 420 type = &int_ctype; in filter_by_comparison_call() 1249 type = &int_ctype; in possibly_true() 1278 type = &int_ctype; in possibly_false() 1304 type = &int_ctype; in possibly_true_rl() 1330 type = &int_ctype; in possibly_false_rl() 1786 type = &int_ctype; in handle_sub_rl() 1997 cast_type = &int_ctype; in rl_binop()
|
H A D | smatch_sval.c | 59 ret.type = &int_ctype; in sval_blank() 407 type = &int_ctype; in sval_cast() 655 type = &int_ctype; in sval_binop_overflows()
|
H A D | check_kernel.c | 239 start.type = &int_ctype; in match_fls() 241 end.type = &int_ctype; in match_fls()
|
H A D | expression.h | 306 expr->ctype = &int_ctype; in alloc_const_expression()
|
H A D | symbol.c | 692 int_ctype, sint_ctype, uint_ctype, variable 762 …{ &int_ctype, SYM_BASETYPE, MOD_SIGNED, &bits_in_int, &max_int_alignment, &int_type … 790 { &int_ptr_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &int_ctype },
|
H A D | evaluate.c | 150 return &int_ctype; in integer_promotion() 156 return &int_ctype; in integer_promotion() 930 expr->ctype = &int_ctype; in evaluate_logical() 933 return &int_ctype; in evaluate_logical() 1142 expr->ctype = &int_ctype; in evaluate_compare() 1143 return &int_ctype; in evaluate_compare() 1981 ctype = &int_ctype; in evaluate_preop() 2042 add->right->ctype = &int_ctype; in evaluate_offset() 2189 sym = &int_ctype; in evaluate_type_information() 2191 sym = &int_ctype; in evaluate_type_information()
|
H A D | smatch_math.c | 31 static sval_t zero = {.type = &int_ctype, {.value = 0} }; 32 static sval_t one = {.type = &int_ctype, {.value = 1} }; 1119 sym = &int_ctype; in handle_sizeof() 1132 sym = &int_ctype; in handle_sizeof() 1136 sym = &int_ctype; in handle_sizeof()
|
H A D | smatch_address.c | 199 sval.type = &int_ctype; in add_offset_to_pointer()
|
H A D | smatch_integer_overflow.c | 143 type = &int_ctype; in can_integer_overflow()
|
H A D | smatch_expressions.c | 47 zero->ctype = &int_ctype; in zero_expr()
|
H A D | expression.c | 381 expr->ctype = token_type(token) < TOKEN_WIDE_CHAR ? &int_ctype : &long_ctype; in primary_expression() 395 expr->ctype = &int_ctype; in primary_expression()
|
H A D | check_atomic_inc_dec.c | 328 sval_t line = sval_type_val(&int_ctype, 0); in check_counter()
|
H A D | symbol.h | 269 int_ctype, sint_ctype, uint_ctype,
|
H A D | lib.c | 1267 predefined_ctype("INT", &int_ctype, PTYPE_ALL); in predefined_macros() 1348 predefine("_MIPS_SZINT", 1, "%d", int_ctype.bit_size); in predefined_macros()
|
H A D | dissect.c | 309 struct symbol *ret = &int_ctype; in do_expression()
|
H A D | smatch_extra.c | 602 right->type = &int_ctype; in get_countdown_info() 649 right.type = &int_ctype; in handle_canonical_while_count_down() 2039 sval_t high = { .type = &int_ctype }; in handle_bit_test() 2040 sval_t low = { .type = &int_ctype }; in handle_bit_test()
|