[llvm-bugs] [Bug 46865] New: Assertion failure '!VD->mightBeUsableInConstantExpressions' in Clang
via llvm-bugs
llvm-bugs at lists.llvm.org
Mon Jul 27 13:29:45 PDT 2020
https://bugs.llvm.org/show_bug.cgi?id=46865
Bug ID: 46865
Summary: Assertion failure
'!VD->mightBeUsableInConstantExpressions' in Clang
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: C++
Assignee: unassignedclangbugs at nondot.org
Reporter: sunil_srivastava at playstation.sony.com
CC: blitzrakete at gmail.com, dgregor at apple.com,
erik.pilkington at gmail.com, llvm-bugs at lists.llvm.org,
richard-llvm at metafoo.co.uk
Created attachment 23776
--> https://bugs.llvm.org/attachment.cgi?id=23776&action=edit
Source
The attached test case, trimmed from a larger test case, gives an assertion
failure as shown below.
This run is with x86_64-unknown-linux-gnu triple on Linux.
This first started shows up in commit
https://github.com/llvm/llvm-project/commit/00068c452a599c328986e8,
but recent commits also gives same assertion.
$ clang -c -std=c++17 c6.cpp
clang: /home/sunil/CLANG-GIT/llvm-project/clang/lib/AST/ExprConstant.cpp:3079:
bool evaluateVarDeclInit({anonymous}::EvalInfo&, const clang::Expr*, const
clang::VarDecl*, {anonymous}::CallStackFrame*, clang::APValue*&, const
{anonymous}::LValue*): Assertion
`!VD->mightBeUsableInConstantExpressions(Info.Ctx)' failed.
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash
backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: /home/sunil/CLANG-ARCHIVE/g23206/bin/clang -c
-std=c++17 c6.cpp
1. c6.cpp:66:1: current parser token '}'
2. c6.cpp:55:67: parsing function body
'bottom_level_bvh_builder::compute_entire_bounding_box'
3. c6.cpp:55:67: in compound statement ('{}')
#0 0x000055f08b072b6a llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x6cc9b6a)
#1 0x000055f08b070794 llvm::sys::RunSignalHandlers()
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x6cc7794)
#2 0x000055f08b070a05 llvm::sys::CleanupOnSignal(unsigned long)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x6cc7a05)
#3 0x000055f08afd5a98 CrashRecoverySignalHandler(int)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x6c2ca98)
#4 0x00007ffb24b798a0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x128a0)
#5 0x00007ffb2382af47 raise
/build/glibc-2ORdQG/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
#6 0x00007ffb2382c8b1 abort /build/glibc-2ORdQG/glibc-2.27/stdlib/abort.c:81:0
#7 0x00007ffb2381c42a __assert_fail_base
/build/glibc-2ORdQG/glibc-2.27/assert/assert.c:89:0
#8 0x00007ffb2381c4a2 (/lib/x86_64-linux-gnu/libc.so.6+0x304a2)
#9 0x000055f08d6a0bbe (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x92f7bbe)
#10 0x000055f08d6be79f (anonymous
namespace)::LValueExprEvaluator::VisitVarDecl(clang::Expr const*,
clang::VarDecl const*) (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x931579f)
#11 0x000055f08d6ebde1 (anonymous
namespace)::LValueExprEvaluator::VisitDeclRefExpr(clang::DeclRefExpr const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9342de1)
#12 0x000055f08d6d1a84 clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous
namespace)::LValueExprEvaluator, bool>::Visit(clang::Stmt const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9328a84)
#13 0x000055f08d6ebdf5 (anonymous
namespace)::LValueExprEvaluator::VisitDeclRefExpr(clang::DeclRefExpr const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9342df5)
#14 0x000055f08d6d1a84 clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous
namespace)::LValueExprEvaluator, bool>::Visit(clang::Stmt const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9328a84)
#15 0x000055f08d6d3630 EvaluateLValue(clang::Expr const*, (anonymous
namespace)::LValue&, (anonymous namespace)::EvalInfo&, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x932a630)
#16 0x000055f08d6e72c1 (anonymous
namespace)::IntExprEvaluator::VisitCastExpr(clang::CastExpr const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x933e2c1)
#17 0x000055f08d6c040d clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous
namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x931740d)
#18 0x000055f08d6b5015 Evaluate(clang::APValue&, (anonymous
namespace)::EvalInfo&, clang::Expr const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x930c015)
#19 0x000055f08d6d2977 clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous
namespace)::LValueExprEvaluator, bool>::Visit(clang::Stmt const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9329977)
#20 0x000055f08d6d3630 EvaluateLValue(clang::Expr const*, (anonymous
namespace)::LValue&, (anonymous namespace)::EvalInfo&, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x932a630)
#21 0x000055f08d6b4c31 Evaluate(clang::APValue&, (anonymous
namespace)::EvalInfo&, clang::Expr const*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x930bc31)
#22 0x000055f08d6badae EvaluateAsRValue((anonymous namespace)::EvalInfo&,
clang::Expr const*, clang::APValue&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9311dae)
#23 0x000055f08d6bb366 clang::Expr::EvaluateForOverflow(clang::ASTContext
const&) const (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x9312366)
#24 0x000055f08cc4387e clang::Sema::CheckForIntOverflow(clang::Expr*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x889a87e)
#25 0x000055f08cc7b369 clang::Sema::CheckCompletedExpr(clang::Expr*,
clang::SourceLocation, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x88d2369)
#26 0x000055f08cfeae9c clang::Sema::ActOnFinishFullExpr(clang::Expr*,
clang::SourceLocation, bool, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8c41e9c)
#27 0x000055f08d1bf034
clang::Sema::ActOnExprStmt(clang::ActionResult<clang::Expr*, true>, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8e16034)
#28 0x000055f08cafd463
clang::Parser::ParseExprStatement(clang::Parser::ParsedStmtContext)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8754463)
#29 0x000055f08cafdf17
clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*,
clang::Parser::ParsedAttributesWithRange&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8754f17)
#30 0x000055f08cafe771
clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*,
32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8755771)
#31 0x000055f08cb02039 clang::Parser::ParseCompoundStatementBody(bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8759039)
#32 0x000055f08cb0445b clang::Parser::ParseFunctionStatementBody(clang::Decl*,
clang::Parser::ParseScope&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x875b45b)
#33 0x000055f08cae5bf4
clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&,
clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x873cbf4)
#34 0x000055f08cb7f048
clang::Parser::ParseSingleDeclarationAfterTemplate(clang::DeclaratorContext,
clang::Parser::ParsedTemplateInfo const&, clang::ParsingDeclRAIIObject&,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x87d6048)
#35 0x000055f08cb7fb1e
clang::Parser::ParseTemplateDeclarationOrSpecialization(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x87d6b1e)
#36 0x000055f08cb7ff69
clang::Parser::ParseDeclarationStartingWithTemplate(clang::DeclaratorContext,
clang::SourceLocation&, clang::ParsedAttributes&, clang::AccessSpecifier)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x87d6f69)
#37 0x000055f08cb1bbc6
clang::Parser::ParseDeclaration(clang::DeclaratorContext,
clang::SourceLocation&, clang::Parser::ParsedAttributesWithRange&,
clang::SourceLocation*) (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8772bc6)
#38 0x000055f08cae6e7d
clang::Parser::ParseExternalDeclaration(clang::Parser::ParsedAttributesWithRange&,
clang::ParsingDeclSpec*) (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x873de7d)
#39 0x000055f08cae8209
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x873f209)
#40 0x000055f08cade259 clang::ParseAST(clang::Sema&, bool, bool)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x8735259)
#41 0x000055f08bac0618 clang::CodeGenAction::ExecuteAction()
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x7717618)
#42 0x000055f08b9c8529 clang::FrontendAction::Execute()
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x761f529)
#43 0x000055f08b92c482
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x7583482)
#44 0x000055f08ba93ea6
clang::ExecuteCompilerInvocation(clang::CompilerInstance*)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x76eaea6)
#45 0x000055f088ebd35c cc1_main(llvm::ArrayRef<char const*>, char const*,
void*) (/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x4b1435c)
#46 0x000055f088eb6339 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x4b0d339)
#47 0x000055f08b808bf5 void llvm::function_ref<void
()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const::'lambda'()>(long)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x745fbf5)
#48 0x000055f08afd5b73
llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x6c2cb73)
#49 0x000055f08b809538
clang::driver::CC1Command::Execute(llvm::ArrayRef<llvm::Optional<llvm::StringRef>
>, std::__cxx11::basic_string<char, std::char_traits<char>,
std::allocator<char> >*, bool*) const (.part.146)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x7460538)
#50 0x000055f08b7e2175
clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&,
clang::driver::Command const*&) const
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x7439175)
#51 0x000055f08b7e2c1f
clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&) const
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x7439c1f)
#52 0x000055f08b7eb5d9
clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&,
llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*> >&)
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x74425d9)
#53 0x000055f088eb9d0f main
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x4b10d0f)
#54 0x00007ffb2380db97 __libc_start_main
/build/glibc-2ORdQG/glibc-2.27/csu/../csu/libc-start.c:344:0
#55 0x000055f088eb5b0a _start
(/home/sunil/CLANG-ARCHIVE/g23206/bin/clang+0x4b0cb0a)
clang-11: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 11.0.0 (https://github.com/llvm/llvm-project.git
00068c452a599c328986e8afcbb3311331d09d26)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/sunil/CLANG-ARCHIVE/g23206/bin
clang-11: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-11: note: diagnostic msg: /tmp/c6-62bb79.cpp
clang-11: note: diagnostic msg: /tmp/c6-62bb79.sh
clang-11: note: diagnostic msg:
********************
--
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200727/98027c62/attachment-0001.html>
More information about the llvm-bugs
mailing list