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