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

/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp101 const RegionRawOffsetV2 &rawOffset = local
104 if (!rawOffset.getRegion())
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
141 rawOffset.getRegion()->getExtent(svalBuilder);
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
160 if (state->isTainted(rawOffset.getByteOffset()))

Completed in 83 milliseconds