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