1 //===--- SemaInternal.h - Internal Sema Interfaces --------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file provides common API and #includes for the internal
11 // implementation of Sema.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_CLANG_SEMA_SEMA_INTERNAL_H
16 #define LLVM_CLANG_SEMA_SEMA_INTERNAL_H
18 #include "clang/AST/ASTContext.h"
19 #include "clang/Sema/Sema.h"
20 #include "clang/Sema/SemaDiagnostic.h"
24 inline PartialDiagnostic Sema::PDiag(unsigned DiagID) {
25 return PartialDiagnostic(DiagID, Context.getDiagAllocator());
29 FTIHasSingleVoidParameter(const DeclaratorChunk::FunctionTypeInfo &FTI) {
30 return FTI.NumParams == 1 && !FTI.isVariadic &&
31 FTI.Params[0].Ident == nullptr && FTI.Params[0].Param &&
32 cast<ParmVarDecl>(FTI.Params[0].Param)->getType()->isVoidType();
36 FTIHasNonVoidParameters(const DeclaratorChunk::FunctionTypeInfo &FTI) {
37 // Assume FTI is well-formed.
38 return FTI.NumParams && !FTIHasSingleVoidParameter(FTI);
41 // This requires the variable to be non-dependent and the initializer
42 // to not be value dependent.
43 inline bool IsVariableAConstantExpression(VarDecl *Var, ASTContext &Context) {
44 const VarDecl *DefVD = nullptr;
45 return !isa<ParmVarDecl>(Var) &&
46 Var->isUsableInConstantExpressions(Context) &&
47 Var->getAnyInitializer(DefVD) && DefVD->checkInitIsICE();
50 // Directly mark a variable odr-used. Given a choice, prefer to use
51 // MarkVariableReferenced since it does additional checks and then
52 // calls MarkVarDeclODRUsed.
53 // If the variable must be captured:
54 // - if FunctionScopeIndexToStopAt is null, capture it in the CurContext
55 // - else capture it in the DeclContext that maps to the
56 // *FunctionScopeIndexToStopAt on the FunctionScopeInfo stack.
57 inline void MarkVarDeclODRUsed(VarDecl *Var,
58 SourceLocation Loc, Sema &SemaRef,
59 const unsigned *const FunctionScopeIndexToStopAt) {
60 // Keep track of used but undefined variables.
61 // FIXME: We shouldn't suppress this warning for static data members.
62 if (Var->hasDefinition(SemaRef.Context) == VarDecl::DeclarationOnly &&
63 !Var->isExternallyVisible() &&
64 !(Var->isStaticDataMember() && Var->hasInit())) {
65 SourceLocation &old = SemaRef.UndefinedButUsed[Var->getCanonicalDecl()];
66 if (old.isInvalid()) old = Loc;
68 QualType CaptureType, DeclRefType;
69 SemaRef.tryCaptureVariable(Var, Loc, Sema::TryCapture_Implicit,
70 /*EllipsisLoc*/ SourceLocation(),
71 /*BuildAndDiagnose*/ true,
72 CaptureType, DeclRefType,
73 FunctionScopeIndexToStopAt);
75 Var->markUsed(SemaRef.Context);
78 /// Return a DLL attribute from the declaration.
79 inline InheritableAttr *getDLLAttr(Decl *D) {
80 assert(!(D->hasAttr<DLLImportAttr>() && D->hasAttr<DLLExportAttr>()) &&
81 "A declaration cannot be both dllimport and dllexport.");
82 if (auto *Import = D->getAttr<DLLImportAttr>())
84 if (auto *Export = D->getAttr<DLLExportAttr>())