Searched refs:SVal__unC_Wmin (Results 1 – 2 of 2) sorted by relevance
400 static inline VtsID SVal__unC_Wmin ( SVal s );2979 wMin = SVal__unC_Wmin(old_sv); in remap_VtsIDs_in_SVal()4189 static inline VtsID SVal__unC_Wmin ( SVal s ) { in SVal__unC_Wmin() function4206 VtsID__rcinc( SVal__unC_Wmin(s) ); in SVal__rcinc()4214 VtsID__rcdec( SVal__unC_Wmin(s) ); in SVal__rcdec()5410 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()5434 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread()5497 VtsID wmini = SVal__unC_Wmin(svOld); in msmcwrite()