Searched refs:Denom (Results 1 – 1 of 1) sorted by relevance
60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt() local61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()