gdb/
[deliverable/binutils-gdb.git] / gdb / symtab.c
index 5fbe58cf698dee8a4f0a01f0505546e61dedfdef..9447bd91772474cab7dcce0fc067d63f27a1eb32 100644 (file)
@@ -2,7 +2,7 @@
 
    Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
    1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2007, 2008, 2009,
-   2010 Free Software Foundation, Inc.
+   2010, 2011 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -83,10 +83,6 @@ static void output_source_filename (const char *, int *);
 
 static int find_line_common (struct linetable *, int, int *);
 
-/* This one is used by linespec.c */
-
-char *operator_chars (char *p, char **end);
-
 static struct symbol *lookup_symbol_aux (const char *name,
                                         const struct block *block,
                                         const domain_enum domain,
@@ -110,13 +106,8 @@ struct symbol *lookup_symbol_aux_quick (struct objfile *objfile,
                                        const char *name,
                                        const domain_enum domain);
 
-static void print_symbol_info (domain_enum,
-                              struct symtab *, struct symbol *, int, char *);
-
 static void print_msymbol_info (struct minimal_symbol *);
 
-static void symtab_symbol_info (char *, domain_enum, int);
-
 void _initialize_symtab (void);
 
 /* */
@@ -147,7 +138,7 @@ multiple_symbols_select_mode (void)
 
 /* Block in which the most recently searched-for symbol was found.
    Might be better to make this a parameter to lookup_symbol and
-   value_of_this. */
+   value_of_this.  */
 
 const struct block *block_found;
 
@@ -163,6 +154,9 @@ lookup_symtab (const char *name)
   struct objfile *objfile;
   char *real_path = NULL;
   char *full_path = NULL;
+  struct cleanup *cleanup;
+
+  cleanup = make_cleanup (null_cleanup, NULL);
 
   /* Here we are interested in canonicalizing an absolute path, not
      absolutizing a relative path.  */
@@ -176,12 +170,13 @@ lookup_symtab (const char *name)
 
 got_symtab:
 
-  /* First, search for an exact match */
+  /* First, search for an exact match */
 
   ALL_SYMTABS (objfile, s)
   {
     if (FILENAME_CMP (name, s->filename) == 0)
       {
+       do_cleanups (cleanup);
        return s;
       }
 
@@ -194,6 +189,7 @@ got_symtab:
 
         if (fp != NULL && FILENAME_CMP (full_path, fp) == 0)
           {
+           do_cleanups (cleanup);
             return s;
           }
       }
@@ -209,19 +205,23 @@ got_symtab:
             make_cleanup (xfree, rp);
             if (FILENAME_CMP (real_path, rp) == 0)
               {
+               do_cleanups (cleanup);
                 return s;
               }
           }
       }
   }
 
-  /* Now, search for a matching tail (only if name doesn't have any dirs) */
+  /* Now, search for a matching tail (only if name doesn't have any dirs) */
 
   if (lbasename (name) == name)
     ALL_SYMTABS (objfile, s)
     {
       if (FILENAME_CMP (lbasename (s->filename), name) == 0)
-       return s;
+       {
+         do_cleanups (cleanup);
+         return s;
+       }
     }
 
   /* Same search rules as above apply here, but now we look thru the
@@ -240,9 +240,15 @@ got_symtab:
   }
 
   if (s != NULL)
-    return s;
+    {
+      do_cleanups (cleanup);
+      return s;
+    }
   if (!found)
-    return NULL;
+    {
+      do_cleanups (cleanup);
+      return NULL;
+    }
 
   /* At this point, we have located the psymtab for this file, but
      the conversion to a symtab has failed.  This usually happens
@@ -250,15 +256,15 @@ got_symtab:
      PSYMTAB_TO_SYMTAB doesn't return a symtab, even though one has
      been created.  So, we need to run through the symtabs again in
      order to find the file.
-     XXX - This is a crock, and should be fixed inside of the the
-     symbol parsing routines. */
+     XXX - This is a crock, and should be fixed inside of the
+     symbol parsing routines.  */
   goto got_symtab;
 }
 \f
 /* Mangle a GDB method stub type.  This actually reassembles the pieces of the
    full method name, which consist of the class name (from T), the unadorned
    method name from METHOD_ID, and the signature for the specific overload,
-   specified by SIGNATURE_ID.  Note that this function is g++ specific. */
+   specified by SIGNATURE_ID.  Note that this function is g++ specific.  */
 
 char *
 gdb_mangle_name (struct type *type, int method_id, int signature_id)
@@ -268,7 +274,7 @@ gdb_mangle_name (struct type *type, int method_id, int signature_id)
   struct fn_field *f = TYPE_FN_FIELDLIST1 (type, method_id);
   struct fn_field *method = &f[signature_id];
   char *field_name = TYPE_FN_FIELDLIST_NAME (type, method_id);
-  char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
+  const char *physname = TYPE_FN_FIELD_PHYSNAME (f, signature_id);
   char *newname = type_name_no_tag (type);
 
   /* Does the form of physname indicate that it is the full mangled name
@@ -291,8 +297,8 @@ gdb_mangle_name (struct type *type, int method_id, int signature_id)
 
   is_full_physname_constructor = is_constructor_name (physname);
 
-  is_constructor =
-    is_full_physname_constructor || (newname && strcmp (field_name, newname) == 0);
+  is_constructor = is_full_physname_constructor 
+    || (newname && strcmp (field_name, newname) == 0);
 
   if (!is_destructor)
     is_destructor = (strncmp (physname, "__dt", 4) == 0);
@@ -332,7 +338,7 @@ gdb_mangle_name (struct type *type, int method_id, int signature_id)
   strcat (mangled_name, buf);
   /* If the class doesn't have a name, i.e. newname NULL, then we just
      mangle it using 0 for the length of the class.  Thus it gets mangled
-     as something starting with `::' rather than `classname::'. */
+     as something starting with `::' rather than `classname::'.  */
   if (newname != NULL)
     strcat (mangled_name, newname);
 
