| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_common_functions.c | 29 *rl = cast_rl(&ulong_ctype, *rl); in match_strlen()
35 *rl = alloc_rl(sval_type_val(&ulong_ctype, 0), in match_strlen()
36 sval_type_val(&ulong_ctype, STRLEN_MAX_RET)); in match_strlen()
39 *rl = alloc_rl(sval_type_val(&ulong_ctype, 0), in match_strlen()
40 sval_type_val(&ulong_ctype, max)); in match_strlen()
50 sval_t ulong_max = sval_type_val(&ulong_ctype, ULONG_MAX); in match_strnlen()
77 *rl = alloc_whole_rl(&ulong_ctype); in match_sprintf()
|
| H A D | target.c | 7 struct symbol *size_t_ctype = &ulong_ctype;
12 struct symbol *uint64_ctype = &ulong_ctype;
91 uint32_ctype = &ulong_ctype; in init_target()
134 size_t_ctype = &ulong_ctype; in init_target()
137 uintmax_ctype = &ulong_ctype; in init_target()
|
| H A D | builtin.c | 462 declare_builtin("__builtin_parityl", &int_ctype, 0, &ulong_ctype, NULL); in declare_builtins()
465 declare_builtin("__builtin_popcountl", &int_ctype, 0, &ulong_ctype, NULL); in declare_builtins()
508 …declare_builtin("__builtin_uaddl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr… in declare_builtins()
511 …declare_builtin("__builtin_umull_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr… in declare_builtins()
515 …declare_builtin("__builtin_usubl_overflow", &bool_ctype, 0, &ulong_ctype, &ulong_ctype, &ulong_ptr… in declare_builtins()
|
| H A D | smatch_type.c | 311 ret = &ulong_ctype; in get_type_helper()
317 ret = &ulong_ctype; in get_type_helper()
801 {&ulong_ctype, "ulong"},
|
| H A D | symbol.c | 693 long_ctype, slong_ctype, ulong_ctype, variable
767 …{ &ulong_ctype, SYM_BASETYPE, MOD_UNSIGNED | MOD_LONG, &bits_in_long, &max_int_alignment…
793 …{ &ulong_ptr_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &ulong_ctype …
|
| H A D | smatch_function_ptrs.c | 306 if (type == &ulong_ctype && expr->type == EXPR_DEREF) in can_hold_function_ptr()
|
| H A D | symbol.h | 270 long_ctype, slong_ctype, ulong_ctype,
|
| H A D | smatch_kernel_user_data.c | 283 set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype)); in tag_as_user_data()
292 set_state_expr(my_id, deref_expression(expr), alloc_estate_whole(&ulong_ctype)); in tag_as_user_data()
|
| H A D | parse.c | 1019 else if (type_is_ok(&ulong_ctype, range)) in parse_enum_declaration()
1020 base_type = &ulong_ctype; in parse_enum_declaration()
1236 return ctype->ctype.modifiers & MOD_UNSIGNED ? &ulong_ctype in to_word_mode()
1565 {&ushort_ctype, &uint_ctype, &ulong_ctype, &ullong_ctype,
|
| H A D | show-parse.c | 242 { &ulong_ctype, "unsigned long", "UL" },
|
| H A D | check_kernel_printf.c | 636 if (basetype != &ulong_ctype) in flag_string()
|
| H A D | lib.c | 476 size_t_ctype = &ulong_ctype; in handle_arch_msize_long_finalize()
|
| H A D | smatch_flow.c | 94 valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK); in alloc_valid_ptr_rl()
|
| H A D | evaluate.c | 3018 if ((ttype == &ulong_ctype || ttype == uintptr_ctype) && !Wcast_from_as) in evaluate_cast()
3025 if ((stype == &ulong_ctype || stype == uintptr_ctype)) in evaluate_cast()
|
| H A D | smatch_math.c | 1156 sval_t ret = { .type = &ulong_ctype }; in handle_strlen()
|
| H A D | smatch_db.c | 908 if (type && type_bits(type) < type_bits(&ulong_ctype)) in print_struct_members()
|
| H A D | smatch_extra.c | 1918 max.type = &ulong_ctype; in handle_integer_overflow_test()
|