Home
last modified time | relevance | path

Searched refs:int_ctype (Results 1 – 25 of 32) sorted by relevance

12

/illumos-gate/usr/src/tools/smatch/src/
H A Dbuiltin.c35 expr->ctype = &int_ctype; in evaluate_to_int_const_expr()
396 declare_builtin("__builtin_abs", &int_ctype , 0, &int_ctype, NULL); in declare_builtins()
412 declare_builtin("__builtin_clrsb", &int_ctype, 0, &int_ctype, NULL); in declare_builtins()
415 declare_builtin("__builtin_clz", &int_ctype, 0, &int_ctype, NULL); in declare_builtins()
418 declare_builtin("__builtin_ctz", &int_ctype, 0, &int_ctype, NULL); in declare_builtins()
425 declare_builtin("__builtin_ffs", &int_ctype, 0, &int_ctype, NULL); in declare_builtins()
473 …declare_builtin("__builtin_sadd_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins()
477 …declare_builtin("__builtin_smul_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins()
482 …declare_builtin("__builtin_ssub_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins()
527 …declare_builtin("__builtin___sprintf_chk", &int_ctype, 1, &string_ctype, &int_ctype, size_t_ctype,… in declare_builtins()
[all …]
H A Dtarget.c13 struct symbol *int32_ctype = &int_ctype;
15 struct symbol *wchar_ctype = &int_ctype;
157 wint_ctype = &int_ctype; in init_target()
H A Dsmatch_buf_size.c77 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 Dcheck_index_overflow.c209 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 Dsmatch_type.c73 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 Dsmatch_strlen.c40 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 Dcheck_err_ptr_deref.c28 .type = &int_ctype,
33 .type = &int_ctype,
H A Dcheck_impossible_mask.c88 type = &int_ctype; in match_condition()
H A Dparse.c892 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()
2880 arg->ctype.base_type = &int_ctype; in promote_k_r_types()
2903 type->ctype.base_type = &int_ctype; in apply_k_r_types()
3036 base_type->ctype.base_type = &int_ctype; in external_declaration()
[all …]
H A Dsmatch_ranges.c362 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 Dsmatch_sval.c59 ret.type = &int_ctype; in sval_blank()
407 type = &int_ctype; in sval_cast()
655 type = &int_ctype; in sval_binop_overflows()
H A Dcheck_kernel.c239 start.type = &int_ctype; in match_fls()
241 end.type = &int_ctype; in match_fls()
H A Dexpression.h306 expr->ctype = &int_ctype; in alloc_const_expression()
H A Dsymbol.c692 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 Devaluate.c150 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 Dsmatch_math.c31 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 Dsmatch_address.c199 sval.type = &int_ctype; in add_offset_to_pointer()
H A Dsmatch_integer_overflow.c143 type = &int_ctype; in can_integer_overflow()
H A Dsmatch_expressions.c47 zero->ctype = &int_ctype; in zero_expr()
H A Dexpression.c381 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 Dsymbol.h269 int_ctype, sint_ctype, uint_ctype,
H A Dcheck_atomic_inc_dec.c328 sval_t line = sval_type_val(&int_ctype, 0); in check_counter()
H A Dlib.c1267 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 Ddissect.c309 struct symbol *ret = &int_ctype; in do_expression()
H A Dsmatch_extra.c602 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()

12