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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DVLASizeChecker.cpp113 DefinedSVal sizeD = cast<DefinedSVal>(sizeV); local
116 llvm::tie(stateNotZero, stateZero) = state->assume(sizeD);
133 NonLoc ArrayLength = cast<NonLoc>(svalBuilder.evalCast(sizeD, SizeTy,

Completed in 53 milliseconds