diff options
author | Anders Carlsson <andersca@mac.com> | 2008-12-07 00:49:48 +0000 |
---|---|---|
committer | Anders Carlsson <andersca@mac.com> | 2008-12-07 00:49:48 +0000 |
commit | 7fd1df2a87729059a1589c47606f7a43f531c39f (patch) | |
tree | b8d1175da277550504926efcc979c28e26e0e60f /lib/Sema/SemaDecl.cpp | |
parent | 96e05bc09070aaa7c18d3dd3ff13125a43532f69 (diff) |
Pass the VLA size expr range to the VLA diags
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60645 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaDecl.cpp')
-rw-r--r-- | lib/Sema/SemaDecl.cpp | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index 4d01a2d52c..f125cb270e 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/lib/Sema/SemaDecl.cpp @@ -1928,17 +1928,27 @@ Sema::DeclTy *Sema::FinalizeDeclaratorGroup(Scope *S, DeclTy *group) { QualType T = IDecl->getType(); if (T->isVariableArrayType()) { + const VariableArrayType *VAT = + cast<VariableArrayType>(T.getUnqualifiedType()); + + // FIXME: This won't give the correct result for + // int a[10][n]; + SourceRange SizeRange = VAT->getSizeExpr()->getSourceRange(); if (IDecl->isFileVarDecl()) { - Diag(IDecl->getLocation(), diag::err_vla_decl_in_file_scope); + Diag(IDecl->getLocation(), diag::err_vla_decl_in_file_scope) << + SizeRange; + IDecl->setInvalidDecl(); } else { // C99 6.7.5.2p2: If an identifier is declared to be an object with // static storage duration, it shall not have a variable length array. if (IDecl->getStorageClass() == VarDecl::Static) { - Diag(IDecl->getLocation(), diag::err_vla_decl_has_static_storage); + Diag(IDecl->getLocation(), diag::err_vla_decl_has_static_storage) + << SizeRange; IDecl->setInvalidDecl(); } else if (IDecl->getStorageClass() == VarDecl::Extern) { - Diag(IDecl->getLocation(), diag::err_vla_decl_has_extern_linkage); + Diag(IDecl->getLocation(), diag::err_vla_decl_has_extern_linkage) + << SizeRange; IDecl->setInvalidDecl(); } } |