Searched refs:is_sane_SVal_C (Results 1 – 1 of 1) sorted by relevance
5094 static Bool is_sane_SVal_C ( SVal sv ) { in is_sane_SVal_C() function5114 tl_assert(is_sane_SVal_C(svOld)); in msmcread()5153 tl_assert(is_sane_SVal_C(svNew)); in msmcread()5179 tl_assert(is_sane_SVal_C(svOld)); in msmcwrite()5226 tl_assert(is_sane_SVal_C(svNew)); in msmcwrite()6748 tl_assert(is_sane_SVal_C(sv)); in libhb_srange_new()6944 tl_assert(is_sane_SVal_C(sv)); in libhb_srange_noaccess_AHAE()7024 tl_assert(is_sane_SVal_C(sv)); in libhb_srange_untrack()