Skip to content

Commit 2a5fe9d

Browse files
sdkrystiansdkrystian
committed
[Clang][Sema] Make UnresolvedLookupExprs in class scope explicit specializations instantiation dependent
1 parent 43ca631 commit 2a5fe9d

File tree

12 files changed

+42
-32
lines changed

12 files changed

+42
-32
lines changed

‎clang/include/clang/AST/ExprCXX.h

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3229,7 +3229,7 @@ class UnresolvedLookupExpr final
32293229
const DeclarationNameInfo &NameInfo, bool RequiresADL,
32303230
const TemplateArgumentListInfo *TemplateArgs,
32313231
UnresolvedSetIterator Begin, UnresolvedSetIterator End,
3232-
bool KnownDependent);
3232+
bool KnownDependent, bool KnownInstantiationDependent);
32333233

32343234
UnresolvedLookupExpr(EmptyShell Empty, unsigned NumResults,
32353235
bool HasTemplateKWAndArgsInfo);
@@ -3248,7 +3248,7 @@ class UnresolvedLookupExpr final
32483248
NestedNameSpecifierLoc QualifierLoc,
32493249
const DeclarationNameInfo &NameInfo, bool RequiresADL,
32503250
UnresolvedSetIterator Begin, UnresolvedSetIterator End,
3251-
bool KnownDependent);
3251+
bool KnownDependent, bool KnownInstantiationDependent);
32523252

32533253
// After canonicalization, there may be dependent template arguments in
32543254
// CanonicalConverted But none of Args is dependent. When any of
@@ -3258,7 +3258,8 @@ class UnresolvedLookupExpr final
32583258
NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc,
32593259
const DeclarationNameInfo &NameInfo, bool RequiresADL,
32603260
const TemplateArgumentListInfo *Args, UnresolvedSetIterator Begin,
3261-
UnresolvedSetIterator End, bool KnownDependent);
3261+
UnresolvedSetIterator End, bool KnownDependent,
3262+
bool KnownInstantiationDependent);
32623263

32633264
static UnresolvedLookupExpr *CreateEmpty(const ASTContext &Context,
32643265
unsigned NumResults,

‎clang/lib/AST/ASTImporter.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8578,13 +8578,14 @@ ASTNodeImporter::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *E) {
85788578
return UnresolvedLookupExpr::Create(
85798579
Importer.getToContext(), *ToNamingClassOrErr, *ToQualifierLocOrErr,
85808580
*ToTemplateKeywordLocOrErr, ToNameInfo, E->requiresADL(), &ToTAInfo,
8581-
ToDecls.begin(), ToDecls.end(), KnownDependent);
8581+
ToDecls.begin(), ToDecls.end(), KnownDependent,
8582+
E->isInstantiationDependent());
85828583
}
85838584

85848585
return UnresolvedLookupExpr::Create(
85858586
Importer.getToContext(), *ToNamingClassOrErr, *ToQualifierLocOrErr,
85868587
ToNameInfo, E->requiresADL(), ToDecls.begin(), ToDecls.end(),
8587-
/*KnownDependent=*/E->isTypeDependent());
8588+
/*KnownDependent=*/E->isTypeDependent(), E->isInstantiationDependent());
85888589
}
85898590

85908591
ExpectedStmt

‎clang/lib/AST/ExprCXX.cpp

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -402,10 +402,11 @@ UnresolvedLookupExpr::UnresolvedLookupExpr(
402402
NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc,
403403
const DeclarationNameInfo &NameInfo, bool RequiresADL,
404404
const TemplateArgumentListInfo *TemplateArgs, UnresolvedSetIterator Begin,
405-
UnresolvedSetIterator End, bool KnownDependent)
405+
UnresolvedSetIterator End, bool KnownDependent,
406+
bool KnownInstantiationDependent)
406407
: OverloadExpr(UnresolvedLookupExprClass, Context, QualifierLoc,
407408
TemplateKWLoc, NameInfo, TemplateArgs, Begin, End,
408-
KnownDependent, false, false),
409+
KnownDependent, KnownInstantiationDependent, false),
409410
NamingClass(NamingClass) {
410411
UnresolvedLookupExprBits.RequiresADL = RequiresADL;
411412
}
@@ -420,33 +421,35 @@ UnresolvedLookupExpr *UnresolvedLookupExpr::Create(
420421
const ASTContext &Context, CXXRecordDecl *NamingClass,
421422
NestedNameSpecifierLoc QualifierLoc, const DeclarationNameInfo &NameInfo,
422423
bool RequiresADL, UnresolvedSetIterator Begin, UnresolvedSetIterator End,
423-
bool KnownDependent) {
424+
bool KnownDependent, bool KnownInstantiationDependent) {
424425
unsigned NumResults = End - Begin;
425426
unsigned Size = totalSizeToAlloc<DeclAccessPair, ASTTemplateKWAndArgsInfo,
426427
TemplateArgumentLoc>(NumResults, 0, 0);
427428
void *Mem = Context.Allocate(Size, alignof(UnresolvedLookupExpr));
428429
return new (Mem) UnresolvedLookupExpr(
429430
Context, NamingClass, QualifierLoc,
430431
/*TemplateKWLoc=*/SourceLocation(), NameInfo, RequiresADL,
431-
/*TemplateArgs=*/nullptr, Begin, End, KnownDependent);
432+
/*TemplateArgs=*/nullptr, Begin, End, KnownDependent,
433+
KnownInstantiationDependent);
432434
}
433435

