Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Clang] [ICE] [crash-on-valid] clang frontend crashes on clang-18 #86769

Closed
yujincheng08 opened this issue Mar 27, 2024 · 5 comments · Fixed by #86914
Closed

[Clang] [ICE] [crash-on-valid] clang frontend crashes on clang-18 #86769

yujincheng08 opened this issue Mar 27, 2024 · 5 comments · Fixed by #86914
Assignees
Labels
c++20 clang:frontend Language frontend issues, e.g. anything involving "Sema" concepts C++20 concepts confirmed Verified by a second party crash-on-valid regression

Comments

@yujincheng08
Copy link
Member

yujincheng08 commented Mar 27, 2024

On clang-17 it works. So this should be a regression.
Example code:

template<typename T>
concept X = true;

template <X T>
class Y {
public:
    Y(T y)  {  }

    template <X U>
    friend class Y;
};

template class Y<int>;

int main() {
    Y y(0);
}

Online demo: https://godbolt.org/z/s7Mq65n98

Backtrace:

clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:15797: bool clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&, const clang::ASTContext&, clang::Expr::ConstantExprKind) const: Assertion `!isValueDependent() && "Expression evaluator can't be called on a dependent expression."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -c --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++23 <source>
1.	<source>:16:11: current parser token ';'
2.	<source>:15:12: parsing function body 'main'
3.	<source>:15:12: in compound statement ('{}')
 #0 0x00000000039246a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x39246a8)
 #1 0x000000000392238c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x392238c)
 #2 0x0000000003868c28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f61b7642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f61b76969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007f61b7642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007f61b76287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007f61b762871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007f61b7639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00000000074695d8 clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&, clang::ASTContext const&, clang::Expr::ConstantExprKind) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x74695d8)
#10 0x0000000006486b6e clang::ActionResult<clang::Expr*, true> calculateConstraintSatisfaction<calculateConstraintSatisfaction(clang::Sema&, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&, clang::Expr const*, clang::ConstraintSatisfaction&)::'lambda'(clang::Expr const*)>(clang::Sema&, clang::Expr const*, clang::ConstraintSatisfaction&, calculateConstraintSatisfaction(clang::Sema&, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&, clang::Expr const*, clang::ConstraintSatisfaction&)::'lambda'(clang::Expr const*)&&) SemaConcept.cpp:0:0
#11 0x0000000006487342 CheckConstraintSatisfaction(clang::Sema&, clang::NamedDecl const*, llvm::ArrayRef<clang::Expr const*>, llvm::SmallVectorImpl<clang::Expr*>&, clang::MultiLevelTemplateArgumentList const&, clang::SourceRange, clang::ConstraintSatisfaction&) SemaConcept.cpp:0:0
#12 0x000000000648797a clang::Sema::CheckConstraintSatisfaction(clang::NamedDecl const*, llvm::ArrayRef<clang::Expr const*>, llvm::SmallVectorImpl<clang::Expr*>&, clang::MultiLevelTemplateArgumentList const&, clang::SourceRange, clang::ConstraintSatisfaction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x648797a)
#13 0x0000000006488a3b clang::Sema::CheckInstantiatedFunctionTemplateConstraints(clang::SourceLocation, clang::FunctionDecl*, llvm::ArrayRef<clang::TemplateArgument>, clang::ConstraintSatisfaction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6488a3b)
#14 0x0000000006cfa5f7 clang::Sema::FinishTemplateArgumentDeduction(clang::FunctionTemplateDecl*, llvm::SmallVectorImpl<clang::DeducedTemplateArgument>&, unsigned int, clang::FunctionDecl*&, clang::sema::TemplateDeductionInfo&, llvm::SmallVectorImpl<clang::Sema::OriginalCallArg> const*, bool, llvm::function_ref<bool ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6cfa5f7)
#15 0x0000000006cfbd9a void llvm::function_ref<void ()>::callback_fn<clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef<clang::Expr*>, clang::FunctionDecl*&, clang::sema::TemplateDeductionInfo&, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref<bool (llvm::ArrayRef<clang::QualType>)>)::'lambda1'()>(long) SemaTemplateDeduction.cpp:0:0
#16 0x0000000006320de1 clang::Sema::runWithSufficientStackSpace(clang::SourceLocation, llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6320de1)
#17 0x0000000006d06782 clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef<clang::Expr*>, clang::FunctionDecl*&, clang::sema::TemplateDeductionInfo&, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref<bool (llvm::ArrayRef<clang::QualType>)>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6d06782)
#18 0x0000000006af196e clang::Sema::AddTemplateOverloadCandidate(clang::FunctionTemplateDecl*, clang::DeclAccessPair, clang::TemplateArgumentListInfo*, llvm::ArrayRef<clang::Expr*>, clang::OverloadCandidateSet&, bool, bool, bool, clang::CallExpr::ADLCallKind, clang::OverloadCandidateParamOrder, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6af196e)
#19 0x00000000069590a6 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&, clang::InitializationKind const&, llvm::MutableArrayRef<clang::Expr*>)::'lambda0'(bool)::operator()(bool) const SemaInit.cpp:0:0
#20 0x0000000006959e49 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&, clang::InitializationKind const&, llvm::MutableArrayRef<clang::Expr*>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6959e49)
#21 0x0000000006515cf5 clang::Sema::deduceVarTypeFromInitializer(clang::VarDecl*, clang::DeclarationName, clang::QualType, clang::TypeSourceInfo*, clang::SourceRange, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6515cf5)
#22 0x0000000006516387 clang::Sema::DeduceVariableDeclarationType(clang::VarDecl*, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6516387)
#23 0x00000000065383a2 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x65383a2)
#24 0x00000000061f26b9 clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61f26b9)
#25 0x000000000620158a clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::Parser::ParsedTemplateInfo&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620158a)
#26 0x0000000006209c07 clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::ParsedAttributes&, bool, clang::Parser::ForRangeInit*, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6209c07)
#27 0x000000000620a0a7 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&, clang::ParsedAttributes&, clang::ParsedAttributes&, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620a0a7)
#28 0x00000000062abd3c clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&, clang::ParsedAttributes&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62abd3c)
#29 0x00000000062acff7 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62acff7)
#30 0x00000000062adf01 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62adf01)
#31 0x00000000062af81a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62af81a)
#32 0x00000000061ca8f1 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ca8f1)
#33 0x0000000006201f6c clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::Parser::ParsedTemplateInfo&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6201f6c)
#34 0x00000000061be88e clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61be88e)
#35 0x00000000061bf083 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61bf083)
#36 0x00000000061c64f6 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c64f6)
#37 0x00000000061c739d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c739d)
#38 0x00000000061ba07a clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ba07a)
#39 0x00000000041c0aa8 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41c0aa8)
#40 0x0000000004440169 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4440169)
#41 0x00000000043c985e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43c985e)
#42 0x00000000045231ee clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45231ee)
#43 0x0000000000c296ec cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc296ec)
#44 0x0000000000c2297a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#45 0x0000000004203a19 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#46 0x00000000038690d4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x38690d4)
#47 0x000000000420400f clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#48 0x00000000041ca3a5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41ca3a5)
#49 0x00000000041cae0d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41cae0d)
#50 0x00000000041d2b75 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41d2b75)
#51 0x0000000000c26b85 clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc26b85)
#52 0x0000000000b1d084 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xb1d084)
#53 0x00007f61b7629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#54 0x00007f61b7629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#55 0x0000000000c2246e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc2246e)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134
@github-actions github-actions bot added the clang Clang issues not falling into any other category label Mar 27, 2024
@yujincheng08 yujincheng08 changed the title clang frontend crashes on LLVM-18 [Clang] clang frontend crashes on LLVM-18 Mar 27, 2024
@yujincheng08 yujincheng08 changed the title [Clang] clang frontend crashes on LLVM-18 [Clang] clang frontend crashes on clang-18 Mar 27, 2024
@yujincheng08 yujincheng08 changed the title [Clang] clang frontend crashes on clang-18 [Clang] [ICE] [crash-on-valid] clang frontend crashes on clang-18 Mar 27, 2024
@hiraditya hiraditya added c++ concepts C++20 concepts labels Mar 27, 2024
@llvmbot
Copy link
Member

llvmbot commented Mar 27, 2024

@llvm/issue-subscribers-c-1

Author: LoveSy (yujincheng08)

On clang-17 it works. So this should be a regression. Example code:
template&lt;typename T&gt;
concept X = true;

template &lt;X T&gt;
class Y {
public:
    Y(T y)  {  }

    template &lt;X U&gt;
    friend class Y;
};

template class Y&lt;int&gt;;

int main() {
    Y y(0);
}

Online demo: https://godbolt.org/z/s7Mq65n98

Backtrace:

clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:15797: bool clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, const clang::ASTContext&amp;, clang::Expr::ConstantExprKind) const: Assertion `!isValueDependent() &amp;&amp; "Expression evaluator can't be called on a dependent expression."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -c --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++23 &lt;source&gt;
1.	&lt;source&gt;:16:11: current parser token ';'
2.	&lt;source&gt;:15:12: parsing function body 'main'
3.	&lt;source&gt;:15:12: in compound statement ('{}')
 #<!-- -->0 0x00000000039246a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x39246a8)
 #<!-- -->1 0x000000000392238c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x392238c)
 #<!-- -->2 0x0000000003868c28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #<!-- -->3 0x00007f61b7642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #<!-- -->4 0x00007f61b76969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #<!-- -->5 0x00007f61b7642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #<!-- -->6 0x00007f61b76287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #<!-- -->7 0x00007f61b762871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #<!-- -->8 0x00007f61b7639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #<!-- -->9 0x00000000074695d8 clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, clang::ASTContext const&amp;, clang::Expr::ConstantExprKind) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x74695d8)
