<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 - CFI: Assert triggered by LowerTypeTests"
href="https://bugs.llvm.org/show_bug.cgi?id=35201">35201</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>CFI: Assert triggered by LowerTypeTests
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Interprocedural Optimizations
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>dmitry.mikulin@sony.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=19369" name="attach_19369" title="repro test case">attachment 19369</a> <a href="attachment.cgi?id=19369&action=edit" title="repro test case">[details]</a></span>
repro test case
Compiling and linking the attached test case with CFI enabled hits an assert
replacing a function pointer use in blockaddress with a jump table pointer
generated by CFI instrumentation.
# clang -O0 -flto -fvisibility=hidden -fsanitize=cfi -c -target
x86_64-unknown-linux test.c
# ld.lld test.o
Assertion failed: (isa<X>(Val) && "cast<Ty>() argument of incompatible type!"),
function cast, file
/Users/dmikulin/Dev/llvm-project/llvm/include/llvm/Support/Casting.h, line 255.
0 ld.lld 0x000000010bc3143c
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 60
1 ld.lld 0x000000010bc319b9
PrintStackTraceSignalHandler(void*) + 25
2 ld.lld 0x000000010bc2d3e9 llvm::sys::RunSignalHandlers() +
425
3 ld.lld 0x000000010bc31ff2 SignalHandler(int) + 354
4 libsystem_platform.dylib 0x00007fff90bf052a _sigtramp + 26
5 libsystem_platform.dylib 0x4e8c155bd9ddce45 _sigtramp + 1226754357
6 libsystem_c.dylib 0x00007fff8b5626df abort + 129
7 libsystem_c.dylib 0x00007fff8b529dd8 basename + 0
8 ld.lld 0x000000010fbbcb67 llvm::cast_retty<llvm::Function,
llvm::Value*>::ret_type llvm::cast<llvm::Function, llvm::Value>(llvm::Value*) +
103
9 ld.lld 0x000000010fbbc6bb
llvm::BlockAddress::handleOperandChangeImpl(llvm::Value*, llvm::Value*) + 123
10 ld.lld 0x000000010fbc38de
llvm::Constant::handleOperandChange(llvm::Value*, llvm::Value*) + 270
11 ld.lld 0x000000010fddc4bf
llvm::Value::doRAUW(llvm::Value*, bool) + 495
12 ld.lld 0x000000010fddcb0f
llvm::Value::replaceAllUsesWith(llvm::Value*) + 31
13 ld.lld 0x000000010eb2e64f (anonymous
namespace)::LowerTypeTestsModule::buildBitSetsFromFunctionsNative(llvm::ArrayRef<llvm::Metadata*>,
llvm::ArrayRef<(anonymous namespace)::GlobalTypeMember*>) + 2367
14 ld.lld 0x000000010eb223cf (anonymous
namespace)::LowerTypeTestsModule::buildBitSetsFromFunctions(llvm::ArrayRef<llvm::Metadata*>,
llvm::ArrayRef<(anonymous namespace)::GlobalTypeMember*>) + 159
15 ld.lld 0x000000010eb0c6d9 (anonymous
namespace)::LowerTypeTestsModule::buildBitSetsFromDisjointSet(llvm::ArrayRef<llvm::Metadata*>,
llvm::ArrayRef<(anonymous namespace)::GlobalTypeMember*>) + 5753
16 ld.lld 0x000000010eaf2666 (anonymous
namespace)::LowerTypeTestsModule::lower() + 11334
17 ld.lld 0x000000010eaf3a22 (anonymous
namespace)::LowerTypeTests::runOnModule(llvm::Module&) + 146
18 ld.lld 0x000000010fcf517f (anonymous
namespace)::MPPassManager::runOnModule(llvm::Module&) + 1967
19 ld.lld 0x000000010fcf4756
llvm::legacy::PassManagerImpl::run(llvm::Module&) + 342
20 ld.lld 0x000000010fcf5dd1
llvm::legacy::PassManager::run(llvm::Module&) + 33
21 ld.lld 0x000000010e27b378 (anonymous
namespace)::runOldPMPasses(llvm::lto::Config&, llvm::Module&,
llvm::TargetMachine*, bool, llvm::ModuleSummaryIndex*, llvm::ModuleSummaryIndex
const*) + 424
22 ld.lld 0x000000010e2756b3 (anonymous
namespace)::opt(llvm::lto::Config&, llvm::TargetMachine*, unsigned int,
llvm::Module&, bool, llvm::ModuleSummaryIndex*, llvm::ModuleSummaryIndex
const*) + 499
23 ld.lld 0x000000010e2729a1
llvm::lto::backend(llvm::lto::Config&,
std::__1::function<std::__1::unique_ptr<llvm::lto::NativeObjectStream,
std::__1::default_delete<llvm::lto::NativeObjectStream> > (unsigned int)>,
unsigned int, std::__1::unique_ptr<llvm::Module,
std::__1::default_delete<llvm::Module> >, llvm::ModuleSummaryIndex&) + 1649
24 ld.lld 0x000000010e244417
llvm::lto::LTO::runRegularLTO(std::__1::function<std::__1::unique_ptr<llvm::lto::NativeObjectStream,
std::__1::default_delete<llvm::lto::NativeObjectStream> > (unsigned int)>) +
5127
25 ld.lld 0x000000010e242de1
llvm::lto::LTO::run(std::__1::function<std::__1::unique_ptr<llvm::lto::NativeObjectStream,
std::__1::default_delete<llvm::lto::NativeObjectStream> > (unsigned int)>,
std::__1::function<std::__1::function<std::__1::unique_ptr<llvm::lto::NativeObjectStream,
std::__1::default_delete<llvm::lto::NativeObjectStream> > (unsigned int)>
(unsigned int, llvm::StringRef)>) + 1473
26 ld.lld 0x000000010be974a5
lld::elf::BitcodeCompiler::compile() + 789
27 ld.lld 0x000000010bfd4f3d void
lld::elf::SymbolTable::addCombinedLTOObject<llvm::object::ELFType<(llvm::support::endianness)1,
true> >() + 973
28 ld.lld 0x000000010bd96c8a void
lld::elf::LinkerDriver::link<llvm::object::ELFType<(llvm::support::endianness)1,
true> >(llvm::opt::InputArgList&) + 4986
29 ld.lld 0x000000010bd85485
lld::elf::LinkerDriver::main(llvm::ArrayRef<char const*>, bool) + 3877
30 ld.lld 0x000000010bd84124
lld::elf::link(llvm::ArrayRef<char const*>, bool, llvm::raw_ostream&) + 2644
31 ld.lld 0x000000010ba8cbcc main + 444
32 libdyld.dylib 0x00007fff87eb15ad start + 1</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>