/illumos-gate/usr/src/tools/smatch/src/ |
H A D | builtin.c | 283 if (type->ctype.base_type != &int_type || type == &bool_ctype) in evaluate_overflow_gen() 288 expr->ctype = &bool_ctype; in evaluate_overflow_gen() 473 …declare_builtin("__builtin_sadd_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins() 474 …declare_builtin("__builtin_saddl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ct… in declare_builtins() 475 …declare_builtin("__builtin_saddll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_pt… in declare_builtins() 477 …declare_builtin("__builtin_smul_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins() 478 …declare_builtin("__builtin_smull_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ct… in declare_builtins() 479 …declare_builtin("__builtin_smulll_overflow", &bool_ctype, 0, &llong_ctype, &llong_ctype, &llong_pt… in declare_builtins() 482 …declare_builtin("__builtin_ssub_overflow", &bool_ctype, 0, &int_ctype, &int_ctype, &int_ptr_ctype,… in declare_builtins() 483 …declare_builtin("__builtin_ssubl_overflow", &bool_ctype, 0, &long_ctype, &long_ctype, &long_ptr_ct… in declare_builtins() [all …]
|
H A D | smatch_capped.c | 84 if (type == &bool_ctype) in is_capped() 206 if (type == &bool_ctype) in match_assign()
|
H A D | symbol.h | 266 extern struct symbol bool_ctype, void_ctype, type_ctype, 427 return type == &bool_ctype; in is_bool_type()
|
H A D | check_signed.c | 57 if (sym != &bool_ctype && sym != &uchar_ctype && in match_assign()
|
H A D | symbol.c | 689 struct symbol bool_ctype, void_ctype, type_ctype, variable 750 …{ &bool_ctype, SYM_BASETYPE, MOD_UNSIGNED, &bits_in_bool, &max_int_alignment, &int_t…
|
H A D | check_rosenberg.c | 85 if (base_type == &bool_ctype) in check_struct()
|
H A D | linearize.c | 1435 return add_binary_op(ep, &bool_ctype, op, src, zero); in add_convert_to_bool() 1563 dst = add_binary_op(ep, &bool_ctype, op, src1, src2); in linearize_binop_bool() 1564 if (expr->ctype != &bool_ctype) in linearize_binop_bool() 1565 dst = cast_pseudo(ep, dst, &bool_ctype, expr->ctype); in linearize_binop_bool() 1732 src2 = cast_pseudo(ep, src2, &bool_ctype, ctype); in linearize_logical()
|
H A D | smatch_ranges.c | 1469 sval_t min = { .type = &bool_ctype }; in cast_to_bool() 1470 sval_t max = { .type = &bool_ctype }; in cast_to_bool() 1510 if (type == &bool_ctype) in cast_rl()
|
H A D | smatch_type.c | 787 {&bool_ctype, "bool"},
|
H A D | evaluate.c | 1418 if (t == &bool_ctype) { in check_assignment_types() 1483 if (t == &bool_ctype && (sclass & TYPE_PTR)) in check_assignment_types() 3007 if (ttype == &bool_ctype) { in evaluate_cast() 3054 if (ttype == &bool_ctype) in evaluate_cast()
|
H A D | show-parse.c | 251 { &bool_ctype, "bool", "" },
|
H A D | parse.c | 484 { "_Bool", NS_TYPEDEF, .type = &bool_ctype, .op = &spec_op },
|
/illumos-gate/usr/src/tools/smatch/src/Documentation/ |
H A D | TODO.md | 26 * bool_ctype should be split into internal 1-bit / external 8-bit
|