#<!-- -->10 0x0000000006486b6e clang::ActionResult&lt;clang::Expr*, true&gt; calculateConstraintSatisfaction&lt;calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&gt;(clang::Sema&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;, calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&amp;&amp;) SemaConcept.cpp:0:0
#<!-- -->11 0x0000000006487342 CheckConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) SemaConcept.cpp:0:0
#<!-- -->12 0x000000000648797a clang::Sema::CheckConstraintSatisfaction(clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x648797a)
#<!-- -->13 0x0000000006488a3b clang::Sema::CheckInstantiatedFunctionTemplateConstraints(clang::SourceLocation, clang::FunctionDecl*, llvm::ArrayRef&lt;clang::TemplateArgument&gt;, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6488a3b)
#<!-- -->14 0x0000000006cfa5f7 clang::Sema::FinishTemplateArgumentDeduction(clang::FunctionTemplateDecl*, llvm::SmallVectorImpl&lt;clang::DeducedTemplateArgument&gt;&amp;, unsigned int, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, llvm::SmallVectorImpl&lt;clang::Sema::OriginalCallArg&gt; const*, bool, llvm::function_ref&lt;bool ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6cfa5f7)
#<!-- -->15 0x0000000006cfbd9a void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;)::'lambda1'()&gt;(long) SemaTemplateDeduction.cpp:0:0
#<!-- -->16 0x0000000006320de1 clang::Sema::runWithSufficientStackSpace(clang::SourceLocation, llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6320de1)
#<!-- -->17 0x0000000006d06782 clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6d06782)
#<!-- -->18 0x0000000006af196e clang::Sema::AddTemplateOverloadCandidate(clang::FunctionTemplateDecl*, clang::DeclAccessPair, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::OverloadCandidateSet&amp;, bool, bool, bool, clang::CallExpr::ADLCallKind, clang::OverloadCandidateParamOrder, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6af196e)
#<!-- -->19 0x00000000069590a6 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;)::'lambda0'(bool)::operator()(bool) const SemaInit.cpp:0:0
#<!-- -->20 0x0000000006959e49 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6959e49)
#<!-- -->21 0x0000000006515cf5 clang::Sema::deduceVarTypeFromInitializer(clang::VarDecl*, clang::DeclarationName, clang::QualType, clang::TypeSourceInfo*, clang::SourceRange, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6515cf5)
#<!-- -->22 0x0000000006516387 clang::Sema::DeduceVariableDeclarationType(clang::VarDecl*, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6516387)
#<!-- -->23 0x00000000065383a2 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x65383a2)
#<!-- -->24 0x00000000061f26b9 clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61f26b9)
#<!-- -->25 0x000000000620158a clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620158a)
#<!-- -->26 0x0000000006209c07 clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, bool, clang::Parser::ForRangeInit*, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6209c07)
#<!-- -->27 0x000000000620a0a7 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620a0a7)
#<!-- -->28 0x00000000062abd3c clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62abd3c)
#<!-- -->29 0x00000000062acff7 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62acff7)
#<!-- -->30 0x00000000062adf01 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62adf01)
#<!-- -->31 0x00000000062af81a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62af81a)
#<!-- -->32 0x00000000061ca8f1 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ca8f1)
#<!-- -->33 0x0000000006201f6c clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6201f6c)
#<!-- -->34 0x00000000061be88e clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec&amp;, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61be88e)
#<!-- -->35 0x00000000061bf083 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61bf083)
#<!-- -->36 0x00000000061c64f6 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c64f6)
#<!-- -->37 0x00000000061c739d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr&lt;clang::DeclGroupRef&gt;&amp;, clang::Sema::ModuleImportState&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c739d)
#<!-- -->38 0x00000000061ba07a clang::ParseAST(clang::Sema&amp;, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ba07a)
#<!-- -->39 0x00000000041c0aa8 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41c0aa8)
#<!-- -->40 0x0000000004440169 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4440169)
#<!-- -->41 0x00000000043c985e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43c985e)
#<!-- -->42 0x00000000045231ee clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45231ee)
#<!-- -->43 0x0000000000c296ec cc1_main(llvm::ArrayRef&lt;char const*&gt;, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc296ec)
#<!-- -->44 0x0000000000c2297a ExecuteCC1Tool(llvm::SmallVectorImpl&lt;char const*&gt;&amp;, llvm::ToolContext const&amp;) driver.cpp:0:0
#<!-- -->45 0x0000000004203a19 void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const::'lambda'()&gt;(long) Job.cpp:0:0
#<!-- -->46 0x00000000038690d4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x38690d4)
#<!-- -->47 0x000000000420400f clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const (.part.0) Job.cpp:0:0
#<!-- -->48 0x00000000041ca3a5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&amp;, clang::driver::Command const*&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41ca3a5)
#<!-- -->49 0x00000000041cae0d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41cae0d)
#<!-- -->50 0x00000000041d2b75 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41d2b75)
#<!-- -->51 0x0000000000c26b85 clang_main(int, char**, llvm::ToolContext const&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc26b85)
#<!-- -->52 0x0000000000b1d084 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xb1d084)
#<!-- -->53 0x00007f61b7629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#<!-- -->54 0x00007f61b7629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#<!-- -->55 0x0000000000c2246e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc2246e)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134

@EugeneZelenko EugeneZelenko added clang:frontend Language frontend issues, e.g. anything involving "Sema" and removed clang Clang issues not falling into any other category labels Mar 27, 2024
@llvmbot
Copy link
Member

llvmbot commented Mar 27, 2024

@llvm/issue-subscribers-clang-frontend

Author: LoveSy (yujincheng08)

On clang-17 it works. So this should be a regression. Example code:
template&lt;typename T&gt;
concept X = true;

template &lt;X T&gt;
class Y {
public:
    Y(T y)  {  }

    template &lt;X U&gt;
    friend class Y;
};

template class Y&lt;int&gt;;

int main() {
    Y y(0);
}

Online demo: https://godbolt.org/z/s7Mq65n98

Backtrace:

clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:15797: bool clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, const clang::ASTContext&amp;, clang::Expr::ConstantExprKind) const: Assertion `!isValueDependent() &amp;&amp; "Expression evaluator can't be called on a dependent expression."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -c --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++23 &lt;source&gt;
1.	&lt;source&gt;:16:11: current parser token ';'
2.	&lt;source&gt;:15:12: parsing function body 'main'
3.	&lt;source&gt;:15:12: in compound statement ('{}')
 #<!-- -->0 0x00000000039246a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x39246a8)
 #<!-- -->1 0x000000000392238c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x392238c)
 #<!-- -->2 0x0000000003868c28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #<!-- -->3 0x00007f61b7642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #<!-- -->4 0x00007f61b76969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #<!-- -->5 0x00007f61b7642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #<!-- -->6 0x00007f61b76287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #<!-- -->7 0x00007f61b762871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #<!-- -->8 0x00007f61b7639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #<!-- -->9 0x00000000074695d8 clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, clang::ASTContext const&amp;, clang::Expr::ConstantExprKind) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x74695d8)
#<!-- -->10 0x0000000006486b6e clang::ActionResult&lt;clang::Expr*, true&gt; calculateConstraintSatisfaction&lt;calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&gt;(clang::Sema&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;, calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&amp;&amp;) SemaConcept.cpp:0:0
#<!-- -->11 0x0000000006487342 CheckConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) SemaConcept.cpp:0:0
#<!-- -->12 0x000000000648797a clang::Sema::CheckConstraintSatisfaction(clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x648797a)
#<!-- -->13 0x0000000006488a3b clang::Sema::CheckInstantiatedFunctionTemplateConstraints(clang::SourceLocation, clang::FunctionDecl*, llvm::ArrayRef&lt;clang::TemplateArgument&gt;, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6488a3b)
#<!-- -->14 0x0000000006cfa5f7 clang::Sema::FinishTemplateArgumentDeduction(clang::FunctionTemplateDecl*, llvm::SmallVectorImpl&lt;clang::DeducedTemplateArgument&gt;&amp;, unsigned int, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, llvm::SmallVectorImpl&lt;clang::Sema::OriginalCallArg&gt; const*, bool, llvm::function_ref&lt;bool ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6cfa5f7)
#<!-- -->15 0x0000000006cfbd9a void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;)::'lambda1'()&gt;(long) SemaTemplateDeduction.cpp:0:0
#<!-- -->16 0x0000000006320de1 clang::Sema::runWithSufficientStackSpace(clang::SourceLocation, llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6320de1)
#<!-- -->17 0x0000000006d06782 clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6d06782)
#<!-- -->18 0x0000000006af196e clang::Sema::AddTemplateOverloadCandidate(clang::FunctionTemplateDecl*, clang::DeclAccessPair, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::OverloadCandidateSet&amp;, bool, bool, bool, clang::CallExpr::ADLCallKind, clang::OverloadCandidateParamOrder, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6af196e)
#<!-- -->19 0x00000000069590a6 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;)::'lambda0'(bool)::operator()(bool) const SemaInit.cpp:0:0
#<!-- -->20 0x0000000006959e49 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6959e49)
#<!-- -->21 0x0000000006515cf5 clang::Sema::deduceVarTypeFromInitializer(clang::VarDecl*, clang::DeclarationName, clang::QualType, clang::TypeSourceInfo*, clang::SourceRange, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6515cf5)
#<!-- -->22 0x0000000006516387 clang::Sema::DeduceVariableDeclarationType(clang::VarDecl*, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6516387)
#<!-- -->23 0x00000000065383a2 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x65383a2)
#<!-- -->24 0x00000000061f26b9 clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61f26b9)
#<!-- -->25 0x000000000620158a clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620158a)
#<!-- -->26 0x0000000006209c07 clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, bool, clang::Parser::ForRangeInit*, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6209c07)
#<!-- -->27 0x000000000620a0a7 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620a0a7)
#<!-- -->28 0x00000000062abd3c clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62abd3c)
#<!-- -->29 0x00000000062acff7 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62acff7)
#<!-- -->30 0x00000000062adf01 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62adf01)
#<!-- -->31 0x00000000062af81a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62af81a)
#<!-- -->32 0x00000000061ca8f1 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ca8f1)
#<!-- -->33 0x0000000006201f6c clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6201f6c)
#<!-- -->34 0x00000000061be88e clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec&amp;, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61be88e)
#<!-- -->35 0x00000000061bf083 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61bf083)
#<!-- -->36 0x00000000061c64f6 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c64f6)
#<!-- -->37 0x00000000061c739d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr&lt;clang::DeclGroupRef&gt;&amp;, clang::Sema::ModuleImportState&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c739d)
#<!-- -->38 0x00000000061ba07a clang::ParseAST(clang::Sema&amp;, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ba07a)
#<!-- -->39 0x00000000041c0aa8 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41c0aa8)
#<!-- -->40 0x0000000004440169 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4440169)
#<!-- -->41 0x00000000043c985e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43c985e)
#<!-- -->42 0x00000000045231ee clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45231ee)
#<!-- -->43 0x0000000000c296ec cc1_main(llvm::ArrayRef&lt;char const*&gt;, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc296ec)
#<!-- -->44 0x0000000000c2297a ExecuteCC1Tool(llvm::SmallVectorImpl&lt;char const*&gt;&amp;, llvm::ToolContext const&amp;) driver.cpp:0:0
#<!-- -->45 0x0000000004203a19 void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const::'lambda'()&gt;(long) Job.cpp:0:0
#<!-- -->46 0x00000000038690d4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x38690d4)
#<!-- -->47 0x000000000420400f clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const (.part.0) Job.cpp:0:0
#<!-- -->48 0x00000000041ca3a5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&amp;, clang::driver::Command const*&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41ca3a5)
#<!-- -->49 0x00000000041cae0d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41cae0d)
#<!-- -->50 0x00000000041d2b75 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41d2b75)
#<!-- -->51 0x0000000000c26b85 clang_main(int, char**, llvm::ToolContext const&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc26b85)
#<!-- -->52 0x0000000000b1d084 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xb1d084)
#<!-- -->53 0x00007f61b7629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#<!-- -->54 0x00007f61b7629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#<!-- -->55 0x0000000000c2246e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc2246e)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134

@EugeneZelenko EugeneZelenko added c++20 and removed c++ labels Mar 27, 2024
@llvmbot
Copy link
Member

llvmbot commented Mar 27, 2024

@llvm/issue-subscribers-c-20

Author: LoveSy (yujincheng08)

On clang-17 it works. So this should be a regression. Example code:
template&lt;typename T&gt;
concept X = true;

template &lt;X T&gt;
class Y {
public:
    Y(T y)  {  }

    template &lt;X U&gt;
    friend class Y;
};

template class Y&lt;int&gt;;

int main() {
    Y y(0);
}

Online demo: https://godbolt.org/z/s7Mq65n98

Backtrace:

clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:15797: bool clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, const clang::ASTContext&amp;, clang::Expr::ConstantExprKind) const: Assertion `!isValueDependent() &amp;&amp; "Expression evaluator can't be called on a dependent expression."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.	Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -c --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++23 &lt;source&gt;
1.	&lt;source&gt;:16:11: current parser token ';'
2.	&lt;source&gt;:15:12: parsing function body 'main'
3.	&lt;source&gt;:15:12: in compound statement ('{}')
 #<!-- -->0 0x00000000039246a8 llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x39246a8)
 #<!-- -->1 0x000000000392238c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x392238c)
 #<!-- -->2 0x0000000003868c28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #<!-- -->3 0x00007f61b7642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #<!-- -->4 0x00007f61b76969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #<!-- -->5 0x00007f61b7642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #<!-- -->6 0x00007f61b76287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #<!-- -->7 0x00007f61b762871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #<!-- -->8 0x00007f61b7639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #<!-- -->9 0x00000000074695d8 clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&amp;, clang::ASTContext const&amp;, clang::Expr::ConstantExprKind) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x74695d8)
#<!-- -->10 0x0000000006486b6e clang::ActionResult&lt;clang::Expr*, true&gt; calculateConstraintSatisfaction&lt;calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&gt;(clang::Sema&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;, calculateConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&amp;, clang::Expr const*, clang::ConstraintSatisfaction&amp;)::'lambda'(clang::Expr const*)&amp;&amp;) SemaConcept.cpp:0:0
#<!-- -->11 0x0000000006487342 CheckConstraintSatisfaction(clang::Sema&amp;, clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) SemaConcept.cpp:0:0
#<!-- -->12 0x000000000648797a clang::Sema::CheckConstraintSatisfaction(clang::NamedDecl const*, llvm::ArrayRef&lt;clang::Expr const*&gt;, llvm::SmallVectorImpl&lt;clang::Expr*&gt;&amp;, clang::MultiLevelTemplateArgumentList const&amp;, clang::SourceRange, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x648797a)
#<!-- -->13 0x0000000006488a3b clang::Sema::CheckInstantiatedFunctionTemplateConstraints(clang::SourceLocation, clang::FunctionDecl*, llvm::ArrayRef&lt;clang::TemplateArgument&gt;, clang::ConstraintSatisfaction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6488a3b)
#<!-- -->14 0x0000000006cfa5f7 clang::Sema::FinishTemplateArgumentDeduction(clang::FunctionTemplateDecl*, llvm::SmallVectorImpl&lt;clang::DeducedTemplateArgument&gt;&amp;, unsigned int, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, llvm::SmallVectorImpl&lt;clang::Sema::OriginalCallArg&gt; const*, bool, llvm::function_ref&lt;bool ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6cfa5f7)
#<!-- -->15 0x0000000006cfbd9a void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;)::'lambda1'()&gt;(long) SemaTemplateDeduction.cpp:0:0
#<!-- -->16 0x0000000006320de1 clang::Sema::runWithSufficientStackSpace(clang::SourceLocation, llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6320de1)
#<!-- -->17 0x0000000006d06782 clang::Sema::DeduceTemplateArguments(clang::FunctionTemplateDecl*, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::FunctionDecl*&amp;, clang::sema::TemplateDeductionInfo&amp;, bool, bool, clang::QualType, clang::Expr::Classification, llvm::function_ref&lt;bool (llvm::ArrayRef&lt;clang::QualType&gt;)&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6d06782)
#<!-- -->18 0x0000000006af196e clang::Sema::AddTemplateOverloadCandidate(clang::FunctionTemplateDecl*, clang::DeclAccessPair, clang::TemplateArgumentListInfo*, llvm::ArrayRef&lt;clang::Expr*&gt;, clang::OverloadCandidateSet&amp;, bool, bool, bool, clang::CallExpr::ADLCallKind, clang::OverloadCandidateParamOrder, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6af196e)
#<!-- -->19 0x00000000069590a6 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;)::'lambda0'(bool)::operator()(bool) const SemaInit.cpp:0:0
#<!-- -->20 0x0000000006959e49 clang::Sema::DeduceTemplateSpecializationFromInitializer(clang::TypeSourceInfo*, clang::InitializedEntity const&amp;, clang::InitializationKind const&amp;, llvm::MutableArrayRef&lt;clang::Expr*&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6959e49)
#<!-- -->21 0x0000000006515cf5 clang::Sema::deduceVarTypeFromInitializer(clang::VarDecl*, clang::DeclarationName, clang::QualType, clang::TypeSourceInfo*, clang::SourceRange, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6515cf5)
#<!-- -->22 0x0000000006516387 clang::Sema::DeduceVariableDeclarationType(clang::VarDecl*, bool, clang::Expr*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6516387)
#<!-- -->23 0x00000000065383a2 clang::Sema::AddInitializerToDecl(clang::Decl*, clang::Expr*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x65383a2)
#<!-- -->24 0x00000000061f26b9 clang::Parser::ParseDeclarationAfterDeclaratorAndAttributes(clang::Declarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61f26b9)
#<!-- -->25 0x000000000620158a clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620158a)
#<!-- -->26 0x0000000006209c07 clang::Parser::ParseSimpleDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, bool, clang::Parser::ForRangeInit*, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6209c07)
#<!-- -->27 0x000000000620a0a7 clang::Parser::ParseDeclaration(clang::DeclaratorContext, clang::SourceLocation&amp;, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x620a0a7)
#<!-- -->28 0x00000000062abd3c clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62abd3c)
#<!-- -->29 0x00000000062acff7 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector&lt;clang::Stmt*, 32u&gt;&amp;, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62acff7)
#<!-- -->30 0x00000000062adf01 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62adf01)
#<!-- -->31 0x00000000062af81a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x62af81a)
#<!-- -->32 0x00000000061ca8f1 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&amp;, clang::Parser::ParsedTemplateInfo const&amp;, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ca8f1)
#<!-- -->33 0x0000000006201f6c clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&amp;, clang::DeclaratorContext, clang::ParsedAttributes&amp;, clang::Parser::ParsedTemplateInfo&amp;, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6201f6c)
#<!-- -->34 0x00000000061be88e clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec&amp;, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61be88e)
#<!-- -->35 0x00000000061bf083 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61bf083)
#<!-- -->36 0x00000000061c64f6 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&amp;, clang::ParsedAttributes&amp;, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c64f6)
#<!-- -->37 0x00000000061c739d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr&lt;clang::DeclGroupRef&gt;&amp;, clang::Sema::ModuleImportState&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61c739d)
#<!-- -->38 0x00000000061ba07a clang::ParseAST(clang::Sema&amp;, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x61ba07a)
#<!-- -->39 0x00000000041c0aa8 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41c0aa8)
#<!-- -->40 0x0000000004440169 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4440169)
#<!-- -->41 0x00000000043c985e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43c985e)
#<!-- -->42 0x00000000045231ee clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45231ee)
#<!-- -->43 0x0000000000c296ec cc1_main(llvm::ArrayRef&lt;char const*&gt;, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc296ec)
#<!-- -->44 0x0000000000c2297a ExecuteCC1Tool(llvm::SmallVectorImpl&lt;char const*&gt;&amp;, llvm::ToolContext const&amp;) driver.cpp:0:0
#<!-- -->45 0x0000000004203a19 void llvm::function_ref&lt;void ()&gt;::callback_fn&lt;clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const::'lambda'()&gt;(long) Job.cpp:0:0
#<!-- -->46 0x00000000038690d4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref&lt;void ()&gt;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x38690d4)
#<!-- -->47 0x000000000420400f clang::driver::CC1Command::Execute(llvm::ArrayRef&lt;std::optional&lt;llvm::StringRef&gt;&gt;, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;*, bool*) const (.part.0) Job.cpp:0:0
#<!-- -->48 0x00000000041ca3a5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&amp;, clang::driver::Command const*&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41ca3a5)
#<!-- -->49 0x00000000041cae0d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41cae0d)
#<!-- -->50 0x00000000041d2b75 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&amp;, llvm::SmallVectorImpl&lt;std::pair&lt;int, clang::driver::Command const*&gt;&gt;&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41d2b75)
#<!-- -->51 0x0000000000c26b85 clang_main(int, char**, llvm::ToolContext const&amp;) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc26b85)
#<!-- -->52 0x0000000000b1d084 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xb1d084)
#<!-- -->53 0x00007f61b7629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#<!-- -->54 0x00007f61b7629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#<!-- -->55 0x0000000000c2246e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xc2246e)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134

