Home
last modified time | relevance | path

Searched refs:numeratorKnown (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMallocOverflowSecurityChecker.cpp178 bool numeratorKnown = false, denomKnown = false; in CheckAssignmentExpr() local
201 numeratorKnown = true; in CheckAssignmentExpr()
215 auto pred = [assignKnown, numeratorKnown, in CheckAssignmentExpr()
218 (numeratorKnown && (denomExtVal >= Check.maxVal.getExtValue())); in CheckAssignmentExpr()