Home
last modified time | relevance | path

Searched refs:sval (Results 51 – 75 of 116) sorted by relevance

12345

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_bits.c60 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 Dcheck_get_user_overflow.c123 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 Dsmatch_helper.c290 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 Dcheck_err_ptr_deref.c176 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 Dsmatch_ranges.c29 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 Dsmatch_extra.c577 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 Dsmatch_address.c151 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 Dsmatch_flow.c324 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 Dsmatch_extra.h75 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 Dcheck_kernel.c237 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 Dsmatch_param_cleared.c139 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 Dcheck_leaks.c194 sval_t sval; in warn_if_allocated() local
196 if (get_implied_value(expr, &sval) && sval.value == 0) in warn_if_allocated()
H A Dcheck_unwind.c138 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 Dsmatch_db.c1420 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 Dcheck_deref.c228 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 Dsimplify.c755 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 Dcheck_sizeof.c25 sval_t sval; in check_pointer() local
30 get_value(expr, &sval); in check_pointer()
H A Dsmatch_real_absolute.c102 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 Dcheck_free_strict.c48 sval_t sval; in unmatched_state() local
56 if (!estate_get_single_value(state, &sval) || sval.value != 0) in unmatched_state()
H A Dsmatch_nul_terminator.c51 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 DAttributeVerifier.java844 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 Dutils.c183 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 Dxsem.c126 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 Dparse.c238 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 Dpool_value.c295 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()

12345