@@ -358,7 +364,7 @@ symbol_init_cplus_specific (struct general_symbol_info *gsymbol,
 
 /* Set the demangled name of GSYMBOL to NAME.  NAME must be already
    correctly allocated.  For C++ symbols a cplus_specific struct is
-   allocated so OBJFILE must not be NULL. If this is a non C++ symbol
+   allocated so OBJFILE must not be NULL.  If this is a non C++ symbol
    OBJFILE can be NULL.  */
 void
 symbol_set_demangled_name (struct general_symbol_info *gsymbol,
@@ -382,8 +388,10 @@ symbol_get_demangled_name (const struct general_symbol_info *gsymbol)
 {
   if (gsymbol->language == language_cplus)
     {
-      gdb_assert (gsymbol->language_specific.cplus_specific != NULL);
-      return gsymbol->language_specific.cplus_specific->demangled_name;
+      if (gsymbol->language_specific.cplus_specific != NULL)
+       return gsymbol->language_specific.cplus_specific->demangled_name;
+      else
+       return NULL;
     }
   else
     return gsymbol->language_specific.mangled_lang.demangled_name;
@@ -391,7 +399,7 @@ symbol_get_demangled_name (const struct general_symbol_info *gsymbol)
 
 \f
 /* Initialize the language dependent portion of a symbol
-   depending upon the language for the symbol. */
+   depending upon the language for the symbol.  */
 void
 symbol_set_language (struct general_symbol_info *gsymbol,
                      enum language language)
@@ -488,7 +496,7 @@ symbol_find_demangled_name (struct general_symbol_info *gsymbol,
       || gsymbol->language == language_auto)
     {
       demangled =
-        cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI | DMGL_VERBOSE);
+        cplus_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
       if (demangled != NULL)
        {
          gsymbol->language = language_cplus;
@@ -717,7 +725,7 @@ symbol_natural_name (const struct general_symbol_info *gsymbol)
 }
 
 /* Return the demangled name for a symbol based on the language for
-   that symbol.  If no demangled name exists, return NULL. */
+   that symbol.  If no demangled name exists, return NULL.  */
 char *
 symbol_demangled_name (const struct general_symbol_info *gsymbol)
 {
@@ -746,7 +754,7 @@ symbol_demangled_name (const struct general_symbol_info *gsymbol)
 /* Return the search name of a symbol---generally the demangled or
    linkage name of the symbol, depending on how it will be searched for.
    If there is no distinct demangled name, then returns the same value
-   (same pointer) as SYMBOL_LINKAGE_NAME. */
+   (same pointer) as SYMBOL_LINKAGE_NAME.  */
 char *
 symbol_search_name (const struct general_symbol_info *gsymbol)
 {
@@ -993,7 +1001,7 @@ fixup_symbol_section (struct symbol *sym, struct objfile *objfile)
    NAME is a field of the current implied argument `this'.  If so set
    *IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
    BLOCK_FOUND is set to the block in which NAME is found (in the case of
-   a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
+   a field of `this', value_of_this sets BLOCK_FOUND to the proper value.)  */
 
 /* This function has a bunch of loops in it and it would seem to be
    attractive to put in some QUIT's (though I'm not really sure
@@ -1018,7 +1026,7 @@ lookup_symbol_in_language (const char *name, const struct block *block,
   modified_name = name;
 
   /* If we are using C++, D, or Java, demangle the name before doing a
-     lookup, so we can always binary search. */
+     lookup, so we can always binary search.  */
   if (lang == language_cplus)
     {
       demangled_name = cplus_demangle (name, DMGL_ANSI | DMGL_PARAMS);
@@ -1059,19 +1067,6 @@ lookup_symbol_in_language (const char *name, const struct block *block,
        }
     }
 
-  if (case_sensitivity == case_sensitive_off)
-    {
-      char *copy;
-      int len, i;
-
-      len = strlen (name);
-      copy = (char *) alloca (len + 1);
-      for (i= 0; i < len; i++)
-        copy[i] = tolower (name[i]);
-      copy[len] = 0;
-      modified_name = copy;
-    }
-
   returnval = lookup_symbol_aux (modified_name, block, domain, lang,
                                 is_a_field_of_this);
   do_cleanups (cleanup);
@@ -1091,6 +1086,31 @@ lookup_symbol (const char *name, const struct block *block,
                                    is_a_field_of_this);
 }
 
+/* Look up the `this' symbol for LANG in BLOCK.  Return the symbol if
+   found, or NULL if not found.  */
+
+struct symbol *
+lookup_language_this (const struct language_defn *lang,
+                     const struct block *block)
+{
+  if (lang->la_name_of_this == NULL || block == NULL)
+    return NULL;
+
+  while (block)
+    {
+      struct symbol *sym;
+
+      sym = lookup_block_symbol (block, lang->la_name_of_this, VAR_DOMAIN);
+      if (sym != NULL)
+       return sym;
+      if (BLOCK_FUNCTION (block))
+       break;
+      block = BLOCK_SUPERBLOCK (block);
+    }
+
+  return NULL;
+}
+
 /* Behave like lookup_symbol except that NAME is the natural name
    of the symbol that we're looking for and, if LINKAGE_NAME is
    non-NULL, ensure that the symbol's linkage name matches as
@@ -1124,20 +1144,10 @@ lookup_symbol_aux (const char *name, const struct block *block,
 
   langdef = language_def (language);
 
-  if (langdef->la_name_of_this != NULL && is_a_field_of_this != NULL
-      && block != NULL)
+  if (is_a_field_of_this != NULL)
     {
-      struct symbol *sym = NULL;
-      const struct block *function_block = block;
+      struct symbol *sym = lookup_language_this (langdef, block);
 
-      /* 'this' is only defined in the function's block, so find the
-        enclosing function block.  */
-      for (; function_block && !BLOCK_FUNCTION (function_block);
-          function_block = BLOCK_SUPERBLOCK (function_block));
-
-      if (function_block && !dict_empty (BLOCK_DICT (function_block)))
-       sym = lookup_block_symbol (function_block, langdef->la_name_of_this,
-                                  VAR_DOMAIN);
       if (sym)
        {
          struct type *t = sym->type;
@@ -1178,7 +1188,7 @@ lookup_symbol_aux (const char *name, const struct block *block,
 /* Search all static file-level symbols for NAME from DOMAIN.  Do the symtabs
    first, then check the psymtabs.  If a psymtab indicates the existence of the
    desired name as a file-level static, then do psymtab-to-symtab conversion on
-   the fly and return the found symbol. */
+   the fly and return the found symbol.  */
 
 struct symbol *
 lookup_static_symbol_aux (const char *name, const domain_enum domain)
@@ -1389,7 +1399,7 @@ lookup_symbol_aux_quick (struct objfile *objfile, int kind,
     {
       /* This shouldn't be necessary, but as a last resort try
         looking in the statics even though the psymtab claimed
-        the symbol was global, or vice-versa. It's possible
+        the symbol was global, or vice-versa.  It's possible
         that the psymtab gets it wrong in some cases.  */
 
       /* FIXME: carlton/2002-09-30: Should we really do that?
@@ -1403,7 +1413,10 @@ lookup_symbol_aux_quick (struct objfile *objfile, int kind,
                                 STATIC_BLOCK : GLOBAL_BLOCK);
       sym = lookup_block_symbol (block, name, domain);
       if (!sym)
-       error (_("Internal: %s symbol `%s' found in %s psymtab but not in symtab.\n%s may be an inlined function, or may be a template function\n(if a template, try specifying an instantiation: %s<type>)."),
+       error (_("\
+Internal: %s symbol `%s' found in %s psymtab but not in symtab.\n\
+%s may be an inlined function, or may be a template function\n\
+(if a template, try specifying an instantiation: %s<type>)."),
               kind == GLOBAL_BLOCK ? "global" : "static",
               name, symtab->filename, name, name);
     }
@@ -1562,14 +1575,15 @@ basic_lookup_transparent_type_quick (struct objfile *objfile, int kind,
 
       /* This shouldn't be necessary, but as a last resort
        * try looking in the 'other kind' even though the psymtab
-       * claimed the symbol was one thing. It's possible that
+       * claimed the symbol was one thing.  It's possible that
        * the psymtab gets it wrong in some cases.
        */
       block = BLOCKVECTOR_BLOCK (bv, other_kind);
       sym = lookup_block_symbol (block, name, STRUCT_DOMAIN);
       if (!sym)
-       /* FIXME; error is wrong in one case */
-       error (_("Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
+       /* FIXME; error is wrong in one case.  */
+       error (_("\
+Internal: global symbol `%s' found in %s psymtab but not in symtab.\n\
 %s may be an inlined function, or may be a template function\n\
 (if a template, try specifying an instantiation: %s<type>)."),
               name, symtab->filename, name, name);
@@ -1597,7 +1611,7 @@ basic_lookup_transparent_type (const char *name)
   struct type *t;
 
   /* Now search all the global symbols.  Do the symtab's first, then
-     check the psymtab's. If a psymtab indicates the existence
+     check the psymtab's.  If a psymtab indicates the existence
      of the desired name as a global, then do psymtab-to-symtab
      conversion on the fly and return the found symbol.  */
 
@@ -1631,10 +1645,9 @@ basic_lookup_transparent_type (const char *name)
   /* Now search the static file-level symbols.
      Not strictly correct, but more useful than an error.
      Do the symtab's first, then
-     check the psymtab's. If a psymtab indicates the existence
+     check the psymtab's.  If a psymtab indicates the existence
      of the desired name as a file-level static, then do psymtab-to-symtab
-     conversion on the fly and return the found symbol.
-   */
+     conversion on the fly and return the found symbol.  */
 
   ALL_OBJFILES (objfile)
   {
@@ -1665,9 +1678,9 @@ basic_lookup_transparent_type (const char *name)
 }
 
 
-/* Find the name of the file containing main(). */
+/* Find the name of the file containing main().  */
 /* FIXME:  What about languages without main() or specially linked
-   executables that have no main() ? */
+   executables that have no main() ?   */
 
 const char *
 find_main_filename (void)
@@ -1697,8 +1710,7 @@ find_main_filename (void)
    binary search terminates, we drop through and do a straight linear
    search on the symbols.  Each symbol which is marked as being a ObjC/C++
    symbol (language_cplus or language_objc set) has both the encoded and
-   non-encoded names tested for a match.
-*/
+   non-encoded names tested for a match.  */
 
 struct symbol *
 lookup_block_symbol (const struct block *block, const char *name,
@@ -1743,12 +1755,12 @@ lookup_block_symbol (const struct block *block, const char *name,
                }
            }
        }
-      return (sym_found);      /* Will be NULL if not found. */
+      return (sym_found);      /* Will be NULL if not found.  */
     }
 }
 
 /* Find the symtab associated with PC and SECTION.  Look through the
-   psymtabs and read in another symtab if necessary. */
+   psymtabs and read in another symtab if necessary.  */
 
 struct symtab *
 find_pc_sect_symtab (CORE_ADDR pc, struct obj_section *section)
@@ -1785,7 +1797,7 @@ find_pc_sect_symtab (CORE_ADDR pc, struct obj_section *section)
      0x1000-0x4000, but for address 0x2345 we want to return symtab b.
 
      This happens for native ecoff format, where code from included files
-     gets its own symtab. The symtab for the included file should have
+     gets its own symtab.  The symtab for the included file should have
      been read in already via the dependency mechanism.
      It might be swifter to create several symtabs with the same name
      like xcoff does (I'm not sure).
@@ -1808,7 +1820,7 @@ find_pc_sect_symtab (CORE_ADDR pc, struct obj_section *section)
           and we simply return its corresponding symtab.  */
        /* In order to better support objfiles that contain both
           stabs and coff debugging info, we continue on if a psymtab
-          can't be found. */
+          can't be found.  */
        if ((objfile->flags & OBJF_REORDERED) && objfile->sf)
          {
            struct symtab *result;
@@ -1833,7 +1845,8 @@ find_pc_sect_symtab (CORE_ADDR pc, struct obj_section *section)
                  break;
              }
            if (sym == NULL)
-             continue;         /* no symbol in this symtab matches section */
+             continue;         /* No symbol in this symtab matches
+                                  section.  */
          }
        distance = BLOCK_END (b) - BLOCK_START (b);
        best_s = s;
@@ -1860,8 +1873,8 @@ find_pc_sect_symtab (CORE_ADDR pc, struct obj_section *section)
   return NULL;
 }
 
-/* Find the symtab associated with PC.  Look through the psymtabs and
-   read in another symtab if necessary.  Backward compatibility, no section */
+/* Find the symtab associated with PC.  Look through the psymtabs and read
+   in another symtab if necessary.  Backward compatibility, no section.  */
 
 struct symtab *
 find_pc_symtab (CORE_ADDR pc)
@@ -1899,6 +1912,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
   struct blockvector *bv;
   struct minimal_symbol *msymbol;
   struct minimal_symbol *mfunsym;
+  struct objfile *objfile;
 
   /* Info on best line seen so far, and where it starts, and its file.  */
 
@@ -1940,10 +1954,10 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
 
   /* elz: added this because this function returned the wrong
      information if the pc belongs to a stub (import/export)
-     to call a shlib function. This stub would be anywhere between
+     to call a shlib function.  This stub would be anywhere between
      two functions in the target, and the line info was erroneously
-     taken to be the one of the line before the pc.
-   */
+     taken to be the one of the line before the pc.  */
+
   /* RT: Further explanation:
 
    * We have stubs (trampolines) inserted between procedures.
@@ -1952,7 +1966,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
    * exists in the main image.
    *
    * In the minimal symbol table, we have a bunch of symbols
-   * sorted by start address. The stubs are marked as "trampoline",
+   * sorted by start address.  The stubs are marked as "trampoline",
    * the others appear as text. E.g.:
    *
    *  Minimal symbol table for main image
@@ -1972,13 +1986,13 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
    *
    * Assumptions being made about the minimal symbol table:
    *   1. lookup_minimal_symbol_by_pc() will return a trampoline only
-   *      if we're really in the trampoline. If we're beyond it (say
+   *      if we're really in the trampoline.s If we're beyond it (say
    *      we're in "foo" in the above example), it'll have a closer
    *      symbol (the "foo" text symbol for example) and will not
    *      return the trampoline.
    *   2. lookup_minimal_symbol_text() will find a real text symbol
    *      corresponding to the trampoline, and whose address will
-   *      be different than the trampoline address. I put in a sanity
+   *      be different than the trampoline address.  I put in a sanity
    *      check for the address being the same, to avoid an
    *      infinite recursion.
    */
@@ -1997,13 +2011,18 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
           * In the above situation, the shared lib is not loaded yet,
           * so of course we can't find the real func/line info,
           * but the "break" still works, and the warning is annoying.
-          * So I commented out the warning. RT */
-         /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
+          * So I commented out the warning.  RT */
+         /* warning ("In stub for %s; unable to find real function/line info",
+            SYMBOL_LINKAGE_NAME (msymbol)); */
+         ;
        /* fall through */
-       else if (SYMBOL_VALUE_ADDRESS (mfunsym) == SYMBOL_VALUE_ADDRESS (msymbol))
+       else if (SYMBOL_VALUE_ADDRESS (mfunsym)
+                == SYMBOL_VALUE_ADDRESS (msymbol))
          /* Avoid infinite recursion */
-         /* See above comment about why warning is commented out */
-         /* warning ("In stub for %s; unable to find real function/line info", SYMBOL_LINKAGE_NAME (msymbol)) */ ;
+         /* See above comment about why warning is commented out.  */
+         /* warning ("In stub for %s; unable to find real function/line info",
+            SYMBOL_LINKAGE_NAME (msymbol)); */
+         ;
        /* fall through */
        else
          return find_pc_line (SYMBOL_VALUE_ADDRESS (mfunsym), 0);
@@ -2013,7 +2032,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
   s = find_pc_sect_symtab (pc, section);
   if (!s)
     {
-      /* if no symbol information, return previous pc */
+      /* If no symbol information, return previous pc.  */
       if (notcurrent)
        pc++;
       val.pc = pc;
@@ -2021,13 +2040,17 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
     }
 
   bv = BLOCKVECTOR (s);
+  objfile = s->objfile;
 
   /* Look at all the symtabs that share this blockvector.
      They all have the same apriori range, that we found was right;
      but they have different line tables.  */
 
-  for (; s && BLOCKVECTOR (s) == bv; s = s->next)
+  ALL_OBJFILE_SYMTABS (objfile, s)
     {
+      if (BLOCKVECTOR (s) != bv)
+       continue;
+
       /* Find the best line in this symtab.  */
       l = LINETABLE (s);
       if (!l)
@@ -2043,7 +2066,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
        }
 
       prev = NULL;
-      item = l->item;          /* Get first line info */
+      item = l->item;          /* Get first line info */
 
       /* Is this file's first line closer than the first lines of other files?
          If so, record this file, and its first line, as best alternate.  */
@@ -2103,7 +2126,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
     {
       /* If our best fit is in a range of PC's for which no line
         number info is available (line number is zero) then we didn't
-        find any valid line information. */
+        find any valid line information.  */
       val.pc = pc;
     }
   else
@@ -2122,7 +2145,7 @@ find_pc_sect_line (CORE_ADDR pc, struct obj_section *section, int notcurrent)
   return val;
 }
 
-/* Backward compatibility (no section) */
+/* Backward compatibility (no section) */
 
 struct symtab_and_line
 find_pc_line (CORE_ADDR pc, int notcurrent)
@@ -2444,12 +2467,13 @@ skip_prologue_sal (struct symtab_and_line *sal)
   struct symbol *sym;
   struct symtab_and_line start_sal;
   struct cleanup *old_chain;
-  CORE_ADDR pc;
+  CORE_ADDR pc, saved_pc;
   struct obj_section *section;
   const char *name;
   struct objfile *objfile;
   struct gdbarch *gdbarch;
   struct block *b, *function_block;
+  int force_skip, skip;
 
   /* Do not change the SAL is PC was specified explicitly.  */
   if (sal->explicit_pc)
@@ -2487,46 +2511,69 @@ skip_prologue_sal (struct symtab_and_line *sal)
 
   gdbarch = get_objfile_arch (objfile);
 
-  /* If the function is in an unmapped overlay, use its unmapped LMA address,
-     so that gdbarch_skip_prologue has something unique to work on.  */
-  if (section_is_overlay (section) && !section_is_mapped (section))
-    pc = overlay_unmapped_address (pc, section);
-
-  /* Skip "first line" of function (which is actually its prologue).  */
-  pc += gdbarch_deprecated_function_start_offset (gdbarch);
-  pc = gdbarch_skip_prologue (gdbarch, pc);
+  /* Process the prologue in two passes.  In the first pass try to skip the
+     prologue (SKIP is true) and verify there is a real need for it (indicated
+     by FORCE_SKIP).  If no such reason was found run a second pass where the
+     prologue is not skipped (SKIP is false).  */
 
-  /* For overlays, map pc back into its mapped VMA range.  */
-  pc = overlay_mapped_address (pc, section);
+  skip = 1;
+  force_skip = 1;
 
-  /* Calculate line number.  */
-  start_sal = find_pc_sect_line (pc, section, 0);
+  /* Be conservative - allow direct PC (without skipping prologue) only if we
+     have proven the CU (Compilation Unit) supports it.  sal->SYMTAB does not
+     have to be set by the caller so we use SYM instead.  */
+  if (sym && SYMBOL_SYMTAB (sym)->locations_valid)
+    force_skip = 0;
 
-  /* Check if gdbarch_skip_prologue left us in mid-line, and the next
-     line is still part of the same function.  */
-  if (start_sal.pc != pc
-      && (sym? (BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= start_sal.end
-               && start_sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
-          : (lookup_minimal_symbol_by_pc_section (start_sal.end, section)
-             == lookup_minimal_symbol_by_pc_section (pc, section))))
+  saved_pc = pc;
+  do
     {
-      /* First pc of next line */
-      pc = start_sal.end;
-      /* Recalculate the line number (might not be N+1).  */
-      start_sal = find_pc_sect_line (pc, section, 0);
-    }
+      pc = saved_pc;
 
-  /* On targets with executable formats that don't have a concept of
-     constructors (ELF with .init has, PE doesn't), gcc emits a call
-     to `__main' in `main' between the prologue and before user
-     code.  */
-  if (gdbarch_skip_main_prologue_p (gdbarch)
-      && name && strcmp (name, "main") == 0)
-    {
-      pc = gdbarch_skip_main_prologue (gdbarch, pc);
-      /* Recalculate the line number (might not be N+1).  */
+      /* If the function is in an unmapped overlay, use its unmapped LMA address,
+        so that gdbarch_skip_prologue has something unique to work on.  */
+      if (section_is_overlay (section) && !section_is_mapped (section))
+       pc = overlay_unmapped_address (pc, section);
+
+      /* Skip "first line" of function (which is actually its prologue).  */
+      pc += gdbarch_deprecated_function_start_offset (gdbarch);
+      if (skip)
+       pc = gdbarch_skip_prologue (gdbarch, pc);
+
+      /* For overlays, map pc back into its mapped VMA range.  */
+      pc = overlay_mapped_address (pc, section);
+
+      /* Calculate line number.  */
       start_sal = find_pc_sect_line (pc, section, 0);
+
+      /* Check if gdbarch_skip_prologue left us in mid-line, and the next
+        line is still part of the same function.  */
+      if (skip && start_sal.pc != pc
+         && (sym? (BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) <= start_sal.end
+                   && start_sal.end < BLOCK_END (SYMBOL_BLOCK_VALUE (sym)))
+             : (lookup_minimal_symbol_by_pc_section (start_sal.end, section)
+                == lookup_minimal_symbol_by_pc_section (pc, section))))
+       {
+         /* First pc of next line */
+         pc = start_sal.end;
+         /* Recalculate the line number (might not be N+1).  */
+         start_sal = find_pc_sect_line (pc, section, 0);
+       }
+
+      /* On targets with executable formats that don't have a concept of
+        constructors (ELF with .init has, PE doesn't), gcc emits a call
+        to `__main' in `main' between the prologue and before user
+        code.  */
+      if (gdbarch_skip_main_prologue_p (gdbarch)
+         && name && strcmp (name, "main") == 0)
+       {
+         pc = gdbarch_skip_main_prologue (gdbarch, pc);
+         /* Recalculate the line number (might not be N+1).  */
+         start_sal = find_pc_sect_line (pc, section, 0);
+         force_skip = 1;
+       }
     }
+  while (!force_skip && skip--);
 
   /* If we still don't have a valid source line, try to find the first
      PC in the lineinfo table that belongs to the same function.  This
@@ -2536,7 +2583,7 @@ skip_prologue_sal (struct symtab_and_line *sal)
      the case with the DJGPP target using "gcc -gcoff" when the
      compiler inserted code after the prologue to make sure the stack
      is aligned.  */
-  if (sym && start_sal.symtab == NULL)
+  if (!force_skip && sym && start_sal.symtab == NULL)
     {
       pc = skip_prologue_using_lineinfo (pc, SYMBOL_SYMTAB (sym));
       /* Recalculate the line number.  */
@@ -2586,7 +2633,7 @@ skip_prologue_sal (struct symtab_and_line *sal)
    some legitimate operator text, return a pointer to the
    beginning of the substring of the operator text.
    Otherwise, return "".  */
-char *
+static char *
 operator_chars (char *p, char **end)
 {
   *end = "";
@@ -2603,7 +2650,7 @@ operator_chars (char *p, char **end)
   while (*p == ' ' || *p == '\t')
     p++;
 
-  /* Recognize 'operator TYPENAME'. */
+  /* Recognize 'operator TYPENAME'.  */
 
   if (isalpha (*p) || *p == '_' || *p == '$')
     {
@@ -2621,7 +2668,7 @@ operator_chars (char *p, char **end)
       case '\\':                       /* regexp quoting */
        if (p[1] == '*')
          {
-           if (p[2] == '=')    /* 'operator\*=' */
+           if (p[2] == '=')            /* 'operator\*=' */
              *end = p + 3;
            else                        /* 'operator\*'  */
              *end = p + 2;
@@ -2630,7 +2677,8 @@ operator_chars (char *p, char **end)
        else if (p[1] == '[')
          {
            if (p[2] == ']')
-             error (_("mismatched quoting on brackets, try 'operator\\[\\]'"));
+             error (_("mismatched quoting on brackets, "
+                      "try 'operator\\[\\]'"));
            else if (p[2] == '\\' && p[3] == ']')
              {
                *end = p + 4;   /* 'operator\[\]' */
@@ -2641,7 +2689,7 @@ operator_chars (char *p, char **end)
          }
        else
          {
-           /* Gratuitous qoute: skip it and move on. */
+           /* Gratuitous qoute: skip it and move on.  */
            p++;
            continue;
          }
@@ -2665,7 +2713,7 @@ operator_chars (char *p, char **end)
       case '|':
        if (p[0] == '-' && p[1] == '>')
          {
-           /* Struct pointer member operator 'operator->'. */
+           /* Struct pointer member operator 'operator->'.  */
            if (p[2] == '*')
              {
                *end = p + 3;   /* 'operator->*' */
@@ -2693,17 +2741,20 @@ operator_chars (char *p, char **end)
        return p;
       case '(':
        if (p[1] != ')')
-         error (_("`operator ()' must be specified without whitespace in `()'"));
+         error (_("`operator ()' must be specified "
+                  "without whitespace in `()'"));
        *end = p + 2;
        return p;
       case '?':
        if (p[1] != ':')
-         error (_("`operator ?:' must be specified without whitespace in `?:'"));
+         error (_("`operator ?:' must be specified "
+                  "without whitespace in `?:'"));
        *end = p + 2;
        return p;
       case '[':
        if (p[1] != ']')
-         error (_("`operator []' must be specified without whitespace in `[]'"));
+         error (_("`operator []' must be specified "
+                  "without whitespace in `[]'"));
        *end = p + 2;
        return p;
       default:
@@ -2742,7 +2793,7 @@ filename_seen (const char *file, int add, int *first)
 
   /* Is FILE in tab?  */
   for (p = tab; p < tab + tab_cur_size; p++)
-    if (strcmp (*p, file) == 0)
+    if (filename_cmp (*p, file) == 0)
       return 1;
 
   /* No; maybe add it to tab.  */
@@ -2797,7 +2848,7 @@ output_source_filename (const char *name, int *first)
 
 /* A callback for map_partial_symbol_filenames.  */
 static void
-output_partial_symbol_filename (const char *fullname, const char *filename,
+output_partial_symbol_filename (const char *filename, const char *fullname,
                                void *data)
 {
   output_source_filename (fullname ? fullname : filename, data);
@@ -2826,7 +2877,8 @@ sources_info (char *ignore, int from_tty)
   }
   printf_filtered ("\n\n");
 
-  printf_filtered ("Source files for which symbols will be read in on demand:\n\n");
+  printf_filtered ("Source files for which symbols "
+                  "will be read in on demand:\n\n");
 
   first = 1;
   map_partial_symbol_filenames (output_partial_symbol_filename, &first);
@@ -2842,7 +2894,7 @@ file_matches (const char *file, char *files[], int nfiles)
     {
       for (i = 0; i < nfiles; i++)
        {
-         if (strcmp (files[i], lbasename (file)) == 0)
+         if (filename_cmp (files[i], lbasename (file)) == 0)
            return 1;
        }
     }
@@ -2851,7 +2903,7 @@ file_matches (const char *file, char *files[], int nfiles)
   return 0;
 }
 
-/* Free any memory associated with a search. */
+/* Free any memory associated with a search.  */
 void
 free_search_symbols (struct symbol_search *symbols)
 {
@@ -2930,7 +2982,10 @@ struct search_symbols_data
 {
   int nfiles;
   char **files;
-  char *regexp;
+
+  /* It is true if PREG contains valid data, false otherwise.  */
+  unsigned preg_p : 1;
+  regex_t preg;
 };
 
 /* A callback for expand_symtabs_matching.  */
@@ -2948,25 +3003,27 @@ search_symbols_name_matches (const char *symname, void *user_data)
 {
   struct search_symbols_data *data = user_data;
 
-  return data->regexp == NULL || re_exec (symname);
+  return !data->preg_p || regexec (&data->preg, symname, 0, NULL, 0) == 0;
 }
 
 /* Search the symbol table for matches to the regular expression REGEXP,
    returning the results in *MATCHES.
 
    Only symbols of KIND are searched:
+   VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
+                      and constants (enums)
    FUNCTIONS_DOMAIN - search all functions
    TYPES_DOMAIN     - search all type names
-   VARIABLES_DOMAIN - search all symbols, excluding functions, type names,
-   and constants (enums)
+   ALL_DOMAIN       - an internal error for this function
 
    free_search_symbols should be called when *MATCHES is no longer needed.
 
    The results are sorted locally; each symtab's global and static blocks are
-   separately alphabetized.
- */
+   separately alphabetized.  */
+
 void
-search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
+search_symbols (char *regexp, enum search_domain kind,
+               int nfiles, char *files[],
                struct symbol_search **matches)
 {
   struct symtab *s;
@@ -2980,13 +3037,13 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
   char *val;
   int found_misc = 0;
   static const enum minimal_symbol_type types[]
-    = {mst_data, mst_text, mst_abs, mst_unknown};
+    = {mst_data, mst_text, mst_abs};
   static const enum minimal_symbol_type types2[]
-    = {mst_bss, mst_file_text, mst_abs, mst_unknown};
+    = {mst_bss, mst_file_text, mst_abs};
   static const enum minimal_symbol_type types3[]
-    = {mst_file_data, mst_solib_trampoline, mst_abs, mst_unknown};
+    = {mst_file_data, mst_solib_trampoline, mst_abs};
   static const enum minimal_symbol_type types4[]
-    = {mst_file_bss, mst_text, mst_abs, mst_unknown};
+    = {mst_file_bss, mst_text_gnu_ifunc, mst_abs};
   enum minimal_symbol_type ourtype;
   enum minimal_symbol_type ourtype2;
   enum minimal_symbol_type ourtype3;
@@ -2994,46 +3051,52 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
   struct symbol_search *sr;
   struct symbol_search *psr;
   struct symbol_search *tail;
-  struct cleanup *old_chain = NULL;
   struct search_symbols_data datum;
 
-  if (kind < VARIABLES_DOMAIN)
-    error (_("must search on specific domain"));
+  /* OLD_CHAIN .. RETVAL_CHAIN is always freed, RETVAL_CHAIN .. current
+     CLEANUP_CHAIN is freed only in the case of an error.  */
+  struct cleanup *old_chain = make_cleanup (null_cleanup, NULL);
+  struct cleanup *retval_chain;
 
-  ourtype = types[(int) (kind - VARIABLES_DOMAIN)];
-  ourtype2 = types2[(int) (kind - VARIABLES_DOMAIN)];
-  ourtype3 = types3[(int) (kind - VARIABLES_DOMAIN)];
-  ourtype4 = types4[(int) (kind - VARIABLES_DOMAIN)];
+  gdb_assert (kind <= TYPES_DOMAIN);
+
+  ourtype = types[kind];
+  ourtype2 = types2[kind];
+  ourtype3 = types3[kind];
+  ourtype4 = types4[kind];
 
   sr = *matches = NULL;
   tail = NULL;
+  datum.preg_p = 0;
 
   if (regexp != NULL)
     {
       /* Make sure spacing is right for C++ operators.
          This is just a courtesy to make the matching less sensitive
          to how many spaces the user leaves between 'operator'
-         and <TYPENAME> or <OPERATOR>. */
+         and <TYPENAME> or <OPERATOR>.  */
       char *opend;
       char *opname = operator_chars (regexp, &opend);
+      int errcode;
 
       if (*opname)
        {
-         int fix = -1;         /* -1 means ok; otherwise number of spaces needed. */
+         int fix = -1;         /* -1 means ok; otherwise number of
+                                    spaces needed.  */
 
          if (isalpha (*opname) || *opname == '_' || *opname == '$')
            {
-             /* There should 1 space between 'operator' and 'TYPENAME'. */
+             /* There should 1 space between 'operator' and 'TYPENAME'.  */
              if (opname[-1] != ' ' || opname[-2] == ' ')
                fix = 1;
            }
          else
            {
-             /* There should 0 spaces between 'operator' and 'OPERATOR'. */
+             /* There should 0 spaces between 'operator' and 'OPERATOR'.  */
              if (opname[-1] == ' ')
                fix = 0;
            }
-         /* If wrong number of spaces, fix it. */
+         /* If wrong number of spaces, fix it.  */
          if (fix >= 0)
            {
              char *tmp = (char *) alloca (8 + fix + strlen (opname) + 1);
@@ -3043,17 +3106,26 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
            }
        }
 
-      if (0 != (val = re_comp (regexp)))
-       error (_("Invalid regexp (%s): %s"), val, regexp);
+      errcode = regcomp (&datum.preg, regexp,
+                        REG_NOSUB | (case_sensitivity == case_sensitive_off
+                                     ? REG_ICASE : 0));
+      if (errcode != 0)
+       {
+         char *err = get_regcomp_error (errcode, &datum.preg);
+
+         make_cleanup (xfree, err);
+         error (_("Invalid regexp (%s): %s"), err, regexp);
+       }
+      datum.preg_p = 1;
+      make_regfree_cleanup (&datum.preg);
     }
 
   /* Search through the partial symtabs *first* for all symbols
      matching the regexp.  That way we don't have to reproduce all of
-     the machinery below. */
+     the machinery below.  */
 
   datum.nfiles = nfiles;
   datum.files = files;
-  datum.regexp = regexp;
   ALL_OBJFILES (objfile)
   {
     if (objfile->sf)
@@ -3064,6 +3136,8 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
                                                &datum);
   }
 
+  retval_chain = old_chain;
+
   /* Here, we search through the minimal symbol tables for functions
      and variables that match, and force their symbols to be read.
      This is in particular necessary for demangled variable names,
@@ -3074,8 +3148,7 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
      for the function, for variables we have to call lookup_symbol
      to determine if the variable has debug info.
      If the lookup fails, set found_misc so that we will rescan to print
-     any matching symbols without debug info.
-   */
+     any matching symbols without debug info.  */
 
   if (nfiles == 0 && (kind == VARIABLES_DOMAIN || kind == FUNCTIONS_DOMAIN))
     {
@@ -3088,8 +3161,9 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
            MSYMBOL_TYPE (msymbol) == ourtype3 ||
            MSYMBOL_TYPE (msymbol) == ourtype4)
          {
-           if (regexp == NULL
-               || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
+           if (!datum.preg_p
+               || regexec (&datum.preg, SYMBOL_NATURAL_NAME (msymbol), 0,
+                           NULL, 0) == 0)
              {
                if (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol)))
                  {
@@ -3127,8 +3201,9 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
              QUIT;
 
              if (file_matches (real_symtab->filename, files, nfiles)
-                 && ((regexp == NULL
-                      || re_exec (SYMBOL_NATURAL_NAME (sym)) != 0)
+                 && ((!datum.preg_p
+                      || regexec (&datum.preg, SYMBOL_NATURAL_NAME (sym), 0,
+                                  NULL, 0) == 0)
                      && ((kind == VARIABLES_DOMAIN
                           && SYMBOL_CLASS (sym) != LOC_TYPEDEF
                           && SYMBOL_CLASS (sym) != LOC_UNRESOLVED
@@ -3137,12 +3212,16 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
                              e.g., c++ static const members.
                              We only want to skip enums here.  */
                           && !(SYMBOL_CLASS (sym) == LOC_CONST
-                               && TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_ENUM))
-                         || (kind == FUNCTIONS_DOMAIN && SYMBOL_CLASS (sym) == LOC_BLOCK)
-                         || (kind == TYPES_DOMAIN && SYMBOL_CLASS (sym) == LOC_TYPEDEF))))
+                               && TYPE_CODE (SYMBOL_TYPE (sym))
+                               == TYPE_CODE_ENUM))
+                         || (kind == FUNCTIONS_DOMAIN 
+                             && SYMBOL_CLASS (sym) == LOC_BLOCK)
+                         || (kind == TYPES_DOMAIN
+                             && SYMBOL_CLASS (sym) == LOC_TYPEDEF))))
                {
                  /* match */
-                 psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
+                 psr = (struct symbol_search *)
+                   xmalloc (sizeof (struct symbol_search));
                  psr->block = i;
                  psr->symtab = real_symtab;
                  psr->symbol = sym;
@@ -3166,7 +3245,7 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
                  tail = sort_search_symbols (&dummy, nfound);
                  sr = dummy.next;
 
-                 old_chain = make_cleanup_free_search_symbols (sr);
+                 make_cleanup_free_search_symbols (sr);
                }
              else
                tail = sort_search_symbols (prevtail, nfound);
@@ -3188,20 +3267,22 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
            MSYMBOL_TYPE (msymbol) == ourtype3 ||
            MSYMBOL_TYPE (msymbol) == ourtype4)
          {
-           if (regexp == NULL
-               || re_exec (SYMBOL_NATURAL_NAME (msymbol)) != 0)
+           if (!datum.preg_p
+               || regexec (&datum.preg, SYMBOL_NATURAL_NAME (msymbol), 0,
+                           NULL, 0) == 0)
              {
-               /* Functions:  Look up by address. */
+               /* Functions:  Look up by address.  */
                if (kind != FUNCTIONS_DOMAIN ||
                    (0 == find_pc_symtab (SYMBOL_VALUE_ADDRESS (msymbol))))
                  {
-                   /* Variables/Absolutes:  Look up by name */
+                   /* Variables/Absolutes:  Look up by name */
                    if (lookup_symbol (SYMBOL_LINKAGE_NAME (msymbol),
                                       (struct block *) NULL, VAR_DOMAIN, 0)
                         == NULL)
                      {
                        /* match */
-                       psr = (struct symbol_search *) xmalloc (sizeof (struct symbol_search));
+                       psr = (struct symbol_search *)
+                         xmalloc (sizeof (struct symbol_search));
                        psr->block = i;
                        psr->msymbol = msymbol;
                        psr->symtab = NULL;
@@ -3210,7 +3291,7 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
                        if (tail == NULL)
                          {
                            sr = psr;
-                           old_chain = make_cleanup_free_search_symbols (sr);
+                           make_cleanup_free_search_symbols (sr);
                          }
                        else
                          tail->next = psr;
@@ -3222,20 +3303,21 @@ search_symbols (char *regexp, domain_enum kind, int nfiles, char *files[],
       }
     }
 
+  discard_cleanups (retval_chain);
+  do_cleanups (old_chain);
   *matches = sr;
-  if (sr != NULL)
-    discard_cleanups (old_chain);
 }
 
 /* Helper function for symtab_symbol_info, this function uses
    the data returned from search_symbols() to print information
-   regarding the match to gdb_stdout.
- */
+   regarding the match to gdb_stdout.  */
+
 static void
-print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
+print_symbol_info (enum search_domain kind,
+                  struct symtab *s, struct symbol *sym,
                   int block, char *last)
 {
-  if (last == NULL || strcmp (last, s->filename) != 0)
+  if (last == NULL || filename_cmp (last, s->filename) != 0)
     {
       fputs_filtered ("\nFile ", gdb_stdout);
       fputs_filtered (s->filename, gdb_stdout);
@@ -3245,11 +3327,11 @@ print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
   if (kind != TYPES_DOMAIN && block == STATIC_BLOCK)
     printf_filtered ("static ");
 
-  /* Typedef that is not a C++ class */
+  /* Typedef that is not a C++ class */
   if (kind == TYPES_DOMAIN
       && SYMBOL_DOMAIN (sym) != STRUCT_DOMAIN)
     typedef_print (SYMBOL_TYPE (sym), sym, gdb_stdout);
-  /* variable, func, or typedef-that-is-c++-class */
+  /* variable, func, or typedef-that-is-c++-class */
   else if (kind < TYPES_DOMAIN ||
           (kind == TYPES_DOMAIN &&
            SYMBOL_DOMAIN (sym) == STRUCT_DOMAIN))
@@ -3264,8 +3346,8 @@ print_symbol_info (domain_enum kind, struct symtab *s, struct symbol *sym,
 }
 
 /* This help function for symtab_symbol_info() prints information
-   for non-debugging symbols to gdb_stdout.
- */
+   for non-debugging symbols to gdb_stdout.  */
+
 static void
 print_msymbol_info (struct minimal_symbol *msymbol)
 {
@@ -3284,29 +3366,31 @@ print_msymbol_info (struct minimal_symbol *msymbol)
 }
 
 /* This is the guts of the commands "info functions", "info types", and
-   "info variables". It calls search_symbols to find all matches and then
+   "info variables".  It calls search_symbols to find all matches and then
    print_[m]symbol_info to print out some useful information about the
-   matches.
- */
+   matches.  */
+
 static void
-symtab_symbol_info (char *regexp, domain_enum kind, int from_tty)
+symtab_symbol_info (char *regexp, enum search_domain kind, int from_tty)
 {
   static const char * const classnames[] =
-    {"variable", "function", "type", "method"};
+    {"variable", "function", "type"};
   struct symbol_search *symbols;
   struct symbol_search *p;
   struct cleanup *old_chain;
   char *last_filename = NULL;
   int first = 1;
 
-  /* must make sure that if we're interrupted, symbols gets freed */
+  gdb_assert (kind <= TYPES_DOMAIN);
+
+  /* Must make sure that if we're interrupted, symbols gets freed.  */
   search_symbols (regexp, kind, 0, (char **) NULL, &symbols);
   old_chain = make_cleanup_free_search_symbols (symbols);
 
   printf_filtered (regexp
                   ? "All %ss matching regular expression \"%s\":\n"
                   : "All defined %ss:\n",
-                  classnames[(int) (kind - VARIABLES_DOMAIN)], regexp);
+                  classnames[kind], regexp);
 
   for (p = symbols; p != NULL; p = p->next)
     {
@@ -3354,7 +3438,7 @@ types_info (char *regexp, int from_tty)
   symtab_symbol_info (regexp, TYPES_DOMAIN, from_tty);
 }
 
-/* Breakpoint all functions matching regular expression. */
+/* Breakpoint all functions matching regular expression.  */
 
 void
 rbreak_command_wrapper (char *regexp, int from_tty)
@@ -3378,7 +3462,7 @@ rbreak_command (char *regexp, int from_tty)
   struct cleanup *old_chain;
   char *string = NULL;
   int len = 0;
-  char **files = NULL;
+  char **files = NULL, *file_name;
   int nfiles = 0;
 
   if (regexp)
@@ -3388,7 +3472,6 @@ rbreak_command (char *regexp, int from_tty)
       if (colon && *(colon + 1) != ':')
        {
          int colon_index;
-         char * file_name;
 
          colon_index = colon - regexp;
          file_name = alloca (colon_index + 1);
@@ -3456,6 +3539,40 @@ rbreak_command (char *regexp, int from_tty)
 }
 \f
 
+/* Evaluate if NAME matches SYM_TEXT and SYM_TEXT_LEN.
+
+   Either sym_text[sym_text_len] != '(' and then we search for any
+   symbol starting with SYM_TEXT text.
+
+   Otherwise sym_text[sym_text_len] == '(' and then we require symbol name to
+   be terminated at that point.  Partial symbol tables do not have parameters
+   information.  */
+
+static int
+compare_symbol_name (const char *name, const char *sym_text, int sym_text_len)
+{
+  int (*ncmp) (const char *, const char *, size_t);
+
+  ncmp = (case_sensitivity == case_sensitive_on ? strncmp : strncasecmp);
+
+  if (ncmp (name, sym_text, sym_text_len) != 0)
+    return 0;
+
+  if (sym_text[sym_text_len] == '(')
+    {
+      /* User searches for `name(someth...'.  Require NAME to be terminated.
+        Normally psymtabs and gdbindex have no parameter types so '\0' will be
+        present but accept even parameters presence.  In this case this
+        function is in fact strcmp_iw but whitespace skipping is not supported
+        for tab completion.  */
+
+      if (name[sym_text_len] != '\0' && name[sym_text_len] != '(')
+       return 0;
+    }
+
+  return 1;
+}
+
 /* Helper routine for make_symbol_completion_list.  */
 
 static int return_val_size;
@@ -3468,7 +3585,7 @@ static char **return_val;
 
 /*  Test to see if the symbol specified by SYMNAME (which is already
    demangled for C++ symbols) matches SYM_TEXT in the first SYM_TEXT_LEN
-   characters.  If so, add it to the current completion list. */
+   characters.  If so, add it to the current completion list.  */
 
 static void
 completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
@@ -3476,15 +3593,12 @@ completion_list_add_name (char *symname, char *sym_text, int sym_text_len,
 {
   int newsize;
 
-  /* clip symbols that cannot match */
-
-  if (strncmp (symname, sym_text, sym_text_len) != 0)
-    {
-      return;
-    }
+  /* Clip symbols that cannot match.  */
+  if (!compare_symbol_name (symname, sym_text, sym_text_len))
+    return;
 
   /* We have a match for a completion, so add SYMNAME to the current list
-     of matches. Note that the name is moved to freshly malloc'd space. */
+     of matches.  Note that the name is moved to freshly malloc'd space.  */
 
   {
     char *new;
@@ -3579,7 +3693,7 @@ completion_list_objc_symbol (struct minimal_symbol *msymbol, char *sym_text,
 }
 
 /* Break the non-quoted text based on the characters which are in
-   symbols. FIXME: This should probably be language-specific. */
+   symbols.  FIXME: This should probably be language-specific.  */
 
 static char *
 language_search_unquoted_string (char *text, char *p)
@@ -3592,12 +3706,12 @@ language_search_unquoted_string (char *text, char *p)
        {
          if ((current_language->la_language == language_objc))
            {
-             if (p[-1] == ':')     /* might be part of a method name */
+             if (p[-1] == ':')     /* Might be part of a method name.  */
                continue;
              else if (p[-1] == '[' && (p[-2] == '-' || p[-2] == '+'))
-               p -= 2;             /* beginning of a method name */
+               p -= 2;             /* Beginning of a method name.  */
              else if (p[-1] == ' ' || p[-1] == '(' || p[-1] == ')')
-               {                   /* might be part of a method name */
+               {                   /* Might be part of a method name.  */
                  char *t = p;
 
                  /* Seeing a ' ' or a '(' is not conclusive evidence
@@ -3614,8 +3728,8 @@ language_search_unquoted_string (char *text, char *p)
                      break;
 
                  if (t[-1] == '[' && (t[-2] == '-' || t[-2] == '+'))
-                   p = t - 2;      /* method name detected */
-                 /* else we leave with p unchanged */
+                   p = t - 2;      /* Method name detected.  */
+                 /* Else we leave with p unchanged.  */
                }
            }
          break;
@@ -3643,7 +3757,7 @@ completion_list_add_fields (struct symbol *sym, char *sym_text,
 }
 
 /* Type of the user_data argument passed to add_macro_name or
-   add_partial_symbol_name.  The contents are simply whatever is
+   expand_partial_symbol_name.  The contents are simply whatever is
    needed by completion_list_add_name.  */
 struct add_name_data
 {
@@ -3657,6 +3771,7 @@ struct add_name_data
    This adds a macro's name to the current completion list.  */
 static void
 add_macro_name (const char *name, const struct macro_definition *ignore,
+               struct macro_source_file *ignore2, int ignore3,
                void *user_data)
 {
   struct add_name_data *datum = (struct add_name_data *) user_data;
@@ -3666,15 +3781,13 @@ add_macro_name (const char *name, const struct macro_definition *ignore,
                            datum->text, datum->word);
 }
 
-/* A callback for map_partial_symbol_names.  */
-static void
-add_partial_symbol_name (const char *name, void *user_data)
+/* A callback for expand_partial_symbol_names.  */
+static int
+expand_partial_symbol_name (const char *name, void *user_data)
 {
   struct add_name_data *datum = (struct add_name_data *) user_data;
 
-  completion_list_add_name ((char *) name,
-                           datum->sym_text, datum->sym_text_len,
-                           datum->text, datum->word);
+  return compare_symbol_name (name, datum->sym_text, datum->sym_text_len);
 }
 
 char **
@@ -3753,6 +3866,22 @@ default_make_symbol_completion_list_break_on (char *text, char *word,
 
   sym_text_len = strlen (sym_text);
 
+  /* Prepare SYM_TEXT_LEN for compare_symbol_name.  */
+
+  if (current_language->la_language == language_cplus
+      || current_language->la_language == language_java
+      || current_language->la_language == language_fortran)
+    {
+      /* These languages may have parameters entered by user but they are never
+        present in the partial symbol tables.  */
+
+      const char *cs = memchr (sym_text, '(', sym_text_len);
+
+      if (cs)
+       sym_text_len = cs - sym_text;
+    }
+  gdb_assert (sym_text[sym_text_len] == '\0' || sym_text[sym_text_len] == '(');
+
   return_val_size = 100;
   return_val_index = 0;
   return_val = (char **) xmalloc ((return_val_size + 1) * sizeof (char *));
@@ -3764,8 +3893,9 @@ default_make_symbol_completion_list_break_on (char *text, char *word,
   datum.word = word;
 
   /* Look through the partial symtabs for all symbols which begin
-     by matching SYM_TEXT.  Add each one that you find to the list.  */
-  map_partial_symbol_names (add_partial_symbol_name, &datum);
+     by matching SYM_TEXT.  Expand all CUs that you find to the list.
+     The real names will get added by COMPLETION_LIST_ADD_SYMBOL below.  */
+  expand_partial_symbol_names (expand_partial_symbol_name, &datum);
 
   /* At this point scan through the misc symbol vectors and add each
      symbol you find to the list.  Eventually we want to ignore
@@ -3783,7 +3913,7 @@ default_make_symbol_completion_list_break_on (char *text, char *word,
   /* Search upwards from currently selected frame (so that we can
      complete on local vars).  Also catch fields of types defined in
      this places which match our text string.  Only complete on types
-     visible from current context. */
+     visible from current context.  */
 
   b = get_selected_block (0);
   surrounding_static_block = block_static_block (b);
@@ -4049,7 +4179,7 @@ not_interesting_fname (const char *fname)
 
   for (i = 0; illegal_aliens[i]; i++)
     {
-      if (strcmp (fname, illegal_aliens[i]) == 0)
+      if (filename_cmp (fname, illegal_aliens[i]) == 0)
        return 1;
     }
   return 0;
@@ -4070,7 +4200,7 @@ struct add_partial_filename_data
 
 /* A callback for map_partial_symbol_filenames.  */
 static void
-maybe_add_partial_symtab_filename (const char *fullname, const char *filename,
+maybe_add_partial_symtab_filename (const char *filename, const char *fullname,
                                   void *user_data)
 {
   struct add_partial_filename_data *data = user_data;
@@ -4078,12 +4208,7 @@ maybe_add_partial_symtab_filename (const char *fullname, const char *filename,
   if (not_interesting_fname (filename))
     return;
   if (!filename_seen (filename, 1, data->first)
-#if HAVE_DOS_BASED_FILE_SYSTEM
-      && strncasecmp (filename, data->text, data->text_len) == 0
-#else
-      && strncmp (filename, data->text, data->text_len) == 0
-#endif
-      )
+      && filename_ncmp (filename, data->text, data->text_len) == 0)
     {
       /* This file matches for a completion; add it to the
         current list of matches.  */
@@ -4096,12 +4221,7 @@ maybe_add_partial_symtab_filename (const char *fullname, const char *filename,
 
       if (base_name != filename
          && !filename_seen (base_name, 1, data->first)
-#if HAVE_DOS_BASED_FILE_SYSTEM
-         && strncasecmp (base_name, data->text, data->text_len) == 0
-#else
-         && strncmp (base_name, data->text, data->text_len) == 0
-#endif
-         )
+         && filename_ncmp (base_name, data->text, data->text_len) == 0)
        add_filename_to_list (base_name, data->text, data->word,
                              data->list, data->list_used, data->list_alloced);
     }
@@ -4135,12 +4255,7 @@ make_source_files_completion_list (char *text, char *word)
       if (not_interesting_fname (s->filename))
        continue;
       if (!filename_seen (s->filename, 1, &first)
-#if HAVE_DOS_BASED_FILE_SYSTEM
-         && strncasecmp (s->filename, text, text_len) == 0
-#else
-         && strncmp (s->filename, text, text_len) == 0
-#endif
-         )
+         && filename_ncmp (s->filename, text, text_len) == 0)
        {
          /* This file matches for a completion; add it to the current
             list of matches.  */
@@ -4156,12 +4271,7 @@ make_source_files_completion_list (char *text, char *word)
          base_name = lbasename (s->filename);
          if (base_name != s->filename
              && !filename_seen (base_name, 1, &first)
-#if HAVE_DOS_BASED_FILE_SYSTEM
-             && strncasecmp (base_name, text, text_len) == 0
-#else
-             && strncmp (base_name, text, text_len) == 0
-#endif
-             )
+             && filename_ncmp (base_name, text, text_len) == 0)
            add_filename_to_list (base_name, text, word,
                                  &list, &list_used, &list_alloced);
        }
@@ -4184,8 +4294,7 @@ make_source_files_completion_list (char *text, char *word)
    Returns 1 if PC *might* be in prologue, 0 if definately *not* in prologue.
 
    If non-zero, func_start is where we think the prologue starts, possibly
-   by previous examination of symbol table information.
- */
+   by previous examination of symbol table information.  */
 
 int
 in_prologue (struct gdbarch *gdbarch, CORE_ADDR pc, CORE_ADDR func_start)
@@ -4267,8 +4376,8 @@ in_prologue (struct gdbarch *gdbarch, CORE_ADDR pc, CORE_ADDR func_start)
    The functions end point and an increasing SAL line are used as
    indicators of the prologue's endpoint.
 
-   This code is based on the function refine_prologue_limit (versions
-   found in both ia64 and ppc).  */
+   This code is based on the function refine_prologue_limit
+   (found in ia64).  */
 
 CORE_ADDR
 skip_prologue_using_sal (struct gdbarch *gdbarch, CORE_ADDR func_addr)
@@ -4285,7 +4394,7 @@ skip_prologue_using_sal (struct gdbarch *gdbarch, CORE_ADDR func_addr)
   prologue_sal = find_pc_line (start_pc, 0);
   if (prologue_sal.line != 0)
     {
-      /* For langauges other than assembly, treat two consecutive line
+      /* For languages other than assembly, treat two consecutive line
         entries at the same address as a zero-instruction prologue.
         The GNU assembler emits separate line notes for each instruction
         in a multi-instruction macro, but compilers generally will not
@@ -4309,7 +4418,7 @@ skip_prologue_using_sal (struct gdbarch *gdbarch, CORE_ADDR func_addr)
 
       /* If there is only one sal that covers the entire function,
         then it is probably a single line function, like
-        "foo(){}". */
+        "foo(){}".  */
       if (prologue_sal.end >= end_pc)
        return 0;
 
@@ -4349,7 +4458,7 @@ skip_prologue_using_sal (struct gdbarch *gdbarch, CORE_ADDR func_addr)
             corresponding line number is less the first one that we
             found for the function.  This is more conservative then
             refine_prologue_limit which scans a large number of SALs
-            looking for any in the prologue */
+            looking for any in the prologue */
          prologue_sal = sal;
        }
     }
@@ -4372,13 +4481,13 @@ decode_line_spec (char *string, int funfirstline)
   if (string == 0)
     error (_("Empty line specification."));
 
-  /* We use whatever is set as the current source line. We do not try
-     and get a default  or it will recursively call us! */
+  /* We use whatever is set as the current source line.  We do not try
+     and get a default  or it will recursively call us!  */
   cursal = get_current_source_symtab_and_line ();
 
   sals = decode_line_1 (&string, funfirstline,
                        cursal.symtab, cursal.line,
-                       (char ***) NULL, NULL);
+                       NULL);
 
   if (*string)
     error (_("Junk at end of line specification: %s"), string);
@@ -4387,6 +4496,7 @@ decode_line_spec (char *string, int funfirstline)
 
 /* Track MAIN */
 static char *name_of_main;
+enum language language_of_main = language_unknown;
 
 void
 set_main_name (const char *name)
@@ -4395,10 +4505,12 @@ set_main_name (const char *name)
     {
       xfree (name_of_main);
       name_of_main = NULL;
+      language_of_main = language_unknown;
     }
   if (name != NULL)
     {
       name_of_main = xstrdup (name);
+      language_of_main = language_unknown;
     }
 }
 
@@ -4417,12 +4529,12 @@ find_main_name (void)
      name.  This would allow us to remove this hard-coded call to
      an Ada function.  It is not clear that this is a better approach
      at this point, because all methods need to be written in a way
-     such that false positives never be returned. For instance, it is
+     such that false positives never be returned.  For instance, it is
      important that a method does not return a wrong name for the main
      procedure if the main procedure is actually written in a different
      language.  It is easy to guaranty this with Ada, since we use a
      special symbol generated only when the main in Ada to find the name
-     of the main procedure. It is difficult however to see how this can
+     of the main procedure.  It is difficult however to see how this can
      be guarantied for languages such as C, for instance.  This suggests
      that order of call for these methods becomes important, which means
      a more complicated approach.  */
@@ -4639,7 +4751,6 @@ expand_line_sal (struct symtab_and_line sal)
 
       filter[i] = 1;
       blocks[i] = block_for_pc_sect (ret.sals[i].pc, ret.sals[i].section);
-
     }
   do_cleanups (old_chain);
 
This page took 0.047231 seconds and 4 git commands to generate.