lib/Sema/SemaType.cpp

1955 static bool isArraySizeVLA(Sema &S, Expr *ArraySize, llvm::APSInt &SizeVal) {
1970   return S.VerifyIntegerConstantExpression(ArraySize, &SizeVal, Diagnoser,
1981 /// \param ArraySize Expression describing the size of the array.
1991                               Expr *ArraySize, unsigned Quals,
2054   if (ArraySize && ArraySize->hasPlaceholderType()) {
2055     ExprResult Result = CheckPlaceholderExpr(ArraySize);
2057     ArraySize = Result.get();
2061   if (ArraySize && !ArraySize->isRValue()) {
2062     ExprResult Result = DefaultLvalueConversion(ArraySize);
2066     ArraySize = Result.get();
2072       ArraySize && !ArraySize->isTypeDependent() &&
2073       !ArraySize->getType()->isIntegralOrUnscopedEnumerationType()) {
2074     Diag(ArraySize->getLocStart(), diag::err_array_size_non_int)
2075       << ArraySize->getType() << ArraySize->getSourceRange();
2080   if (!ArraySize) {
2085   } else if (ArraySize->isTypeDependent() || ArraySize->isValueDependent()) {
2086     T = Context.getDependentSizedArrayType(T, ArraySize, ASM, Quals, Brackets);
2089              isArraySizeVLA(*this, ArraySize, ConstVal)) {
2093         !ArraySize->getType()->isIntegralOrUnscopedEnumerationType()) {
2094       Diag(ArraySize->getLocStart(), diag::err_array_size_non_int)
2095         << ArraySize->getType() << ArraySize->getSourceRange();
2102     T = Context.getVariableArrayType(T, ArraySize, ASM, Quals, Brackets);
2108         Diag(ArraySize->getLocStart(), diag::err_decl_negative_array_size)
2109           << getPrintableNameForEntity(Entity) << ArraySize->getSourceRange();
2111         Diag(ArraySize->getLocStart(), diag::err_typecheck_negative_array_size)
2112           << ArraySize->getSourceRange();
2118       Diag(ArraySize->getLocStart(),
2121         << ArraySize->getSourceRange();
2124         Diag(ArraySize->getLocStart(),
2126           << ArraySize->getSourceRange();
2135         Diag(ArraySize->getLocStart(), diag::err_array_too_large)
2137           << ArraySize->getSourceRange();
2185 QualType Sema::BuildExtVectorType(QualType T, Expr *ArraySize,
2195   if (!ArraySize->isTypeDependent() && !ArraySize->isValueDependent()) {
2197     if (!ArraySize->isIntegerConstantExpr(vecSize, Context)) {
2200         << ArraySize->getSourceRange();
2210       << ArraySize->getSourceRange();
2216         << ArraySize->getSourceRange();
2223   return Context.getDependentSizedExtVectorType(T, ArraySize, AttrLoc);
3669       Expr *ArraySize = static_cast<Expr*>(ATI.NumElts);
3742       T = S.BuildArrayType(T, ASM, ArraySize, ATI.TypeQuals,