Searched refs:denomExtVal (Results 1 – 1 of 1) sorted by relevance
207 auto denomExtVal = denomVal.getExtValue(); in CheckAssignmentExpr() local210 if (denomExtVal < 0) in CheckAssignmentExpr()217 denomExtVal](const MallocOverflowCheck &Check) { in CheckAssignmentExpr()219 (numeratorKnown && (denomExtVal >= Check.maxVal.getExtValue())); in CheckAssignmentExpr()