Searched defs:StInBound (Results 1 - 4 of 4) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
H A DReturnPointerRangeChecker.cpp61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
H A DObjCContainersChecker.cpp133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); local
H A DCStringChecker.cpp289 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); local

Completed in 188 milliseconds