Home
last modified time | relevance | path

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

/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound, StOutBound; in checkLocation() local
H A DReturnPointerRangeChecker.cpp73 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
H A DUndefResultChecker.cpp56 ProgramStateRef StInBound, StOutBound; in isArrayIndexOutOfBounds() local
H A DObjCContainersChecker.cpp132 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local
H A DCStringChecker.cpp426 ProgramStateRef StInBound, StOutBound; CheckLocation() local
1056 ProgramStateRef StInBound = State->assumeInBound(Idx, SizeDV, true); isFirstBufInBound() local