@zyn0217
Copy link
Contributor

zyn0217 commented Mar 27, 2024

Confirmed. https://godbolt.org/z/a44zMz1bh

@zyn0217 zyn0217 added the confirmed Verified by a second party label Mar 27, 2024
@zyn0217 zyn0217 self-assigned this Mar 28, 2024
zyn0217 added a commit to zyn0217/llvm-project that referenced this issue Mar 28, 2024
The most recent declaration of a template as a friend can introduce
a different template parameter depth compared to what we anticipate
from a CTAD guide.

Fixes llvm#86769
zyn0217 added a commit that referenced this issue Mar 29, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes #86769
zyn0217 added a commit to zyn0217/llvm-project that referenced this issue Mar 29, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
tstellar pushed a commit to zyn0217/llvm-project that referenced this issue Apr 1, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
@zyn0217
Copy link
Contributor

zyn0217 commented Apr 4, 2024

The fix is now available on clang 18.1.3.

xgupta pushed a commit to xgupta/llvm-project that referenced this issue Aug 23, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Aug 23, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Sep 5, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Sep 6, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Sep 9, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Sep 10, 2024
Co-authored-by: Petar Avramovic <Petar.Avramovic@amd.com>
Co-authored-by: Piotr Sobczak <piotr.sobczak@amd.com>

