kadircet wrote:
after this change clang seems to be crashing for:
```cpp
template <class>
concept a = true;
template <class>
class b {};
template <typename>
class c {};
template <typename>
class f;
template <typename g, typename h>
requires a<c<g>>
f<g> i(b<f<g>>, h &&);
template <typename>
class f {
template <typename j, typename h>
requires a<c<j>>
friend f<j> i(b<f<j>>, h &&);
};
f<int> k;
void m() { i(b<f<int>>{}, k); }
```
```
$ clang -fsyntax-only -std=c++20 -xc++ prep.cc
clang:
/usr/local/google/home/kadircet/repos/llvm/clang/lib/AST/ExprConstant.cpp:16601:
bool clang::Expr::EvaluateAsConstantExpr(EvalResult &, const ASTContext &,
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:
/usr/local/google/home/kadircet/repos/llvm/build/bin/clang -xc++ -std=c++20
-fsyntax-only prep.cc
1. prep.cc:25:28: current parser token ')'
2. prep.cc:25:10: parsing function body 'm'
3. prep.cc:25:10: in compound statement ('{}')
#0 0x00005579c6d6fee8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
/usr/local/google/home/kadircet/repos/llvm/llvm/lib/Support/Unix/Signals.inc:723:13
#1 0x00005579c6d6dabe llvm::sys::RunSignalHandlers()
/usr/local/google/home/kadircet/repos/llvm/llvm/lib/Support/Signals.cpp:106:18
#2 0x00005579c6cd76d6 HandleCrash
/usr/local/google/home/kadircet/repos/llvm/llvm/lib/Support/CrashRecoveryContext.cpp:73:5
#3 0x00005579c6cd76d6 CrashRecoverySignalHandler(int)
/usr/local/google/home/kadircet/repos/llvm/llvm/lib/Support/CrashRecoveryContext.cpp:390:51
#4 0x00007f6d602591a0 (/lib/x86_64-linux-gnu/libc.so.6+0x3d1a0)
#5 0x00007f6d602a70ec __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
#6 0x00007f6d60259102 gsignal ./signal/../sysdeps/posix/raise.c:27:6
#7 0x00007f6d602424f2 abort ./stdlib/abort.c:81:7
#8 0x00007f6d60242415 _nl_load_domain ./intl/loadmsgcat.c:1177:9
#9 0x00007f6d60251d32 (/lib/x86_64-linux-gnu/libc.so.6+0x35d32)
#10 0x00005579ca73316f
clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&, clang::ASTContext
const&, clang::Expr::ConstantExprKind) const
/usr/local/google/home/kadircet/repos/llvm/clang/lib/AST/ExprConstant.cpp:0:0
#11 0x00005579c972af32 clang::ActionResult<clang::Expr*, true>
calculateConstraintSatisfaction<calculateConstraintSatisfaction(clang::Sema&,
clang::NamedDecl const*, clang::SourceLocation,
clang::MultiLevelTemplateArgumentList const&, clang::Expr const*,
clang::ConstraintSatisfaction&)::ConstraintEvaluator>(clang::Sema&, clang::Expr
const*, clang::ConstraintSatisfaction&,
calculateConstraintSatisfaction(clang::Sema&, clang::NamedDecl const*,
clang::SourceLocation, clang::MultiLevelTemplateArgumentList const&,
clang::Expr const*, clang::ConstraintSatisfaction&)::ConstraintEvaluator
const&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaConcept.cpp:389:71
#12 0x00005579c97237fb isInvalid
/usr/local/google/home/kadircet/repos/llvm/clang/include/clang/Sema/Ownership.h:199:41
#13 0x00005579c97237fb CheckConstraintSatisfaction(clang::Sema&,
clang::NamedDecl const*, llvm::ArrayRef<clang::Expr const*>,
llvm::SmallVectorImpl<clang::Expr*>&, clang::MultiLevelTemplateArgumentList
const&, clang::SourceRange, clang::ConstraintSatisfaction&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaConcept.cpp:600:13
#14 0x00005579c972354f
clang::Sema::CheckConstraintSatisfaction(clang::NamedDecl const*,
llvm::ArrayRef<clang::Expr const*>, llvm::SmallVectorImpl<clang::Expr*>&,
clang::MultiLevelTemplateArgumentList const&, clang::SourceRange,
clang::ConstraintSatisfaction&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaConcept.cpp:658:7
#15 0x00005579c9726f4e
clang::Sema::CheckInstantiatedFunctionTemplateConstraints(clang::SourceLocation,
clang::FunctionDecl*, llvm::ArrayRef<clang::TemplateArgument>,
clang::ConstraintSatisfaction&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaConcept.cpp:1151:10
#16 0x00005579c9ffbd5e
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 ()>)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaTemplateDeduction.cpp:0:9
#17 0x00005579ca07b4e9 operator()
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaTemplateDeduction.cpp:4647:5
#18 0x00005579ca07b4e9 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>)>)::$_2>(long)
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/ADT/STLFunctionalExtras.h:45:12
#19 0x00005579c77a485f
clang::StackExhaustionHandler::runWithSufficientStackSpace(clang::SourceLocation,
llvm::function_ref<void ()>)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Basic/StackExhaustionHandler.cpp:21:1
#20 0x00005579c9ffe52b
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>)>)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaTemplateDeduction.cpp:4654:10
#21 0x00005579c9e90147
clang::Sema::AddTemplateOverloadCandidate(clang::FunctionTemplateDecl*,
clang::DeclAccessPair, clang::TemplateArgumentListInfo*,
llvm::ArrayRef<clang::Expr*>, clang::OverloadCandidateSet&, bool, bool, bool,
clang::CallExpr::ADLCallKind, clang::OverloadCandidateParamOrder, bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaOverload.cpp:7788:14
#22 0x00005579c9ea35d2 AddOverloadedCallCandidate(clang::Sema&,
clang::DeclAccessPair, clang::TemplateArgumentListInfo*,
llvm::ArrayRef<clang::Expr*>, clang::OverloadCandidateSet&, bool, bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaOverload.cpp:13588:7
#23 0x00005579c9ea343c
clang::Sema::AddOverloadedCallCandidates(clang::UnresolvedLookupExpr*,
llvm::ArrayRef<clang::Expr*>, clang::OverloadCandidateSet&, bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaOverload.cpp:0:5
#24 0x00005579c9ea396e getLangOpts
/usr/local/google/home/kadircet/repos/llvm/clang/include/clang/Sema/Sema.h:524:51
#25 0x00005579c9ea396e clang::Sema::buildOverloadedCallSet(clang::Scope*,
clang::Expr*, clang::UnresolvedLookupExpr*,
llvm::MutableArrayRef<clang::Expr*>, clang::SourceLocation,
clang::OverloadCandidateSet*, clang::ActionResult<clang::Expr*, true>*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaOverload.cpp:13950:7
#26 0x00005579c9ea3d9b clang::Sema::BuildOverloadedCallExpr(clang::Scope*,
clang::Expr*, clang::UnresolvedLookupExpr*, clang::SourceLocation,
llvm::MutableArrayRef<clang::Expr*>, clang::SourceLocation, clang::Expr*, bool,
bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaOverload.cpp:14156:7
#27 0x00005579c99d2163 clang::Sema::BuildCallExpr(clang::Scope*, clang::Expr*,
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>,
clang::SourceLocation, clang::Expr*, bool, bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaExpr.cpp:6559:16
#28 0x00005579c99e904b clang::Sema::ActOnCallExpr(clang::Scope*, clang::Expr*,
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>,
clang::SourceLocation, clang::Expr*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Sema/SemaExpr.cpp:6445:7
#29 0x00005579c949affb
clang::Parser::ParsePostfixExpressionSuffix(clang::ActionResult<clang::Expr*,
true>)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseExpr.cpp:2242:23
#30 0x00005579c949d09d
clang::Parser::ParseCastExpression(clang::Parser::CastParseKind, bool, bool&,
clang::Parser::TypeCastState, bool, bool*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseExpr.cpp:1944:9
#31 0x00005579c94988c9 ParseCastExpression
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseExpr.cpp:710:20
#32 0x00005579c94988c9
clang::Parser::ParseAssignmentExpression(clang::Parser::TypeCastState)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseExpr.cpp:184:20
#33 0x00005579c94987c9
clang::Parser::ParseExpression(clang::Parser::TypeCastState)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseExpr.cpp:136:10
#34 0x00005579c9523214 isInvalid
/usr/local/google/home/kadircet/repos/llvm/clang/include/clang/Sema/Ownership.h:199:41
#35 0x00005579c9523214
clang::Parser::ParseExprStatement(clang::Parser::ParsedStmtContext)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseStmt.cpp:565:12
#36 0x00005579c9521069
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*,
clang::ParsedAttributes&, clang::ParsedAttributes&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseStmt.cpp:0:14
#37 0x00005579c95209e4
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseStmt.cpp:125:20
#38 0x00005579c952a7bf clang::Parser::ParseCompoundStatementBody(bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseStmt.cpp:1259:11
#39 0x00005579c952b562 clang::Parser::ParseFunctionStatementBody(clang::Decl*,
clang::Parser::ParseScope&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseStmt.cpp:2565:21
#40 0x00005579c947d3c2
clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/Parser.cpp:0:0
#41 0x00005579c94e668e clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&,
clang::DeclaratorContext, clang::ParsedAttributes&,
clang::Parser::ParsedTemplateInfo&, clang::SourceLocation*,
clang::Parser::ForRangeInit*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseDecl.cpp:2463:18
#42 0x00005579c947c368
clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&,
clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/Parser.cpp:0:10
#43 0x00005579c947bb82
clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&,
clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/Parser.cpp:1266:12
#44 0x00005579c947aac9
clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&,
clang::ParsedAttributes&, clang::ParsingDeclSpec*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/Parser.cpp:0:14
#45 0x00005579c9478dd6
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&,
clang::Sema::ModuleImportState&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/Parser.cpp:758:10
#46 0x00005579c9474c9e clang::ParseAST(clang::Sema&, bool, bool)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Parse/ParseAST.cpp:170:5
#47 0x00005579c7a63c4f clang::FrontendAction::Execute()
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Frontend/FrontendAction.cpp:1081:10
#48 0x00005579c79d803d getPtr
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/Support/Error.h:279:42
#49 0x00005579c79d803d operator bool
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/Support/Error.h:242:16
#50 0x00005579c79d803d
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Frontend/CompilerInstance.cpp:1060:23
#51 0x00005579c7b4c7ee
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:296:25
#52 0x00005579c454c49e cc1_main(llvm::ArrayRef<char const*>, char const*,
void*)
/usr/local/google/home/kadircet/repos/llvm/clang/tools/driver/cc1_main.cpp:285:15
#53 0x00005579c454891d ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&,
llvm::ToolContext const&)
/usr/local/google/home/kadircet/repos/llvm/clang/tools/driver/driver.cpp:217:12
#54 0x00005579c78276c9 operator()
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Driver/Job.cpp:439:30
#55 0x00005579c78276c9 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::$_0>(long)
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/ADT/STLFunctionalExtras.h:45:12
#56 0x00005579c6cd7416 operator()
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/ADT/STLFunctionalExtras.h:0:12
#57 0x00005579c6cd7416
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
/usr/local/google/home/kadircet/repos/llvm/llvm/lib/Support/CrashRecoveryContext.cpp:426:3
#58 0x00005579c7826db2
clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>,
std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char>>*, bool*) const
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Driver/Job.cpp:439:7
#59 0x00005579c77e64e7
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&, bool) const
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Driver/Compilation.cpp:199:15
#60 0x00005579c77e67d7
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool)
const
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Driver/Compilation.cpp:253:13
#61 0x00005579c78040e8 empty
/usr/local/google/home/kadircet/repos/llvm/llvm/include/llvm/ADT/SmallVector.h:81:46
#62 0x00005579c78040e8
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&)
/usr/local/google/home/kadircet/repos/llvm/clang/lib/Driver/Driver.cpp:1972:23
#63 0x00005579c4547ee1 clang_main(int, char**, llvm::ToolContext const&)
/usr/local/google/home/kadircet/repos/llvm/clang/tools/driver/driver.cpp:393:21
#64 0x00005579c4558377 main
/usr/local/google/home/kadircet/repos/llvm/build/tools/clang/tools/driver/clang-driver.cpp:17:10
#65 0x00007f6d60243b8a __libc_start_call_main
./csu/../sysdeps/nptl/libc_start_call_main.h:74:3
#66 0x00007f6d60243c45 call_init ./csu/../csu/libc-start.c:128:20
#67 0x00007f6d60243c45 __libc_start_main ./csu/../csu/libc-start.c:347:5
#68 0x00005579c45464a1 _start
(/usr/local/google/home/kadircet/repos/llvm/build/bin/clang+0x5c2a4a1)
```
before this patch clang accepts this code just fine, no diags/errs.
https://github.com/llvm/llvm-project/pull/114569
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