434436
UnresolvedLookupExpr *UnresolvedLookupExpr::Create(
435437
const ASTContext &Context, CXXRecordDecl *NamingClass,
436438
NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc,
437439
const DeclarationNameInfo &NameInfo, bool RequiresADL,
438440
const TemplateArgumentListInfo *Args, UnresolvedSetIterator Begin,
439-
UnresolvedSetIterator End, bool KnownDependent) {
441+
UnresolvedSetIterator End, bool KnownDependent,
442+
bool KnownInstantiationDependent) {
440443
unsigned NumResults = End - Begin;
441444
bool HasTemplateKWAndArgsInfo = Args || TemplateKWLoc.isValid();
442445
unsigned NumTemplateArgs = Args ? Args->size() : 0;
443446
unsigned Size = totalSizeToAlloc<DeclAccessPair, ASTTemplateKWAndArgsInfo,
444447
TemplateArgumentLoc>(
445448
NumResults, HasTemplateKWAndArgsInfo, NumTemplateArgs);
446449
void *Mem = Context.Allocate(Size, alignof(UnresolvedLookupExpr));
447-
return new (Mem) UnresolvedLookupExpr(Context, NamingClass, QualifierLoc,
448-
TemplateKWLoc, NameInfo, RequiresADL,
449-
Args, Begin, End, KnownDependent);
450+
return new (Mem) UnresolvedLookupExpr(
451+
Context, NamingClass, QualifierLoc, TemplateKWLoc, NameInfo, RequiresADL,
452+
Args, Begin, End, KnownDependent, KnownInstantiationDependent);
450453
}
451454

452455
UnresolvedLookupExpr *UnresolvedLookupExpr::CreateEmpty(

‎clang/lib/Sema/SemaCoroutine.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -820,7 +820,8 @@ ExprResult Sema::BuildOperatorCoawaitLookupExpr(Scope *S, SourceLocation Loc) {
820820
Expr *CoawaitOp = UnresolvedLookupExpr::Create(
821821
Context, /*NamingClass*/ nullptr, NestedNameSpecifierLoc(),
822822
DeclarationNameInfo(OpName, Loc), /*RequiresADL*/ true, Functions.begin(),
823-
Functions.end(), /*KnownDependent=*/false);
823+
Functions.end(), /*KnownDependent=*/false,
824+
/*KnownInstantiationDependent=*/false);
824825
assert(CoawaitOp);
825826
return CoawaitOp;
826827
}

‎clang/lib/Sema/SemaDecl.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1219,7 +1219,7 @@ Sema::NameClassification Sema::ClassifyName(Scope *S, CXXScopeSpec &SS,
12191219
return NameClassification::OverloadSet(UnresolvedLookupExpr::Create(
12201220
Context, Result.getNamingClass(), SS.getWithLocInContext(Context),
12211221
Result.getLookupNameInfo(), ADL, Result.begin(), Result.end(),
1222-
/*KnownDependent=*/false));
1222+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false));
12231223
}
12241224

12251225
ExprResult

‎clang/lib/Sema/SemaDeclCXX.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1289,7 +1289,7 @@ static bool checkTupleLikeDecomposition(Sema &S,
12891289
S.Context, nullptr, NestedNameSpecifierLoc(), SourceLocation(),
12901290
DeclarationNameInfo(GetDN, Loc), /*RequiresADL=*/true, &Args,
12911291
UnresolvedSetIterator(), UnresolvedSetIterator(),
1292-
/*KnownDependent=*/false);
1292+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false);
12931293