[AMDGPU][GFX12] VOP encoding and codegen - add support for v_cvt fp8/… (llvm#78414)

…bf8 instructions

    Add VOP1, VOP1_DPP8, VOP1_DPP16, VOP3, VOP3_DPP8, VOP3_DPP16
    instructions that were supported on GFX940 (MI300):
    - V_CVT_F32_FP8
    - V_CVT_F32_BF8
    - V_CVT_PK_F32_FP8
    - V_CVT_PK_F32_BF8
    - V_CVT_PK_FP8_F32
    - V_CVT_PK_BF8_F32
    - V_CVT_SR_FP8_F32
    - V_CVT_SR_BF8_F32

---------

Co-authored-by: Mateja Marjanovic <mateja.marjanovic@amd.com>
Co-authored-by: Mirko Brkušanin <Mirko.Brkusanin@amd.com>
(cherry picked from commit cfddb59)

[RISCV] Support __riscv_v_fixed_vlen for vbool types. (llvm#76551)

This adopts a similar behavior to AArch64 SVE, where bool vectors are
represented as a vector of chars with 1/8 the number of elements. This
ensures the vector always occupies a power of 2 number of bytes.

A consequence of this is that vbool64_t, vbool32_t, and vool16_t can
only be used with a vector length that guarantees at least 8 bits.

[Docs] Fix documentation build.

Missing ending `` after c92ad41

Backport '[clang] static operators should evaluate object argument (reland)' to release/18.x (llvm#80109)

Cherry picked from commit ee01a2c.

Closes llvm#80041, backport llvm#80108.

Co-authored-by: Shafik Yaghmour <shafik@users.noreply.github.com>
Co-authored-by: cor3ntin <corentinjabot@gmail.com>
Co-authored-by: Aaron Ballman <aaron@aaronballman.com>

PR for llvm#79568 (llvm#80120)

Backporting llvm#79568 to clang 18.

[docs] Add release notes for Windows specific changes in 18.x (llvm#80011)

[AArch64] Add some release notes items (llvm#79983)

[C++20] [Modules] Don't perform ODR checks in GMF

Close llvm#79240.

See the linked issue for details. Given the frequency of issue reporting
about false positive ODR checks (I received private issue reports too),
I'd like to backport this to 18.x too.

[clang] Fix unexpected `-Wconstant-logical-operand` in C23 (llvm#80724)

C23 has `bool`, but logical operators still return int. Check that
we're not in C to avoid false-positive -Wconstant-logical-operand.

Fixes llvm#64356

(cherry picked from commit a18e92d)

[18.x][Docs] Add release note about Clang-defined target OS macros (llvm#80044)

The change is included in the 18.x release. Move the release note to the
release branch and reformat.

(cherry picked from commit b40d5b1)

ReleaseNotes: mention -mtls-dialect=desc (llvm#82731)

[Clang] Fixes to immediate-escalating functions (llvm#82281)

* Consider that immediate escalating function can appear at global
scope, fixing a crash

* Lambda conversion to function pointer was sometimes not performed in
an immediate function context when it should be.

Fixes llvm#82258

(cherry picked from commit baf6bd3)

[Clang] [Sema] Handle placeholders in '.*' expressions (llvm#83103)

When analysing whether we should handle a binary expression as an
overloaded operator call or a builtin operator, we were calling
`checkPlaceholderForOverload()`, which takes care of any placeholders
that are not overload sets—which would usually make sense since those
need to be handled as part of overload resolution.

Unfortunately, we were also doing that for `.*`, which is not
overloadable, and then proceeding to create a builtin operator anyway,
which would crash if the RHS happened to be an unresolved overload set
(due hitting an assertion in `CreateBuiltinBinOp()`—specifically, in one
of its callees—in the `.*` case that makes sure its arguments aren’t
placeholders).

This pr instead makes it so we check for *all* placeholders early if the
operator is `.*`.

It’s worth noting that,
1. In the `.*` case, we now additionally also check for *any*
placeholders (not just non-overload-sets) in the LHS; this shouldn’t
make a difference, however—at least I couldn’t think of a way to trigger
the assertion with an overload set as the LHS of `.*`; it is worth
noting that the assertion in question would also complain if the LHS
happened to be of placeholder type, though.
2. There is another case in which we also don’t perform overload
resolution—namely `=` if the LHS is not of class or enumeration type
after handling non-overload-set placeholders—as in the `.*` case, but
similarly to 1., I first couldn’t think of a way of getting this case to
crash, and secondly, `CreateBuiltinBinOp()` doesn’t seem to care about
placeholders in the LHS or RHS in the `=` case (from what I can tell,
it, or rather one of its callees, only checks that the LHS is not a
pseudo-object type, but those will have already been handled by the call
to `checkPlaceholderForOverload()` by the time we get to this function),
so I don’t think this case suffers from the same problem.

This fixes llvm#53815.

---------

Co-authored-by: Aaron Ballman <aaron@aaronballman.com>

[InstCombine] Fix miscompilation in PR83947 (llvm#83993)

https://github.com/llvm/llvm-project/blob/762f762504967efbe159db5c737154b989afc9bb/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp#L394-L407

Comment from @topperc:
> This transforms assumes the mask is a non-zero splat. We only know its
a splat and not provably all 0s. The mask is a constexpr that includes
the address of the global variable. We can't resolve the constant
expression to an exact value.

Fixes llvm#83947.

SystemZ release notes for 18.x. (llvm#84560)

Remove support for EXPORTAS in def files to maintain ABI compatibility for COFFShortExport

[clang][Sema] Fix a CTAD regression after 42239d2 (llvm#86914)

The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769

[clang] Avoid -Wshadow warning when init-capture named same as class field (llvm#74512)

Shadowing warning doesn't make much sense since field is not available
in lambda's body without capturing this.

Fixes llvm#71976

[SLP]Fix a crash if the argument of call was affected by minbitwidth analysis.

Need to support proper type conversion for function arguments to avoid
compiler crash.

Fix override keyword being print to the left side

Previously, the `override` keyword in C++ was being print in the left
side of a method decl, which is unsupported by C++ standard. This commit
fixes that by setting the `CanPrintOnLeft` field to 0, forcing it to be
print on the right side of the decl.

Signed-off-by: Giuliano Belinassi <gbelinassi@suse.de>

[clang codegen] Fix MS ABI detection of user-provided constructors. (llvm#90151)

In the context of determining whether a class counts as an "aggregate",
a constructor template counts as a user-provided constructor.

Fixes llvm#86384

(cherry picked from commit 3ab4ae9)

release/18.x: [libclc] Fix linking against libIRReader

Fixes llvm#91551

Update llvm/test/Transforms/InstCombine/bit_ceil.ll

Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com>

[RISCV] Add a unaligned-scalar-mem feature like we had in clang 17.

This is ORed with the fast-unaligned-access feature which applies
to scalar and vector together.:

Regular squash.

Cobol/PlI changes from 785ddc60@https://gitlab.phidani.be/Chirag.Patel/lldb.git

Cobol/PLI support added from 6cefb217f097ac@https://gitlab.phidani.be/Chirag.Patel/llvm.git

[LLDB] added lldb rpmbuild spec file

[RPMBuild] Added lldb rpmbuild support.

[LLDBRpm] added version for yum update.

[lldb_rpm] minor cleanup.

Build fix rleated to RTTI.

build fix.

[DWARFASTParserLegacy] Initial support for union type.

[lldb][LegacyTypeSystem] Changed struct/union member offset from bytes to bits to support DW_AT_data_bit_offset.

[lldbrpm] changed version suffix.

[LegacyASTContext] Fix var string length display.

[LLDB][CobolUserExpression] Added AST node Function call place holder.

build fix.

[LLVM][Test] Fixed assembler round trip test.

[LLDB][CobolUserExpression] Added ast evaluation for sizeof operator.

[LLDB][CobolUserExpression] Added placeholder in parser for func call.

[LLDB][CobolUserExpression] Added sizeof operator, temporary placeholder for LENGTH OF.

[LLDB][PLIUserExpression] Fixed array indexing.

[LLDB][ValueObjectPrinter] Skip summary if custom format is requested.

[LLDB][PLILanguage] changed bitset size, read from array type name.

[LLDB][ValueObject] Fixed pli var string length read.

[LLDB][PLILanguage] Fixed support for var string summary formatter.

[LLVM][DIBuilder][C-API] Added changes to add lexical scope info for auto variable for functions.

[LLVM][AsmCodegen] Added raincode extention AT_lexical_scope.

[LLDB][SymbolFileDWARF] Added support for RAINCODE_lexical_scope attribute.

[LLDB][PLIUserExpression] Added sizeof operator support, it will be renamed to proper functiona name later.

[LLDB][ValueObject] minor cleanup.

[LLDB][PLIUserExpression] Added STORAGE/STG builtin func support.

[LLDB][PLIUserExpression][CobolUserExpression] Added LENGTH() for Cobol and STG/STORAGE() for PL/I, removed sizeof operator for both.

[LLDB][DWARFASTParserLegacy] Added placeholder for DW_TAG_reference_type.

[LLVM][CodeGen][AsmPrinter] Added DW_AT_name attribute to TAG_array_type.

[LLDB][DWARFExpression] minor cleanup.

[LLDB][PLILanguage] Fixed bitset array size read from array type.

[LLDB][LegacyASTContext] Moved bit array calculation to type system.

[LLVM][AsmPrinter] Fixed TAG_array duplicate attribute export.

[LLVM][C-API] Changes array type api.

[LLDB][PLI/Cobol UserExpression] Fixed array indexing, removed c style [] index access.

[LLDB][PLIUserExpression] minor fix.

[LLDB] Fixed bug relating struct member name access for Cobol/PL1.

fixed coding style/whitespace/typos.

[LLDB][LegacyTypeSystem] Place holder beautification for edited types.

[LLDB] rpm version upgrade.

[LLDB][CobolUserExpression] Fixed pic string ref modifier.

[LLDB][TypeSystem] Added support to mutate existing type length, fixed cobolUserExpression refmod for display type.

[LLDB][CobolUserExpression] Fixed lower bound ref modifier.

[LLDB][Cobol/PLI UserExpression] Fixed error while searching for var, do not fully resolve type.

[LLDB][RPM] fixed rpm version.

cleanup, reduce number of changes from trunk.

cleanup, reduce number of changes fomr trunk.

build fix.

Build fix.

Build fix.

[LegacyASTContext] Fixed bug relating packed decimal going through ebcdic iconv.

[LLVM][DebugInfo] Fixed DIExpression node uniquness issue.

build fix.

cleanup.

Refactoring, moved LegacyASTContext to Plugin typeSystem Legacy.

Refactoring, renamed TypeSystem class.

build fix.

build fix, cleanup.

cleanup

fixed assert failure.

[CobolUserExpression] Added placeholder for simpe assignment operator.

[CobolUserExpression] Added basic support for assigment to variables.

[CobolUserExpression] Added cobol move-to set-to syntex support.

[LegacyTypeSystem][CobolUserExpression] Added literal type double,string. Added TypeSystem Encoding helper functions.

[CobolLexer] Added string,float literal type support.

[PLIUserExpression] Added assignment operator support.

[CobolUserExpression] Added assignment comp-3 support.

[PLIUserExpression] Assignment added pli display type support.

temporary build fix. DIExpression asmprinter, print null for invalid entry.

[Cobol/PLI UserExpression] Assignment endianity bug fix.

[Cobol/PLIUserExpression] fixed data extractpr assert, fixed int precision convertion written as zero.

[Cobol/PLIUserExpression] Assignment display type assert failure.

build fix.

[PLIUserExpression] Added support for var string assignment.

[LegacyUserExpression] Simple semantic check place-holder.

[CobolUserexpression] Assignment expression fixed display, array types.

[TypeSystem] fixed encode int precision bug for i64 to i32.

[PLI/Cobol UserExpression] fixed support for assinment into refmod data type.

[CobolUserExpression] Fixed assignment display/comp-3 regression.

temporary build fix. python3 lib on server needs few changes for this build.

[TypeSystemLegacy] Fixed edited type display, skip formatting for edited type.

[lldbrpm] package lldb-python-script too.

[CobolUserExpression] Fixed SelctorOf expression with array index access e.g (lldb)p LastName1 of VAR(1) of TAB.

[CobolUserExpression] Assignment to packed decimal fixed, added digit count read support from dwarf instead of runtime calculation.

[CoboUserExpression] Fixed assignment string invalid byte order.

[PLIUserExpression] Fixed string padding with space.

[CobolUserExpression] Fixed Assignment string space padding.

[LegacyTypeSysten] fixed crash in encoding due to long length the assignment.

[CobolUserExpression][PLIUserExpression] fixed segfault.

[DebugInfo] export identifier case as insensitive for PLI/Cobol compiled units.

[TypeSystemLegacy] Fixed minor bug with dataencoding.

rebase build fix.

[StackFrame] fixed support for cobol/pli modref select syntex.

case-insensitive breakpoint resolution for PLI/Cobol languages.

cleanup.

build fix.

added initial support for TAG_dynamic_type.

added c/c++ api to create dynamic type debug info.

[DebugInfo] Added support to generate dwarf attribute  DW_AT_allocated for DW_TAG_dynamic_type

[PLIUserExpression][CobolUserExpression] Fixed name variable lookup for few cases.

[DWARFASTParserLegacy] Initial support to parse TAG_dynamic_type.

[AsmPrinter] Fix minor mistake for TAG_dynamic DW_AT_allocated.

[TypeSystemLegacy] Added dynamic type place holder.

[LLVM][AsmPrinter] Allow OP_call2/4 expression on local variable location.

build fix.

[LLDB][CompilerType] Added support to fetch dynamic type info.

[lldb][ValueObjectVariable] Added dynamic variable read support.

[LLDB][ValueObjectVariable] Added allocated check for dynamic types.

[LLDB][ValueObjectVariable] fixed TAG_dynamic type attributes optional.

[LLVM][DebugInfoMetadata] Fixed minor function call.

[LLDB][TypeSystemLegacy] Added dynamic type info support.

build fix.

for jekins, use python3  sharedlibs

lldbrpm use python3.

temporary build fix.

[LLDB][DWARFExpression] Added temporary operation extension for address calculation with file address in dwarf v5.

[LLVM][CodeGen] Fixed dynamic type dwarf expression call2/call4 assert.

[LLVM][Verifier] Added dynamic type check.

[LLVM][Verifier] Added debugInfo verifier dynamic type extra checks.

[LLDB][TypeSystemLegacy] Added check to avoid direct nested dynaic types.

[LLVM][DebugInfo] Adding DW_OP_call2/4 support in TAG_subrange attributes DW_AT_lower_bound, DW_AT_upper_bound.

[LLDB] Added option to hide frames with invalid line entry target.hide-invalid-legacy-frames, this is a temporary placeholder and it will be moved to more suitable location in future.

[LLDB][DataFormatters] Fixed printing of char arrays with non-default format.

[LLDB][StackFrame] Added check for member name lookup to reject array of structs.

[lldb][DataFormatters] fixed multi-dimesional string formatting.

[LLDB][ValueObjectVariable] cleanup: proper error message.

[LLVM][DwarfUnit] Added DW_OP_call2/call4 support for array type.

[LLVM][DwarfCompileUnit] fixed assert failure with DW_OP_call2/call4.

[DIBuilder] Added DW_AT_static_link support.

[LLVM][C-API][DebugInfo] Added support for DW_AT_static_link.

[DebugInfo] fixed minor bug with Staticlink attribute generation.

[DebugInfo] static link cleanup.

rebase build fix.

[LLDB][DWARFParser] Added initial support to parse DW_AT_static_link.

[LLDB][StackFrame] Added support to read static link address.

[LLDB][StackFrameList] Added helper function to search stack list using static link.

[LLDB][ValueObjectPrinter] regression fix for hex format value print.

[LLDB] build fix.

[LLDB][ExpressionParser] bug fixed for positive int expression e.g. p move +3 to var.

[LLDB][TypeSystemLegacy] Fixed bcd signed preferred value encoding.

[LLVM][DebuggerTuning] default tune for lldb.

[LLDB][TypeSystemLegacy] iconv try approximate and ignore if not possible, for character decoding.

rebase build fix.

[LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwriting.

[LLDB][UserExpression] Temporary revert variable name bug.

rebase build fix.

rebase build fix.

rebase build fix.

initial placeholder for DW_AT_RAINCODE_static_link_recv.

[LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwrite.

[LLDB][Test] fixed UnsupportedLanguage test failure.

[LLDB][CobolUserExpression] Place holder for compare operations.

lldbrpm, temporary skip python dir.

[CobolUserExpression] Adding placeholder for equality comparision.

[PLIUserExpression] PLILexer, added partial support for comparision operators.

[LLDB][DataExtractor] bytes compare func.

rebase build fix.

rebase build fix.

Added DW_AT_RAINCODE_frame_base

Patch by Amin!

[LLDB][DWARFParser] Added support to parse DW_AT_RAINCODE_frame_base.

build fix.

[LLVM] Fix dynamic type

[LLVM-C][API] Add api to create a dynamic DISubrange

[LLDB] Add support for DW_AT_count as a DWARFExpression

- Add DWARFExpression in ArrayInfo;
- Add LegacyDynamicArray type for dynamic arrays;
- Evaluate count expression every time we re-evaluate DW_AT_location.

Rebase and fix compilation failures

Only print case sensitiveness if source language is
Cobol or PL/1.
Fixes the following regressions:
LLVM :: DebugInfo/X86/dwarf-public-names.ll
LLVM :: DebugInfo/X86/length_symbol_difference.ll
LLVM :: MC/X86/dwarf-size-field-overflow.test
LLVM :: tools/llvm-dwarfdump/X86/statistics.ll

(cherry picked from commit ff848081162f81ef3c5d8f447b6c28dd564d4ada)

Use correct record size of DIDerivedType
Use last index for Annotations

replace dyn_cast with dyn_cast_or_null to handle invalid input smoothly

Rebasing on LLVM-17-init and fixes regressions

LZLANG-2470 valgrind vs. lldb_private::TargetCharsetReader::convert
    - remove the static buffer_length variable, which may not be big enough.
    - remove the loop
    - add lldb console errno logging when there is an iconv error.

(cherry picked from commit 120402f28f787a90f65f725307519343b5937fee)

LZLANG-2470 Fixes for previous lldb_private::TargetCharsetReader::convert changes.

(cherry picked from commit 918c9b62a63b71347ebee5a7ccd0bd42bbdfc118)

Lexer Bug Fix

COBOL/PLI lexer would return variable name with '\n' at the start.

1155199180

(cherry picked from commit 7266c35747b19a11081b3fab07f6773bfb15fa1f)

Ported Abhishek's Fix
-Set is_singed for int variables

[lldb] Bridge the gap when debugging the variable with command and codelldb

(cherry picked from commit d88ad8abed856d239628d4cda3fad393fef1ba0e)

Build Fixes after cherry-pick previous commit

strings set by codelldb must be enclosed in quotes

(cherry picked from commit 0072c09fbe9f5ead6bde25060dc8e9f4265989b3)

Bug fix:

p var = val in PLI didn't work

(cherry picked from commit 9f3d16f85434cbd17e26d429622cd6b557eddacb)

Port Abhisheks Fixes
-Fix for MOVE val TO VAR

[lldb] Added the DemangledNameContainsPath overload for pli/cobol

(cherry picked from commit 552cf62d001beb59327e4fb81cd4620ee0d62c55)

Fix warnings

Fields of a struct array can now be used with `p`

e.g FIELD(5) is equivalent to FIELD OF ARR(5)

See ticket 1152892604

(cherry picked from commit 5e02341b015fddaca13a674b34228fe2b080a54c)

Cobol-style multi-index support added

(cherry picked from commit 7b0e7ae494ca2a9799e1f09d87146113de2e0f38)

Fixed LENGTH(var) expression

-get the size of var from lldb

(cherry picked from commit 50657e2e7b2ec81a13764ca0105c130cc95ccfc7)

Warning Fixes

Make breakpoint Cases Insensitive

Fixed Build and Regression failure after rebase

Fixed warnings seen during lldb build

[lldb] Store real bitwidth from debuginfo in Scalar Type

Storing in higher bitwidth than required or specified by debug info
creates problem when byteswap is done.

Make comparison of breakpoint names case insensitive in `findEntryOffsetInCurrentIndex`

1156642284

typo fix: s/key/Key/

[lldb] Fix DWARFASTParser to correctly parse DW_AT_count for dynamic arrays

[lldb] Change the way we look for variables in StackFrame for Legacy Languages 1156032652

[lldb] Bugfix in LENGTH(var) [cobol] and STG(var) [pli]

We were encoding 4 bytes of LENGTH data and reading 8 bytes which cause a problem.
Using size_t instead of uint32_t fixes the problem.

[lldb] Fix cast failure in FindFieldInStructArray

Complicated expressions in lldb broke the assumption that the expression is an identifier, thus we got a cast error.
This fix removes that from happening and also fixes the bug that if the identifier is an array itself the last index specified in the input is used to index that variable itself.

e.g 01 SAMPLE-TABLE.
           05 TABLE-DEPTH OCCURS 3 TIMES.
             10 TABLE-ROW OCCURS 3 TIMES.
               15 TABLE-COLUMN OCCURS 3 TIMES PIC 9(8).

Here TABLE-ROW(1, 2) means second element of TABLE-ROW OF TABLE-DEPTH(1).

Revert "[lldb] Fix cast failure in FindFieldInStructArray"

This reverts commit c1bab0e0b6a798698196434c7bb6cbe391fcdc1b.

[lldb] Add support for IBM array-indexing syntax

see 1156841764

[lldb] Fix cast error and support non-ibm indexing syntax

see 1156841764

[lldb] Fixes After Rebase on llvmorg-18.1.4

[lldb] Fix bug in display of varying PLI strings

See 1156884604

The STG function also should include the prefix when counting the size, which for now is 2 bytes for all strings because the PLI compiler doesn't support COMPAT(V3) version.
If in the future we do support it, we would need to fix this again.

(cherry picked from commit 4b39f3e1b55c3df09f5cb89dcdd347682f790ba9)

[lldb] Add basic support for Level88 conditions

[lldb] Add support for calling the runtime function rc_cob_level88 directly from the "p" command

[lldb] Print the value of level88 variables as true/false with parent name.

Prints the value of level88 condition names by calling the runtime functions and formatting it nicely.

[lldb] Add support for indexed level88 variables

[lldb] Fixes After Rebase on llvm main

[LLDB] Preparation for upstream
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Sep 10, 2024
Co-authored-by: Petar Avramovic <Petar.Avramovic@amd.com>
Co-authored-by: Piotr Sobczak <piotr.sobczak@amd.com>

[AMDGPU][GFX12] VOP encoding and codegen - add support for v_cvt fp8/… (llvm#78414)

…bf8 instructions

    Add VOP1, VOP1_DPP8, VOP1_DPP16, VOP3, VOP3_DPP8, VOP3_DPP16
    instructions that were supported on GFX940 (MI300):
    - V_CVT_F32_FP8
    - V_CVT_F32_BF8
    - V_CVT_PK_F32_FP8
    - V_CVT_PK_F32_BF8
    - V_CVT_PK_FP8_F32
    - V_CVT_PK_BF8_F32
    - V_CVT_SR_FP8_F32
    - V_CVT_SR_BF8_F32

---------

Co-authored-by: Mateja Marjanovic <mateja.marjanovic@amd.com>
Co-authored-by: Mirko Brkušanin <Mirko.Brkusanin@amd.com>
(cherry picked from commit cfddb59)

[RISCV] Support __riscv_v_fixed_vlen for vbool types. (llvm#76551)

This adopts a similar behavior to AArch64 SVE, where bool vectors are
represented as a vector of chars with 1/8 the number of elements. This
ensures the vector always occupies a power of 2 number of bytes.

A consequence of this is that vbool64_t, vbool32_t, and vool16_t can
only be used with a vector length that guarantees at least 8 bits.

[Docs] Fix documentation build.

Missing ending `` after c92ad41

Backport '[clang] static operators should evaluate object argument (reland)' to release/18.x (llvm#80109)

Cherry picked from commit ee01a2c.

Closes llvm#80041, backport llvm#80108.

Co-authored-by: Shafik Yaghmour <shafik@users.noreply.github.com>
Co-authored-by: cor3ntin <corentinjabot@gmail.com>
Co-authored-by: Aaron Ballman <aaron@aaronballman.com>

PR for llvm#79568 (llvm#80120)

Backporting llvm#79568 to clang 18.

[docs] Add release notes for Windows specific changes in 18.x (llvm#80011)

[AArch64] Add some release notes items (llvm#79983)

[C++20] [Modules] Don't perform ODR checks in GMF

Close llvm#79240.

See the linked issue for details. Given the frequency of issue reporting
about false positive ODR checks (I received private issue reports too),
I'd like to backport this to 18.x too.

[clang] Fix unexpected `-Wconstant-logical-operand` in C23 (llvm#80724)

C23 has `bool`, but logical operators still return int. Check that
we're not in C to avoid false-positive -Wconstant-logical-operand.

Fixes llvm#64356

(cherry picked from commit a18e92d)

[18.x][Docs] Add release note about Clang-defined target OS macros (llvm#80044)

The change is included in the 18.x release. Move the release note to the
release branch and reformat.

(cherry picked from commit b40d5b1)

ReleaseNotes: mention -mtls-dialect=desc (llvm#82731)

[Clang] Fixes to immediate-escalating functions (llvm#82281)

* Consider that immediate escalating function can appear at global
scope, fixing a crash

* Lambda conversion to function pointer was sometimes not performed in
an immediate function context when it should be.

Fixes llvm#82258

(cherry picked from commit baf6bd3)

[Clang] [Sema] Handle placeholders in '.*' expressions (llvm#83103)

When analysing whether we should handle a binary expression as an
overloaded operator call or a builtin operator, we were calling
`checkPlaceholderForOverload()`, which takes care of any placeholders
that are not overload sets—which would usually make sense since those
need to be handled as part of overload resolution.

Unfortunately, we were also doing that for `.*`, which is not
overloadable, and then proceeding to create a builtin operator anyway,
which would crash if the RHS happened to be an unresolved overload set
(due hitting an assertion in `CreateBuiltinBinOp()`—specifically, in one
of its callees—in the `.*` case that makes sure its arguments aren’t
placeholders).

This pr instead makes it so we check for *all* placeholders early if the
operator is `.*`.

It’s worth noting that,
1. In the `.*` case, we now additionally also check for *any*
placeholders (not just non-overload-sets) in the LHS; this shouldn’t
make a difference, however—at least I couldn’t think of a way to trigger
the assertion with an overload set as the LHS of `.*`; it is worth
noting that the assertion in question would also complain if the LHS
happened to be of placeholder type, though.
2. There is another case in which we also don’t perform overload
resolution—namely `=` if the LHS is not of class or enumeration type
after handling non-overload-set placeholders—as in the `.*` case, but
similarly to 1., I first couldn’t think of a way of getting this case to
crash, and secondly, `CreateBuiltinBinOp()` doesn’t seem to care about
placeholders in the LHS or RHS in the `=` case (from what I can tell,
it, or rather one of its callees, only checks that the LHS is not a
pseudo-object type, but those will have already been handled by the call
to `checkPlaceholderForOverload()` by the time we get to this function),
so I don’t think this case suffers from the same problem.

This fixes llvm#53815.

---------

Co-authored-by: Aaron Ballman <aaron@aaronballman.com>

[InstCombine] Fix miscompilation in PR83947 (llvm#83993)

https://github.com/llvm/llvm-project/blob/762f762504967efbe159db5c737154b989afc9bb/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp#L394-L407

Comment from @topperc:
> This transforms assumes the mask is a non-zero splat. We only know its
a splat and not provably all 0s. The mask is a constexpr that includes
the address of the global variable. We can't resolve the constant
expression to an exact value.

Fixes llvm#83947.

SystemZ release notes for 18.x. (llvm#84560)

Remove support for EXPORTAS in def files to maintain ABI compatibility for COFFShortExport

[clang][Sema] Fix a CTAD regression after 42239d2 (llvm#86914)

The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769

[clang] Avoid -Wshadow warning when init-capture named same as class field (llvm#74512)

Shadowing warning doesn't make much sense since field is not available
in lambda's body without capturing this.

Fixes llvm#71976

[SLP]Fix a crash if the argument of call was affected by minbitwidth analysis.

Need to support proper type conversion for function arguments to avoid
compiler crash.

Fix override keyword being print to the left side

Previously, the `override` keyword in C++ was being print in the left
side of a method decl, which is unsupported by C++ standard. This commit
fixes that by setting the `CanPrintOnLeft` field to 0, forcing it to be
print on the right side of the decl.

Signed-off-by: Giuliano Belinassi <gbelinassi@suse.de>

[clang codegen] Fix MS ABI detection of user-provided constructors. (llvm#90151)

In the context of determining whether a class counts as an "aggregate",
a constructor template counts as a user-provided constructor.

Fixes llvm#86384

(cherry picked from commit 3ab4ae9)

release/18.x: [libclc] Fix linking against libIRReader

Fixes llvm#91551

Update llvm/test/Transforms/InstCombine/bit_ceil.ll

Co-authored-by: Yingwei Zheng <dtcxzyw@qq.com>

[RISCV] Add a unaligned-scalar-mem feature like we had in clang 17.

This is ORed with the fast-unaligned-access feature which applies
to scalar and vector together.:

Regular squash.

Cobol/PlI changes from 785ddc60@https://gitlab.phidani.be/Chirag.Patel/lldb.git

Cobol/PLI support added from 6cefb217f097ac@https://gitlab.phidani.be/Chirag.Patel/llvm.git

[LLDB] added lldb rpmbuild spec file

[RPMBuild] Added lldb rpmbuild support.

[LLDBRpm] added version for yum update.

[lldb_rpm] minor cleanup.

Build fix rleated to RTTI.

build fix.

[DWARFASTParserLegacy] Initial support for union type.

[lldb][LegacyTypeSystem] Changed struct/union member offset from bytes to bits to support DW_AT_data_bit_offset.

[lldbrpm] changed version suffix.

[LegacyASTContext] Fix var string length display.

[LLDB][CobolUserExpression] Added AST node Function call place holder.

build fix.

[LLVM][Test] Fixed assembler round trip test.

[LLDB][CobolUserExpression] Added ast evaluation for sizeof operator.

[LLDB][CobolUserExpression] Added placeholder in parser for func call.

[LLDB][CobolUserExpression] Added sizeof operator, temporary placeholder for LENGTH OF.

[LLDB][PLIUserExpression] Fixed array indexing.

[LLDB][ValueObjectPrinter] Skip summary if custom format is requested.

[LLDB][PLILanguage] changed bitset size, read from array type name.

[LLDB][ValueObject] Fixed pli var string length read.

[LLDB][PLILanguage] Fixed support for var string summary formatter.

[LLVM][DIBuilder][C-API] Added changes to add lexical scope info for auto variable for functions.

[LLVM][AsmCodegen] Added raincode extention AT_lexical_scope.

[LLDB][SymbolFileDWARF] Added support for RAINCODE_lexical_scope attribute.

[LLDB][PLIUserExpression] Added sizeof operator support, it will be renamed to proper functiona name later.

[LLDB][ValueObject] minor cleanup.

[LLDB][PLIUserExpression] Added STORAGE/STG builtin func support.

[LLDB][PLIUserExpression][CobolUserExpression] Added LENGTH() for Cobol and STG/STORAGE() for PL/I, removed sizeof operator for both.

[LLDB][DWARFASTParserLegacy] Added placeholder for DW_TAG_reference_type.

[LLVM][CodeGen][AsmPrinter] Added DW_AT_name attribute to TAG_array_type.

[LLDB][DWARFExpression] minor cleanup.

[LLDB][PLILanguage] Fixed bitset array size read from array type.

[LLDB][LegacyASTContext] Moved bit array calculation to type system.

[LLVM][AsmPrinter] Fixed TAG_array duplicate attribute export.

[LLVM][C-API] Changes array type api.

[LLDB][PLI/Cobol UserExpression] Fixed array indexing, removed c style [] index access.

[LLDB][PLIUserExpression] minor fix.

[LLDB] Fixed bug relating struct member name access for Cobol/PL1.

fixed coding style/whitespace/typos.

[LLDB][LegacyTypeSystem] Place holder beautification for edited types.

[LLDB] rpm version upgrade.

[LLDB][CobolUserExpression] Fixed pic string ref modifier.

[LLDB][TypeSystem] Added support to mutate existing type length, fixed cobolUserExpression refmod for display type.

[LLDB][CobolUserExpression] Fixed lower bound ref modifier.

[LLDB][Cobol/PLI UserExpression] Fixed error while searching for var, do not fully resolve type.

[LLDB][RPM] fixed rpm version.

cleanup, reduce number of changes from trunk.

cleanup, reduce number of changes fomr trunk.

build fix.

Build fix.

Build fix.

[LegacyASTContext] Fixed bug relating packed decimal going through ebcdic iconv.

[LLVM][DebugInfo] Fixed DIExpression node uniquness issue.

build fix.

cleanup.

Refactoring, moved LegacyASTContext to Plugin typeSystem Legacy.

Refactoring, renamed TypeSystem class.

build fix.

build fix, cleanup.

cleanup

fixed assert failure.

[CobolUserExpression] Added placeholder for simpe assignment operator.

[CobolUserExpression] Added basic support for assigment to variables.

[CobolUserExpression] Added cobol move-to set-to syntex support.

[LegacyTypeSystem][CobolUserExpression] Added literal type double,string. Added TypeSystem Encoding helper functions.

[CobolLexer] Added string,float literal type support.

[PLIUserExpression] Added assignment operator support.

[CobolUserExpression] Added assignment comp-3 support.

[PLIUserExpression] Assignment added pli display type support.

temporary build fix. DIExpression asmprinter, print null for invalid entry.

[Cobol/PLI UserExpression] Assignment endianity bug fix.

[Cobol/PLIUserExpression] fixed data extractpr assert, fixed int precision convertion written as zero.

[Cobol/PLIUserExpression] Assignment display type assert failure.

build fix.

[PLIUserExpression] Added support for var string assignment.

[LegacyUserExpression] Simple semantic check place-holder.

[CobolUserexpression] Assignment expression fixed display, array types.

[TypeSystem] fixed encode int precision bug for i64 to i32.

[PLI/Cobol UserExpression] fixed support for assinment into refmod data type.

[CobolUserExpression] Fixed assignment display/comp-3 regression.

temporary build fix. python3 lib on server needs few changes for this build.

[TypeSystemLegacy] Fixed edited type display, skip formatting for edited type.

[lldbrpm] package lldb-python-script too.

[CobolUserExpression] Fixed SelctorOf expression with array index access e.g (lldb)p LastName1 of VAR(1) of TAB.

[CobolUserExpression] Assignment to packed decimal fixed, added digit count read support from dwarf instead of runtime calculation.

[CoboUserExpression] Fixed assignment string invalid byte order.

[PLIUserExpression] Fixed string padding with space.

[CobolUserExpression] Fixed Assignment string space padding.

[LegacyTypeSysten] fixed crash in encoding due to long length the assignment.

[CobolUserExpression][PLIUserExpression] fixed segfault.

[DebugInfo] export identifier case as insensitive for PLI/Cobol compiled units.

[TypeSystemLegacy] Fixed minor bug with dataencoding.

rebase build fix.

[StackFrame] fixed support for cobol/pli modref select syntex.

case-insensitive breakpoint resolution for PLI/Cobol languages.

cleanup.

build fix.

added initial support for TAG_dynamic_type.

added c/c++ api to create dynamic type debug info.

[DebugInfo] Added support to generate dwarf attribute  DW_AT_allocated for DW_TAG_dynamic_type

[PLIUserExpression][CobolUserExpression] Fixed name variable lookup for few cases.

[DWARFASTParserLegacy] Initial support to parse TAG_dynamic_type.

[AsmPrinter] Fix minor mistake for TAG_dynamic DW_AT_allocated.

[TypeSystemLegacy] Added dynamic type place holder.

[LLVM][AsmPrinter] Allow OP_call2/4 expression on local variable location.

build fix.

[LLDB][CompilerType] Added support to fetch dynamic type info.

[lldb][ValueObjectVariable] Added dynamic variable read support.

[LLDB][ValueObjectVariable] Added allocated check for dynamic types.

[LLDB][ValueObjectVariable] fixed TAG_dynamic type attributes optional.

[LLVM][DebugInfoMetadata] Fixed minor function call.

[LLDB][TypeSystemLegacy] Added dynamic type info support.

build fix.

for jekins, use python3  sharedlibs

lldbrpm use python3.

temporary build fix.

[LLDB][DWARFExpression] Added temporary operation extension for address calculation with file address in dwarf v5.

[LLVM][CodeGen] Fixed dynamic type dwarf expression call2/call4 assert.

[LLVM][Verifier] Added dynamic type check.

[LLVM][Verifier] Added debugInfo verifier dynamic type extra checks.

[LLDB][TypeSystemLegacy] Added check to avoid direct nested dynaic types.

[LLVM][DebugInfo] Adding DW_OP_call2/4 support in TAG_subrange attributes DW_AT_lower_bound, DW_AT_upper_bound.

[LLDB] Added option to hide frames with invalid line entry target.hide-invalid-legacy-frames, this is a temporary placeholder and it will be moved to more suitable location in future.

[LLDB][DataFormatters] Fixed printing of char arrays with non-default format.

[LLDB][StackFrame] Added check for member name lookup to reject array of structs.

[lldb][DataFormatters] fixed multi-dimesional string formatting.

[LLDB][ValueObjectVariable] cleanup: proper error message.

[LLVM][DwarfUnit] Added DW_OP_call2/call4 support for array type.

[LLVM][DwarfCompileUnit] fixed assert failure with DW_OP_call2/call4.

[DIBuilder] Added DW_AT_static_link support.

[LLVM][C-API][DebugInfo] Added support for DW_AT_static_link.

[DebugInfo] fixed minor bug with Staticlink attribute generation.

[DebugInfo] static link cleanup.

rebase build fix.

[LLDB][DWARFParser] Added initial support to parse DW_AT_static_link.

[LLDB][StackFrame] Added support to read static link address.

[LLDB][StackFrameList] Added helper function to search stack list using static link.

[LLDB][ValueObjectPrinter] regression fix for hex format value print.

[LLDB] build fix.

[LLDB][ExpressionParser] bug fixed for positive int expression e.g. p move +3 to var.

[LLDB][TypeSystemLegacy] Fixed bcd signed preferred value encoding.

[LLVM][DebuggerTuning] default tune for lldb.

[LLDB][TypeSystemLegacy] iconv try approximate and ignore if not possible, for character decoding.

rebase build fix.

[LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwriting.

[LLDB][UserExpression] Temporary revert variable name bug.

rebase build fix.

rebase build fix.

rebase build fix.

initial placeholder for DW_AT_RAINCODE_static_link_recv.

[LLDB][CobolUserExpression][PLIUserExpression] fixed variable name overwrite.

[LLDB][Test] fixed UnsupportedLanguage test failure.

[LLDB][CobolUserExpression] Place holder for compare operations.

lldbrpm, temporary skip python dir.

[CobolUserExpression] Adding placeholder for equality comparision.

[PLIUserExpression] PLILexer, added partial support for comparision operators.

[LLDB][DataExtractor] bytes compare func.

rebase build fix.

rebase build fix.

Added DW_AT_RAINCODE_frame_base

Patch by Amin!

[LLDB][DWARFParser] Added support to parse DW_AT_RAINCODE_frame_base.

build fix.

[LLVM] Fix dynamic type

[LLVM-C][API] Add api to create a dynamic DISubrange

[LLDB] Add support for DW_AT_count as a DWARFExpression

- Add DWARFExpression in ArrayInfo;
- Add LegacyDynamicArray type for dynamic arrays;
- Evaluate count expression every time we re-evaluate DW_AT_location.

Rebase and fix compilation failures

Only print case sensitiveness if source language is
Cobol or PL/1.
Fixes the following regressions:
LLVM :: DebugInfo/X86/dwarf-public-names.ll
LLVM :: DebugInfo/X86/length_symbol_difference.ll
LLVM :: MC/X86/dwarf-size-field-overflow.test
LLVM :: tools/llvm-dwarfdump/X86/statistics.ll

(cherry picked from commit ff848081162f81ef3c5d8f447b6c28dd564d4ada)

Use correct record size of DIDerivedType
Use last index for Annotations

replace dyn_cast with dyn_cast_or_null to handle invalid input smoothly

Rebasing on LLVM-17-init and fixes regressions

LZLANG-2470 valgrind vs. lldb_private::TargetCharsetReader::convert
    - remove the static buffer_length variable, which may not be big enough.
    - remove the loop
    - add lldb console errno logging when there is an iconv error.

(cherry picked from commit 120402f28f787a90f65f725307519343b5937fee)

LZLANG-2470 Fixes for previous lldb_private::TargetCharsetReader::convert changes.

(cherry picked from commit 918c9b62a63b71347ebee5a7ccd0bd42bbdfc118)

Lexer Bug Fix

COBOL/PLI lexer would return variable name with '\n' at the start.

1155199180

(cherry picked from commit 7266c35747b19a11081b3fab07f6773bfb15fa1f)

Ported Abhishek's Fix
-Set is_singed for int variables

[lldb] Bridge the gap when debugging the variable with command and codelldb

(cherry picked from commit d88ad8abed856d239628d4cda3fad393fef1ba0e)

Build Fixes after cherry-pick previous commit

strings set by codelldb must be enclosed in quotes

(cherry picked from commit 0072c09fbe9f5ead6bde25060dc8e9f4265989b3)

Bug fix:

p var = val in PLI didn't work

(cherry picked from commit 9f3d16f85434cbd17e26d429622cd6b557eddacb)

Port Abhisheks Fixes
-Fix for MOVE val TO VAR

[lldb] Added the DemangledNameContainsPath overload for pli/cobol

(cherry picked from commit 552cf62d001beb59327e4fb81cd4620ee0d62c55)

Fix warnings

Fields of a struct array can now be used with `p`

e.g FIELD(5) is equivalent to FIELD OF ARR(5)

See ticket 1152892604

(cherry picked from commit 5e02341b015fddaca13a674b34228fe2b080a54c)

Cobol-style multi-index support added

(cherry picked from commit 7b0e7ae494ca2a9799e1f09d87146113de2e0f38)

Fixed LENGTH(var) expression

-get the size of var from lldb

(cherry picked from commit 50657e2e7b2ec81a13764ca0105c130cc95ccfc7)

Warning Fixes

Make breakpoint Cases Insensitive

Fixed Build and Regression failure after rebase

Fixed warnings seen during lldb build

[lldb] Store real bitwidth from debuginfo in Scalar Type

Storing in higher bitwidth than required or specified by debug info
creates problem when byteswap is done.

Make comparison of breakpoint names case insensitive in `findEntryOffsetInCurrentIndex`

1156642284

typo fix: s/key/Key/

[lldb] Fix DWARFASTParser to correctly parse DW_AT_count for dynamic arrays

[lldb] Change the way we look for variables in StackFrame for Legacy Languages 1156032652

[lldb] Bugfix in LENGTH(var) [cobol] and STG(var) [pli]

We were encoding 4 bytes of LENGTH data and reading 8 bytes which cause a problem.
Using size_t instead of uint32_t fixes the problem.

[lldb] Fix cast failure in FindFieldInStructArray

Complicated expressions in lldb broke the assumption that the expression is an identifier, thus we got a cast error.
This fix removes that from happening and also fixes the bug that if the identifier is an array itself the last index specified in the input is used to index that variable itself.

e.g 01 SAMPLE-TABLE.
           05 TABLE-DEPTH OCCURS 3 TIMES.
             10 TABLE-ROW OCCURS 3 TIMES.
               15 TABLE-COLUMN OCCURS 3 TIMES PIC 9(8).

Here TABLE-ROW(1, 2) means second element of TABLE-ROW OF TABLE-DEPTH(1).

Revert "[lldb] Fix cast failure in FindFieldInStructArray"

This reverts commit c1bab0e0b6a798698196434c7bb6cbe391fcdc1b.

[lldb] Add support for IBM array-indexing syntax

see 1156841764

[lldb] Fix cast error and support non-ibm indexing syntax

see 1156841764

[lldb] Fixes After Rebase on llvmorg-18.1.4

[lldb] Fix bug in display of varying PLI strings

See 1156884604

The STG function also should include the prefix when counting the size, which for now is 2 bytes for all strings because the PLI compiler doesn't support COMPAT(V3) version.
If in the future we do support it, we would need to fix this again.

(cherry picked from commit 4b39f3e1b55c3df09f5cb89dcdd347682f790ba9)

[lldb] Add basic support for Level88 conditions

[lldb] Add support for calling the runtime function rc_cob_level88 directly from the "p" command

[lldb] Print the value of level88 variables as true/false with parent name.

Prints the value of level88 condition names by calling the runtime functions and formatting it nicely.

[lldb] Add support for indexed level88 variables

[lldb] Fixes After Rebase on llvm main

[LLDB] Preparation for upstream
xgupta pushed a commit to xgupta/llvm-project that referenced this issue Oct 10, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
pradt2 pushed a commit to pradt2/llvm-project that referenced this issue Oct 18, 2024
The most recent declaration of a template as a friend can introduce a
different template parameter depth compared to what we anticipate from a
CTAD guide.

Fixes llvm#86769
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c++20 clang:frontend Language frontend issues, e.g. anything involving "Sema" concepts C++20 concepts confirmed Verified by a second party crash-on-valid regression
Projects
None yet
Development

Successfully merging a pull request may close this issue.

6 participants