Don't allow NULL as an argument to block_static_block

block_static_block has special behavior when the block is NULL.
Remove this and patch up the callers instead.
This commit is contained in:
Tom Tromey 2023-01-19 17:20:09 -07:00
parent 392c1cbd74
commit 7800409613
6 changed files with 30 additions and 11 deletions

View file

@ -13795,7 +13795,11 @@ public:
{ {
struct block_symbol sym; struct block_symbol sym;
sym = ada_lookup_symbol (name, block_static_block (block), domain); sym = ada_lookup_symbol (name,
(block == nullptr
? nullptr
: block_static_block (block)),
domain);
if (sym.symbol != NULL) if (sym.symbol != NULL)
return sym; return sym;

View file

@ -364,12 +364,12 @@ block_set_using (struct block *block,
} }
/* Return the static block associated to BLOCK. Return NULL if block /* Return the static block associated to BLOCK. Return NULL if block
is NULL or if block is a global block. */ is a global block. */
const struct block * const struct block *
block_static_block (const struct block *block) block_static_block (const struct block *block)
{ {
if (block == NULL || block->superblock () == NULL) if (block->superblock () == NULL)
return NULL; return NULL;
while (block->superblock ()->superblock () != NULL) while (block->superblock ()->superblock () != NULL)

View file

@ -212,7 +212,6 @@ static void
convert_symbol_sym (compile_c_instance *context, const char *identifier, convert_symbol_sym (compile_c_instance *context, const char *identifier,
struct block_symbol sym, domain_enum domain) struct block_symbol sym, domain_enum domain)
{ {
const struct block *static_block;
int is_local_symbol; int is_local_symbol;
/* If we found a symbol and it is not in the static or global /* If we found a symbol and it is not in the static or global
@ -227,6 +226,8 @@ convert_symbol_sym (compile_c_instance *context, const char *identifier,
} }
*/ */
const struct block *static_block = nullptr;
if (sym.block != nullptr)
static_block = block_static_block (sym.block); static_block = block_static_block (sym.block);
/* STATIC_BLOCK is NULL if FOUND_BLOCK is the global block. */ /* STATIC_BLOCK is NULL if FOUND_BLOCK is the global block. */
is_local_symbol = (sym.block != static_block && static_block != NULL); is_local_symbol = (sym.block != static_block && static_block != NULL);
@ -613,6 +614,9 @@ generate_c_for_variable_locations (compile_instance *compiler,
const struct block *block, const struct block *block,
CORE_ADDR pc) CORE_ADDR pc)
{ {
if (block == nullptr)
return {};
const struct block *static_block = block_static_block (block); const struct block *static_block = block_static_block (block);
/* If we're already in the static or global block, there is nothing /* If we're already in the static or global block, there is nothing

View file

@ -239,7 +239,9 @@ convert_symbol_sym (compile_cplus_instance *instance,
} }
*/ */
const struct block *static_block = block_static_block (sym.block); const struct block *static_block = nullptr;
if (sym.block != nullptr)
static_block = block_static_block (sym.block);
/* STATIC_BLOCK is NULL if FOUND_BLOCK is the global block. */ /* STATIC_BLOCK is NULL if FOUND_BLOCK is the global block. */
bool is_local_symbol = (sym.block != static_block && static_block != nullptr); bool is_local_symbol = (sym.block != static_block && static_block != nullptr);
if (is_local_symbol) if (is_local_symbol)

View file

@ -1307,7 +1307,8 @@ add_symbol_overload_list_namespace (const char *func_name,
} }
/* Look in the static block. */ /* Look in the static block. */
block = block_static_block (get_selected_block (0)); block = get_selected_block (0);
block = block == nullptr ? nullptr : block_static_block (block);
if (block) if (block)
add_symbol_overload_list_block (name, block, overload_list); add_symbol_overload_list_block (name, block, overload_list);
@ -1457,6 +1458,9 @@ add_symbol_overload_list_qualified (const char *func_name,
add_symbol_overload_list_block (func_name, b, overload_list); add_symbol_overload_list_block (func_name, b, overload_list);
surrounding_static_block = block_static_block (get_selected_block (0)); surrounding_static_block = block_static_block (get_selected_block (0));
surrounding_static_block = (surrounding_static_block == nullptr
? nullptr
: block_static_block (surrounding_static_block));
/* Go through the symtabs and check the externs and statics for /* Go through the symtabs and check the externs and statics for
symbols which match. */ symbols which match. */

View file

@ -2155,13 +2155,15 @@ lookup_local_symbol (const char *name,
const domain_enum domain, const domain_enum domain,
enum language language) enum language language)
{ {
if (block == nullptr)
return {};
struct symbol *sym; struct symbol *sym;
const struct block *static_block = block_static_block (block); const struct block *static_block = block_static_block (block);
const char *scope = block_scope (block); const char *scope = block_scope (block);
/* Check if either no block is specified or it's a global block. */ /* Check if it's a global block. */
if (static_block == nullptr)
if (static_block == NULL)
return {}; return {};
while (block != static_block) while (block != static_block)
@ -2458,6 +2460,9 @@ lookup_symbol_in_static_block (const char *name,
const struct block *block, const struct block *block,
const domain_enum domain) const domain_enum domain)
{ {
if (block == nullptr)
return {};
const struct block *static_block = block_static_block (block); const struct block *static_block = block_static_block (block);
struct symbol *sym; struct symbol *sym;
@ -5825,7 +5830,7 @@ default_collect_symbol_completion_matches_break_on
visible from current context. */ visible from current context. */
b = get_selected_block (0); b = get_selected_block (0);
surrounding_static_block = block_static_block (b); surrounding_static_block = b == nullptr ? nullptr : block_static_block (b);
surrounding_global_block = block_global_block (b); surrounding_global_block = block_global_block (b);
if (surrounding_static_block != NULL) if (surrounding_static_block != NULL)
while (b != surrounding_static_block) while (b != surrounding_static_block)