Don't allow NULL as an argument to block_static_block
authorTom Tromey <tom@tromey.com>
Fri, 20 Jan 2023 00:20:09 +0000 (17:20 -0700)
committerTom Tromey <tom@tromey.com>
Sun, 19 Feb 2023 19:51:05 +0000 (12:51 -0700)
block_static_block has special behavior when the block is NULL.
Remove this and patch up the callers instead.

gdb/ada-lang.c
gdb/block.c
gdb/compile/compile-c-symbols.c
gdb/compile/compile-cplus-symbols.c
gdb/cp-support.c
gdb/symtab.c

index 75c5f5ebd6e35c66a6ec75fcee4a7fa0ecade297..0198598982cfc99600bd4860160cd377c117f51c 100644 (file)
@@ -13795,7 +13795,11 @@ public:
   {
     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)
       return sym;
 
index 97a0214e0370b3a9b64174b690148338cd67867d..d21729f069d3eb9e6d8c807dea53fa4ff785c421 100644 (file)
@@ -364,12 +364,12 @@ block_set_using (struct block *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 *
 block_static_block (const struct block *block)
 {
-  if (block == NULL || block->superblock () == NULL)
+  if (block->superblock () == NULL)
     return NULL;
 
   while (block->superblock ()->superblock () != NULL)
index 6faff0eee06a7aa0bb257008597eba65db5f9877..7af0bff56814e2a210b33130654cefb7a44c0409 100644 (file)
@@ -212,7 +212,6 @@ static void
 convert_symbol_sym (compile_c_instance *context, const char *identifier,
                    struct block_symbol sym, domain_enum domain)
 {
-  const struct block *static_block;
   int is_local_symbol;
 
   /* If we found a symbol and it is not in the  static or global
@@ -227,7 +226,9 @@ convert_symbol_sym (compile_c_instance *context, const char *identifier,
      }
   */
 
-  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.  */
   is_local_symbol = (sym.block != static_block && static_block != NULL);
   if (is_local_symbol)
@@ -613,6 +614,9 @@ generate_c_for_variable_locations (compile_instance *compiler,
                                   const struct block *block,
                                   CORE_ADDR pc)
 {
+  if (block == nullptr)
+    return {};
+
   const struct block *static_block = block_static_block (block);
 
   /* If we're already in the static or global block, there is nothing
index 039aee34ab73769e4a8c091f317059da18a40560..c183d089d70234b2b64c8feb46b5bc72eeb2bc3b 100644 (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.  */
   bool is_local_symbol = (sym.block != static_block && static_block != nullptr);
   if (is_local_symbol)
index 6a96f9f213e8c8a6ea7bf9ba5228ab4bddfd33ba..f7767c980c51b9ec331177e6842be2dfd0d5b194 100644 (file)
@@ -1307,7 +1307,8 @@ add_symbol_overload_list_namespace (const char *func_name,
     }
 
   /* 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)
     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);
 
   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
      symbols which match.  */
index bd73c521b1a02e6a3443a586e68faf23a5bed942..598e243b24cd50b99db61809b4c611914330a69d 100644 (file)
@@ -2155,13 +2155,15 @@ lookup_local_symbol (const char *name,
                     const domain_enum domain,
                     enum language language)
 {
+  if (block == nullptr)
+    return {};
+
   struct symbol *sym;
   const struct block *static_block = block_static_block (block);
   const char *scope = block_scope (block);
   
-  /* Check if either no block is specified or it's a global block.  */
-
-  if (static_block == NULL)
+  /* Check if it's a global block.  */
+  if (static_block == nullptr)
     return {};
 
   while (block != static_block)
@@ -2458,6 +2460,9 @@ lookup_symbol_in_static_block (const char *name,
                               const struct block *block,
                               const domain_enum domain)
 {
+  if (block == nullptr)
+    return {};
+
   const struct block *static_block = block_static_block (block);
   struct symbol *sym;
 
@@ -5825,7 +5830,7 @@ default_collect_symbol_completion_matches_break_on
      visible from current context.  */
 
   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);
   if (surrounding_static_block != NULL)
     while (b != surrounding_static_block)