/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_bit_shift.c | 118 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 D | smatch_fresh_alloc.c | 72 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 D | smatch.h | 1147 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 D | check_precedence.c | 37 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 D | smatch_buf_comparison.c | 158 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 D | check_wine.c | 31 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 D | check_cmn_err.c | 35 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 D | check_mod_timer.c | 26 sval_t sval; in match_mod_timer() local 29 if (!get_value(arg, &sval) || sval.value == 0) in match_mod_timer()
|
H A D | check_kmalloc_wrong_size.c | 37 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 D | check_64bit_shift.c | 57 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 D | check_freeing_null.c | 26 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 D | smatch_container_of.c | 29 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 D | check_testing_index_after_use.c | 71 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 D | check_zero_to_err_ptr.c | 99 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 D | check_memset.c | 24 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 D | check_proc_create.c | 35 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 D | check_err_ptr.c | 44 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 D | check_memcpy_overflow.c | 33 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 D | smatch_estate.c | 143 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 D | check_arm64_tagged.c | 132 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 D | run.c | 196 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 D | lib.c | 236 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 D | poolcfg.l | 201 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 D | run.c | 335 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 D | ses_ses.c | 151 #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 …]
|