diff --git a/clang/lib/AST/ByteCode/Interp.cpp b/clang/lib/AST/ByteCode/Interp.cpp index 17cf3ccdeb6a94..d8e9fa838abaa8 100644 --- a/clang/lib/AST/ByteCode/Interp.cpp +++ b/clang/lib/AST/ByteCode/Interp.cpp @@ -90,10 +90,12 @@ static bool diagnoseUnknownDecl(InterpState &S, CodePtr OpPC, static void diagnoseNonConstVariable(InterpState &S, CodePtr OpPC, const ValueDecl *VD) { - if (!S.getLangOpts().CPlusPlus) + const SourceInfo &Loc = S.Current->getSource(OpPC); + if (!S.getLangOpts().CPlusPlus) { + S.FFDiag(Loc); return; + } - const SourceInfo &Loc = S.Current->getSource(OpPC); if (const auto *VarD = dyn_cast(VD); VarD && VarD->getType().isConstQualified() && !VarD->getAnyInitializer()) { diff --git a/clang/test/Sema/annotate-type.c b/clang/test/Sema/annotate-type.c index 901cef7ffa8b3a..bf1632d302e554 100644 --- a/clang/test/Sema/annotate-type.c +++ b/clang/test/Sema/annotate-type.c @@ -1,4 +1,5 @@ // RUN: %clang_cc1 %s -fsyntax-only -verify +// RUN: %clang_cc1 %s -fsyntax-only -verify -fexperimental-new-constant-interpreter const char *some_function();