volatile array crashes tsar

[mishapankin]

Проблема

Если в анализируемой программе есть запись в массив с ключевым словом volatile, то tsar падает.

Шаги для воспроизведения

1. Создать файл volatile.c

int main() {
    volatile int a[5];
    a[0] = 10;

    return 0;
}

2. Выполнить команду

tsar volatile.c --print-all

Ошибка

Printing analysis 'Array Access Delinearizer' for function 'main':
{"Accesses":{"  %1 = alloca [5 x i32], align 16":[[["0","0"]]]},"Sizes":{"  %1 = alloca [5 x i32], align 16":["5"]},"IsDelinearized":1}
Printing analysis 'Private Variable Analysis' for function 'main':
Printing analysis 'Dependency Analysis (Metadata)' for function 'main':
Printing analysis 'Not Initialized Memory Checker (Metadata)' for function 'main':
Printing analysis 'Array Accesses Collector (Metadata, Wrapper)':
Printing analysis 'High and Low Level Expression Matcher (Clang)' for function 'main':
volatile.c:3:10 BinaryOperator '='  store volatile i32 10, ptr %2, align 16, !dbg !28, !tbaa !29
volatile.c:5:5 ReturnStmt  ret i32 0, !dbg !34
Printing analysis 'Canonical Form Loop Analysis' for function 'main':
Printing analysis 'nocapture':
[NOCAPTURE] [main]
tsar: /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:2215: llvm::Optional<tsar::DIMemoryLocation> tsar::buildDIMemory(const llvm::MemoryLocation&, llvm::LLVMContext&, const llvm::DataLayout&, const llvm::DominatorTree&): Assertion `LastDwarfOp == dwarf::DW_OP_plus_uconst && "Unknown DWARF operand!"' failed.
 #0 0x00005646cf7f13b1 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0x23cc3b1)
 #1 0x00005646cf7ef0cc llvm::sys::RunSignalHandlers() (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0x23ca0cc)
 #2 0x00005646cf7f18db SignalHandler(int) Signals.cpp.o:0:0
 #3 0x00007f7eea642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f7eea696a7c __pthread_kill_implementation ./nptl/./nptl/pthread_kill.c:44:76
 #5 0x00007f7eea696a7c __pthread_kill_internal ./nptl/./nptl/pthread_kill.c:78:10
 #6 0x00007f7eea696a7c pthread_kill ./nptl/./nptl/pthread_kill.c:89:10
 #7 0x00007f7eea642476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007f7eea6287f3 abort ./stdlib/./stdlib/abort.c:81:7
 #9 0x00007f7eea62871b _nl_load_domain ./intl/./intl/loadmsgcat.c:1177:9
#10 0x00007f7eea639e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00005646d0fb3fb4 tsar::buildDIMemory(llvm::MemoryLocation const&, llvm::LLVMContext&, llvm::DataLayout const&, llvm::DominatorTree const&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:2216:21
#12 0x00005646d0fb4452 tsar::buildDIMemoryWithNewSize(tsar::EstimateMemory const&, llvm::LocationSize, llvm::LLVMContext&, tsar::DIMemoryEnvironment&, llvm::DataLayout const&, llvm::DominatorTree const&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:2253:29
#13 0x00005646d0fb434c tsar::buildDIMemory(tsar::EstimateMemory const&, llvm::LLVMContext&, tsar::DIMemoryEnvironment&, llvm::DataLayout const&, llvm::DominatorTree const&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:2245:69
#14 0x00005646d0fab0a2 (anonymous namespace)::buildDIAliasTree(llvm::DataLayout const&, llvm::DominatorTree const&, tsar::DIMemoryEnvironment&, llvm::DenseMap<llvm::Value const*, long, llvm::DenseMapInfo<llvm::Value const*, void>, llvm::detail::DenseMapPair<llvm::Value const*, long> > const&, tsar::CorruptedMemoryResolver&, tsar::DIAliasTree&, tsar::AliasNode&, tsar::DIAliasNode&, llvm::DenseMap<tsar::CorruptedMemoryItem*, tsar::DIAliasNode*, llvm::DenseMapInfo<tsar::CorruptedMemoryItem*, void>, llvm::detail::DenseMapPair<tsar::CorruptedMemoryItem*, tsar::DIAliasNode*> >&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:865:79
#15 0x00005646d0fb5e5a llvm::DIEstimateMemoryPass::runOnFunction(llvm::Function&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Analysis/Memory/DIEstimateMemory.cpp:2471:21
#16 0x00005646cf64b5d2 llvm::FPPassManager::runOnFunction(llvm::Function&) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0x22265d2)
#17 0x00005646d2637ce2 (anonymous namespace)::CGPassManager::runOnModule(llvm::Module&) CallGraphSCCPass.cpp.o:0:0
#18 0x00005646cf64c176 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0x2227176)
#19 0x00005646ce11d85c tsar::DefaultQueryManager::run(llvm::Module*, tsar::TransformationInfo*) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Core/Query.cpp:365:1
#20 0x00005646d0679a70 clang::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Frontend/Clang/Action.cpp:135:5
#21 0x00005646ce5b3d4b clang::ParseAST(clang::Sema&, bool, bool) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0x118ed4b)
#22 0x00005646ce1f5417 clang::FrontendAction::Execute() (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xdd0417)
#23 0x00005646ce168036 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xd43036)
#24 0x00005646ce13983c clang::tooling::FrontendActionFactory::runInvocation(std::shared_ptr<clang::CompilerInvocation>, clang::FileManager*, std::shared_ptr<clang::PCHContainerOperations>, clang::DiagnosticConsumer*) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xd1483c)
#25 0x00005646ce13959f clang::tooling::ToolInvocation::runInvocation(char const*, clang::driver::Compilation*, std::shared_ptr<clang::CompilerInvocation>, std::shared_ptr<clang::PCHContainerOperations>) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xd1459f)
#26 0x00005646ce13850f clang::tooling::ToolInvocation::run() (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xd1350f)
#27 0x00005646ce13b02e clang::tooling::ClangTool::run(clang::tooling::ToolAction*) (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xd1602e)
#28 0x00005646ce0db66c tsar::Tool::run(tsar::QueryManager*) /home/mishapankin/Work/sapfor/analyzers/tsar/lib/Core/Tool.cpp:844:16
#29 0x00005646ce0d24a6 main /home/mishapankin/Work/sapfor/analyzers/tsar/tools/tsar/main.cpp:42:22
#30 0x00007f7eea629d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#31 0x00007f7eea629e40 call_init ./csu/../csu/libc-start.c:128:20
#32 0x00007f7eea629e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#33 0x00005646ce0d2325 _start (/home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar+0xcad325)
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.	Program arguments: /home/mishapankin/Work/sapfor/build/analyzers/tsar/bin/tsar volatile.c --print-all
1.	<eof> parser at end of file
2.	Running pass 'CallGraph Pass Manager' on module '/home/mishapankin/Work/sapfor/example/volatile.c'.
3.	Running pass 'Memory Estimator (Debug)' on function '@main'