Lines Matching defs:ElementCount

1265   auto ElementCount = getDynamicElementCount(State, Region, svalBuilder, Ty);
1268     *ElementCountVal = ElementCount;
1276     if (!ElementCount.isConstant())
1279     Idx = ElementCount.getAsInteger()->getLimitedValue();
1365     SVal ElementCount;
1367         state, Region, varType, LCtx, &ElementCount);
1369     if (ElementCount.isConstant()) {
1370       uint64_t ArrayLength = ElementCount.getAsInteger()->getLimitedValue();
1448       SVal ElementCount;
1450           State, ArgR, DTy, LCtx, &ElementCount);
1454       if (ElementCount.isConstant() &&
1455           ElementCount.getAsInteger()->getLimitedValue() == 0) {
1521     SVal ElementCount;
1523         State, FieldVal.getAsRegion(), T, LCtx, &ElementCount);
1525     if (ElementCount.isConstant()) {
1526       uint64_t ArrayLength = ElementCount.getAsInteger()->getLimitedValue();