Searched refs:Denom (Results 1 – 2 of 2) sorted by relevance
60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt() local61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
8514 APFloat Denom = C * C + D * D; in VisitBinaryOperator() local8515 ResR = scalbn((A * C + B * D) / Denom, -DenomLogB); in VisitBinaryOperator()8516 ResI = scalbn((B * C - A * D) / Denom, -DenomLogB); in VisitBinaryOperator()8518 if (Denom.isPosZero() && (!A.isNaN() || !B.isNaN())) { in VisitBinaryOperator()