Skip to content

LSP crashes on rename (symbol-table.cc:1188:20) #2421

@henryhchchc

Description

@henryhchchc

A couple of questions first

  • Your IDE/editor (e.g. vscode, emacs,...) you use with verible LSP ?
  • IDE version:
  • What other SystemVerilog plugins are active alongside ?

What activity failed

Rename addr to foo (Line 9)

Expectation
It should finish renaming.

What actually happened
It crashed

Test case

If needed, include SystemVerilog sample file(s) that show the code you want to do an operation on

program testcase (interface  intf);

    environment env;
    initial void'(
    $display(Stack#(enum {AA2, BB2 = var5[idx]})));

endprogram: testcase

module memory (clk);
    input  [ADDR_WIDTH-1:0] addr;
endmodule

Logfiles

If you invoke your editor with the environment variable VERIBLE_LOGTHRESHOLD set to 0, then useful log information will
be generated that you can include here

export VERIBLE_LOGTHRESHOLD=0
code foo.sv

How to see the log output

  • vscode: go to View -> Output, then choose Verible Language Server in the dropdown
  • emacs: there is a buffer *verible-ls::stderr* that contains the log output
  • kate: output is printed on the terminal
Verible Verilog Language Server built at head
commandline: /src/target/verible-verilog-ls


I0526 12:11:32.231507     973 verilog-language-server.cc:232] No root URI provided in language server initialization from IDE. Assuming root='.'

I0526 12:11:32.231604     973 verilog-language-server.cc:240] Initializing with project-root ''

I0526 12:11:32.231795     973 symbol-table-handler.cc:104] Could not find verible.filelist file in the project root (.):  NOT_FOUND: UpwardFileSearch: starting from '.', no file 'verible.filelist' found'

I0526 12:11:32.231967     973 symbol-table-handler.cc:104] Could not find verible.filelist file in the project root (/tmp/export5/id_97_time_80758_exec_3072485/.):  NOT_FOUND: UpwardFileSearch: starting from '/tmp/export5/id_97_time_80758_exec_3072485/.', no file 'verible.filelist' found'

I0526 12:11:32.232524     973 json-rpc-dispatcher.cc:72] Ignoring notification 'initialized'

I0526 12:11:37.698286     973 symbol-table-handler.cc:104] Could not find verible.filelist file in the project root (/tmp/export5/id_97_time_80758_exec_3072485/.):  NOT_FOUND: UpwardFileSearch: starting from '/tmp/export5/id_97_time_80758_exec_3072485/.', no file 'verible.filelist' found'

F0526 12:11:37.698636     973 symbol-table.cc:1188] Check failed: 'declaration_type_info_' Must be non-null

*** Check failure stack trace: ***
    @           0xa57a26  absl::lts_20240116::log_internal::LogMessage::Flush()
    @           0xa582ab  absl::lts_20240116::log_internal::LogMessageFatal::~LogMessageFatal()
    @           0xa54121  absl::lts_20240116::log_internal::DieBecauseNull()
    @           0x64c19e  verilog::SymbolTable::Builder::EmplaceTypedElementInCurrentScope()
    @           0x65828b  verilog::SymbolTable::Builder::HandleIdentifier()
    @           0x646e5e  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x64ed4a  verilog::SymbolTable::Builder::DescendEnumType()
    @           0x6478fe  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x64a4fa  verilog::SymbolTable::Builder::DescendDataType()
    @           0x647678  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x64b32b  verilog::SymbolTable::Builder::DescendActualParameterList()
    @           0x647c6f  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x64b00d  verilog::SymbolTable::Builder::DescendReferenceExpression()
    @           0x6475d4  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x64b97f  verilog::SymbolTable::Builder::DescendCallArgumentList()
    @           0x647a35  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0xa33838  verible::TreeContextVisitor::Visit()
    @           0x648100  verilog::SymbolTable::Builder::Visit()
    @           0x645b57  verilog::BuildSymbolTable()
    @           0x6445cb  verilog::ParseFileAndBuildSymbolTable()
    @           0x644166  verilog::SymbolTable::Build()

