| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | builtin.c | 393 struct symbol *va_list_ctype = &ptr_ctype; in declare_builtins()
397 declare_builtin("__builtin_alloca", &ptr_ctype, 0, size_t_ctype, NULL); in declare_builtins()
406 …declare_builtin("__builtin_bcopy", &void_ctype, 0, &const_ptr_ctype, &ptr_ctype, size_t_ctype, NUL… in declare_builtins()
410 declare_builtin("__builtin_bzero", &void_ctype, 0, &ptr_ctype, size_t_ctype, NULL); in declare_builtins()
411 declare_builtin("__builtin_calloc", &ptr_ctype, 0, size_t_ctype, size_t_ctype, NULL); in declare_builtins()
423 declare_builtin("__builtin_extract_return_addr", &ptr_ctype, 0, &ptr_ctype, NULL); in declare_builtins()
428 declare_builtin("__builtin_frame_address", &ptr_ctype, 0, &uint_ctype, NULL); in declare_builtins()
429 declare_builtin("__builtin_free", &void_ctype, 0, &ptr_ctype, NULL); in declare_builtins()
450 declare_builtin("__builtin_malloc", &ptr_ctype, 0, size_t_ctype, NULL); in declare_builtins()
451 …declare_builtin("__builtin_memchr", &ptr_ctype, 0, &const_ptr_ctype, &int_ctype, size_t_ctype, NUL… in declare_builtins()
[all …]
|
| H A D | smatch_address.c | 181 orig = cast_rl(&ptr_ctype, orig); in add_offset_to_pointer()
182 min = sval_type_min(&ptr_ctype); in add_offset_to_pointer()
184 max = sval_type_max(&ptr_ctype); in add_offset_to_pointer()
193 if (max.uvalue > sval_type_max(&ptr_ctype).uvalue - offset) { in add_offset_to_pointer()
194 remove = sval_type_max(&ptr_ctype); in add_offset_to_pointer()
|
| H A D | check_kernel.c | 116 pre = alloc_whole_rl(&ptr_ctype); in match_param_err_or_null()
117 call_results_to_rl(call_expr, &ptr_ctype, "0,(-4095)-(-1)", &rl); in match_param_err_or_null()
448 err_ptr_min.type = &ptr_ctype; in check_kernel()
450 err_ptr_max.type = &ptr_ctype; in check_kernel()
452 null_ptr.type = &ptr_ctype; in check_kernel()
455 err_ptr_min = sval_cast(&ptr_ctype, err_ptr_min); in check_kernel()
456 err_ptr_max = sval_cast(&ptr_ctype, err_ptr_max); in check_kernel()
|
| H A D | smatch.h | 631 .type = &ptr_ctype,
635 .type = &ptr_ctype,
639 .type = &ptr_ctype,
643 .type = &ptr_ctype,
647 .type = &ptr_ctype,
651 .type = &ptr_ctype,
655 .type = &ptr_ctype,
659 .type = &ptr_ctype,
663 .type = &ptr_ctype,
667 .type = &ptr_ctype,
[all …]
|
| H A D | lib.c | 1294 predefined_ctype("POINTER", &ptr_ctype, PTYPE_SIZEOF); in predefined_macros()
1353 predefine("__mips", 1, "%d", ptr_ctype.bit_size); in predefined_macros()
1356 predefine("_MIPS_SZPTR", 1, "%d", ptr_ctype.bit_size); in predefined_macros()
1374 predefine("__riscv_xlen", 1, "%d", ptr_ctype.bit_size); in predefined_macros()
|
| H A D | evaluate.c | 615 ctype = &ptr_ctype; in evaluate_ptr_add()
1012 expr->ctype = &ptr_ctype; in evaluate_comma()
1211 *cond = cast_to(*cond, &ptr_ctype); in evaluate_conditional_expression()
1212 expr->cond_false = cast_to(expr->cond_false, &ptr_ctype); in evaluate_conditional_expression()
1213 ctype = &ptr_ctype; in evaluate_conditional_expression()
2350 *p = cast_to(expr, &ptr_ctype); in evaluate_arguments()
3333 expr->ctype = &ptr_ctype; in evaluate_expression()
3334 return &ptr_ctype; in evaluate_expression()
3691 stmt->expression = cast_to(stmt->expression, &ptr_ctype); in evaluate_statement()
|
| H A D | symbol.c | 697 string_ctype, ptr_ctype, lazy_ptr_ctype, variable
786 { &ptr_ctype, SYM_PTR, 0, &bits_in_pointer, &pointer_alignment, &void_ctype },
|
| H A D | symbol.h | 274 string_ctype, ptr_ctype, lazy_ptr_ctype,
|
| H A D | smatch_flow.c | 83 .type = &ptr_ctype,
87 .type = &ptr_ctype,
98 valid_ptr_rl = cast_rl(&ptr_ctype, valid_ptr_rl); in alloc_valid_ptr_rl()
|
| H A D | sparse-llvm.c | 638 lhs = value_to_pvalue(fn, &ptr_ctype, lhs); in output_op_compare()
639 rhs = value_to_pvalue(fn, &ptr_ctype, rhs); in output_op_compare()
|
| H A D | smatch_type.c | 812 {&ptr_ctype, "ptr"},
|
| H A D | smatch_kernel_user_data.c | 1085 if (type && type_bits(type) < type_bits(&ptr_ctype)) in struct_member_callback()
|
| H A D | parse.c | 487 { "__builtin_va_list", NS_TYPEDEF, .type = &ptr_ctype, .op = &spec_op },
488 { "__builtin_ms_va_list", NS_TYPEDEF, .type = &ptr_ctype, .op = &spec_op },
|
| H A D | smatch_ranges.c | 832 type = &ptr_ctype; in alloc_whole_rl()
|