Home
last modified time | relevance | path

Searched refs:sval (Results 26 – 50 of 116) sorted by relevance

12345

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_bit_shift.c118 sval_t sval; in match_binop_info() local
129 if (!get_value(expr->right, &sval)) in match_binop_info()
131 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_binop_info()
138 sval_t sval; in match_call() local
147 if (!get_value(arg_expr, &sval)) in match_call()
149 sm_msg("info: bit shifter '%s' '%s'", name, sval_to_str(sval)); in match_call()
H A Dsmatch_fresh_alloc.c72 sval_t sval; in pre_merge_hook() local
75 if (estate_get_single_value(state, &sval) && sval.value == 0) in pre_merge_hook()
106 sval_t sval; in is_fresh_alloc() local
112 if (get_implied_value_fast(expr, &sval) && sval.value == 0) in is_fresh_alloc()
H A Dsmatch.h1147 sval_t *sval_alloc(sval_t sval);
1154 int sval_is_ptr(sval_t sval);
1155 bool sval_is_fp(sval_t sval);
1156 int sval_unsigned(sval_t sval);
1157 int sval_signed(sval_t sval);
1158 int sval_bits(sval_t sval);
1159 int sval_bits_used(sval_t sval);
1162 int sval_is_min(sval_t sval);
1163 int sval_is_max(sval_t sval);
1164 int sval_is_a_min(sval_t sval);
[all …]
H A Dcheck_precedence.c37 sval_t sval; in is_bool_from_context() local
39 if (!get_implied_max(expr, &sval) || sval.uvalue > 1) in is_bool_from_context()
41 if (!get_implied_min(expr, &sval) || sval.value < 0) in is_bool_from_context()
H A Dsmatch_buf_comparison.c158 sval_t sval; in match_alloc_helper() local
189 if (get_value(size, &sval)) in match_alloc_helper()
193 get_value(size->right, &sval) && sval.value == 1) { in match_alloc_helper()
222 sval_t sval; in match_calloc() local
227 if (get_implied_value(arg, &sval) && in match_calloc()
232 get_value(arg->right, &sval) && sval.value == 1) { in match_calloc()
492 sval_t sval; in match_size_binop() local
499 get_value(expr->right, &sval) && in match_size_binop()
500 sval.value == 1 && in match_size_binop()
507 get_value(expr->right, &sval) && in match_size_binop()
[all …]
H A Dcheck_wine.c31 sval_t sval; in match_fatal_report() local
34 if (!get_implied_value(arg, &sval)) in match_fatal_report()
38 if (sval.value == 9) in match_fatal_report()
H A Dcheck_cmn_err.c35 sval_t sval; in match_cmn_err() local
38 if (!get_implied_value(arg, &sval)) in match_cmn_err()
41 if (sval.value == CE_PANIC) in match_cmn_err()
H A Dcheck_mod_timer.c26 sval_t sval; in match_mod_timer() local
29 if (!get_value(arg, &sval) || sval.value == 0) in match_mod_timer()
H A Dcheck_kmalloc_wrong_size.c37 sval_t sval; in check_size_matches() local
42 if (!get_implied_value(size_expr, &sval)) in check_size_matches()
44 if (sval_cmp_val(sval, data_size) != 0) in check_size_matches()
45 …warning("double check that we're allocating correct size: %d vs %s", data_size, sval_to_str(sval)); in check_size_matches()
H A Dcheck_64bit_shift.c57 sval_t sval; in match_shift_assignment() local
74 if (get_value(right, &sval)) in match_shift_assignment()
82 sval = sval_binop(bits, SPECIAL_LEFTSHIFT, shifter); in match_shift_assignment()
83 if (sval_cmp_val(sval, UINT_MAX) < 0) in match_shift_assignment()
H A Dcheck_freeing_null.c26 sval_t sval; in match_free() local
29 if (!get_implied_value(arg_expr, &sval)) in match_free()
31 if (sval.value != 0) in match_free()
H A Dsmatch_container_of.c29 sval_t sval; in get_param_from_container_of() local
41 if (!get_value(expr->right, &sval)) in get_param_from_container_of()
43 if (sval.value < 0 || sval.value > 4096) in get_param_from_container_of()
60 sval_t sval; in get_offset_from_container_of() local
70 if (!get_value(expr->right, &sval)) in get_offset_from_container_of()
72 if (sval.value < 0 || sval.value > 4096) in get_offset_from_container_of()
79 return sval.value; in get_offset_from_container_of()
540 sval_t sval; in load_tag_info_sym() local
542 sval.type = get_real_base_type(arg); in load_tag_info_sym()
543 sval.uvalue = tag; in load_tag_info_sym()
[all …]
H A Dcheck_testing_index_after_use.c71 sval_t sval; in match_condition() local
80 if (get_implied_value(expr->left, &sval)) in match_condition()
82 else if (get_implied_value(expr->right, &sval)) in match_condition()
97 boundary -= sval.value; in match_condition()
H A Dcheck_zero_to_err_ptr.c99 static int is_valid_ptr(sval_t sval) in is_valid_ptr() argument
101 if (sval.value == INT_MIN || sval.value == INT_MAX) in is_valid_ptr()
104 if (sval_cmp(valid_ptr_min_sval, sval) <= 0 && in is_valid_ptr()
105 sval_cmp(valid_ptr_max_sval, sval) >= 0) { in is_valid_ptr()
H A Dcheck_memset.c24 sval_t sval; in check_size_not_zero() local
28 if (!get_value(expr, &sval)) in check_size_not_zero()
30 if (sval.value != 0) in check_size_not_zero()
H A Dcheck_proc_create.c35 sval_t sval; in match_create() local
40 if (!get_implied_value(arg_expr, &sval)) in match_create()
42 if (!(sval.uvalue & S_IWOTH)) in match_create()
H A Dcheck_err_ptr.c44 sval_t sval; in match_return() local
56 if (get_implied_value(ret_value, &sval)) { in match_return()
57 if (sval.value == 0) in match_return()
H A Dcheck_memcpy_overflow.c33 static int get_the_max(struct expression *expr, sval_t *sval) in get_the_max() argument
37 if (get_hard_max(expr, sval)) in get_the_max()
41 if (get_fuzzy_max(expr, sval)) in get_the_max()
45 *sval = rl_max(rl); in get_the_max()
197 sval_t sval; in is_one_element_array() local
210 if (!get_implied_value(type->array_size, &sval)) in is_one_element_array()
213 if (sval.value == 1) in is_one_element_array()
H A Dsmatch_estate.c143 int estate_get_hard_max(struct smatch_state *state, sval_t *sval) in estate_get_hard_max() argument
147 *sval = rl_max(estate_rl(state)); in estate_get_hard_max()
277 int estate_get_single_value(struct smatch_state *state, sval_t *sval) in estate_get_single_value() argument
287 *sval = min; in estate_get_single_value()
389 struct smatch_state *alloc_estate_sval(sval_t sval) in alloc_estate_sval() argument
394 state->data = alloc_dinfo_range(sval, sval); in alloc_estate_sval()
397 estate_set_fuzzy_max(state, sval); in alloc_estate_sval()
H A Dcheck_arm64_tagged.c132 int rl_is_larger_or_equal(struct range_list *rl, sval_t sval) in rl_is_larger_or_equal() argument
137 if (sval_cmp(tmp->max, sval) >= 0) in rl_is_larger_or_equal()
143 int rl_range_has_min_value(struct range_list *rl, sval_t sval) in rl_range_has_min_value() argument
148 if (!sval_cmp(tmp->min, sval)) { in rl_range_has_min_value()
/illumos-gate/usr/src/cmd/oawk/
H A Drun.c196 xfree(x->sval); in arrayel()
586 x->sval = s; in a_sprintf()
676 setsval(x, y->sval); in assign()
681 setsval(x, y->sval); in assign()
735 n1 = wslen(x->sval); in cat()
736 n2 = wslen(y->sval); in cat()
739 wscpy(s, x->sval); in cat()
740 wscpy(s+n1, y->sval); in cat()
743 z->sval = s; in cat()
814 printf("%ws", x->sval); in aprintf()
[all …]
H A Dlib.c236 xfree(fldtab[i].sval); in fldbld()
237 fldtab[i].sval = fr; in fldbld()
255 xfree(fldtab[i].sval); in fldbld()
256 fldtab[i].sval = fr; in fldbld()
269 xfree(p->sval); in fldbld()
271 p->sval = L_NULL; in fldbld()
277 if (isanumber(fldtab[i].sval)) { in fldbld()
278 fldtab[i].fval = watof(fldtab[i].sval); in fldbld()
284 printf("field %d: |%ws|\n", i, fldtab[i].sval); in fldbld()
/illumos-gate/usr/src/cmd/pools/poolcfg/
H A Dpoolcfg.l201 if((yylval.sval = strdup(yytext+1)) == NULL) {
205 if (yylval.sval[yyleng-2] =='"')
206 yylval.sval[yyleng-2] = 0;
222 if ((yylval.sval = strdup(yytext)) == NULL) {
230 if ((yylval.sval = strdup(yytext)) == NULL) {
/illumos-gate/usr/src/cmd/awk/
H A Drun.c335 oargs[i]->sval = t->sval; in call()
373 y->sval = tostring(x->sval); in copycell()
477 if (is_number(recloc->sval)) { in awkgetline()
541 xfree(x->sval); in array()
572 xfree(x->sval); in awkdelete()
627 xfree(ap->sval); in intest()
775 xfree(a->sval); in tfree()
1112 x->sval = buf; in awksprintf()
1334 z->sval = s; in cat()
1682 xfree(arrayp->sval); in instat()
[all …]
/illumos-gate/usr/src/uts/common/io/scsi/targets/
H A Dses_ses.c151 #define sset8(outp, idx, sval) \ argument
152 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 0)
154 #define sset16(outp, idx, sval) \ argument
155 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 1), \
156 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 0)
159 #define sset24(outp, idx, sval) \ argument
160 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 2), \
161 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 1), \
162 (((uchar_t *)(outp))[idx++]) = sbyte(sval, 0)
165 #define sset32(outp, idx, sval) \ argument
[all …]

12345