<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 - ICE when compiling minisat in LLVM test suite."
href="https://bugs.llvm.org/show_bug.cgi?id=43498">43498</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>ICE when compiling minisat in LLVM test suite.
</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>MacOS X
</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>-New Bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>fwage73@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>htmldeveloper@gmail.com, llvm-bugs@lists.llvm.org, neeilans@live.com, richard-llvm@metafoo.co.uk
</td>
</tr></table>
<p>
<div>
<pre>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](<a href="https://github.com/llvm/llvm-test-suite/tree/master/MultiSource/Applications/minisat">https://github.com/llvm/llvm-test-suite/tree/master/MultiSource/Applications/minisat</a>)
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 (<a href="mailto:git@github.com">git@github.com</a>:llvm/llvm-project.git
9bc1c6ecc5682c241e09c59e3c3e3a1fc7f0e7f5)
Target: x86_64-apple-darwin18.7.0
Thread model: posix</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>