Home
last modified time | relevance | path

Searched refs:cast_pseudo (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dlinearize.c1111 val = cast_pseudo(ep, val, btype, ctype); in linearize_bitfield_extract()
1158 old = cast_pseudo(ep, old, ad.type, ad.btype); in linearize_inc_dec()
1161 new = cast_pseudo(ep, new, ad.btype, ad.type); in linearize_inc_dec()
1380 src = cast_pseudo(ep, src, from, size_t_ctype); in cast_pseudo()
1388 src = cast_pseudo(ep, src, from, size_t_ctype); in cast_pseudo()
1389 return cast_pseudo(ep, src, size_t_ctype, to); in cast_pseudo()
1478 oldvalue = cast_pseudo(ep, oldvalue, target->ctype, ctype); in linearize_assignment()
1482 value = cast_pseudo(ep, dst, ctype, expr->ctype); in linearize_assignment()
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()
[all …]