Searched refs:RHSTrueCnt (Results 1 – 1 of 1) sorted by relevance
2243 Counter RHSTrueCnt = getRegionCounter(E->getRHS()); in VisitBinLAnd() local2255 createBranchRegion(E->getRHS(), RHSTrueCnt, in VisitBinLAnd()2256 subtractCounters(RHSExecCnt, RHSTrueCnt), DecisionRHS); in VisitBinLAnd()