[clang] [Clang] prevent assertion failure from an invalid template instantiation pattern when adding instantiated params to the scope in friend functions with defaulted params (PR #113777)
Younan Zhang via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 1 02:05:15 PDT 2024
================
@@ -3437,10 +3437,10 @@ bool Sema::SubstDefaultArgument(
// template<typename T> void f(T a, int = decltype(a)());
// void g() { f(0); }
LIS = std::make_unique<LocalInstantiationScope>(*this);
- FunctionDecl *PatternFD = FD->getTemplateInstantiationPattern(
- /*ForDefinition*/ false);
- if (addInstantiatedParametersToScope(FD, PatternFD, *LIS, TemplateArgs))
- return true;
+ if (FunctionDecl *PatternFD =
+ FD->getTemplateInstantiationPattern(/*ForDefinition*/ false))
+ if (addInstantiatedParametersToScope(FD, PatternFD, *LIS, TemplateArgs))
+ return true;
----------------
zyn0217 wrote:
I mean, if we could move the pointer check to the same line as ForCallExpr, we could save an LIS then.
https://github.com/llvm/llvm-project/pull/113777
More information about the cfe-commits
mailing list