<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Assertion "Expression evaluator can't be called on a dependent expression." when a consteval function called."
href="https://bugs.llvm.org/show_bug.cgi?id=49842">49842</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion "Expression evaluator can't be called on a dependent expression." when a consteval function called.
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Windows NT
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>C++2a
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>balazs.benics@sigmatechnology.se
</td>
</tr>
<tr>
<th>CC</th>
<td>blitzrakete@gmail.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>Here is the code snippet which triggers the assertion at line 14816 of
ExprConstant.cpp.
<a href="https://github.com/llvm/llvm-project/blob/3315bd0beb4cf23f838bd522a1f0e3fcc0a9fae2/clang/lib/AST/ExprConstant.cpp#L14816-L14817">https://github.com/llvm/llvm-project/blob/3315bd0beb4cf23f838bd522a1f0e3fcc0a9fae2/clang/lib/AST/ExprConstant.cpp#L14816-L14817</a>
```
consteval int id(int x) { return x; }
template <typename T>
struct foo {
static constexpr auto dependent = id(alignof(T));
};
```
Here is the godbolt link demonstrating the crash:
<a href="https://godbolt.org/z/PrPqaP8M9">https://godbolt.org/z/PrPqaP8M9</a>
The stack trace:
clang++: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:14817: 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 <a href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments:
/opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -g -o ./output.s
-mllvm --x86-asm-syntax=intel -S
--gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics
-fno-crash-diagnostics -O3 -Wall -Wextra -std=c++20 <source>
1. <source>:5:51: current parser token ';'
2. <source>:4:1: parsing struct/union/class body 'foo'
#0 0x000056090be5bedc llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3595edc)
#1 0x000056090be59ba4 llvm::sys::RunSignalHandlers()
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3593ba4)
#2 0x000056090be59e25 llvm::sys::CleanupOnSignal(unsigned long)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3593e25)
#3 0x000056090bdb4af8 CrashRecoverySignalHandler(int)
CrashRecoveryContext.cpp:0:0
#4 0x00007f086a5e33c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#5 0x00007f086a0b318b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4618b)
#6 0x00007f086a092859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x25859)
#7 0x00007f086a092729 (/lib/x86_64-linux-gnu/libc.so.6+0x25729)
#8 0x00007f086a0a3f36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#9 0x000056090e83473d
clang::Expr::EvaluateAsConstantExpr(clang::Expr::EvalResult&, clang::ASTContext
const&, clang::Expr::ConstantExprKind) const
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f6e73d)
#10 0x000056090df87198 clang::Sema::PopExpressionEvaluationContext()
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x56c1198)
#11 0x000056090dc12e89 clang::Parser::ParseCXXMemberInitializer(clang::Decl*,
bool, clang::SourceLocation&)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x534ce89)
#12 0x000056090dc1f9a1
clang::Parser::ParseCXXClassMemberDeclaration(clang::AccessSpecifier,
clang::ParsedAttributes&, clang::Parser::ParsedTemplateInfo const&,
clang::ParsingDeclRAIIObject*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x53599a1)
#13 0x000056090dc1feca
clang::Parser::ParseCXXClassMemberDeclarationWithPragmas(clang::AccessSpecifier&,
clang::ParsedAttributesWithRange&, clang::TypeSpecifierType, clang::Decl*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5359eca)
#14 0x000056090dc20891
clang::Parser::ParseCXXMemberSpecification(clang::SourceLocation,
clang::SourceLocation, clang::ParsedAttributesWithRange&, unsigned int,
clang::Decl*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x535a891)
#15 0x000056090dc22fda
clang::Parser::ParseClassSpecifier(clang::tok::TokenKind,
clang::SourceLocation, clang::DeclSpec&, clang::Parser::ParsedTemplateInfo
const&, clang::AccessSpecifier, bool, clang::Parser::DeclSpecContext,
clang::ParsedAttributesWithRange&)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x535cfda)
#16 0x000056090dc0543c
clang::Parser::ParseDeclarationSpecifiers(clang::DeclSpec&,
clang::Parser::ParsedTemplateInfo const&, clang::AccessSpecifier,
clang::Parser::DeclSpecContext, clang::Parser::LateParsedAttrList*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x533f43c)
#17 0x000056090dc91ed5
clang::Parser::ParseSingleDeclarationAfterTemplate(clang::DeclaratorContext,
clang::Parser::ParsedTemplateInfo const&, clang::ParsingDeclRAIIObject&,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x53cbed5)
#18 0x000056090dc9c8a3
clang::Parser::ParseTemplateDeclarationOrSpecialization(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x53d68a3)
#19 0x000056090dc9cc79
clang::Parser::ParseDeclarationStartingWithTemplate(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x53d6c79)
#20 0x000056090dc0aea6
clang::Parser::ParseDeclaration(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributesWithRange&,
clang::SourceLocation*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5344ea6)
#21 0x000056090dbe551d
clang::Parser::ParseExternalDeclaration(clang::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x531f51d)
#22 0x000056090dbe6139
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5320139)
#23 0x000056090dbdc679 clang::ParseAST(clang::Sema&, bool, bool)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5316679)
#24 0x000056090cd946b8 clang::CodeGenAction::ExecuteAction()
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x44ce6b8)
#25 0x000056090c71c451 clang::FrontendAction::Execute()
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3e56451)
#26 0x000056090c6b7a72
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3df1a72)
#27 0x000056090c7e7b7a
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f21b7a)
#28 0x0000560909b0afbc cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x1244fbc)
#29 0x0000560909b062d9 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
driver.cpp:0:0
#30 0x000056090c575ce5 void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
<span class="quote">>, std::__cxx11::basic_string<char, std::char_traits<char>,</span >
std::allocator<char> >*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#31 0x000056090bdb4bd3
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x34eebd3)
#32 0x000056090c576684
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
<span class="quote">>, std::__cxx11::basic_string<char, std::char_traits<char>,</span >
std::allocator<char> >*, bool*) const (.part.162) Job.cpp:0:0
#33 0x000056090c54e7da
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c887da)
#34 0x000056090c54f47f
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c8947f)
#35 0x000056090c557e1a
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c91e1a)
#36 0x0000560909a1f1e0 main
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x11591e0)
#37 0x00007f086a0940b3 __libc_start_main
(/lib/x86_64-linux-gnu/libc.so.6+0x270b3)
#38 0x0000560909b05e1a _start
(/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x123fe1a)
clang-13: error: clang frontend command failed with exit code 134 (use -v to
see invocation)
Compiler returned: 134</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>