Searched refs:rmini (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/helgrind/
H A Dlibhb_core.c371 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
4132 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ) { argument
4133 //tl_assert(VtsID__is_valid(rmini));
4135 return (((ULong)rmini) << 32) | ((ULong)wmini);
5120 VtsID rmini = SVal__unC_Rmin(svOld); local
5122 Bool leq = VtsID__cmpLEQ(rmini,tviR);
5126 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) );
5130 Bool leqxx = VtsID__cmpLEQ(rmini,wmini);
5133 svNew = SVal__mkC( rmini, VtsID__join2(wmini, tviW) );
5135 rmini, /* Cfaile
5191 VtsID rmini = SVal__unC_Rmin(svOld); local
[all...]

Completed in 203 milliseconds