/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_bits.c | 60 sval_t sval; in rl_to_binfo() local 62 if (rl_to_sval(rl, &sval)) { in rl_to_binfo() 63 ret->set = sval.uvalue; in rl_to_binfo() 64 ret->possible = sval.uvalue; in rl_to_binfo() 289 static int is_single_bit(sval_t sval) in is_single_bit() argument 295 if (sval.uvalue & 1ULL << i && in is_single_bit() 425 sval_t sval; in struct_member_callback() local 427 if (estate_get_single_value(estate, &sval)) in struct_member_callback()
|
H A D | check_get_user_overflow.c | 123 sval_t sval; in check_expr() local 137 get_absolute_min(expr, &sval); in check_expr() 138 if (sval_is_negative(sval) && sval_cmp_val(sval, -20000) < 0) in check_expr()
|
H A D | smatch_helper.c | 290 sval_t sval = {}; in __get_variable_from_expr() local 294 if (!get_value(expr, &sval)) in __get_variable_from_expr() 301 sval_t sval = {}; in __get_variable_from_expr() local 305 if (!get_value(expr, &sval)) in __get_variable_from_expr() 340 sval_t sval; in __get_variable_from_expr() local 348 } else if (get_value(expr, &sval)) { in __get_variable_from_expr() 634 sval_t sval; in expr_is_zero() local 636 if (get_value(expr, &sval) && sval.value == 0) in expr_is_zero() 834 sval_t sval; in is_error_return() local 852 if (!get_implied_value(expr, &sval)) in is_error_return() [all …]
|
H A D | check_err_ptr_deref.c | 176 sval_t sval; in match_err_ptr_positive_const() local 180 if (!get_value(arg, &sval)) in match_err_ptr_positive_const() 182 if (sval_is_positive(sval) && sval_cmp_val(sval, 0) != 0) in match_err_ptr_positive_const() 183 sm_error("passing non negative %s to ERR_PTR", sval_to_str(sval)); in match_err_ptr_positive_const()
|
H A D | smatch_ranges.c | 29 bool is_err_ptr(sval_t sval) in is_err_ptr() argument 35 if (sval.uvalue < -4095ULL) in is_err_ptr() 312 *sval = ret; in get_val_from_key() 331 *sval = ret; in get_val_from_key() 337 sval.value++; in add_one() 338 return sval; in add_one() 343 sval.value--; in sub_one() 344 return sval; in sub_one() 782 *sval = min; in rl_to_sval() 1846 sval_t sval; in handle_OR_rl() local [all …]
|
H A D | smatch_extra.c | 577 sval_t sval; in set_extra_expr_true_false() local 1028 sval_t sval; in save_chunk_info() local 1116 sval_t sval; in match_vanilla_assign() local 1119 sval = sval_cast(left_type, sval); in match_vanilla_assign() 1421 sval.value++; in add_one() 1422 return sval; in add_one() 1757 sval_t sval; in move_known_to_rl() local 2038 sval_t sval; in handle_bit_test() local 2343 sval_t sval; in is_kzalloc_info() local 2559 sval_t sval; in db_param_limit_binops() local [all …]
|
H A D | smatch_address.c | 151 sval_t min, max, remove, sval; in add_offset_to_pointer() local 199 sval.type = &int_ctype; in add_offset_to_pointer() 200 sval.value = offset; in add_offset_to_pointer() 202 *rl = rl_binop(orig, '+', alloc_rl(sval, sval)); in add_offset_to_pointer()
|
H A D | smatch_flow.c | 324 sval_t sval; in handle__builtin_choose_expr() local 335 if (sval.value) in handle__builtin_choose_expr() 345 sval_t sval; in handle__builtin_choose_expr_assigns() local 582 sval_t sval; in is_forever_loop() local 592 if (get_value(expr, &sval) && sval.value != 0) in is_forever_loop() 775 if (case_sval.value == sval.value) in is_case_val() 807 sval = sval_cast(get_type(stmt->switch_expression), sval); in split_known_switch() 820 if (is_case_val(tmp, sval)) { in split_known_switch() 821 rl = alloc_rl(sval, sval); in split_known_switch() 1058 sval_t sval; in __split_stmt() local [all …]
|
H A D | smatch_extra.h | 75 int rl_has_sval(struct range_list *rl, sval_t sval); 78 bool is_err_ptr(sval_t sval); 88 int rl_to_sval(struct range_list *rl, sval_t *sval); 122 struct smatch_state *alloc_estate_sval(sval_t sval); 151 int estate_get_hard_max(struct smatch_state *state, sval_t *sval); 159 int estate_get_single_value(struct smatch_state *state, sval_t *sval);
|
H A D | check_kernel.c | 237 sval_t start, end, sval; in match_fls() local 247 if (rl_to_sval(arg_rl, &sval)) { in match_fls() 251 if (sval.uvalue & 1ULL << i) in match_fls() 254 sval.value = i + 1; in match_fls() 255 *rl = alloc_rl(sval, sval); in match_fls()
|
H A D | smatch_param_cleared.c | 139 sval_t sval; in match_usb_control_msg() local 143 if (get_value(inout, &sval) && !(sval.uvalue & USB_DIR_IN)) in match_usb_control_msg()
|
H A D | check_leaks.c | 194 sval_t sval; in warn_if_allocated() local 196 if (get_implied_value(expr, &sval) && sval.value == 0) in warn_if_allocated()
|
H A D | check_unwind.c | 138 sval_t sval; in match_return() local 142 if (get_value(ret_value, &sval) && sval_cmp_val(sval, 0) >= 0) in match_return()
|
H A D | smatch_db.c | 1420 sval_t sval; in get_return_ranges_str() local 1432 sval = sval_cast(cur_func_return_type(), sval); in get_return_ranges_str() 1433 *rl_p = alloc_rl(sval, sval); in get_return_ranges_str() 1532 sval.value = 1; in call_return_state_hooks_compare() 1546 sval.value = 0; in call_return_state_hooks_compare() 1582 sval_t sval; in split_possible_helper() local 1673 sval_t sval; in has_separate_zero_null() local 1678 if (sval.value == 0) in has_separate_zero_null() 1951 sval_t sval; in find_bool_param() local 2029 sval_t sval; in split_by_bool_param() local [all …]
|
H A D | check_deref.c | 228 sval_t sval; in called_with_no_fail() local 236 if (get_value(arg, &sval) && (sval.uvalue & __GFP_NOFAIL)) in called_with_no_fail()
|
H A D | simplify.c | 755 long long sval = uval; in check_shift_count() local 760 sval = sign_extend_safe(sval, size); in check_shift_count() 761 sval = sign_extend_safe(sval, bits_in_int); in check_shift_count() 762 if (sval < 0) in check_shift_count() 763 insn->src2 = value_pseudo(sval); in check_shift_count() 765 return sval; in check_shift_count() 767 if (sval < 0 && Wshift_count_negative) in check_shift_count() 768 warning(insn->pos, "shift count is negative (%lld)", sval); in check_shift_count() 769 if (sval > 0 && Wshift_count_overflow) { in check_shift_count() 775 warning(insn->pos, "shift too big (%llu) for type %s", sval, tname); in check_shift_count() [all …]
|
H A D | check_sizeof.c | 25 sval_t sval; in check_pointer() local 30 get_value(expr, &sval); in check_pointer()
|
H A D | smatch_real_absolute.c | 102 sval_t sval; in match_assign() local 124 if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left)) in match_assign()
|
H A D | check_free_strict.c | 48 sval_t sval; in unmatched_state() local 56 if (!estate_get_single_value(state, &sval) || sval.value != 0) in unmatched_state()
|
H A D | smatch_nul_terminator.c | 51 sval_t sval; in match_nul_assign() local 56 if (!get_value(expr->right, &sval) || sval.value != 0) in match_nul_assign()
|
/illumos-gate/usr/src/lib/libslp/javalib/com/sun/slp/ |
H A D | AttributeVerifier.java | 844 String id = stk.sval; in parseTemplateAttribute() 885 !stk.sval.equals(sttk.sval)) { in parseTemplateAttribute() 896 String typeName = sttk.sval; in parseTemplateAttribute() 938 String version = stk.sval; in parseTemplateAttribute() 1007 helpText = helpText + tk.sval + "\n"; in parseTemplateAttribute() 1300 String line = tk.sval.trim(); in parseAttribute() 1370 String line = tk.sval.trim(); in parseAttribute() 1417 String line = tk.sval.trim(); in parseAttribute() 1501 tok = tok + tk.sval; in parseAttribute() 1827 reqTok = stk.sval.trim(); in parseValueList() [all …]
|
/illumos-gate/usr/src/cmd/cmd-inet/usr.bin/pppd/ |
H A D | utils.c | 183 int64_t sval; local 186 long sval; local 273 sval = va_arg(args, int64_t); 277 sval = va_arg(args, long); 279 sval = va_arg(args, int); 280 if (sval < 0) { 282 val = -sval; 284 val = sval;
|
/illumos-gate/usr/src/cmd/scadm/sparc/mpxu/common/ |
H A D | xsem.c | 126 xsem_getvalue(xsem_t *sem, int *sval) in xsem_getvalue() argument 128 *sval = sem->semaphore; in xsem_getvalue()
|
/illumos-gate/usr/src/cmd/awk/ |
H A D | parse.c | 238 xfree(cp->sval); in makearr() 239 cp->sval = (char *)makesymtab(NSYMTAB); in makearr() 295 v->sval = (char *)st; in defn()
|
/illumos-gate/usr/src/lib/libpool/common/ |
H A D | pool_value.c | 295 char *sval; in pool_value_from_nvpair() local 330 if (nvpair_value_string(pn, &sval) != 0) { in pool_value_from_nvpair() 334 if (pool_value_set_string(pv, sval) != PO_SUCCESS) in pool_value_from_nvpair()
|