lib/Sema/SemaType.cpp

1382 static bool isArraySizeVLA(Sema &S, Expr *ArraySize, llvm::APSInt &SizeVal) {
1397   return S.VerifyIntegerConstantExpression(ArraySize, &SizeVal, Diagnoser,
1408 /// \param ArraySize Expression describing the size of the array.
1418                               Expr *ArraySize, unsigned Quals,
1474   if (ArraySize && ArraySize->hasPlaceholderType()) {
1475     ExprResult Result = CheckPlaceholderExpr(ArraySize);
1477     ArraySize = Result.take();
1481   if (ArraySize && !ArraySize->isRValue()) {
1482     ExprResult Result = DefaultLvalueConversion(ArraySize);
1486     ArraySize = Result.take();
1492       ArraySize && !ArraySize->isTypeDependent() &&
1493       !ArraySize->getType()->isIntegralOrUnscopedEnumerationType()) {
1494     Diag(ArraySize->getLocStart(), diag::err_array_size_non_int)
1495       << ArraySize->getType() << ArraySize->getSourceRange();
1500   if (!ArraySize) {
1505   } else if (ArraySize->isTypeDependent() || ArraySize->isValueDependent()) {
1506     T = Context.getDependentSizedArrayType(T, ArraySize, ASM, Quals, Brackets);
1509              isArraySizeVLA(*this, ArraySize, ConstVal)) {
1513         !ArraySize->getType()->isIntegralOrUnscopedEnumerationType()) {
1514       Diag(ArraySize->getLocStart(), diag::err_array_size_non_int)
1515         << ArraySize->getType() << ArraySize->getSourceRange();
1522     T = Context.getVariableArrayType(T, ArraySize, ASM, Quals, Brackets);
1528         Diag(ArraySize->getLocStart(), diag::err_decl_negative_array_size)
1529           << getPrintableNameForEntity(Entity) << ArraySize->getSourceRange();
1531         Diag(ArraySize->getLocStart(), diag::err_typecheck_negative_array_size)
1532           << ArraySize->getSourceRange();
1538       Diag(ArraySize->getLocStart(),
1541         << ArraySize->getSourceRange();
1544         Diag(ArraySize->getLocStart(),
1546           << ArraySize->getSourceRange();
1555         Diag(ArraySize->getLocStart(), diag::err_array_too_large)
1557           << ArraySize->getSourceRange();
1608 QualType Sema::BuildExtVectorType(QualType T, Expr *ArraySize,
1618   if (!ArraySize->isTypeDependent() && !ArraySize->isValueDependent()) {
1620     if (!ArraySize->isIntegerConstantExpr(vecSize, Context)) {
1622         << "ext_vector_type" << ArraySize->getSourceRange();
1632       << ArraySize->getSourceRange();
1639   return Context.getDependentSizedExtVectorType(T, ArraySize, AttrLoc);
2523       Expr *ArraySize = static_cast<Expr*>(ATI.NumElts);
2593       T = S.BuildArrayType(T, ASM, ArraySize, ATI.TypeQuals,