Searched refs:SVal__unC_Wmin (Results 1 – 1 of 1) sorted by relevance
370 static inline VtsID SVal__unC_Wmin ( SVal s );2949 wMin = SVal__unC_Wmin(old_sv); in remap_VtsIDs_in_SVal()4141 static inline VtsID SVal__unC_Wmin ( SVal s ) { in SVal__unC_Wmin() function4158 VtsID__rcinc( SVal__unC_Wmin(s) ); in SVal__rcinc()4166 VtsID__rcdec( SVal__unC_Wmin(s) ); in SVal__rcdec()5097 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()5121 VtsID wmini = SVal__unC_Wmin(svOld); in msmcread()5184 VtsID wmini = SVal__unC_Wmin(svOld); in msmcwrite()