gdb/dwarf: rename cooked_index to cooked_index_shard
authorSimon Marchi <simon.marchi@efficios.com>
Tue, 31 Jan 2023 18:27:20 +0000 (13:27 -0500)
committerSimon Marchi <simon.marchi@polymtl.ca>
Wed, 1 Feb 2023 03:03:40 +0000 (22:03 -0500)
commita8dc67183978d0b0369ec7e45b19ccd613a2321d
tree03e2f8eb304f4214de8446d7487dcaa12b3c0cbc
parent6cb7f6d92e4508274fab69c7acbbb961fc45dc70
gdb/dwarf: rename cooked_index to cooked_index_shard

I propose to rename cooked_index_vector and cooked_index such that the
"main" object, that is the entry point to the index, is called
cooked_index.  The fact that the cooked index is implemented as a vector
of smaller indexes is an implementation detail.

This patch renames cooked_index to cooked_index_shard.  The following
patch renames cooked_index_vector to cooked_index.

Change-Id: Id650f97dcb23c48f8409fa0974cd093ca0b75177
Approved-By: Tom Tromey <tom@tromey.com>
gdb/dwarf2/cooked-index.c
gdb/dwarf2/cooked-index.h
gdb/dwarf2/read.c