AddressSanitizer:DEADLYSIGNAL
=================================================================
==973==ERROR: AddressSanitizer: ABRT on unknown address 0x0000000003cd (pc 0x7ffff7b0d53c bp 0x0000000003cd sp 0x7fffffffa460 T0)

    #0 0x7ffff7b0d53c in __pthread_kill_implementation (/lib64/libc.so.6+0x8b53c) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be)
    #1 0x7ffff7ac0685 in gsignal (/lib64/libc.so.6+0x3e685) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be)
    #2 0x7ffff7aaa832 in abort (/lib64/libc.so.6+0x28832) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be)
    #3 0xa57e5d in absl::lts_20240116::log_internal::LogMessage::FailWithoutStackTrace() /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/internal/log_message.cc:340:3
    #4 0xa57c99 in absl::lts_20240116::log_internal::LogMessage::Die() /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/internal/log_message.cc:497:5
    #5 0xa57c99 in absl::lts_20240116::log_internal::LogMessage::SendToLog() /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/internal/log_message.cc:506:18
    #6 0xa57c99 in absl::lts_20240116::log_internal::LogMessage::Flush() /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/internal/log_message.cc:418:3
    #7 0xa582aa in absl::lts_20240116::log_internal::LogMessageFatal::~LogMessageFatal() /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/internal/log_message.cc:597:3
    #8 0xa54120 in absl::lts_20240116::log_internal::DieBecauseNull(char const*, int, char const*) /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/die_if_null.cc:26:3
    #9 0x64c19d in verilog::DeclarationTypeInfo*& absl::lts_20240116::log_internal::DieIfNull<verilog::DeclarationTypeInfo*&>(char const*, int, char const*, verilog::DeclarationTypeInfo*&) /proc/self/cwd/external/abseil-cpp~20240116.2/absl/log/die_if_null.h:67:5
    #10 0x64c19d in verilog::SymbolTable::Builder::EmplaceTypedElementInCurrentScope(verible::Symbol const&, std::basic_string_view<char, std::char_traits<char>>, verilog::SymbolMetaType) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:1188:20
    #11 0x65828a in verilog::SymbolTable::Builder::HandleIdentifier(verible::SyntaxTreeLeaf const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:738:7
    #12 0x646e5d in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeLeaf const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:822:9
    #13 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #14 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #15 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #16 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #17 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #18 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #19 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #20 0x64ed49 in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:323:25
    #21 0x64ed49 in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&, verible::MapTree<std::basic_string_view<char, std::char_traits<char>>, verilog::SymbolInfo, verible::StringViewCompare>*) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:319:5
    #22 0x64ed49 in verilog::SymbolTable::Builder::DeclareScopedElementAndDescend(verible::SyntaxTreeNode const&, std::basic_string_view<char, std::char_traits<char>>, verilog::SymbolMetaType) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:1233:5
    #23 0x64ed49 in verilog::SymbolTable::Builder::DescendEnumType(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:527:33
    #24 0x6478fd in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:299:9
    #25 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #26 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #27 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #28 0x64a4f9 in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:323:25
    #29 0x64a4f9 in verilog::SymbolTable::Builder::DescendDataType(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:429:7
    #30 0x647677 in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:254:9
    #31 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #32 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #33 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #34 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #35 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #36 0x64b32a in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:323:25
    #37 0x64b32a in verilog::SymbolTable::Builder::DescendActualParameterList(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:467:5
    #38 0x647c6e in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:261:9
    #39 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #40 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #41 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #42 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #43 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #44 0x64b00c in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:323:25
    #45 0x64b00c in verilog::SymbolTable::Builder::DescendReferenceExpression(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:369:7
    #46 0x6475d3 in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:258:9
    #47 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #48 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #49 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #50 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #51 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #52 0x64b97e in verilog::SymbolTable::Builder::Descend(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:323:25
    #53 0x64b97e in verilog::SymbolTable::Builder::DescendCallArgumentList(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:493:5
    #54 0x647a34 in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:267:9
    #55 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #56 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #57 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #58 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #59 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #60 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #61 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #62 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #63 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #64 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #65 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #66 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #67 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #68 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #69 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #70 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #71 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #72 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #73 0xa33837 in verible::TreeContextVisitor::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/common/text/tree-context-visitor.cc:29:23
    #74 0x6480ff in verilog::SymbolTable::Builder::Visit(verible::SyntaxTreeNode const&) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc
    #75 0x645b56 in verilog::BuildSymbolTable(verilog::VerilogSourceFile const&, verilog::SymbolTable*, verilog::VerilogProject*) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:2383:16
    #76 0x6445ca in verilog::ParseFileAndBuildSymbolTable(verilog::VerilogSourceFile*, verilog::SymbolTable*, verilog::VerilogProject*, std::vector<absl::lts_20240116::Status, std::allocator<absl::lts_20240116::Status>>*) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:2345:7
    #77 0x644165 in verilog::SymbolTable::Build(std::vector<absl::lts_20240116::Status, std::allocator<absl::lts_20240116::Status>>*) /proc/self/cwd/verible/verilog/analysis/symbol-table.cc:2353:5
    #78 0x62441e in verilog::SymbolTableHandler::BuildProjectSymbolTable() /proc/self/cwd/verible/verilog/tools/ls/symbol-table-handler.cc:150:18
    #79 0x624b5f in verilog::SymbolTableHandler::Prepare() /proc/self/cwd/verible/verilog/tools/ls/symbol-table-handler.cc:279:21
    #80 0x6291d2 in verilog::SymbolTableHandler::FindRenameLocationsAndCreateEdits(verible::lsp::RenameParams const&, verilog::BufferTrackerContainer const&) /proc/self/cwd/verible/verilog/tools/ls/symbol-table-handler.cc:462:3
    #81 0x59c604 in verilog::VerilogLanguageServer::SetRequestHandlers()::$_10::operator()(verible::lsp::RenameParams const&) const /proc/self/cwd/verible/verilog/tools/ls/verilog-language-server.cc:174:38
    #82 0x59c604 in verible::lsp::WorkspaceEdit std::__invoke_impl<verible::lsp::WorkspaceEdit, verilog::VerilogLanguageServer::SetRequestHandlers()::$_10&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&>(std::__invoke_other, verilog::VerilogLanguageServer::SetRequestHandlers()::$_10&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&) /opt/rh/gcc-toolset-13/root/usr/lib/gcc/x86_64-redhat-linux/13/../../../../include/c++/13/bits/invoke.h:61:14
    #83 0x59c604 in std::enable_if<is_invocable_r_v<nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void>, verilog::VerilogLanguageServer::SetRequestHandlers()::$_10&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&>, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void>>::type std::__invoke_r<nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void>, verilog::VerilogLanguageServer::SetRequestHandlers()::$_10&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&>(verilog::VerilogLanguageServer::SetRequestHandlers()::$_10&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&) /opt/rh/gcc-toolset-13/root/usr/lib/gcc/x86_64-redhat-linux/13/../../../../include/c++/13/bits/invoke.h:114:9
    #84 0x59c604 in std::_Function_handler<nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> (nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&), verilog::VerilogLanguageServer::SetRequestHandlers()::$_10>::_M_invoke(std::_Any_data const&, nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&) /opt/rh/gcc-toolset-13/root/usr/lib/gcc/x86_64-redhat-linux/13/../../../../include/c++/13/bits/std_function.h:290:9
    #85 0x8ea79e in std::function<nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> (nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&)>::operator()(nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&) const /opt/rh/gcc-toolset-13/root/usr/lib/gcc/x86_64-redhat-linux/13/../../../../include/c++/13/bits/std_function.h:591:9
    #86 0x8ea79e in verible::lsp::JsonRpcDispatcher::CallRequestHandler(nlohmann::json_abi_v3_11_3::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::json_abi_v3_11_3::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>, void> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) /proc/self/cwd/verible/common/lsp/json-rpc-dispatcher.cc:98:33
    #87 0x8e6a82 in verible::lsp::JsonRpcDispatcher::DispatchMessage(std::basic_string_view<char, std::char_traits<char>>) /proc/self/cwd/verible/common/lsp/json-rpc-dispatcher.cc:54:15
    #88 0x917c11 in std::function<void (std::basic_string_view<char, std::char_traits<char>>, std::basic_string_view<char, std::char_traits<char>>)>::operator()(std::basic_string_view<char, std::char_traits<char>>, std::basic_string_view<char, std::char_traits<char>>) const /opt/rh/gcc-toolset-13/root/usr/lib/gcc/x86_64-redhat-linux/13/../../../../include/c++/13/bits/std_function.h:591:9
    #89 0x917c11 in verible::lsp::MessageStreamSplitter::ProcessContainedMessages(std::basic_string_view<char, std::char_traits<char>>*) /proc/self/cwd/verible/common/lsp/message-stream-splitter.cc:98:5
    #90 0x91729a in verible::lsp::MessageStreamSplitter::ReadInput(std::function<int (char*, int)> const&) /proc/self/cwd/verible/common/lsp/message-stream-splitter.cc:141:3
    #91 0x5b8b22 in verible::lsp::MessageStreamSplitter::PullFrom(std::function<int (char*, int)> const&) /proc/self/cwd/verible/common/lsp/message-stream-splitter.cc:36:10
    #92 0x5b8b22 in verilog::VerilogLanguageServer::Step(std::function<int (char*, int)> const&) /proc/self/cwd/verible/verilog/tools/ls/verilog-language-server.cc:190:27
    #93 0x5b8b22 in verilog::VerilogLanguageServer::Run(std::function<int (char*, int)> const&) /proc/self/cwd/verible/verilog/tools/ls/verilog-language-server.cc:197:14
    #94 0x585ad7 in main /proc/self/cwd/verible/verilog/tools/ls/verible-verilog-ls.cc:69:32
    #95 0x7ffff7aab5cf in __libc_start_call_main (/lib64/libc.so.6+0x295cf) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be)
    #96 0x7ffff7aab67f in __libc_start_main@GLIBC_2.2.5 (/lib64/libc.so.6+0x2967f) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be)
    #97 0x4ab624 in _start (/src/target/verible-verilog-ls+0x4ab624) (BuildId: c7b5ca6b06003bcb)


AddressSanitizer can not provide additional info.
SUMMARY: AddressSanitizer: ABRT (/lib64/libc.so.6+0x8b53c) (BuildId: fc46bc419367003d0e4e399cbe22aade4a1ee7be) in __pthread_kill_implementation
==973==ABORTING

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions