Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp119 const GRState *state_precedesLowerBound, *state_withinLowerBound; in checkLocation() local
120 llvm::tie(state_precedesLowerBound, state_withinLowerBound) = in checkLocation()
124 if (state_precedesLowerBound && !state_withinLowerBound) { in checkLocation()
130 assert(state_withinLowerBound); in checkLocation()
131 state = state_withinLowerBound; in checkLocation()