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