Home
last modified time | relevance | path

Searched defs:StInBound (Results 1 – 5 of 5) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound, StOutBound; in checkLocation() local
H A DReturnPointerRangeChecker.cpp71 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
H A DUndefResultChecker.cpp56 ProgramStateRef StInBound, StOutBound; in isArrayIndexOutOfBounds() local
H A DObjCContainersChecker.cpp137 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
H A DCStringChecker.cpp411 ProgramStateRef StInBound, StOutBound; in CheckLocation() local
1021 ProgramStateRef StInBound = state->assumeInBound(Idx, SizeDV, true); in IsFirstBufInBound() local