diff options
author | Ed Schouten <ed@FreeBSD.org> | 2009-06-14 09:24:02 +0000 |
---|---|---|
committer | Ed Schouten <ed@FreeBSD.org> | 2009-06-14 09:24:02 +0000 |
commit | 7ef7bab7e3d06f660b059b903c231f100bb13cc5 (patch) | |
tree | d472a7615b5c7e413aa62a77d0777c1a9cf76478 /lib/Sema/SemaExpr.cpp | |
parent | 8ba99c00327a4394e7568244d6cffd6e62625a7a (diff) | |
download | src-7ef7bab7e3d06f660b059b903c231f100bb13cc5.tar.gz src-7ef7bab7e3d06f660b059b903c231f100bb13cc5.zip |
Import Clang r73340.vendor/clang/clang-r73340
Notes
Notes:
svn path=/vendor/clang/dist/; revision=194179
svn path=/vendor/clang/clang-r73340/; revision=194181; tag=vendor/clang/clang-r73340
Diffstat (limited to 'lib/Sema/SemaExpr.cpp')
-rw-r--r-- | lib/Sema/SemaExpr.cpp | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp index da32d4ec1061..c01c812be601 100644 --- a/lib/Sema/SemaExpr.cpp +++ b/lib/Sema/SemaExpr.cpp @@ -1177,7 +1177,12 @@ Sema::ActOnDeclarationNameExpr(Scope *S, SourceLocation Loc, ValueDependent = true; // - a constant with integral or enumeration type and is // initialized with an expression that is value-dependent - // (FIXME!). + else if (const VarDecl *Dcl = dyn_cast<VarDecl>(VD)) { + if (Dcl->getType().getCVRQualifiers() == QualType::Const && + Dcl->getInit()) { + ValueDependent = Dcl->getInit()->isValueDependent(); + } + } } return Owned(BuildDeclRefExpr(VD, VD->getType().getNonReferenceType(), Loc, @@ -2479,9 +2484,19 @@ Sema::ConvertArgumentsForCall(CallExpr *Call, Expr *Fn, // Pass the argument. if (PerformCopyInitialization(Arg, ProtoArgType, "passing")) return true; - } else + } else { + if (FDecl->getParamDecl(i)->hasUnparsedDefaultArg()) { + Diag (Call->getSourceRange().getBegin(), + diag::err_use_of_default_argument_to_function_declared_later) << + FDecl << cast<CXXRecordDecl>(FDecl->getDeclContext())->getDeclName(); + Diag(UnparsedDefaultArgLocs[FDecl->getParamDecl(i)], + diag::note_default_argument_declared_here); + } + // We already type-checked the argument, so we know it works. Arg = new (Context) CXXDefaultArgExpr(FDecl->getParamDecl(i)); + } + QualType ArgType = Arg->getType(); Call->setArg(i, Arg); |