Searched refs:sizeD (Results 1 – 1 of 1) sorted by relevance
114 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>(); in checkPreStmt() local117 std::tie(stateNotZero, stateZero) = state->assume(sizeD); in checkPreStmt()135 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); in checkPreStmt()