12941294
Expr *Arg = E.get();
12951295
E = S.BuildCallExpr(nullptr, Get, Loc, Arg, Loc);

‎clang/lib/Sema/SemaExpr.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3188,7 +3188,7 @@ ExprResult Sema::BuildDeclarationNameExpr(const CXXScopeSpec &SS,
31883188
UnresolvedLookupExpr *ULE = UnresolvedLookupExpr::Create(
31893189
Context, R.getNamingClass(), SS.getWithLocInContext(Context),
31903190
R.getLookupNameInfo(), NeedsADL, R.begin(), R.end(),
3191-
/*KnownDependent=*/false);
3191+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false);
31923192

31933193
return ULE;
31943194
}
@@ -16990,10 +16990,10 @@ Sema::VerifyIntegerConstantExpression(Expr *E, llvm::APSInt *Result,
1699016990
if (!isa<ConstantExpr>(E))
1699116991
E = Result ? ConstantExpr::Create(Context, E, APValue(*Result))
1699216992
: ConstantExpr::Create(Context, E);
16993-
16993+
1699416994
if (Notes.empty())
1699516995
return E;
16996-
16996+
1699716997
// If our only note is the usual "invalid subexpression" note, just point
1699816998
// the caret at its location rather than producing an essentially
1699916999
// redundant note.
@@ -17002,7 +17002,7 @@ Sema::VerifyIntegerConstantExpression(Expr *E, llvm::APSInt *Result,
1700217002
DiagLoc = Notes[0].first;
1700317003
Notes.clear();
1700417004
}
17005-
17005+
1700617006
if (getLangOpts().CPlusPlus) {
1700717007
if (!Diagnoser.Suppress) {
1700817008
Diagnoser.diagnoseNotICE(*this, DiagLoc) << E->getSourceRange();
@@ -17015,7 +17015,7 @@ Sema::VerifyIntegerConstantExpression(Expr *E, llvm::APSInt *Result,
1701517015
Diagnoser.diagnoseFold(*this, DiagLoc) << E->getSourceRange();
1701617016
for (const PartialDiagnosticAt &Note : Notes)
1701717017
Diag(Note.first, Note.second);
17018-
17018+
1701917019
return E;
1702017020
}
1702117021

‎clang/lib/Sema/SemaExprMember.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -331,7 +331,8 @@ ExprResult Sema::BuildPossibleImplicitMemberExpr(
331331
return UnresolvedLookupExpr::Create(
332332
Context, R.getNamingClass(), SS.getWithLocInContext(Context),
333333
TemplateKWLoc, R.getLookupNameInfo(), /*RequiresADL=*/false,
334-
TemplateArgs, R.begin(), R.end(), /*KnownDependent=*/true);
334+
TemplateArgs, R.begin(), R.end(), /*KnownDependent=*/true,
335+
/*KnownInstantiationDependent=*/true);
335336

336337
case IMA_Error_StaticOrExplicitContext:
337338
case IMA_Error_Unrelated:

‎clang/lib/Sema/SemaOpenMP.cpp

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17842,7 +17842,8 @@ buildDeclareReductionRef(Sema &SemaRef, SourceLocation Loc, SourceRange Range,
1784217842
return UnresolvedLookupExpr::Create(
1784317843
SemaRef.Context, /*NamingClass=*/nullptr,
1784417844
ReductionIdScopeSpec.getWithLocInContext(SemaRef.Context), ReductionId,
17845-
/*ADL=*/true, ResSet.begin(), ResSet.end(), /*KnownDependent=*/false);
17845+
/*ADL=*/true, ResSet.begin(), ResSet.end(), /*KnownDependent=*/false,
17846+
/*KnownInstantiationDependent=*/false);
1784617847
}
1784717848
// Lookup inside the classes.
1784817849
// C++ [over.match.oper]p3:
@@ -20708,7 +20709,8 @@ static ExprResult buildUserDefinedMapperRef(Sema &SemaRef, Scope *S,
2070820709
return UnresolvedLookupExpr::Create(
2070920710
SemaRef.Context, /*NamingClass=*/nullptr,
2071020711
MapperIdScopeSpec.getWithLocInContext(SemaRef.Context), MapperId,
20711-
/*ADL=*/false, URS.begin(), URS.end(), /*KnownDependent=*/false);
20712+
/*ADL=*/false, URS.begin(), URS.end(), /*KnownDependent=*/false,
20713+
/*KnownInstantiationDependent=*/false);
2071220714
}
2071320715
SourceLocation Loc = MapperId.getLoc();
2071420716
// [OpenMP 5.0], 2.19.7.3 declare mapper Directive, Restrictions

‎clang/lib/Sema/SemaOverload.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14101,9 +14101,9 @@ ExprResult Sema::CreateUnresolvedLookupExpr(CXXRecordDecl *NamingClass,
1410114101
DeclarationNameInfo DNI,
1410214102
const UnresolvedSetImpl &Fns,
1410314103
bool PerformADL) {
14104-
return UnresolvedLookupExpr::Create(Context, NamingClass, NNSLoc, DNI,
14105-
PerformADL, Fns.begin(), Fns.end(),
14106-
/*KnownDependent=*/false);
14104+
return UnresolvedLookupExpr::Create(
14105+
Context, NamingClass, NNSLoc, DNI, PerformADL, Fns.begin(), Fns.end(),
14106+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false);
1410714107
}
1410814108

1410914109
ExprResult Sema::BuildCXXMemberCallExpr(Expr *E, NamedDecl *FoundDecl,

‎clang/lib/Sema/SemaTemplate.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4436,7 +4436,8 @@ ExprResult Sema::BuildTemplateIdExpr(const CXXScopeSpec &SS,
44364436
UnresolvedLookupExpr *ULE = UnresolvedLookupExpr::Create(
44374437
Context, R.getNamingClass(), SS.getWithLocInContext(Context),
44384438
TemplateKWLoc, R.getLookupNameInfo(), RequiresADL, TemplateArgs,
4439-
R.begin(), R.end(), KnownDependent);
4439+
R.begin(), R.end(), KnownDependent,
4440+
/*KnownInstantiationDependent=*/false);
44404441

44414442
// Model the templates with UnresolvedTemplateTy. The expression should then
44424443
// either be transformed in an instantiation or be diagnosed in

‎clang/lib/Sema/TreeTransform.h

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10540,7 +10540,7 @@ TreeTransform<Derived>::TransformOMPReductionClause(OMPReductionClause *C) {
1054010540
SemaRef.Context, /*NamingClass=*/nullptr,
1054110541
ReductionIdScopeSpec.getWithLocInContext(SemaRef.Context), NameInfo,
1054210542
/*ADL=*/true, Decls.begin(), Decls.end(),
10543-
/*KnownDependent=*/false));
10543+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false));
1054410544
} else
1054510545
UnresolvedReductions.push_back(nullptr);
1054610546
}
@@ -10587,7 +10587,7 @@ OMPClause *TreeTransform<Derived>::TransformOMPTaskReductionClause(
1058710587
SemaRef.Context, /*NamingClass=*/nullptr,
1058810588
ReductionIdScopeSpec.getWithLocInContext(SemaRef.Context), NameInfo,
1058910589
/*ADL=*/true, Decls.begin(), Decls.end(),
10590-
/*KnownDependent=*/false));
10590+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false));
1059110591
} else
1059210592
UnresolvedReductions.push_back(nullptr);
1059310593
}
@@ -10633,7 +10633,7 @@ TreeTransform<Derived>::TransformOMPInReductionClause(OMPInReductionClause *C) {
1063310633
SemaRef.Context, /*NamingClass=*/nullptr,
1063410634
ReductionIdScopeSpec.getWithLocInContext(SemaRef.Context), NameInfo,
1063510635
/*ADL=*/true, Decls.begin(), Decls.end(),
10636-
/*KnownDependent=*/false));
10636+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false));
1063710637
} else
1063810638
UnresolvedReductions.push_back(nullptr);
1063910639
}
@@ -10815,7 +10815,7 @@ bool transformOMPMappableExprListClause(
1081510815
TT.getSema().Context, /*NamingClass=*/nullptr,
1081610816
MapperIdScopeSpec.getWithLocInContext(TT.getSema().Context),
1081710817
MapperIdInfo, /*ADL=*/true, Decls.begin(), Decls.end(),
10818-
/*KnownDependent=*/false));
10818+
/*KnownDependent=*/false, /*KnownInstantiationDependent=*/false));
1081910819
} else {
1082010820
UnresolvedMappers.push_back(nullptr);
1082110821
}

0 commit comments

Comments
 (0)