Searched refs:SVal__unC_Rmin (Results 1 – 1 of 1) sorted by relevance
369 static inline VtsID SVal__unC_Rmin ( SVal s );2948 rMin = SVal__unC_Rmin(old_sv); in remap_VtsIDs_in_SVal()4137 static inline VtsID SVal__unC_Rmin ( SVal s ) { in SVal__unC_Rmin() function4157 VtsID__rcinc( SVal__unC_Rmin(s) ); in SVal__rcinc()4165 VtsID__rcdec( SVal__unC_Rmin(s) ); in SVal__rcdec()5097 leq = VtsID__cmpLEQ( SVal__unC_Rmin(sv), SVal__unC_Wmin(sv) ); in is_sane_SVal_C()5120 VtsID rmini = SVal__unC_Rmin(svOld); in msmcread()5191 VtsID rmini = SVal__unC_Rmin(svOld); in msmcwrite()