35#include "cling/Interpreter/Interpreter.h"
36#include "cling/Interpreter/LookupHelper.h"
37#include "cling/Utils/AST.h"
39#include "clang/AST/ASTContext.h"
40#include "clang/AST/CXXInheritance.h"
41#include "clang/AST/Decl.h"
42#include "clang/AST/DeclBase.h"
43#include "clang/AST/DeclCXX.h"
44#include "clang/AST/DeclTemplate.h"
45#include "clang/AST/ExprCXX.h"
46#include "clang/AST/GlobalDecl.h"
47#include "clang/AST/Mangle.h"
48#include "clang/AST/PrettyPrinter.h"
49#include "clang/AST/Type.h"
50#include "clang/Basic/IdentifierTable.h"
51#include "clang/Sema/Lookup.h"
52#include "clang/Sema/Sema.h"
53#include "clang/Sema/Template.h"
54#include "clang/Sema/TemplateDeduction.h"
56#include "llvm/Support/Casting.h"
57#include "llvm/Support/raw_ostream.h"
65 llvm::SmallVectorImpl<clang::CXXMethodDecl *> &&specFuncs)
67 auto *CXXRD = llvm::dyn_cast<CXXRecordDecl>(DC);
72 cling::Interpreter::PushTransactionRAII RAII(interp);
74 auto emplaceSpecFunIfNeeded = [&](clang::CXXMethodDecl *D) {
78 if (std::find(CXXRD->decls_begin(), CXXRD->decls_end(), D) == CXXRD->decls_end()) {
83 for (
auto SpecFunc : specFuncs)
84 emplaceSpecFunIfNeeded(SpecFunc);
89 if (
const auto *FD = llvm::dyn_cast<clang::FunctionDecl>(D)) {
92 if (
const auto *RD = llvm::dyn_cast<clang::RecordDecl>(FD->getDeclContext())) {
93 if (
const auto *CXXMD = llvm::dyn_cast<clang::CXXMethodDecl>(FD)) {
94 if (RD->isAnonymousStructOrUnion() &&
95 GetInterpreter()->getSema().getSpecialMember(CXXMD) != clang::Sema::CXXInvalid) {
108 if (
auto *FD = llvm::dyn_cast<clang::FunctionDecl>(USD->getTargetDecl())) {
109 if (
const auto *CXXMD = llvm::dyn_cast<clang::CXXMethodDecl>(FD)) {
110 auto SpecMemKind =
GetInterpreter()->getSema().getSpecialMember(CXXMD);
111 if ((SpecMemKind == clang::Sema::CXXDefaultConstructor && CXXMD->getNumParams() == 0) ||
112 ((SpecMemKind == clang::Sema::CXXCopyConstructor || SpecMemKind == clang::Sema::CXXMoveConstructor) &&
113 CXXMD->getNumParams() == 1)) {
134 using namespace clang;
137 Sema &S = interp->getSema();
138 const cling::LookupHelper &LH = interp->getLookupHelper();
140 if (!isa<FunctionTemplateDecl>(TD))
143 auto templateParms = TD->getTemplateParameters();
144 if (templateParms->containsUnexpandedParameterPack())
147 if (templateParms->getMinRequiredArguments() > 0)
150 if (templateParms->size() > 0) {
151 NamedDecl *arg0 = *templateParms->
begin();
152 if (arg0->isTemplateParameterPack())
154 if (
auto TTP = dyn_cast<TemplateTypeParmDecl>(*templateParms->begin())) {
155 if (!TTP->hasDefaultArgument())
157 }
else if (
auto NTTP = dyn_cast<NonTypeTemplateParmDecl>(*templateParms->begin())) {
158 if (!NTTP->hasDefaultArgument())
166 const FunctionDecl *templatedDecl = llvm::dyn_cast<FunctionDecl>(TD->getTemplatedDecl());
167 const Decl *declCtxDecl = dyn_cast<Decl>(TD->getDeclContext());
177 llvm::SmallVector<TemplateArgument, 8> defaultTemplateArgs(templateParms->size());
178 for (
int iParam = 0, nParams = templateParms->size(); iParam < nParams; ++iParam) {
179 const NamedDecl *templateParm = templateParms->getParam(iParam);
180 if (templateParm->isTemplateParameterPack()) {
182 assert(0 &&
"unexpected template parameter pack");
185 if (
auto TTP = dyn_cast<TemplateTypeParmDecl>(templateParm)) {
186 if (!TTP->hasDefaultArgument())
188 defaultTemplateArgs[iParam] = TemplateArgument(TTP->getDefaultArgument());
189 }
else if (
auto NTTP = dyn_cast<NonTypeTemplateParmDecl>(templateParm)) {
190 if (!NTTP->hasDefaultArgument())
192 defaultTemplateArgs[iParam] = TemplateArgument(NTTP->getDefaultArgument());
193 }
else if (
auto TTP = dyn_cast<TemplateTemplateParmDecl>(templateParm)) {
194 if (!TTP->hasDefaultArgument())
196 defaultTemplateArgs[iParam] = TemplateArgument(TTP->getDefaultArgument().getArgument());
199 assert(0 &&
"unexpected template parameter kind");
204 cling::Interpreter::PushTransactionRAII RAII(interp);
207 llvm::SmallVector<QualType, 8> paramTypes;
210 SmallVector<DeducedTemplateArgument, 4> DeducedArgs;
211 sema::TemplateDeductionInfo
Info{SourceLocation()};
213 Sema::InstantiatingTemplate Inst(
214 S,
Info.getLocation(),
const_cast<clang::FunctionTemplateDecl *
>(llvm::dyn_cast<clang::FunctionTemplateDecl>(TD)),
215 defaultTemplateArgs, Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution,
Info);
219 TemplateArgumentList templArgList(TemplateArgumentList::OnStack, defaultTemplateArgs);
220 MultiLevelTemplateArgumentList MLTAL{templArgList};
221 for (
const clang::ParmVarDecl *param : templatedDecl->parameters()) {
222 QualType paramType = param->getOriginalType();
226 if (paramType->isDependentType()) {
233 paramType = S.SubstType(paramType, MLTAL, SourceLocation(), templatedDecl->getDeclName());
235 if (paramType.isNull() || paramType->isDependentType()) {
241 paramTypes.push_back(paramType);
244 return LH.findFunctionProto(declCtxDecl, TD->getNameAsString(), paramTypes, LH.NoDiagnostics,
245 templatedDecl->getType().isConstQualified());
257 clang::Decl *D =
const_cast<clang::Decl *
>(ci->
GetDecl());
258 auto *DC = llvm::dyn_cast<clang::DeclContext>(D);
260 llvm::SmallVector<clang::CXXMethodDecl*, 8> SpecFuncs;
262 if (
auto *CXXRD = llvm::dyn_cast<CXXRecordDecl>(DC)) {
267 cling::Interpreter::PushTransactionRAII RAII(interp);
269 auto &SemaRef = interp->getSema();
270 SemaRef.ForceDeclarationOfImplicitMembers(CXXRD);
274 for (clang::NamedDecl *ctor : SemaRef.LookupConstructors(CXXRD)) {
276 if (
auto *CXXCD = llvm::dyn_cast<clang::CXXConstructorDecl>(ctor))
277 SpecFuncs.emplace_back(CXXCD);
279 SpecFuncs.emplace_back(SemaRef.LookupCopyingAssignment(CXXRD, 0,
false, 0 ));
280 SpecFuncs.emplace_back(SemaRef.LookupMovingAssignment(CXXRD, 0,
false, 0 ));
281 SpecFuncs.emplace_back(SemaRef.LookupDestructor(CXXRD));
289 const clang::Decl *D)
290 :
TClingDeclInfo(D), fInterp(interp), fFirstTime(true), fTitle(
"")
293 Error(
"TClingMethodInfo",
"nullptr FunctionDecl passed!");
302 return (
const clang::Decl*)(FD->getCanonicalDecl());
308 return dyn_cast<FunctionDecl>(
GetDecl());
313 return dyn_cast<UsingShadowDecl>(
GetDecl());
320 if (
auto FD = dyn_cast<FunctionDecl>(D))
322 }
while ((D = dyn_cast<UsingShadowDecl>(D)->getTargetDecl()));
343 if (arg.
Name() && strlen(arg.
Name())) {
345 signature += arg.
Name();
354 if (decl && decl->isVariadic())
389 unsigned num_params = fd->getNumParams();
391 return static_cast<int>(num_params);
400 unsigned num_params = fd->getNumParams();
401 unsigned min_args = fd->getMinRequiredArguments();
402 unsigned defaulted_params = num_params - min_args;
404 return static_cast<int>(defaulted_params);
423 assert(!
fDecl &&
"This is not an iterator!");
452 const Decl *declAccess =
GetDecl();
453 if (llvm::isa<UsingShadowDecl>(declAccess))
457 clang::AccessSpecifier Access = clang::AS_public;
458 if (!declAccess->getDeclContext()->isNamespace())
459 Access = declAccess->getAccess();
461 if ((property &
kIsUsing) && llvm::isa<CXXConstructorDecl>(fd)) {
462 Access = clang::AS_public;
463 clang::CXXRecordDecl *typeCXXRD = llvm::cast<RecordType>(
Type()->GetQualType())->getAsCXXRecordDecl();
464 clang::CXXBasePaths basePaths;
465 if (typeCXXRD->isDerivedFrom(llvm::dyn_cast<CXXRecordDecl>(fd->getDeclContext()), basePaths)) {
469 for (
auto el: basePaths) {
470 if (el.Access > Access)
474 Error(
"Property()",
"UsingDecl of ctor not shadowing a base ctor!");
478 if (fd->getAccess() > Access)
479 Access = fd->getAccess();
482 case clang::AS_public:
485 case clang::AS_protected:
488 case clang::AS_private:
492 if (declAccess->getDeclContext()->isNamespace())
500 if (fd->isConstexpr())
502 if (fd->getStorageClass() == clang::SC_Static) {
505 clang::QualType qt = fd->getReturnType().getCanonicalType();
509 if (
const clang::CXXMethodDecl *md =
510 llvm::dyn_cast<clang::CXXMethodDecl>(fd)) {
511 if (md->getMethodQualifiers().hasConst()) {
514 if (md->isVirtual()) {
520 if (
const clang::CXXConstructorDecl *cd =
521 llvm::dyn_cast<clang::CXXConstructorDecl>(md)) {
522 if (cd->isExplicit()) {
526 else if (
const clang::CXXConversionDecl *cd =
527 llvm::dyn_cast<clang::CXXConversionDecl>(md)) {
528 if (cd->isExplicit()) {
545 if (fd->isOverloadedOperator())
547 if (llvm::isa<clang::CXXConversionDecl>(fd))
549 if (llvm::isa<clang::CXXConstructorDecl>(fd))
551 if (llvm::isa<clang::CXXDestructorDecl>(fd))
555 if (fd->getTemplatedKind() != clang::FunctionDecl::TK_NonTemplate)
564 ti.Init(clang::QualType());
570 const clang::TypeDecl* ctorClass = llvm::dyn_cast_or_null<clang::TypeDecl>
573 Error(
"TClingMethodInfo::Type",
"Cannot find DeclContext for constructor!");
575 clang::QualType qt(ctorClass->getTypeForDecl(), 0);
590 std::string mangled_name;
591 mangled_name.clear();
595 cling::Interpreter::PushTransactionRAII RAII(
fInterp);
597 if (
const CXXConstructorDecl* Ctor = dyn_cast<CXXConstructorDecl>(D))
598 GD = GlobalDecl(Ctor, Ctor_Complete);
599 else if (
const CXXDestructorDecl* Dtor = dyn_cast<CXXDestructorDecl>(D))
600 GD = GlobalDecl(Dtor, Dtor_Deleting);
604 cling::utils::Analyze::maybeMangleDeclName(GD, mangled_name);
613 TTHREAD_TLS_DECL( std::string, buf );
621 if (
const clang::TypeDecl *td = llvm::dyn_cast<clang::TypeDecl>(
GetDecl()->getDeclContext())) {
623 clang::QualType qualType(td->getTypeForDecl(),0);
627 }
else if (
const clang::NamedDecl *nd = llvm::dyn_cast<clang::NamedDecl>(FD->getDeclContext())) {
629 clang::PrintingPolicy policy(FD->getASTContext().getPrintingPolicy());
630 llvm::raw_string_ostream stream(
name);
631 nd->getNameForDiagnostic(stream, policy,
true);
642 if (
const clang::CXXMethodDecl *md =
643 llvm::dyn_cast<clang::CXXMethodDecl>(FD)) {
644 if (md->getMethodQualifiers().hasConst()) {
691 cling::Interpreter::PushTransactionRAII RAII(
fInterp);
692 if (
const FunctionDecl *AnnotFD
694 if (AnnotateAttr *A = AnnotFD->getAttr<AnnotateAttr>()) {
695 fTitle = A->getAnnotation().str();
699 if (!FD->isFromASTFile()) {
void Info(const char *location, const char *msgfmt,...)
Use this function for informational messages.
void Error(const char *location, const char *msgfmt,...)
Use this function in case an error occurred.
R__EXTERN TVirtualMutex * gInterpreterMutex
R__EXTERN TInterpreter * gCling
#define R__LOCKGUARD(mutex)
const_iterator begin() const
Iterate over FunctionDecl and UsingShadowDecls of FunctionDecl, within a scope, recursing through "tr...
bool IsValid() const final
const clang::Decl * InstantiateTemplateWithDefaults(const clang::RedeclarableTemplateDecl *TD) const final
bool ShouldSkip(const clang::Decl *FD) const final
Emulation of the CINT CallFunc class.
void SetFunc(const TClingClassInfo *info, const char *method, const char *arglist, long *poffset)
Emulation of the CINT ClassInfo class.
const clang::Decl * fDecl
virtual const char * Name() const
virtual bool IsValid() const
long Property(long property, clang::QualType &qt) const
virtual const clang::Decl * GetDecl() const
bool Next()
Advance to next non-skipped; return false if no next decl exists.
cling::Interpreter * fInterp
cling::Interpreter * GetInterpreter() const
Emulation of the CINT MethodInfo class.
const char * DefaultValue() const
const TClingTypeInfo * Type() const
std::string GetMangledName() const
const char * TypeName() const
const clang::FunctionDecl * GetAsFunctionDecl() const
const char * Name() const override
const clang::UsingShadowDecl * GetAsUsingShadowDecl() const
void * InterfaceMethod(const ROOT::TMetaUtils::TNormalizedCtxt &normCtxt) const
const clang::FunctionDecl * GetTargetFunctionDecl() const
Get the FunctionDecl, or if this represents a UsingShadowDecl, the underlying target FunctionDecl.
const clang::Decl * GetDecl() const override
TClingCXXRecMethIter fIter
const char * GetPrototype()
void Init(const clang::FunctionDecl *)
long ExtraProperty() const
const clang::Decl * GetDeclSlow() const
TClingMethodInfo(cling::Interpreter *interp)
void CreateSignature(TString &signature) const
TDictionary::DeclId_t GetDeclId() const
cling::Interpreter * fInterp
TClingTypeInfo * Type() const
Emulation of the CINT TypeInfo class.
const char * Name() const override
This class defines an interface to the cling C++ interpreter.