Searched refs:LenVal (Results 1 – 1 of 1) sorted by relevance
2251 SVal LenVal = state->getSVal(LenExpr, LCtx); in evalStrcpyCommon() local2254 LenVal = svalBuilder.evalCast(LenVal, sizeTy, LenExpr->getType()); in evalStrcpyCommon()2260 CouldAccessOutOfBoundForSVal(LenVal.getAs<NonLoc>()); in evalStrcpyCommon()