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

/freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local
63 if (StOutBound && !StInBound) {
64 ExplodedNode *N = C.generateSink(StOutBound);
H A DReturnPointerRangeChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); local
63 if (StOutBound && !StInBound) {
64 ExplodedNode *N = C.generateSink(StOutBound);
H A DObjCContainersChecker.cpp134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); local
135 if (StOutBound && !StInBound) {
136 ExplodedNode *N = C.generateSink(StOutBound);
H A DCStringChecker.cpp290 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); local
291 if (StOutBound && !StInBound) {
292 ExplodedNode *N = C.generateSink(StOutBound);

Completed in 100 milliseconds