Searched refs:Denom (Results 1 – 3 of 3) sorted by relevance
60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt() local61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
372 unsigned Denom = (BackEdges.empty() ? 0 : LBH_TAKEN_WEIGHT) + in calcLoopBranchHeuristics() local376 Probs[0] = BranchProbability(LBH_TAKEN_WEIGHT, Denom); in calcLoopBranchHeuristics()378 Probs[1] = BranchProbability(LBH_TAKEN_WEIGHT, Denom); in calcLoopBranchHeuristics()380 Probs[2] = BranchProbability(LBH_NONTAKEN_WEIGHT, Denom); in calcLoopBranchHeuristics()
8815 APFloat Denom = C * C + D * D; in VisitBinaryOperator() local8816 ResR = scalbn((A * C + B * D) / Denom, -DenomLogB, in VisitBinaryOperator()8818 ResI = scalbn((B * C - A * D) / Denom, -DenomLogB, in VisitBinaryOperator()8821 if (Denom.isPosZero() && (!A.isNaN() || !B.isNaN())) { in VisitBinaryOperator()