Prototype != nullptr in EnforceABI::generateCall on largish AArch64 Mach-O binary #457
Description
Crash 1:
Binary size 224MB
Analyze time 10 hours 56 minutes
RAM used 76GB
Storage left 1GB
revng analyze revng-initial-auto-analysis --resume=work binary -o /dev/null
Assertion failed at /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2283
O.isPtr()
PLEASE submit a bug report to https://github.com/revng/revng and include the crash backtrace
Stack dump:
0. Program arguments: ../../revng/root/libexec/revng/analyze -load /home/cryptic/revng/root/lib64/revng/analyses/librevngImportFromCAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelToHeader.so -load /hom
e/cryptic/revng/root/lib64/revng/analyses/librevngRemoveExtractValues.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModel.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporterBinary.so -load /home
/cryptic/revng/root/lib64/revng/analyses/librevngEarlyFunctionAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporter.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngBackend.so -load /home/cr
yptic/revng/root/lib64/revng/analyses/librevngMLIRPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngLocalVariables.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngHelpersToHeader.so -load /home/cryptic/
revng/root/lib64/revng/analyses/librevngRestructureCFG.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngDataLayoutAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRecompile.so -load /home/cryptic/rev
ng/root/lib64/revng/analyses/librevngYieldPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngPromoteStackPointer.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeNames.so -load /home/cryptic/revng/roo
t/lib64/revng/analyses/librevngBasicAnalyses.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeShrinking.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngInitModelTypes.so -load /home/cryptic/revng/root/li
b64/revng/analyses/librevngCanonicalize.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngABI.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRemoveLiftingArtifacts.so -load /home/cryptic/revng/root/lib64/rev
ng/analyses/librevngFunctionIsolation.so -P /home/cryptic/revng/root/share/revng/pipelines/revng-pipelines.yml revng-initial-auto-analysis --resume=work binary -o /dev/null
1. Running pass 'Lift Pass' on module 'revng.module'.
2. Running pass 'CPUState Access Analysis Pass' on module 'revng.module'.
#0 0x00007166cfa026ee llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.
so.16+0x2026ee)
#1 0x00007166cfa00a54 llvm::sys::RunSignalHandlers() (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x200a54)
#2 0x00007166cfa02c5d (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x202c5d)
#3 0x00007166cf650ae0 (/usr/lib/libc.so.6+0x3cae0)
#4 0x00007166cf6a8e44 (/usr/lib/libc.so.6+0x94e44)
#5 0x00007166cf650a30 raise (/usr/lib/libc.so.6+0x3ca30)
#6 0x00007166cf6384c3 abort (/usr/lib/libc.so.6+0x244c3)
#7 0x00007166d36dc859 /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:18:3
#8 0x00007166d36dc7f0 report(char const*, char const*, unsigned int, char const*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:22:0
#9 0x00007166ca9cef17 void CPUStateAccessOffsetAnalysis::computeAggregatedOffsets<true>() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2308:11
#10 0x00007166ca9bd7dc CPUStateAccessOffsetAnalysis::run() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2400:3
#11 0x00007166ca9c0ada CPUStateAccessAnalysis::run() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:3241:37
#12 0x00007166ca9c67ff CPUStateAccessAnalysisPass::runOnModule(llvm::Module&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:3263:25
#13 0x00007166d05fe782 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMCore.so.16
+0x3fe782)
#14 0x00007166caa1bc52 RootAnalyzer::updateCSAA() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/RootAnalyzer.cpp:318:1
#15 0x00007166caa2162f llvm::DebugEpochBase::DebugEpochBase() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/EpochTracker.h:37:12
#16 0x00007166caa2162f llvm::DenseMapBase<llvm::DenseMap<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH, llvm::DenseMapInf
o<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrack
ingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>, llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<fa
lse>>>, llvm::WeakTrackingVH, llvm::DenseMapInfo<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMa
pCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>::DenseMapBase() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/
llvm/ADT/DenseMap.h:358:3
#17 0x00007166caa2162f llvm::DenseMap<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH, llvm::DenseMapInfo<llvm::ValueMapCal
lbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueM
apConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>::DenseMap(unsigned int) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/DenseMap.h:730:12
#18 0x00007166caa2162f llvm::ValueMap<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>::ValueMap(unsigned int) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llv
m/include/llvm/IR/ValueMap.h:103:9
#19 0x00007166caa2162f RootAnalyzer::cloneOptimizeAndHarvest(llvm::Function*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/RootAnalyzer.cpp:823:21
#20 0x00007166caa0bc99 std::__1::vector<std::__1::pair<MetaAddress, llvm::BasicBlock*>, std::__1::allocator<std::__1::pair<MetaAddress, llvm::BasicBlock*>>>::empty[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64
/llvm/clang-release/bin/../include/c++/v1/vector:552:23
#21 0x00007166caa0bc99 JumpTargetManager::empty() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.h:274:36
#22 0x00007166caa0bc99 JumpTargetManager::harvest() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.cpp:1312:9
#23 0x00007166caa0b188 std::__1::vector<std::__1::pair<MetaAddress, llvm::BasicBlock*>, std::__1::allocator<std::__1::pair<MetaAddress, llvm::BasicBlock*>>>::empty[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64
/llvm/clang-release/bin/../include/c++/v1/vector:552:23
#24 0x00007166caa0b188 JumpTargetManager::peek() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.cpp:835:23
#25 0x00007166ca9a9ea3 std::__1::tuple<MetaAddress&, llvm::BasicBlock*&>& std::__1::tuple<MetaAddress&, llvm::BasicBlock*&>::operator=[abi:v160001]<MetaAddress, llvm::BasicBlock*, 0>(std::__1::pair<MetaAddress, llvm::BasicBlock*>&&) /bu
Crash 2:
Binary size 224MB
Analyze time 10 hours 51 minutes
RAM used 76GB
Storage left 891GB
revng analyze revng-initial-auto-analysis --resume=work binary -o /dev/null
Assertion failed at /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2283
O.isPtr()
PLEASE submit a bug report to https://github.com/revng/revng and include the crash backtrace
Stack dump:
0. Program arguments: /home/cryptic/revng/root/libexec/revng/analyze -load /home/cryptic/revng/root/lib64/revng/analyses/librevngImportFromCAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelToHeader.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRemoveExtractValues.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModel.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporterBinary.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngEarlyFunctionAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporter.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngBackend.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngMLIRPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngLocalVariables.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngHelpersToHeader.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRestructureCFG.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngDataLayoutAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRecompile.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngYieldPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngPromoteStackPointer.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeNames.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngBasicAnalyses.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeShrinking.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngInitModelTypes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngCanonicalize.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngABI.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRemoveLiftingArtifacts.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngFunctionIsolation.so -P /home/cryptic/revng/root/share/revng/pipelines/revng-pipelines.yml revng-initial-auto-analysis --resume=work binary -o /dev/null
1. Running pass 'Lift Pass' on module 'revng.module'.
2. Running pass 'CPUState Access Analysis Pass' on module 'revng.module'.
#0 0x0000746d262026ee llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x2026ee)
#1 0x0000746d26200a54 llvm::sys::RunSignalHandlers() (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x200a54)
#2 0x0000746d26202c5d (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x202c5d)
#3 0x0000746d25e50ae0 (/usr/lib/libc.so.6+0x3cae0)
#4 0x0000746d25ea8e44 (/usr/lib/libc.so.6+0x94e44)
#5 0x0000746d25e50a30 raise (/usr/lib/libc.so.6+0x3ca30)
#6 0x0000746d25e384c3 abort (/usr/lib/libc.so.6+0x244c3)
#7 0x0000746d2a52d859 /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:18:3
#8 0x0000746d2a52d7f0 report(char const*, char const*, unsigned int, char const*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:22:0
#9 0x0000746d211cef17 void CPUStateAccessOffsetAnalysis::computeAggregatedOffsets<true>() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2308:11
#10 0x0000746d211bd7dc CPUStateAccessOffsetAnalysis::run() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:2400:3
#11 0x0000746d211c0ada CPUStateAccessAnalysis::run() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:3241:37
#12 0x0000746d211c67ff CPUStateAccessAnalysisPass::runOnModule(llvm::Module&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CPUStateAccessAnalysisPass.cpp:3263:25
#13 0x0000746d26dfe782 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMCore.so.16+0x3fe782)
#14 0x0000746d2121bc52 RootAnalyzer::updateCSAA() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/RootAnalyzer.cpp:318:1
#15 0x0000746d2122162f llvm::DebugEpochBase::DebugEpochBase() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/EpochTracker.h:37:12
#16 0x0000746d2122162f llvm::DenseMapBase<llvm::DenseMap<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH, llvm::DenseMapInfo<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>, llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH, llvm::DenseMapInfo<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>::DenseMapBase() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/DenseMap.h:358:3
#17 0x0000746d2122162f llvm::DenseMap<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH, llvm::DenseMapInfo<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, void>, llvm::detail::DenseMapPair<llvm::ValueMapCallbackVH<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>, llvm::WeakTrackingVH>>::DenseMap(unsigned int) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/DenseMap.h:730:12
#18 0x0000746d2122162f llvm::ValueMap<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>::ValueMap(unsigned int) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/IR/ValueMap.h:103:9
#19 0x0000746d2122162f RootAnalyzer::cloneOptimizeAndHarvest(llvm::Function*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/RootAnalyzer.cpp:823:21
#20 0x0000746d2120bc99 std::__1::vector<std::__1::pair<MetaAddress, llvm::BasicBlock*>, std::__1::allocator<std::__1::pair<MetaAddress, llvm::BasicBlock*>>>::empty[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/vector:552:23
#21 0x0000746d2120bc99 JumpTargetManager::empty() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.h:274:36
#22 0x0000746d2120bc99 JumpTargetManager::harvest() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.cpp:1312:9
#23 0x0000746d2120b188 std::__1::vector<std::__1::pair<MetaAddress, llvm::BasicBlock*>, std::__1::allocator<std::__1::pair<MetaAddress, llvm::BasicBlock*>>>::empty[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/vector:552:23
#24 0x0000746d2120b188 JumpTargetManager::peek() /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/JumpTargetManager.cpp:835:23
#25 0x0000746d211a9ea3 std::__1::tuple<MetaAddress&, llvm::BasicBlock*&>& std::__1::tuple<MetaAddress&, llvm::BasicBlock*&>::operator=[abi:v160001]<MetaAddress, llvm::BasicBlock*, 0>(std::__1::pair<MetaAddress, llvm::BasicBlock*>&&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/tuple:1256:30
#26 0x0000746d211a9ea3 CodeGenerator::translate(std::__1::optional<unsigned long>) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/CodeGenerator.cpp:1100:37
#27 0x0000746d211ea47d LiftPass::runOnModule(llvm::Module&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/Lift.cpp:147:1
#28 0x0000746d26dfe782 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMCore.so.16+0x3fe782)
#29 0x0000746d211eb151 std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>::__is_long[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/string:1682:33
#30 0x0000746d211eb151 std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>::__get_pointer[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/string:1803:17
#31 0x0000746d211eb151 std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>::data[abi:v160001]() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/clang-release/bin/../include/c++/v1/string:1462:73
#32 0x0000746d211eb151 llvm::StringRef::StringRef(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>> const&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/ADT/StringRef.h:101:18
#33 0x0000746d211eb151 pipeline::ExecutionContext::commitUniqueTarget(pipeline::ContainerBase const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipeline/ExecutionContext.h:103:24
#34 0x0000746d211eb151 revng::pipes::Lift::run(pipeline::ExecutionContext&, revng::pipes::FileContainer<&revng::kinds::Binary, &revng::pipes::BinaryFileName.<char const at offset 0>, &revng::pipes::BinaryFileMIMEType.<char const at offset 0>, &revng::pipes::BinaryFileSuffix.<char const at offset 0>> const&, pipeline::LLVMContainer&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Lift/LiftPipe.cpp:51:6
#35 0x0000746d211ffe5a llvm::Error::setChecked(bool) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:300:13
#36 0x0000746d211ffe5a llvm::Error::operator=(llvm::Error&&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:215:5
#37 0x0000746d211ffe5a llvm::Error::Error(llvm::Error&&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:192:11
#38 0x0000746d211ffe5a pipeline::InvokableWrapperImpl<revng::pipes::Lift>::run(pipeline::ExecutionContext&, pipeline::ContainerSet&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipeline/Invokable.h:503:12
#39 0x0000746d211ffe5a pipeline::detail::PipeWrapperImpl<revng::pipes::Lift>::run(pipeline::ExecutionContext&, pipeline::ContainerSet&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipeline/Pipe.h:290:22
#40 0x0000746d2acf02e6 llvm::Error::getPtr() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:272:42
#41 0x0000746d2acf02e6 llvm::Error::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:235:16
#42 0x0000746d2acf02e6 llvm::cantFail(llvm::Error, char const*) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:746:7
#43 0x0000746d2acf02e6 pipeline::Step::run(pipeline::ContainerSet&&, std::__1::vector<pipeline::PipeExecutionEntry, std::__1::allocator<pipeline::PipeExecutionEntry>> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Step.cpp:294:5
#44 0x0000746d2ace4736 pipeline::Runner::run(llvm::StringRef, pipeline::ContainerToTargetsMap const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:393:5
#45 0x0000746d2ace341b llvm::Error::getPtr() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:272:42
#46 0x0000746d2ace341b llvm::Error::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:235:16
#47 0x0000746d2ace341b pipeline::Runner::runAnalysis(llvm::StringRef, llvm::StringRef, pipeline::ContainerToTargetsMap const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:285:19
#48 0x0000746d2ace52e9 pipeline::Runner::runAnalyses(pipeline::AnalysesList const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:328:19
#49 0x0000746d2ad92510 llvm::Expected<llvm::StringMap<pipeline::GlobalTupleTreeDiff, llvm::MallocAllocator>>::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:561:17
#50 0x0000746d2ad92510 revng::pipes::PipelineManager::runAnalyses(pipeline::AnalysesList const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&, llvm::raw_ostream*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipes/PipelineManager.cpp:501:11
#51 0x00005fe9e521d189 _init (/home/cryptic/revng/root/libexec/revng/analyze+0x37189)
#52 0x00005fe9e52184dd _init (/home/cryptic/revng/root/libexec/revng/analyze+0x324dd)
#53 0x0000746d25e39c88 (/usr/lib/libc.so.6+0x25c88)
#54 0x0000746d25e39d4c __libc_start_main (/usr/lib/libc.so.6+0x25d4c)
#55 0x00005fe9e52179f9 _init (/home/cryptic/revng/root/libexec/revng/analyze+0x319f9)
Crash 3:
Binary size 6.8MB
Analyze time 0 hours 30 minutes
RAM used 14GB
Storage left 891GB
revng analyze revng-initial-auto-analysis --resume=work binary --progress -o /dev/null
[=================> ] 44% 138.99s Running FunctionPass (5854): 0x10028f000:Code_aarch64
[===================> ] 50% 138.99s Run module passes (2): Enforce ABI Pass
[> ] 0% 138.99s Run module pass managers (1): MPM index: 0
[======> ] 16% 139.02s Step enforce-abi (6): enforce-abi
[===============> ] 38% 141.17s Run step (3): Run the step
[=======> ] 19% 1233.64s Produce steps required up to detect-stack-size (7): enforce-abi
[==> ] 6% 1265.76s Analysis execution (3): Produce step detect-stack-size
[=================> ] 43% 1519.62s Analysis list revng-initial-auto-analysis (7): detect-stack-size
Assertion failed at /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/FunctionIsolation/EnforceABI.cpp:431
Prototype != nullptr
PLEASE submit a bug report to https://github.com/revng/revng and include the crash backtrace
Stack dump:
0. Program arguments: /home/cryptic/revng/root/libexec/revng/analyze -load /home/cryptic/revng/root/lib64/revng/analyses/librevngImportFromCAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelToHeader.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRemoveExtractValues.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModel.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporterBinary.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngEarlyFunctionAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngModelImporter.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngBackend.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngMLIRPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngLocalVariables.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngHelpersToHeader.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRestructureCFG.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngDataLayoutAnalysis.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRecompile.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngYieldPipes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngPromoteStackPointer.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeNames.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngBasicAnalyses.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngTypeShrinking.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngInitModelTypes.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngCanonicalize.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngABI.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngRemoveLiftingArtifacts.so -load /home/cryptic/revng/root/lib64/revng/analyses/librevngFunctionIsolation.so -P /home/cryptic/revng/root/share/revng/pipelines/revng-pipelines.yml revng-initial-auto-analysis --resume=work binary --progress -o /dev/null
1. Running pass 'Enforce ABI Pass' on module 'revng.module'.
#0 0x000074f5d20026ee llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x2026ee)
#1 0x000074f5d2000a54 llvm::sys::RunSignalHandlers() (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x200a54)
#2 0x000074f5d2002c5d (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMSupport.so.16+0x202c5d)
#3 0x000074f5d1c50ae0 (/usr/lib/libc.so.6+0x3cae0)
#4 0x000074f5d1ca8e44 (/usr/lib/libc.so.6+0x94e44)
#5 0x000074f5d1c50a30 raise (/usr/lib/libc.so.6+0x3ca30)
#6 0x000074f5d1c384c3 abort (/usr/lib/libc.so.6+0x244c3)
#7 0x000074f5d6360859 /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:18:3
#8 0x000074f5d63607f0 report(char const*, char const*, unsigned int, char const*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Support/Assert.cpp:22:0
#9 0x000074f5cb71367b EnforceABI::generateCall(llvm::IRBuilder<llvm::ConstantFolder, llvm::IRBuilderDefaultInserter>&, MetaAddress, llvm::FunctionCallee, efa::BasicBlock const&, efa::CallEdge const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/FunctionIsolation/EnforceABI.cpp:463:3
#10 0x000074f5cb71201b EnforceABI::handleRegularFunctionCall(MetaAddress const&, llvm::CallInst*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/FunctionIsolation/EnforceABI.cpp:393:23
#11 0x000074f5cb7118bf EnforceABI::runOnFunction(model::Function const&, llvm::Function&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/FunctionIsolation/EnforceABI.cpp:177:23
#12 0x000074f5d6f524e2 pipeline::detail::runOnModule(llvm::Module&, pipeline::FunctionPassImpl&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipes/FunctionPass.cpp:38:19
#13 0x000074f5cb717d6f pipeline::FunctionPass<EnforceABI>::runOnModule(llvm::Module&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipes/FunctionPass.h:75:12
#14 0x000074f5d2bfe782 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/cryptic/revng/root/libexec/revng/../../////////////////////////////////////////////////////////////////////////////////lib64/llvm/llvm/lib/libLLVMCore.so.16+0x3fe782)
#15 0x000074f5cb71b7ef EnforceABIPipe::run(pipeline::ExecutionContext&, revng::pipes::detail::GenericStringMap<&revng::ranks::Function, &revng::kinds::CFG, &revng::pipes::CFGName.<char const at offset 0>, &revng::pipes::CFGMime.<char const at offset 0>, &revng::pipes::CFGExtension.<char const at offset 0>> const&, pipeline::LLVMContainer&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/FunctionIsolation/EnforceABI.cpp:515:3
#16 0x000074f5cb7199ea llvm::Error::setChecked(bool) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:300:13
#17 0x000074f5cb7199ea llvm::Error::operator=(llvm::Error&&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:215:5
#18 0x000074f5cb7199ea llvm::Error::Error(llvm::Error&&) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:192:11
#19 0x000074f5cb7199ea pipeline::InvokableWrapperImpl<EnforceABIPipe>::run(pipeline::ExecutionContext&, pipeline::ContainerSet&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipeline/Invokable.h:503:12
#20 0x000074f5cb7199ea pipeline::detail::PipeWrapperImpl<EnforceABIPipe>::run(pipeline::ExecutionContext&, pipeline::ContainerSet&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/include/revng/Pipeline/Pipe.h:290:22
#21 0x000074f5d6bb62e6 llvm::Error::getPtr() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:272:42
#22 0x000074f5d6bb62e6 llvm::Error::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:235:16
#23 0x000074f5d6bb62e6 llvm::cantFail(llvm::Error, char const*) /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:746:7
#24 0x000074f5d6bb62e6 pipeline::Step::run(pipeline::ContainerSet&&, std::__1::vector<pipeline::PipeExecutionEntry, std::__1::allocator<pipeline::PipeExecutionEntry>> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Step.cpp:294:5
#25 0x000074f5d6baa736 pipeline::Runner::run(llvm::StringRef, pipeline::ContainerToTargetsMap const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:393:5
#26 0x000074f5d6ba941b llvm::Error::getPtr() const /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:272:42
#27 0x000074f5d6ba941b llvm::Error::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:235:16
#28 0x000074f5d6ba941b pipeline::Runner::runAnalysis(llvm::StringRef, llvm::StringRef, pipeline::ContainerToTargetsMap const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:285:19
#29 0x000074f5d6bab2e9 pipeline::Runner::runAnalyses(pipeline::AnalysesList const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipeline/Runner.cpp:328:19
#30 0x000074f5d6ef9510 llvm::Expected<llvm::StringMap<pipeline::GlobalTupleTreeDiff, llvm::MallocAllocator>>::operator bool() /builds/gitlab/revng/orchestra/orchestra/root/lib64/llvm/llvm/include/llvm/Support/Error.h:561:17
#31 0x000074f5d6ef9510 revng::pipes::PipelineManager::runAnalyses(pipeline::AnalysesList const&, llvm::StringMap<pipeline::ContainerToTargetsMap, llvm::MallocAllocator>&, llvm::StringMap<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char>>, llvm::MallocAllocator> const&, llvm::raw_ostream*) /builds/gitlab/revng/orchestra/orchestra/sources/revng/lib/Pipes/PipelineManager.cpp:501:11
#32 0x00005d32d3494189 _init (/home/cryptic/revng/root/libexec/revng/analyze+0x37189)
#33 0x00005d32d348f4dd _init (/home/cryptic/revng/root/libexec/revng/analyze+0x324dd)
#34 0x000074f5d1c39c88 (/usr/lib/libc.so.6+0x25c88)
#35 0x000074f5d1c39d4c __libc_start_main (/usr/lib/libc.so.6+0x25d4c)
#36 0x00005d32d348e9f9 _init (/home/cryptic/revng/root/libexec/revng/analyze+0x319f9)
Crash 3 attached binary:
password: doyouevenliftbro?
binary.zip