Searched refs:maxMinusRight (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp573 SVal maxMinusRight; local
575 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
580 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
585 if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {

Completed in 2470 milliseconds