Home
last modified time | relevance | path

Searched refs:SizeD (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DVLASizeChecker.cpp112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>(); in checkVLA() local
115 SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>(); in checkVLA()
175 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize() local
178 std::tie(StateNotZero, StateZero) = State->assume(SizeD); in checkVLAIndexSize()
194 SVal LessThanZeroVal = SVB.evalBinOp(State, BO_LT, SizeD, Zero, SizeTy); in checkVLAIndexSize()