[llvm-bugs] [Bug 43498] New: ICE when compiling minisat in LLVM test suite.
via llvm-bugs
llvm-bugs at lists.llvm.org
Sun Sep 29 01:43:09 PDT 2019
https://bugs.llvm.org/show_bug.cgi?id=43498
Bug ID: 43498
Summary: ICE when compiling minisat in LLVM test suite.
Product: clang
Version: trunk
Hardware: PC
OS: MacOS X
Status: NEW
Severity: enhancement
Priority: P
Component: -New Bugs
Assignee: unassignedclangbugs at nondot.org
Reporter: fwage73 at gmail.com
CC: htmldeveloper at gmail.com, llvm-bugs at lists.llvm.org,
neeilans at live.com, richard-llvm at metafoo.co.uk
I encountered this when trying building LLVM test suite. Minisat
(MultiSource/Applications/minisat) failed and it caused ICE.
To re-produce it, checkout [llvm-test-suite's
minisat](https://github.com/llvm/llvm-test-suite/tree/master/MultiSource/Applications/minisat)
and `clang++ Solver.cpp`.
Clang source code revision: 9bc1c6e (llvm-project on GitHub)
Operating system: macOS 10.14.6
CPU: Intel(R) Core(TM) i7-6820HQ
Assertation failure detail:
Assertion failed: (E->isRValue() && E->getType()->hasPointerRepresentation()),
function EvaluatePointer, file llvm-project/clang/lib/AST/ExprConstant.cpp,
line 7638.
Stack dump:
0. Program arguments: build/llvm/bin/clang-10 -cc1 -triple
x86_64-apple-macosx10.14.0 -Wdeprecated-objc-isa-usage
-Werror=deprecated-objc-isa-usage -emit-obj -mrelax-all -disable-free
-main-file-name Solver.cpp -mrelocation-model pic -pic-level 2 -mthread-model
posix -mframe-pointer=all -masm-verbose -munwind-tables -target-cpu penryn
-dwarf-column-info -debugger-tuning=lldb -target-linker-version 512.4
-resource-dir build/llvm/lib/clang/10.0.0 -stdlib=libc++ -internal-isystem
build/llvm/bin/../include/c++/v1 -internal-isystem /usr/include/c++/v1
-internal-isystem /usr/local/include -internal-isystem
build/llvm/lib/clang/10.0.0/include -internal-externc-isystem /usr/include
-fdeprecated-macro -fdebug-compilation-dir
llvm-test-suite/MultiSource/Applications/minisat -ferror-limit 19
-fmessage-length 158 -stack-protector 1 -fblocks
-fencode-extended-block-signature -fregister-global-dtors-with-atexit
-fobjc-runtime=macosx-10.14.0 -fcxx-exceptions -fexceptions -fmax-type-align=16
-fdiagnostics-show-option -fcolor-diagnostics -o
/var/folders/qp/fs9tjzg146349hhxk33y98380000gn/T/Solver-f521ac.o -x c++
Solver.cpp
1. <eof> parser at end of file
2. ./Alg.h:29:20: instantiating function definition 'remove<vec<Clause *>,
Clause *>'
3. ./Vec.h:74:14: instantiating function definition 'vec<Clause *>::pop'
0 clang-10 0x0000000107489965
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 37
1 clang-10 0x0000000107488868 llvm::sys::RunSignalHandlers() +
248
2 clang-10 0x0000000107489f68 SignalHandler(int) + 264
3 libsystem_platform.dylib 0x00007fff649c1b5d _sigtramp + 29
4 clang-10 0x000000010a318068
llvm::DenseMapInfo<llvm::codeview::GloballyHashedType>::Tombstone + 132024
5 libsystem_c.dylib 0x00007fff6487b6a6 abort + 127
6 libsystem_c.dylib 0x00007fff6484420d basename_r + 0
7 clang-10 0x00000001095d2b02
EvaluateObjectArgument((anonymous namespace)::EvalInfo&, clang::Expr const*,
(anonymous namespace)::LValue&) + 402
8 clang-10 0x000000010964dd4c (anonymous
namespace)::ExprEvaluatorBase<(anonymous
namespace)::VoidExprEvaluator>::handleCallExpr(clang::CallExpr const*,
clang::APValue&, (anonymous namespace)::LValue const*) + 1932
9 clang-10 0x000000010964a276
clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous
namespace)::VoidExprEvaluator, bool>::Visit(clang::Stmt const*) + 470
10 clang-10 0x000000010964ca7e (anonymous
namespace)::ExprEvaluatorBase<(anonymous
namespace)::VoidExprEvaluator>::VisitBinaryOperator(clang::BinaryOperator
const*) + 526
11 clang-10 0x00000001095ce65e Evaluate(clang::APValue&,
(anonymous namespace)::EvalInfo&, clang::Expr const*) + 3934
12 clang-10 0x00000001095cfe5f EvaluateAsRValue((anonymous
namespace)::EvalInfo&, clang::Expr const*, clang::APValue&) + 127
13 clang-10 0x00000001095d00e0
clang::Expr::EvaluateForOverflow(clang::ASTContext const&) const + 176
14 clang-10 0x0000000108c096ed
clang::Sema::CheckForIntOverflow(clang::Expr*) + 237
15 clang-10 0x0000000108c09c6c
clang::Sema::CheckCompletedExpr(clang::Expr*, clang::SourceLocation, bool) +
156
16 clang-10 0x0000000108f1bdae
clang::Sema::ActOnFinishFullExpr(clang::Expr*, clang::SourceLocation, bool,
bool) + 286
17 clang-10 0x00000001090eccc8
clang::Sema::ActOnExprStmt(clang::ActionResult<clang::Expr*, true>, bool) + 56
18 clang-10 0x0000000109236ac6 clang::TreeTransform<(anonymous
namespace)::TemplateInstantiator>::TransformCompoundStmt(clang::CompoundStmt*,
bool) + 534
19 clang-10 0x000000010921c72f
clang::Sema::SubstStmt(clang::Stmt*, clang::MultiLevelTemplateArgumentList
const&) + 79
20 clang-10 0x000000010925e15a
clang::Sema::InstantiateFunctionDefinition(clang::SourceLocation,
clang::FunctionDecl*, bool, bool, bool) + 3690
21 clang-10 0x00000001092613a1
clang::Sema::PerformPendingInstantiations(bool) + 609
22 clang-10 0x000000010925e32c
clang::Sema::InstantiateFunctionDefinition(clang::SourceLocation,
clang::FunctionDecl*, bool, bool, bool) + 4156
23 clang-10 0x00000001092613a1
clang::Sema::PerformPendingInstantiations(bool) + 609
24 clang-10 0x0000000108ba0425
clang::Sema::ActOnEndOfTranslationUnitFragment(clang::Sema::TUFragmentKind) +
373
25 clang-10 0x0000000108ba10b6
clang::Sema::ActOnEndOfTranslationUnit() + 246
26 clang-10 0x0000000108afb227
clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, bool)
+ 903
27 clang-10 0x0000000108a3f737 clang::ParseAST(clang::Sema&,
bool, bool) + 503
28 clang-10 0x0000000107c56713 clang::FrontendAction::Execute()
+ 163
29 clang-10 0x0000000107bed7f8
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 1640
30 clang-10 0x0000000107cca3b6
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1830
31 clang-10 0x00000001061702a4 cc1_main(llvm::ArrayRef<char
const*>, char const*, void*) + 2276
32 clang-10 0x000000010616da99 main + 11129
33 libdyld.dylib 0x00007fff647d63d5 start + 1
clang-10: error: unable to execute command: Abort trap: 6
clang-10: error: clang frontend command failed due to signal (use -v to see
invocation)
clang version 10.0.0 (git at github.com:llvm/llvm-project.git
9bc1c6ecc5682c241e09c59e3c3e3a1fc7f0e7f5)
Target: x86_64-apple-darwin18.7.0
Thread model: posix
--
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/20190929/49af92f3/attachment.html>
More information about the llvm-bugs
mailing list