Searched refs:svOld (Results 1 – 1 of 1) sorted by relevance
5103 static inline SVal msmcread ( SVal svOld, in msmcread() argument5114 tl_assert(is_sane_SVal_C(svOld)); in msmcread()5117 if (LIKELY(SVal__isC(svOld))) { in msmcread()5120 VtsID rmini = SVal__unC_Rmin(svOld); in msmcread()5121 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread()5141 if (SVal__isA(svOld)) { in msmcread()5144 tl_assert(svOld == SVal_NOACCESS); in msmcread()5148 if (0) VG_(printf)("msmcread: bad svOld: 0x%016llx\n", svOld); in msmcread()5155 if (UNLIKELY(svNew != svOld)) { in msmcread()5158 && SVal__isC(svOld) && SVal__isC(svNew)) { in msmcread()[all …]