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 const FunctionDecl *templatedDecl = llvm::dyn_cast<FunctionDecl>(TD->getTemplatedDecl());
151 const Decl *declCtxDecl = dyn_cast<Decl>(TD->getDeclContext());
161 llvm::SmallVector<TemplateArgument, 8> defaultTemplateArgs;
162 for (
const NamedDecl *templateParm: *templateParms) {
163 if (templateParm->isTemplateParameterPack()) {
172 }
else if (
auto TTP = dyn_cast<TemplateTypeParmDecl>(templateParm)) {
173 if (!TTP->hasDefaultArgument())
175 defaultTemplateArgs.emplace_back(TTP->getDefaultArgument());
176 }
else if (
auto NTTP = dyn_cast<NonTypeTemplateParmDecl>(templateParm)) {
177 if (!NTTP->hasDefaultArgument())
179 defaultTemplateArgs.emplace_back(NTTP->getDefaultArgument());
180 }
else if (
auto TTP = dyn_cast<TemplateTemplateParmDecl>(templateParm)) {
181 if (!TTP->hasDefaultArgument())
183 defaultTemplateArgs.emplace_back(TTP->getDefaultArgument().getArgument());
186 assert(0 &&
"unexpected template parameter kind");
191 cling::Interpreter::PushTransactionRAII RAII(interp);
194 llvm::SmallVector<QualType, 8> paramTypes;
197 SmallVector<DeducedTemplateArgument, 4> DeducedArgs;
198 sema::TemplateDeductionInfo
Info{SourceLocation()};
200 auto *FTD =
const_cast<clang::FunctionTemplateDecl *
>(llvm::dyn_cast<clang::FunctionTemplateDecl>(TD));
201 Sema::InstantiatingTemplate Inst(
202 S,
Info.getLocation(), FTD,
203 defaultTemplateArgs, Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution,
Info);
207 TemplateArgumentList templArgList(TemplateArgumentList::OnStack, defaultTemplateArgs);
208 MultiLevelTemplateArgumentList MLTAL{FTD, templArgList.asArray(),
false};
209 for (
const clang::ParmVarDecl *param : templatedDecl->parameters()) {
210 QualType paramType = param->getOriginalType();
214 if (paramType->isDependentType()) {
221 paramType = S.SubstType(paramType, MLTAL, SourceLocation(), templatedDecl->getDeclName());
223 if (paramType.isNull() || paramType->isDependentType()) {
229 paramTypes.push_back(paramType);
232 return LH.findFunctionProto(declCtxDecl, TD->getNameAsString(), paramTypes, LH.NoDiagnostics,
233 templatedDecl->getType().isConstQualified());
246 clang::Decl *D =
const_cast<clang::Decl *
>(ci->
GetDecl());
247 auto *DC = llvm::dyn_cast<clang::DeclContext>(D);
249 llvm::SmallVector<clang::CXXMethodDecl*, 8> SpecFuncs;
251 if (
auto *CXXRD = llvm::dyn_cast<CXXRecordDecl>(DC)) {
256 cling::Interpreter::PushTransactionRAII RAII(interp);
258 auto &SemaRef = interp->getSema();
259 SemaRef.ForceDeclarationOfImplicitMembers(CXXRD);
263 for (clang::NamedDecl *ctor : SemaRef.LookupConstructors(CXXRD)) {
265 if (
auto *CXXCD = llvm::dyn_cast<clang::CXXConstructorDecl>(ctor))
266 SpecFuncs.emplace_back(CXXCD);
268 SpecFuncs.emplace_back(SemaRef.LookupCopyingAssignment(CXXRD, 0,
false, 0 ));
269 SpecFuncs.emplace_back(SemaRef.LookupMovingAssignment(CXXRD, 0,
false, 0 ));
270 SpecFuncs.emplace_back(SemaRef.LookupDestructor(CXXRD));
278 const clang::Decl *D)
279 :
TClingDeclInfo(D), fInterp(interp), fFirstTime(true), fTitle(
"")
282 Error(
"TClingMethodInfo",
"nullptr FunctionDecl passed!");
293 return (
const clang::Decl*)(FD->getCanonicalDecl());
299 return dyn_cast<FunctionDecl>(
GetDecl());
304 return dyn_cast<UsingShadowDecl>(
GetDecl());
313 if (
auto FD = dyn_cast<FunctionDecl>(D))
315 }
while ((D = dyn_cast<UsingShadowDecl>(D)->getTargetDecl()));
336 if (arg.
Name() && strlen(arg.
Name())) {
338 signature += arg.
Name();
347 if (decl && decl->isVariadic())
384 unsigned num_params = fd->getNumParams();
386 return static_cast<int>(num_params);
396 unsigned num_params = fd->getNumParams();
397 unsigned min_args = fd->getMinRequiredArguments();
398 unsigned defaulted_params = num_params - min_args;
400 return static_cast<int>(defaulted_params);
419 assert(!
fDecl &&
"This is not an iterator!");
448 const Decl *declAccess =
GetDecl();
449 if (llvm::isa<UsingShadowDecl>(declAccess))
454 clang::AccessSpecifier Access = clang::AS_public;
455 if (!declAccess->getDeclContext()->isNamespace())
456 Access = declAccess->getAccess();
461 Access = clang::AS_public;
462 clang::CXXRecordDecl *typeCXXRD = llvm::cast<RecordType>(
Type()->GetQualType())->getAsCXXRecordDecl();
463 clang::CXXBasePaths basePaths;
464 if (typeCXXRD->isDerivedFrom(llvm::dyn_cast<CXXRecordDecl>(fd->getDeclContext()), basePaths)) {
468 for (
auto el: basePaths) {
469 if (el.Access > Access)
473 Error(
"Property()",
"UsingDecl of ctor not shadowing a base ctor!");
477 if (fd->getAccess() > Access)
478 Access = fd->getAccess();
481 case clang::AS_public:
484 case clang::AS_protected:
487 case clang::AS_private:
491 if (declAccess->getDeclContext()->isNamespace())
496 assert(
false &&
"Unexpected value for the access property value in Clang");
505 if (fd->isConstexpr())
507 if (fd->getStorageClass() == clang::SC_Static) {
510 clang::QualType qt = fd->getReturnType().getCanonicalType();
514 if (
const clang::CXXMethodDecl *md =
515 llvm::dyn_cast<clang::CXXMethodDecl>(fd)) {
516 if (md->getMethodQualifiers().hasConst()) {
519 if (md->isVirtual()) {
525 if (
const clang::CXXConstructorDecl *cd =
526 llvm::dyn_cast<clang::CXXConstructorDecl>(md)) {
527 if (cd->isExplicit()) {
531 else if (
const clang::CXXConversionDecl *cd =
532 llvm::dyn_cast<clang::CXXConversionDecl>(md)) {
533 if (cd->isExplicit()) {
551 if (fd->isOverloadedOperator())
553 if (llvm::isa<clang::CXXConversionDecl>(fd))
555 if (llvm::isa<clang::CXXConstructorDecl>(fd))
557 if (llvm::isa<clang::CXXDestructorDecl>(fd))
561 if (fd->getTemplatedKind() != clang::FunctionDecl::TK_NonTemplate)
570 ti.Init(clang::QualType());
579 const clang::TypeDecl* ctorClass = llvm::dyn_cast_or_null<clang::TypeDecl>
582 Error(
"TClingMethodInfo::Type",
"Cannot find DeclContext for constructor!");
584 clang::QualType qt(ctorClass->getTypeForDecl(), 0);
599 std::string mangled_name;
600 mangled_name.clear();
605 cling::Interpreter::PushTransactionRAII RAII(
fInterp);
607 if (
const CXXConstructorDecl* Ctor = dyn_cast<CXXConstructorDecl>(D))
608 GD = GlobalDecl(Ctor, Ctor_Complete);
609 else if (
const CXXDestructorDecl* Dtor = dyn_cast<CXXDestructorDecl>(D))
610 GD = GlobalDecl(Dtor, Dtor_Deleting);
614 cling::utils::Analyze::maybeMangleDeclName(GD, mangled_name);
623 TTHREAD_TLS_DECL( std::string, buf );
634 if (
const clang::TypeDecl *td = llvm::dyn_cast<clang::TypeDecl>(
GetDecl()->getDeclContext())) {
636 clang::QualType qualType(td->getTypeForDecl(),0);
640 }
else if (
const clang::NamedDecl *nd = llvm::dyn_cast<clang::NamedDecl>(FD->getDeclContext())) {
642 clang::PrintingPolicy policy(FD->getASTContext().getPrintingPolicy());
643 llvm::raw_string_ostream stream(
name);
644 nd->getNameForDiagnostic(stream, policy,
true);
655 if (
const clang::CXXMethodDecl *md =
656 llvm::dyn_cast<clang::CXXMethodDecl>(FD)) {
657 if (md->getMethodQualifiers().hasConst()) {
714 cling::Interpreter::PushTransactionRAII RAII(
fInterp);
715 if (
const FunctionDecl *AnnotFD
717 if (AnnotateAttr *A = AnnotFD->getAttr<AnnotateAttr>()) {
718 fTitle = A->getAnnotation().str();
722 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.
Option_t Option_t TPoint TPoint const char GetTextMagnitude GetFillStyle GetLineColor GetLineWidth GetMarkerStyle GetTextAlign GetTextColor GetTextSize void char Point_t Rectangle_t WindowAttributes_t Float_t Float_t Float_t Int_t Int_t UInt_t UInt_t Rectangle_t Int_t Int_t Window_t TString Int_t GCValues_t GetPrimarySelectionOwner GetDisplay GetScreen GetColormap GetNativeEvent const char const char dpyName wid window const char font_name cursor keysym reg const char only_if_exist regb h Point_t winding char text const char depth char const char Int_t count const char ColorStruct_t color const char Pixmap_t Pixmap_t PictureAttributes_t attr const char char ret_data h unsigned char height h Atom_t Int_t ULong_t ULong_t unsigned char prop_list Atom_t Atom_t Atom_t Time_t property
R__EXTERN TVirtualMutex * gInterpreterMutex
R__EXTERN TInterpreter * gCling
#define R__LOCKGUARD(mutex)
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, Longptr_t *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
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
void * InterfaceMethod() 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.