the "compile" command
[external/binutils.git] / gdb / language.c
index d96b3b5..83dd4d5 100644 (file)
 /* Multiple source language support for GDB.
-   Copyright 1991, 1992 Free Software Foundation, Inc.
+
+   Copyright (C) 1991-2014 Free Software Foundation, Inc.
+
    Contributed by the Department of Computer Science at the State University
    of New York at Buffalo.
 
-This file is part of GDB.
+   This file is part of GDB.
 
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
 
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
 
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 /* This file contains functions that return things that are specific
    to languages.  Each function should examine current_language if necessary,
-   and return the appropriate result. */
+   and return the appropriate result.  */
 
 /* FIXME:  Most of these would be better organized as macros which
    return data out of a "language-specific" struct pointer that is set
    whenever the working language changes.  That would be a lot faster.  */
 
 #include "defs.h"
-#include <string.h>
-#include <varargs.h>
-
+#include <ctype.h>
 #include "symtab.h"
 #include "gdbtypes.h"
 #include "value.h"
 #include "gdbcmd.h"
-#include "frame.h"
 #include "expression.h"
 #include "language.h"
+#include "varobj.h"
 #include "target.h"
 #include "parser-defs.h"
+#include "jv-lang.h"
+#include "demangle.h"
+#include "symfile.h"
+#include "cp-support.h"
 
-static void
-show_language_command PARAMS ((char *, int));
-
-static void
-set_language_command PARAMS ((char *, int));
-
-static void
-show_type_command PARAMS ((char *, int));
-
-static void
-set_type_command PARAMS ((char *, int));
-
-static void
-show_range_command PARAMS ((char *, int));
+extern void _initialize_language (void);
 
-static void
-set_range_command PARAMS ((char *, int));
+static void unk_lang_error (char *);
 
-static void
-set_range_str PARAMS ((void));
+static int unk_lang_parser (struct parser_state *);
 
-static void
-set_type_str PARAMS ((void));
+static void show_check (char *, int);
 
-static void
-set_lang_str PARAMS ((void));
+static void set_check (char *, int);
 
-static void
-unk_lang_error PARAMS ((char *));
+static void set_range_case (void);
 
-static int
-unk_lang_parser PARAMS ((void));
+static void unk_lang_emit_char (int c, struct type *type,
+                               struct ui_file *stream, int quoter);
 
-static void
-show_check PARAMS ((char *, int));
+static void unk_lang_printchar (int c, struct type *type,
+                               struct ui_file *stream);
 
-static void
-set_check PARAMS ((char *, int));
+static void unk_lang_value_print (struct value *, struct ui_file *,
+                                 const struct value_print_options *);
 
-static void
-set_type_range PARAMS ((void));
+static CORE_ADDR unk_lang_trampoline (struct frame_info *, CORE_ADDR pc);
 
 /* Forward declaration */
 extern const struct language_defn unknown_language_defn;
-  
+
 /* The current (default at startup) state of type and range checking.
-    (If the modes are set to "auto", though, these are changed based
-    on the default language at startup, and then again based on the
-    language of the first source file.  */
+   (If the modes are set to "auto", though, these are changed based
+   on the default language at startup, and then again based on the
+   language of the first source file.  */
 
 enum range_mode range_mode = range_mode_auto;
 enum range_check range_check = range_check_off;
-enum type_mode type_mode = type_mode_auto;
-enum type_check type_check = type_check_off;
+enum case_mode case_mode = case_mode_auto;
+enum case_sensitivity case_sensitivity = case_sensitive_on;
 
-/* The current language and language_mode (see language.h) */
+/* The current language and language_mode (see language.h) */
 
 const struct language_defn *current_language = &unknown_language_defn;
 enum language_mode language_mode = language_mode_auto;
 
+/* The language that the user expects to be typing in (the language
+   of main(), or the last language we notified them about, or C).  */
+
+const struct language_defn *expected_language;
+
 /* The list of supported languages.  The list itself is malloc'd.  */
 
 static const struct language_defn **languages;
 static unsigned languages_size;
 static unsigned languages_allocsize;
-#define        DEFAULT_ALLOCSIZE 3
-
-/* The "set language/type/range" commands all put stuff in these
-   buffers.  This is to make them work as set/show commands.  The
-   user's string is copied here, then the set_* commands look at
-   them and update them to something that looks nice when it is
-   printed out. */
+#define        DEFAULT_ALLOCSIZE 4
 
-static char *language;
-static char *type;
-static char *range;
+/* The current values of the "set language/type/range" enum
+   commands.  */
+static const char *language;
+static const char *type;
+static const char *range;
+static const char *case_sensitive;
 
 /* Warning issued when current_language and the language of the current
-   frame do not match. */
+   frame do not match.  */
 char lang_frame_mismatch_warn[] =
-       "Warning: the current language does not match this frame.";
-
+"Warning: the current language does not match this frame.";
 \f
 /* This page contains the functions corresponding to GDB commands
-   and their helpers. */
+   and their helpers.  */
 
 /* Show command.  Display a warning if the language set
-   does not match the frame. */
+   does not match the frame.  */
 static void
-show_language_command (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_language_command (struct ui_file *file, int from_tty,
+                      struct cmd_list_element *c, const char *value)
 {
-   enum language flang;                /* The language of the current frame */
-
-   flang = get_frame_language();
-   if (flang != language_unknown &&
+  enum language flang;         /* The language of the current frame.  */
+
+  if (language_mode == language_mode_auto)
+    fprintf_filtered (gdb_stdout,
+                     _("The current source language is "
+                       "\"auto; currently %s\".\n"),
+                     current_language->la_name);
+  else
+    fprintf_filtered (gdb_stdout,
+                     _("The current source language is \"%s\".\n"),
+                     current_language->la_name);
+
+  flang = get_frame_language ();
+  if (flang != language_unknown &&
       language_mode == language_mode_manual &&
       current_language->la_language != flang)
-      printf_filtered("%s\n",lang_frame_mismatch_warn);
+    printf_filtered ("%s\n", lang_frame_mismatch_warn);
 }
 
-/* Set command.  Change the current working language. */
+/* Set command.  Change the current working language.  */
 static void
-set_language_command (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_language_command (char *ignore, int from_tty, struct cmd_list_element *c)
 {
   int i;
   enum language flang;
-  char *err_lang;
-
-  /* FIXME -- do this from the list, with HELP.  */
-  if (!language || !language[0]) {
-    printf("The currently understood settings are:\n\n\
-local or auto    Automatic setting based on source file\n\
-c                Use the C language\n\
-c++              Use the C++ language\n\
-modula-2         Use the Modula-2 language\n");
-    /* Restore the silly string. */
-    set_language(current_language->la_language);
-    return;
-  }
 
   /* Search the list of languages for a match.  */
-  for (i = 0; i < languages_size; i++) {
-    if (!strcmp (languages[i]->la_name, language)) {
-      /* Found it!  Go into manual mode, and use this language.  */
-      if (languages[i]->la_language == language_auto) {
-       /* Enter auto mode.  Set to the current frame's language, if known.  */
-       language_mode = language_mode_auto;
-       flang = get_frame_language();
-       if (flang!=language_unknown)
-         set_language(flang);
-       return;
-      } else {
-       /* Enter manual mode.  Set the specified language.  */
-       language_mode = language_mode_manual;
-       current_language = languages[i];
-       set_type_range ();
-       set_lang_str();
-       return;
-      }
+  for (i = 0; i < languages_size; i++)
+    {
+      if (strcmp (languages[i]->la_name, language) == 0)
+       {
+         /* Found it!  Go into manual mode, and use this language.  */
+         if (languages[i]->la_language == language_auto)
+           {
+             /* Enter auto mode.  Set to the current frame's language, if
+                 known, or fallback to the initial language.  */
+             language_mode = language_mode_auto;
+             flang = get_frame_language ();
+             if (flang != language_unknown)
+               set_language (flang);
+             else
+               set_initial_language ();
+             expected_language = current_language;
+             return;
+           }
+         else
+           {
+             /* Enter manual mode.  Set the specified language.  */
+             language_mode = language_mode_manual;
+             current_language = languages[i];
+             set_range_case ();
+             expected_language = current_language;
+             return;
+           }
+       }
     }
-  }
-
-  /* Reset the language (esp. the global string "language") to the 
-     correct values. */
-  err_lang=savestring(language,strlen(language));
-  make_cleanup (free, err_lang);       /* Free it after error */
-  set_language(current_language->la_language);
-  error ("Unknown language `%s'.",err_lang);
-}
 
-/* Show command.  Display a warning if the type setting does
-   not match the current language. */
-static void
-show_type_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
-{
-   if (type_check != current_language->la_type_check)
-      printf(
-"Warning: the current type check setting does not match the language.\n");
-}
-
-/* Set command.  Change the setting for type checking. */
-static void
-set_type_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
-{
-   if (!strcmp(type,"on"))
-   {
-      type_check = type_check_on;
-      type_mode = type_mode_manual;
-   }
-   else if (!strcmp(type,"warn"))
-   {
-      type_check = type_check_warn;
-      type_mode = type_mode_manual;
-   }
-   else if (!strcmp(type,"off"))
-   {
-      type_check = type_check_off;
-      type_mode = type_mode_manual;
-   }
-   else if (!strcmp(type,"auto"))
-   {
-      type_mode = type_mode_auto;
-      set_type_range();
-      /* Avoid hitting the set_type_str call below.  We
-         did it in set_type_range. */
-      return;
-   }
-   set_type_str();
-   show_type_command((char *)NULL, from_tty);
+  internal_error (__FILE__, __LINE__,
+                 "Couldn't find language `%s' in known languages list.",
+                 language);
 }
 
 /* Show command.  Display a warning if the range setting does
-   not match the current language. */
+   not match the current language.  */
 static void
-show_range_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+show_range_command (struct ui_file *file, int from_tty,
+                   struct cmd_list_element *c, const char *value)
 {
+  if (range_mode == range_mode_auto)
+    {
+      char *tmp;
 
-   if (range_check != current_language->la_range_check)
-      printf(
-"Warning: the current range check setting does not match the language.\n");
+      switch (range_check)
+       {
+       case range_check_on:
+         tmp = "on";
+         break;
+       case range_check_off:
+         tmp = "off";
+         break;
+       case range_check_warn:
+         tmp = "warn";
+         break;
+       default:
+         internal_error (__FILE__, __LINE__,
+                         "Unrecognized range check setting.");
+       }
+
+      fprintf_filtered (gdb_stdout,
+                       _("Range checking is \"auto; currently %s\".\n"),
+                       tmp);
+    }
+  else
+    fprintf_filtered (gdb_stdout, _("Range checking is \"%s\".\n"),
+                     value);
+
+  if (range_check != current_language->la_range_check)
+    warning (_("the current range check setting "
+              "does not match the language.\n"));
 }
 
-/* Set command.  Change the setting for range checking. */
+/* Set command.  Change the setting for range checking.  */
 static void
-set_range_command(ignore, from_tty)
-   char *ignore;
-   int from_tty;
+set_range_command (char *ignore, int from_tty, struct cmd_list_element *c)
 {
-   if (!strcmp(range,"on"))
-   {
+  if (strcmp (range, "on") == 0)
+    {
       range_check = range_check_on;
       range_mode = range_mode_manual;
-   }
-   else if (!strcmp(range,"warn"))
-   {
+    }
+  else if (strcmp (range, "warn") == 0)
+    {
       range_check = range_check_warn;
       range_mode = range_mode_manual;
-   }
-   else if (!strcmp(range,"off"))
-   {
+    }
+  else if (strcmp (range, "off") == 0)
+    {
       range_check = range_check_off;
       range_mode = range_mode_manual;
-   }
-   else if (!strcmp(range,"auto"))
-   {
+    }
+  else if (strcmp (range, "auto") == 0)
+    {
       range_mode = range_mode_auto;
-      set_type_range();
-      /* Avoid hitting the set_range_str call below.  We
-        did it in set_type_range. */
+      set_range_case ();
       return;
-   }
-   set_range_str();
-   show_range_command((char *)0, from_tty);
+    }
+  else
+    {
+      internal_error (__FILE__, __LINE__,
+                     _("Unrecognized range check setting: \"%s\""), range);
+    }
+  if (range_check != current_language->la_range_check)
+    warning (_("the current range check setting "
+              "does not match the language.\n"));
 }
 
-/* Set the status of range and type checking based on
+/* Show command.  Display a warning if the case sensitivity setting does
+   not match the current language.  */
+static void
+show_case_command (struct ui_file *file, int from_tty,
+                  struct cmd_list_element *c, const char *value)
+{
+  if (case_mode == case_mode_auto)
+    {
+      char *tmp = NULL;
+
+      switch (case_sensitivity)
+       {
+       case case_sensitive_on:
+         tmp = "on";
+         break;
+       case case_sensitive_off:
+         tmp = "off";
+         break;
+       default:
+         internal_error (__FILE__, __LINE__,
+                         "Unrecognized case-sensitive setting.");
+       }
+
+      fprintf_filtered (gdb_stdout,
+                       _("Case sensitivity in "
+                         "name search is \"auto; currently %s\".\n"),
+                       tmp);
+    }
+  else
+    fprintf_filtered (gdb_stdout,
+                     _("Case sensitivity in name search is \"%s\".\n"),
+                     value);
+
+  if (case_sensitivity != current_language->la_case_sensitivity)
+    warning (_("the current case sensitivity setting does not match "
+              "the language.\n"));
+}
+
+/* Set command.  Change the setting for case sensitivity.  */
+
+static void
+set_case_command (char *ignore, int from_tty, struct cmd_list_element *c)
+{
+   if (strcmp (case_sensitive, "on") == 0)
+     {
+       case_sensitivity = case_sensitive_on;
+       case_mode = case_mode_manual;
+     }
+   else if (strcmp (case_sensitive, "off") == 0)
+     {
+       case_sensitivity = case_sensitive_off;
+       case_mode = case_mode_manual;
+     }
+   else if (strcmp (case_sensitive, "auto") == 0)
+     {
+       case_mode = case_mode_auto;
+       set_range_case ();
+       return;
+     }
+   else
+     {
+       internal_error (__FILE__, __LINE__,
+                      "Unrecognized case-sensitive setting: \"%s\"",
+                      case_sensitive);
+     }
+
+   if (case_sensitivity != current_language->la_case_sensitivity)
+     warning (_("the current case sensitivity setting does not match "
+               "the language.\n"));
+}
+
+/* Set the status of range and type checking and case sensitivity based on
    the current modes and the current language.
    If SHOW is non-zero, then print out the current language,
-   type and range checking status. */
+   type and range checking status.  */
 static void
-set_type_range()
+set_range_case (void)
 {
-
   if (range_mode == range_mode_auto)
     range_check = current_language->la_range_check;
 
-  if (type_mode == type_mode_auto)
-    type_check = current_language->la_type_check;
-
-  set_type_str();
-  set_range_str();
+  if (case_mode == case_mode_auto)
+    case_sensitivity = current_language->la_case_sensitivity;
 }
 
-/* Set current language to (enum language) LANG.  */
+/* Set current language to (enum language) LANG.  Returns previous
+   language.  */
 
-void
-set_language(lang)
-   enum language lang;
+enum language
+set_language (enum language lang)
 {
   int i;
+  enum language prev_language;
 
-  for (i = 0; i < languages_size; i++) {
-    if (languages[i]->la_language == lang) {
-      current_language = languages[i];
-      set_type_range ();
-      set_lang_str();
-      break;
+  prev_language = current_language->la_language;
+
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         current_language = languages[i];
+         set_range_case ();
+         break;
+       }
     }
-  }
+
+  return prev_language;
 }
 \f
-/* This page contains functions that update the global vars
-   language, type and range. */
-static void
-set_lang_str()
-{
-   char *prefix = "";
 
-   free (language);
-   if (language_mode == language_mode_auto)
-      prefix = "auto; currently ";
-
-   language = concat(prefix, current_language->la_name, NULL);
-}
+/* Print out the current language settings: language, range and
+   type checking.  If QUIETLY, print only what has changed.  */
 
-static void
-set_type_str()
+void
+language_info (int quietly)
 {
-   char *tmp, *prefix = "";
-
-   free (type);
-   if (type_mode==type_mode_auto)
-      prefix = "auto; currently ";
+  if (quietly && expected_language == current_language)
+    return;
 
-   switch(type_check)
-   {
-   case type_check_on:
-      tmp = "on";
-      break;
-   case type_check_off:
-      tmp = "off";
-      break;
-   case type_check_warn:
-      tmp = "warn";
-      break;
-      default:
-      error ("Unrecognized type check setting.");
-   }
+  expected_language = current_language;
+  printf_unfiltered (_("Current language:  %s\n"), language);
+  show_language_command (NULL, 1, NULL, NULL);
 
-   type = concat(prefix,tmp,NULL);
+  if (!quietly)
+    {
+      printf_unfiltered (_("Range checking:    %s\n"), range);
+      show_range_command (NULL, 1, NULL, NULL);
+      printf_unfiltered (_("Case sensitivity:  %s\n"), case_sensitive);
+      show_case_command (NULL, 1, NULL, NULL);
+    }
 }
+\f
 
-static void
-set_range_str()
+/* Returns non-zero if the value is a pointer type.  */
+int
+pointer_type (struct type *type)
 {
-   char *tmp, *pref = "";
-
-   free (range);
-   if (range_mode==range_mode_auto)
-      pref = "auto; currently ";
-
-   switch(range_check)
-   {
-   case range_check_on:
-      tmp = "on";
-      break;
-   case range_check_off:
-      tmp = "off";
-      break;
-   case range_check_warn:
-      tmp = "warn";
-      break;
-      default:
-      error ("Unrecognized range check setting.");
-   }
-
-   range = concat(pref,tmp,NULL);
+  return TYPE_CODE (type) == TYPE_CODE_PTR ||
+    TYPE_CODE (type) == TYPE_CODE_REF;
 }
 
+\f
+/* This page contains functions that return info about
+   (struct value) values used in GDB.  */
 
-/* Print out the current language settings: language, range and
-   type checking.  If QUIETLY, print only what has changed.  */
-void
-language_info (quietly)
-     int quietly;
+/* Returns non-zero if the value VAL represents a true value.  */
+int
+value_true (struct value *val)
 {
-  /* FIXME:  quietly is ignored at the moment.  */
-   printf("Current Language:  %s\n",language);
-   show_language_command((char *)0, 1);
-   printf("Type checking:     %s\n",type);
-   show_type_command((char *)0, 1);
-   printf("Range checking:    %s\n",range);
-   show_range_command((char *)0, 1);
+  /* It is possible that we should have some sort of error if a non-boolean
+     value is used in this context.  Possibly dependent on some kind of
+     "boolean-checking" option like range checking.  But it should probably
+     not depend on the language except insofar as is necessary to identify
+     a "boolean" value (i.e. in C using a float, pointer, etc., as a boolean
+     should be an error, probably).  */
+  return !value_logical_not (val);
 }
 \f
-/* Return the result of a binary operation. */
+/* This page contains functions for the printing out of
+   error messages that occur during type- and range-
+   checking.  */
 
-#if 0  /* Currently unused */
+/* This is called when a language fails a range-check.  The
+   first argument should be a printf()-style format string, and the
+   rest of the arguments should be its arguments.  If range_check is
+   range_check_on, an error is printed;  if range_check_warn, a warning;
+   otherwise just the message.  */
 
-struct type *
-binop_result_type(v1,v2)
-   value v1,v2;
+void
+range_error (const char *string,...)
 {
-   int l1,l2,size,uns;
-
-   l1 = TYPE_LENGTH(VALUE_TYPE(v1));
-   l2 = TYPE_LENGTH(VALUE_TYPE(v2));
-
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
-      if (TYPE_CODE(VALUE_TYPE(v1))==TYPE_CODE_FLT)
-        return TYPE_CODE(VALUE_TYPE(v2)) == TYPE_CODE_FLT && l2 > l1 ?
-           VALUE_TYPE(v2) : VALUE_TYPE(v1);
-      else if (TYPE_CODE(VALUE_TYPE(v2))==TYPE_CODE_FLT)
-        return TYPE_CODE(VALUE_TYPE(v1)) == TYPE_CODE_FLT && l1 > l2 ?
-           VALUE_TYPE(v1) : VALUE_TYPE(v2);
-      else if (TYPE_UNSIGNED(VALUE_TYPE(v1)) && l1 > l2)
-        return VALUE_TYPE(v1);
-      else if (TYPE_UNSIGNED(VALUE_TYPE(v2)) && l2 > l1)
-        return VALUE_TYPE(v2);
-      else  /* Both are signed.  Result is the longer type */
-        return l1 > l2 ? VALUE_TYPE(v1) : VALUE_TYPE(v2);
+  va_list args;
+
+  va_start (args, string);
+  switch (range_check)
+    {
+    case range_check_warn:
+      vwarning (string, args);
+      break;
+    case range_check_on:
+      verror (string, args);
       break;
-   case language_m2:
-      /* If we are doing type-checking, l1 should equal l2, so this is
-        not needed. */
-      return l1 > l2 ? VALUE_TYPE(v1) : VALUE_TYPE(v2);
+    case range_check_off:
+      /* FIXME: cagney/2002-01-30: Should this function print anything
+         when range error is off?  */
+      vfprintf_filtered (gdb_stderr, string, args);
+      fprintf_filtered (gdb_stderr, "\n");
       break;
-   }
-   abort();
-   return (struct type *)0;    /* For lint */
+    default:
+      internal_error (__FILE__, __LINE__, _("bad switch"));
+    }
+  va_end (args);
 }
-
-#endif /* 0 */
-
 \f
-/* This page contains functions that return format strings for
-   printf for printing out numbers in different formats */
 
-/* Returns the appropriate printf format for hexadecimal
-   numbers. */
-char *
-local_hex_format_custom(pre)
-   char *pre;
-{
-   static char form[50];
+/* This page contains miscellaneous functions.  */
 
-   strcpy (form, current_language->la_hex_format_pre);
-   strcat (form, pre);
-   strcat (form, current_language->la_hex_format_suf);
-   return form;
-}
+/* Return the language enum for a given language string.  */
 
-/* Converts a number to hexadecimal and stores it in a static
-   string.  Returns a pointer to this string. */
-char *
-local_hex_string (num)
-   int num;
+enum language
+language_enum (char *str)
 {
-   static char res[50];
+  int i;
 
-   sprintf (res, current_language->la_hex_format, num);
-   return res;
+  for (i = 0; i < languages_size; i++)
+    if (strcmp (languages[i]->la_name, str) == 0)
+      return languages[i]->la_language;
+
+  return language_unknown;
 }
 
-/* Converts a number to custom hexadecimal and stores it in a static
-   string.  Returns a pointer to this string. */
-char *
-local_hex_string_custom(num,pre)
-   int num;
-   char *pre;
+/* Return the language struct for a given language enum.  */
+
+const struct language_defn *
+language_def (enum language lang)
 {
-   static char res[50];
+  int i;
 
-   sprintf (res, local_hex_format_custom(pre), num);
-   return res;
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         return languages[i];
+       }
+    }
+  return NULL;
 }
 
-/* Returns the appropriate printf format for octal
-   numbers. */
-char *
-local_octal_format_custom(pre)
-   char *pre;
+/* Return the language as a string.  */
+const char *
+language_str (enum language lang)
 {
-   static char form[50];
+  int i;
 
-   strcpy (form, current_language->la_octal_format_pre);
-   strcat (form, pre);
-   strcat (form, current_language->la_octal_format_suf);
-   return form;
-}
-\f
-/* This page contains functions that are used in type/range checking.
-   They all return zero if the type/range check fails.
-
-   It is hoped that these will make extending GDB to parse different
-   languages a little easier.  These are primarily used in eval.c when
-   evaluating expressions and making sure that their types are correct.
-   Instead of having a mess of conjucted/disjuncted expressions in an "if",
-   the ideas of type can be wrapped up in the following functions.
-
-   Note that some of them are not currently dependent upon which language
-   is currently being parsed.  For example, floats are the same in
-   C and Modula-2 (ie. the only floating point type has TYPE_CODE of
-   TYPE_CODE_FLT), while booleans are different. */
-
-/* Returns non-zero if its argument is a simple type.  This is the same for
-   both Modula-2 and for C.  In the C case, TYPE_CODE_CHAR will never occur,
-   and thus will never cause the failure of the test. */
-int
-simple_type(type)
-    struct type *type;
-{
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_CHAR:
-  case TYPE_CODE_ENUM:
-  case TYPE_CODE_FLT:
-  case TYPE_CODE_RANGE:
-  case TYPE_CODE_BOOL:
-    return 1;
-
-  default:
-    return 0;
-  }
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->la_language == lang)
+       {
+         return languages[i]->la_name;
+       }
+    }
+  return "Unknown";
 }
 
-/* Returns non-zero if its argument is of an ordered type. */
-int
-ordered_type (type)
-   struct type *type;
+static void
+set_check (char *ignore, int from_tty)
 {
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_CHAR:
-  case TYPE_CODE_ENUM:
-  case TYPE_CODE_FLT:
-  case TYPE_CODE_RANGE:
-    return 1;
-
-  default:
-    return 0;
-  }
+  printf_unfiltered (
+     "\"set check\" must be followed by the name of a check subcommand.\n");
+  help_list (setchecklist, "set check ", all_commands, gdb_stdout);
 }
 
-/* Returns non-zero if the two types are the same */
-int
-same_type (arg1, arg2)
-   struct type *arg1, *arg2;
+static void
+show_check (char *ignore, int from_tty)
 {
-   if (structured_type(arg1) ? !structured_type(arg2) : structured_type(arg2))
-      /* One is structured and one isn't */
-      return 0;
-   else if (structured_type(arg1) && structured_type(arg2))
-      return arg1 == arg2;
-   else if (numeric_type(arg1) && numeric_type(arg2))
-      return (TYPE_CODE(arg2) == TYPE_CODE(arg1)) &&
-        (TYPE_UNSIGNED(arg1) == TYPE_UNSIGNED(arg2))
-           ? 1 : 0;
-   else
-      return arg1==arg2;
+  cmd_show_list (showchecklist, from_tty, "");
 }
+\f
+/* Add a language to the set of known languages.  */
 
-/* Returns non-zero if the type is integral */
-int
-integral_type (type)
-   struct type *type;
+void
+add_language (const struct language_defn *lang)
 {
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
-      return (TYPE_CODE(type) != TYPE_CODE_INT) &&
-        (TYPE_CODE(type) != TYPE_CODE_ENUM) ? 0 : 1;
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_INT ? 0 : 1;
-   default:
-      error ("Language not supported.");
-   }
-}
+  /* For the "set language" command.  */
+  static const char **language_names = NULL;
+  /* For the "help set language" command.  */
+  char *language_set_doc = NULL;
 
-/* Returns non-zero if the value is numeric */
-int
-numeric_type (type)
-   struct type *type;
-{
-  switch (TYPE_CODE (type)) {
-  case TYPE_CODE_INT:
-  case TYPE_CODE_FLT:
-    return 1;
-
-  default:
-    return 0;
-  }
+  int i;
+  struct ui_file *tmp_stream;
+
+  if (lang->la_magic != LANG_MAGIC)
+    {
+      fprintf_unfiltered (gdb_stderr,
+                         "Magic number of %s language struct wrong\n",
+                         lang->la_name);
+      internal_error (__FILE__, __LINE__,
+                     _("failed internal consistency check"));
+    }
+
+  if (!languages)
+    {
+      languages_allocsize = DEFAULT_ALLOCSIZE;
+      languages = (const struct language_defn **) xmalloc
+       (languages_allocsize * sizeof (*languages));
+    }
+  if (languages_size >= languages_allocsize)
+    {
+      languages_allocsize *= 2;
+      languages = (const struct language_defn **) xrealloc ((char *) languages,
+                                languages_allocsize * sizeof (*languages));
+    }
+  languages[languages_size++] = lang;
+
+  /* Build the language names array, to be used as enumeration in the
+     set language" enum command.  */
+  language_names = xrealloc (language_names,
+                            (languages_size + 1) * sizeof (const char *));
+  for (i = 0; i < languages_size; ++i)
+    language_names[i] = languages[i]->la_name;
+  language_names[i] = NULL;
+
+  /* Build the "help set language" docs.  */
+  tmp_stream = mem_fileopen ();
+
+  fprintf_unfiltered (tmp_stream,
+                     _("Set the current source language.\n"
+                       "The currently understood settings are:\n\nlocal or "
+                       "auto    Automatic setting based on source file\n"));
+
+  for (i = 0; i < languages_size; ++i)
+    {
+      /* Already dealt with these above.  */
+      if (languages[i]->la_language == language_unknown
+         || languages[i]->la_language == language_auto)
+       continue;
+
+      /* FIXME: i18n: for now assume that the human-readable name
+        is just a capitalization of the internal name.  */
+      fprintf_unfiltered (tmp_stream, "%-16s Use the %c%s language\n",
+                         languages[i]->la_name,
+                         /* Capitalize first letter of language
+                            name.  */
+                         toupper (languages[i]->la_name[0]),
+                         languages[i]->la_name + 1);
+    }
+
+  language_set_doc = ui_file_xstrdup (tmp_stream, NULL);
+  ui_file_delete (tmp_stream);
+
+  add_setshow_enum_cmd ("language", class_support,
+                       (const char **) language_names,
+                       &language,
+                       language_set_doc,
+                       _("Show the current source language."),
+                       NULL, set_language_command,
+                       show_language_command,
+                       &setlist, &showlist);
+
+  xfree (language_set_doc);
 }
 
-/* Returns non-zero if the value is a character type */
-int
-character_type (type)
-   struct type *type;
+/* Iterate through all registered languages looking for and calling
+   any non-NULL struct language_defn.skip_trampoline() functions.
+   Return the result from the first that returns non-zero, or 0 if all
+   `fail'.  */
+CORE_ADDR 
+skip_language_trampoline (struct frame_info *frame, CORE_ADDR pc)
 {
-   switch(current_language->la_language)
-   {
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_CHAR ? 0 : 1;
-
-   case language_c:
-   case language_cplus:
-      return (TYPE_CODE(type) == TYPE_CODE_INT) &&
-        TYPE_LENGTH(type) == sizeof(char)
-        ? 1 : 0;
-   }
-   return (0);
+  int i;
+
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i]->skip_trampoline)
+       {
+         CORE_ADDR real_pc = (languages[i]->skip_trampoline) (frame, pc);
+
+         if (real_pc)
+           return real_pc;
+       }
+    }
+
+  return 0;
 }
 
-/* Returns non-zero if the value is a boolean type */
-int
-boolean_type (type)
-   struct type *type;
+/* Return demangled language symbol, or NULL.
+   FIXME: Options are only useful for certain languages and ignored
+   by others, so it would be better to remove them here and have a
+   more flexible demangler for the languages that need it.
+   FIXME: Sometimes the demangler is invoked when we don't know the
+   language, so we can't use this everywhere.  */
+char *
+language_demangle (const struct language_defn *current_language, 
+                               const char *mangled, int options)
 {
-   switch(current_language->la_language)
-   {
-   case language_m2:
-      return TYPE_CODE(type) != TYPE_CODE_BOOL ? 0 : 1;
-
-   case language_c:
-   case language_cplus:
-      return TYPE_CODE(type) != TYPE_CODE_INT ? 0 : 1;
-   }
-   return (0);
+  if (current_language != NULL && current_language->la_demangle)
+    return current_language->la_demangle (mangled, options);
+  return NULL;
 }
 
-/* Returns non-zero if the value is a floating-point type */
-int
-float_type (type)
-   struct type *type;
+/* Return class name from physname or NULL.  */
+char *
+language_class_name_from_physname (const struct language_defn *lang,
+                                  const char *physname)
 {
-   return TYPE_CODE(type) == TYPE_CODE_FLT;
+  if (lang != NULL && lang->la_class_name_from_physname)
+    return lang->la_class_name_from_physname (physname);
+  return NULL;
 }
 
-/* Returns non-zero if the value is a pointer type */
+/* Return non-zero if TYPE should be passed (and returned) by
+   reference at the language level.  */
 int
-pointer_type(type)
-   struct type *type;
+language_pass_by_reference (struct type *type)
 {
-   return TYPE_CODE(type) == TYPE_CODE_PTR ||
-      TYPE_CODE(type) == TYPE_CODE_REF;
+  return current_language->la_pass_by_reference (type);
 }
 
-/* Returns non-zero if the value is a structured type */
+/* Return zero; by default, types are passed by value at the language
+   level.  The target ABI may pass or return some structs by reference
+   independent of this.  */
 int
-structured_type(type)
-   struct type *type;
+default_pass_by_reference (struct type *type)
 {
-   switch(current_language->la_language)
-   {
-   case language_c:
-   case language_cplus:
-      return (TYPE_CODE(type) == TYPE_CODE_STRUCT) ||
-        (TYPE_CODE(type) == TYPE_CODE_UNION) ||
-           (TYPE_CODE(type) == TYPE_CODE_ARRAY);
-   case language_m2:
-      return (TYPE_CODE(type) == TYPE_CODE_STRUCT) ||
-        (TYPE_CODE(type) == TYPE_CODE_SET) ||
-           (TYPE_CODE(type) == TYPE_CODE_ARRAY);
-   }
-   return (0);
+  return 0;
 }
-\f
-/* This page contains functions that return info about
-   (struct value) values used in GDB. */
 
-/* Returns non-zero if the value VAL represents a true value. */
-int
-value_true(val)
-     value val;
+/* Return the default string containing the list of characters
+   delimiting words.  This is a reasonable default value that
+   most languages should be able to use.  */
+
+char *
+default_word_break_characters (void)
 {
-  int len, i;
-  struct type *type;
-  LONGEST v;
-
-  switch (current_language->la_language) {
-
-  case language_c:
-  case language_cplus:
-    return !value_zerop (val);
-
-  case language_m2:
-    type = VALUE_TYPE(val);
-    if (TYPE_CODE (type) != TYPE_CODE_BOOL)
-      return 0;                /* Not a BOOLEAN at all */
-    /* Search the fields for one that matches the current value. */
-    len = TYPE_NFIELDS (type);
-    v = value_as_long (val);
-    for (i = 0; i < len; i++)
-      {
-       QUIT;
-       if (v == TYPE_FIELD_BITPOS (type, i))
-         break;
-      }
-    if (i >= len)
-      return 0;                /* Not a valid BOOLEAN value */
-    if (!strcmp ("TRUE", TYPE_FIELD_NAME(VALUE_TYPE(val), i)))
-      return 1;                /* BOOLEAN with value TRUE */
-    else
-      return 0;                /* BOOLEAN with value FALSE */
-    break;
-
-  default:
-    error ("Language not supported.");
-  }
+  return " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,-";
 }
-\f
-/* Returns non-zero if the operator OP is defined on
-   the values ARG1 and ARG2. */
 
-#if 0  /* Currently unused */
+/* Print the index of array elements using the C99 syntax.  */
 
 void
-binop_type_check(arg1,arg2,op)
-   value arg1,arg2;
-   int op;
+default_print_array_index (struct value *index_value, struct ui_file *stream,
+                          const struct value_print_options *options)
 {
-   struct type *t1, *t2;
-
-   /* If we're not checking types, always return success. */
-   if (!STRICT_TYPE)
-      return;
-
-   t1=VALUE_TYPE(arg1);
-   if (arg2!=(value)NULL)
-      t2=VALUE_TYPE(arg2);
-   else
-      t2=NULL;
-
-   switch(op)
-   {
-   case BINOP_ADD:
-   case BINOP_SUB:
-      if ((numeric_type(t1) && pointer_type(t2)) ||
-        (pointer_type(t1) && numeric_type(t2)))
-      {
-        printf("warning:  combining pointer and integer.\n");
-        break;
-      }
-   case BINOP_MUL:
-   case BINOP_LSH:
-   case BINOP_RSH:
-      if (!numeric_type(t1) || !numeric_type(t2))
-        type_op_error ("Arguments to %s must be numbers.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   case BINOP_AND:
-   case BINOP_OR:
-      if (!boolean_type(t1) || !boolean_type(t2))
-        type_op_error ("Arguments to %s must be of boolean type.",op);
-      break;
-
-   case BINOP_EQUAL:
-      if ((pointer_type(t1) && !(pointer_type(t2) || integral_type(t2))) ||
-        (pointer_type(t2) && !(pointer_type(t1) || integral_type(t1))))
-        type_op_error ("A pointer can only be compared to an integer or pointer.",op);
-      else if ((pointer_type(t1) && integral_type(t2)) ||
-        (integral_type(t1) && pointer_type(t2)))
-      {
-        printf("warning:  combining integer and pointer.\n");
-        break;
-      }
-      else if (!simple_type(t1) || !simple_type(t2))
-        type_op_error ("Arguments to %s must be of simple type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   case BINOP_REM:
-      if (!integral_type(t1) || !integral_type(t2))
-        type_op_error ("Arguments to %s must be of integral type.",op);
-      break;
-
-   case BINOP_LESS:
-   case BINOP_GTR:
-   case BINOP_LEQ:
-   case BINOP_GEQ:
-      if (!ordered_type(t1) || !ordered_type(t2))
-        type_op_error ("Arguments to %s must be of ordered type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   case BINOP_ASSIGN:
-      if (pointer_type(t1) && !integral_type(t2))
-        type_op_error ("A pointer can only be assigned an integer.",op);
-      else if (pointer_type(t1) && integral_type(t2))
-      {
-        printf("warning:  combining integer and pointer.");
-        break;
-      }
-      else if (!simple_type(t1) || !simple_type(t2))
-        type_op_error ("Arguments to %s must be of simple type.",op);
-      else if (!same_type(t1,t2))
-        type_op_error ("Arguments to %s must be of the same type.",op);
-      break;
-
-   /* Unary checks -- arg2 is null */
-
-   case UNOP_ZEROP:
-      if (!boolean_type(t1))
-        type_op_error ("Argument to %s must be of boolean type.",op);
-      break;
-
-   case UNOP_PLUS:
-   case UNOP_NEG:
-      if (!numeric_type(t1))
-        type_op_error ("Argument to %s must be of numeric type.",op);
-      break;
-
-   case UNOP_IND:
-      if (integral_type(t1))
-      {
-        printf("warning:  combining pointer and integer.\n");
-        break;
-      }
-      else if (!pointer_type(t1))
-        type_op_error ("Argument to %s must be a pointer.",op);
-      break;
-
-   case UNOP_PREINCREMENT:
-   case UNOP_POSTINCREMENT:
-   case UNOP_PREDECREMENT:
-   case UNOP_POSTDECREMENT:
-      if (!ordered_type(t1))
-        type_op_error ("Argument to %s must be of an ordered type.",op);
-      break;
-
-   default:
-      /* Ok.  The following operators have different meanings in
-        different languages. */
-      switch(current_language->la_language)
-      {
-#ifdef _LANG_c
-      case language_c:
-      case language_cplus:
-        switch(op)
-        {
-        case BINOP_DIV:
-           if (!numeric_type(t1) || !numeric_type(t2))
-              type_op_error ("Arguments to %s must be numbers.",op);
-           break;
-        }
-        break;
-#endif
-
-#ifdef _LANG_m2
-      case language_m2:
-        switch(op)
-        {
-        case BINOP_DIV:
-           if (!float_type(t1) || !float_type(t2))
-              type_op_error ("Arguments to %s must be floating point numbers.",op);
-           break;
-        case BINOP_INTDIV:
-           if (!integral_type(t1) || !integral_type(t2))
-              type_op_error ("Arguments to %s must be of integral type.",op);
-           break;
-        }
-#endif
-      }
-   }
+  fprintf_filtered (stream, "[");
+  LA_VALUE_PRINT (index_value, stream, options);
+  fprintf_filtered (stream, "] = ");
 }
 
-#endif /* 0 */
-
-\f
-/* This page contains functions for the printing out of
-   error messages that occur during type- and range-
-   checking. */
-
-/* Prints the format string FMT with the operator as a string
-   corresponding to the opcode OP.  If FATAL is non-zero, then
-   this is an error and error () is called.  Otherwise, it is
-   a warning and printf() is called. */
 void
-op_error (fmt,op,fatal)
-   char *fmt;
-   enum exp_opcode op;
-   int fatal;
+default_get_string (struct value *value, gdb_byte **buffer, int *length,
+                   struct type **char_type, const char **charset)
 {
-   if (fatal)
-      error (fmt,op_string(op));
-   else
-   {
-      printf("warning:  ");
-      printf(fmt,op_string(op));
-      printf("\n");
-   }
+  error (_("Getting a string is unsupported in this language."));
 }
 
-/* These are called when a language fails a type- or range-check.
-   The first argument should be a printf()-style format string, and
-   the rest of the arguments should be its arguments.  If
-   [type|range]_check is [type|range]_check_on, then return_to_top_level()
-   is called in the style of error ().  Otherwise, the message is prefixed
-   by "warning:  " and we do not return to the top level. */
+/* Define the language that is no language.  */
 
-void
-type_error (va_alist)
-     va_dcl
+static int
+unk_lang_parser (struct parser_state *ps)
 {
-   va_list args;
-   char *string;
-
-   if (type_check==type_check_warn)
-      fprintf(stderr,"warning:  ");
-   else
-      target_terminal_ours();
-
-   va_start (args);
-   string = va_arg (args, char *);
-   vfprintf (stderr, string, args);
-   fprintf (stderr, "\n");
-   va_end (args);
-   if (type_check==type_check_on)
-      return_to_top_level();
+  return 1;
 }
 
-void
-range_error (va_alist)
-     va_dcl
+static void
+unk_lang_error (char *msg)
 {
-   va_list args;
-   char *string;
-
-   if (range_check==range_check_warn)
-      fprintf(stderr,"warning:  ");
-   else
-      target_terminal_ours();
-
-   va_start (args);
-   string = va_arg (args, char *);
-   vfprintf (stderr, string, args);
-   fprintf (stderr, "\n");
-   va_end (args);
-   if (range_check==range_check_on)
-      return_to_top_level();
+  error (_("Attempted to parse an expression with unknown language"));
 }
 
-\f
-/* This page contains miscellaneous functions */
-
-/* Return the language as a string */
-char *
-language_str(lang)
-   enum language lang;
+static void
+unk_lang_emit_char (int c, struct type *type, struct ui_file *stream,
+                   int quoter)
 {
-  int i;
+  error (_("internal error - unimplemented "
+          "function unk_lang_emit_char called."));
+}
 
-  for (i = 0; i < languages_size; i++) {
-    if (languages[i]->la_language == lang) {
-      return languages[i]->la_name;
-    }
-  }
-  return "Unknown";
+static void
+unk_lang_printchar (int c, struct type *type, struct ui_file *stream)
+{
+  error (_("internal error - unimplemented "
+          "function unk_lang_printchar called."));
 }
 
-struct cmd_list_element *setchecklist = NULL;
-struct cmd_list_element *showchecklist = NULL;
+static void
+unk_lang_printstr (struct ui_file *stream, struct type *type,
+                  const gdb_byte *string, unsigned int length,
+                  const char *encoding, int force_ellipses,
+                  const struct value_print_options *options)
+{
+  error (_("internal error - unimplemented "
+          "function unk_lang_printstr called."));
+}
 
 static void
-set_check (ignore, from_tty)
-   char *ignore;
-   int from_tty;
+unk_lang_print_type (struct type *type, const char *varstring,
+                    struct ui_file *stream, int show, int level,
+                    const struct type_print_options *flags)
 {
-   printf(
-"\"set check\" must be followed by the name of a check subcommand.\n");
-   help_list(setchecklist, "set check ", -1, stdout);
+  error (_("internal error - unimplemented "
+          "function unk_lang_print_type called."));
 }
 
 static void
-show_check (arg, from_tty)
-   char *arg;
-   int from_tty;
+unk_lang_val_print (struct type *type, const gdb_byte *valaddr,
+                   int embedded_offset, CORE_ADDR address,
+                   struct ui_file *stream, int recurse,
+                   const struct value *val,
+                   const struct value_print_options *options)
 {
-   cmd_show_list(showchecklist, from_tty, "");
+  error (_("internal error - unimplemented "
+          "function unk_lang_val_print called."));
 }
-\f
-/* Add a language to the set of known languages.  */
 
-void
-add_language (lang)
-     const struct language_defn *lang;
+static void
+unk_lang_value_print (struct value *val, struct ui_file *stream,
+                     const struct value_print_options *options)
 {
-  if (lang->la_magic != LANG_MAGIC)
-    {
-      fprintf(stderr, "Magic number of %s language struct wrong\n",
-       lang->la_name);
-      abort();
-    }
+  error (_("internal error - unimplemented "
+          "function unk_lang_value_print called."));
+}
 
-  if (!languages)
-    {
-      languages_allocsize = DEFAULT_ALLOCSIZE;
-      languages = (const struct language_defn **) xmalloc
-       (languages_allocsize * sizeof (*languages));
-    }
-  if (languages_size >= languages_allocsize)
-    {
-      languages_allocsize *= 2;
-      languages = (const struct language_defn **) xrealloc ((char *) languages,
-       languages_allocsize * sizeof (*languages));
-    }
-  languages[languages_size++] = lang;
+static CORE_ADDR unk_lang_trampoline (struct frame_info *frame, CORE_ADDR pc)
+{
+  return 0;
 }
 
-/* Define the language that is no language.  */
+/* Unknown languages just use the cplus demangler.  */
+static char *unk_lang_demangle (const char *mangled, int options)
+{
+  return gdb_demangle (mangled, options);
+}
 
-static int
-unk_lang_parser ()
+static char *unk_lang_class_name (const char *mangled)
 {
-  return 1;
+  return NULL;
 }
 
+static const struct op_print unk_op_print_tab[] =
+{
+  {NULL, OP_NULL, PREC_NULL, 0}
+};
+
 static void
-unk_lang_error (msg)
-     char *msg;
+unknown_language_arch_info (struct gdbarch *gdbarch,
+                           struct language_arch_info *lai)
 {
-  error ("Attempted to parse an expression with unknown language");
+  lai->string_char_type = builtin_type (gdbarch)->builtin_char;
+  lai->bool_type_default = builtin_type (gdbarch)->builtin_int;
+  lai->primitive_type_vector = GDBARCH_OBSTACK_CALLOC (gdbarch, 1,
+                                                      struct type *);
 }
 
-static struct type ** const (unknown_builtin_types[]) = { 0 };
-static const struct op_print unk_op_print_tab[] = { 0 };
-
-const struct language_defn unknown_language_defn = {
+const struct language_defn unknown_language_defn =
+{
   "unknown",
+  "Unknown",
   language_unknown,
-  &unknown_builtin_types[0],
   range_check_off,
-  type_check_off,
+  case_sensitive_on,
+  array_row_major,
+  macro_expansion_no,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  &builtin_type_error,         /* longest signed   integral type */
-  &builtin_type_error,         /* longest unsigned integral type */
-  &builtin_type_error,         /* longest floating point type */
-  "0x%x", "0x%", "x",          /* Hex   format, prefix, suffix */
-  "0%o",  "0%",  "o",          /* Octal format, prefix, suffix */
+  null_post_parser,
+  unk_lang_printchar,          /* Print character constant */
+  unk_lang_printstr,
+  unk_lang_emit_char,
+  unk_lang_print_type,         /* Print a type using appropriate syntax */
+  default_print_typedef,       /* Print a typedef using appropriate syntax */
+  unk_lang_val_print,          /* Print a value using appropriate syntax */
+  unk_lang_value_print,                /* Print a top-level value */
+  default_read_var_value,      /* la_read_var_value */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  "this",                      /* name_of_this */
+  basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific
+                                  class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
+  1,                           /* c-style arrays */
+  0,                           /* String lower bound */
+  default_word_break_characters,
+  default_make_symbol_completion_list,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
+  default_pass_by_reference,
+  default_get_string,
+  NULL,                                /* la_get_symbol_name_cmp */
+  iterate_over_symbols,
+  &default_varobj_ops,
+  NULL,
+  NULL,
   LANG_MAGIC
 };
 
-/* These two structs define fake entries for the "local" and "auto" options. */
-const struct language_defn auto_language_defn = {
+/* These two structs define fake entries for the "local" and "auto"
+   options.  */
+const struct language_defn auto_language_defn =
+{
   "auto",
+  "Auto",
   language_auto,
-  &unknown_builtin_types[0],
   range_check_off,
-  type_check_off,
+  case_sensitive_on,
+  array_row_major,
+  macro_expansion_no,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  &builtin_type_error,         /* longest signed   integral type */
-  &builtin_type_error,         /* longest unsigned integral type */
-  &builtin_type_error,         /* longest floating point type */
-  "0x%x", "0x%", "x",          /* Hex   format, prefix, suffix */
-  "0%o",  "0%",  "o",          /* Octal format, prefix, suffix */
+  null_post_parser,
+  unk_lang_printchar,          /* Print character constant */
+  unk_lang_printstr,
+  unk_lang_emit_char,
+  unk_lang_print_type,         /* Print a type using appropriate syntax */
+  default_print_typedef,       /* Print a typedef using appropriate syntax */
+  unk_lang_val_print,          /* Print a value using appropriate syntax */
+  unk_lang_value_print,                /* Print a top-level value */
+  default_read_var_value,      /* la_read_var_value */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  "this",                      /* name_of_this */
+  basic_lookup_symbol_nonlocal,        /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific
+                                  class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
+  1,                           /* c-style arrays */
+  0,                           /* String lower bound */
+  default_word_break_characters,
+  default_make_symbol_completion_list,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
+  default_pass_by_reference,
+  default_get_string,
+  NULL,                                /* la_get_symbol_name_cmp */
+  iterate_over_symbols,
+  &default_varobj_ops,
+  NULL,
+  NULL,
   LANG_MAGIC
 };
 
-const struct language_defn local_language_defn = {
+const struct language_defn local_language_defn =
+{
   "local",
+  "Local",
   language_auto,
-  &unknown_builtin_types[0],
   range_check_off,
-  type_check_off,
+  case_sensitive_on,
+  array_row_major,
+  macro_expansion_no,
+  &exp_descriptor_standard,
   unk_lang_parser,
   unk_lang_error,
-  &builtin_type_error,         /* longest signed   integral type */
-  &builtin_type_error,         /* longest unsigned integral type */
-  &builtin_type_error,         /* longest floating point type */
-  "0x%x", "0x%", "x",          /* Hex   format, prefix, suffix */
-  "0%o",  "0%",  "o",          /* Octal format, prefix, suffix */
+  null_post_parser,
+  unk_lang_printchar,          /* Print character constant */
+  unk_lang_printstr,
+  unk_lang_emit_char,
+  unk_lang_print_type,         /* Print a type using appropriate syntax */
+  default_print_typedef,       /* Print a typedef using appropriate syntax */
+  unk_lang_val_print,          /* Print a value using appropriate syntax */
+  unk_lang_value_print,                /* Print a top-level value */
+  default_read_var_value,      /* la_read_var_value */
+  unk_lang_trampoline,         /* Language specific skip_trampoline */
+  "this",                      /* name_of_this */
+  basic_lookup_symbol_nonlocal,        /* lookup_symbol_nonlocal */
+  basic_lookup_transparent_type,/* lookup_transparent_type */
+  unk_lang_demangle,           /* Language specific symbol demangler */
+  unk_lang_class_name,         /* Language specific
+                                  class_name_from_physname */
   unk_op_print_tab,            /* expression operators for printing */
+  1,                           /* c-style arrays */
+  0,                           /* String lower bound */
+  default_word_break_characters,
+  default_make_symbol_completion_list,
+  unknown_language_arch_info,  /* la_language_arch_info.  */
+  default_print_array_index,
+  default_pass_by_reference,
+  default_get_string,
+  NULL,                                /* la_get_symbol_name_cmp */
+  iterate_over_symbols,
+  &default_varobj_ops,
+  NULL,
+  NULL,
   LANG_MAGIC
 };
 \f
-/* Initialize the language routines */
+/* Per-architecture language information.  */
+
+static struct gdbarch_data *language_gdbarch_data;
+
+struct language_gdbarch
+{
+  /* A vector of per-language per-architecture info.  Indexed by "enum
+     language".  */
+  struct language_arch_info arch_info[nr_languages];
+};
+
+static void *
+language_gdbarch_post_init (struct gdbarch *gdbarch)
+{
+  struct language_gdbarch *l;
+  int i;
+
+  l = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct language_gdbarch);
+  for (i = 0; i < languages_size; i++)
+    {
+      if (languages[i] != NULL
+         && languages[i]->la_language_arch_info != NULL)
+       languages[i]->la_language_arch_info
+         (gdbarch, l->arch_info + languages[i]->la_language);
+    }
+  return l;
+}
+
+struct type *
+language_string_char_type (const struct language_defn *la,
+                          struct gdbarch *gdbarch)
+{
+  struct language_gdbarch *ld = gdbarch_data (gdbarch,
+                                             language_gdbarch_data);
+
+  return ld->arch_info[la->la_language].string_char_type;
+}
+
+struct type *
+language_bool_type (const struct language_defn *la,
+                   struct gdbarch *gdbarch)
+{
+  struct language_gdbarch *ld = gdbarch_data (gdbarch,
+                                             language_gdbarch_data);
+
+  if (ld->arch_info[la->la_language].bool_type_symbol)
+    {
+      struct symbol *sym;
+
+      sym = lookup_symbol (ld->arch_info[la->la_language].bool_type_symbol,
+                          NULL, VAR_DOMAIN, NULL);
+      if (sym)
+       {
+         struct type *type = SYMBOL_TYPE (sym);
+
+         if (type && TYPE_CODE (type) == TYPE_CODE_BOOL)
+           return type;
+       }
+    }
+
+  return ld->arch_info[la->la_language].bool_type_default;
+}
+
+struct type *
+language_lookup_primitive_type_by_name (const struct language_defn *la,
+                                       struct gdbarch *gdbarch,
+                                       const char *name)
+{
+  struct language_gdbarch *ld = gdbarch_data (gdbarch,
+                                             language_gdbarch_data);
+  struct type *const *p;
+
+  for (p = ld->arch_info[la->la_language].primitive_type_vector;
+       (*p) != NULL;
+       p++)
+    {
+      if (strcmp (TYPE_NAME (*p), name) == 0)
+       return (*p);
+    }
+  return (NULL);
+}
+
+/* Initialize the language routines.  */
 
 void
-_initialize_language()
+_initialize_language (void)
 {
-   struct cmd_list_element *set, *show;
-
-   /* GDB commands for language specific stuff */
-
-   set = add_set_cmd ("language", class_support, var_string_noescape,
-                     (char *)&language,
-                     "Set the current source language.",
-                     &setlist);
-   show = add_show_from_set (set, &showlist);
-   set->function.cfunc = set_language_command;
-   show->function.cfunc = show_language_command;
-
-   add_prefix_cmd ("check", no_class, set_check,
-                  "Set the status of the type/range checker",
-                  &setchecklist, "set check ", 0, &setlist);
-   add_alias_cmd ("c", "check", no_class, 1, &setlist);
-   add_alias_cmd ("ch", "check", no_class, 1, &setlist);
-
-   add_prefix_cmd ("check", no_class, show_check,
-                  "Show the status of the type/range checker",
-                  &showchecklist, "show check ", 0, &showlist);
-   add_alias_cmd ("c", "check", no_class, 1, &showlist);
-   add_alias_cmd ("ch", "check", no_class, 1, &showlist);
-
-   set = add_set_cmd ("type", class_support, var_string_noescape,
-                     (char *)&type,
-                     "Set type checking.  (on/warn/off/auto)",
-                     &setchecklist);
-   show = add_show_from_set (set, &showchecklist);
-   set->function.cfunc = set_type_command;
-   show->function.cfunc = show_type_command;
-
-   set = add_set_cmd ("range", class_support, var_string_noescape,
-                     (char *)&range,
-                     "Set range checking.  (on/warn/off/auto)",
-                     &setchecklist);
-   show = add_show_from_set (set, &showchecklist);
-   set->function.cfunc = set_range_command;
-   show->function.cfunc = show_range_command;
-
-   add_language (&unknown_language_defn);
-   add_language (&local_language_defn);
-   add_language (&auto_language_defn);
-
-   language = savestring ("auto",strlen("auto"));
-   range = savestring ("auto",strlen("auto"));
-   type = savestring ("auto",strlen("auto"));
-
-   /* Have the above take effect */
-
-   set_language_command (language, 0);
-   set_type_command (NULL, 0);
-   set_range_command (NULL, 0);
+  static const char *const type_or_range_names[]
+    = { "on", "off", "warn", "auto", NULL };
+
+  static const char *const case_sensitive_names[]
+    = { "on", "off", "auto", NULL };
+
+  language_gdbarch_data
+    = gdbarch_data_register_post_init (language_gdbarch_post_init);
+
+  /* GDB commands for language specific stuff.  */
+
+  add_prefix_cmd ("check", no_class, set_check,
+                 _("Set the status of the type/range checker."),
+                 &setchecklist, "set check ", 0, &setlist);
+  add_alias_cmd ("c", "check", no_class, 1, &setlist);
+  add_alias_cmd ("ch", "check", no_class, 1, &setlist);
+
+  add_prefix_cmd ("check", no_class, show_check,
+                 _("Show the status of the type/range checker."),
+                 &showchecklist, "show check ", 0, &showlist);
+  add_alias_cmd ("c", "check", no_class, 1, &showlist);
+  add_alias_cmd ("ch", "check", no_class, 1, &showlist);
+
+  add_setshow_enum_cmd ("range", class_support, type_or_range_names,
+                       &range,
+                       _("Set range checking.  (on/warn/off/auto)"),
+                       _("Show range checking.  (on/warn/off/auto)"),
+                       NULL, set_range_command,
+                       show_range_command,
+                       &setchecklist, &showchecklist);
+
+  add_setshow_enum_cmd ("case-sensitive", class_support, case_sensitive_names,
+                       &case_sensitive, _("\
+Set case sensitivity in name search.  (on/off/auto)"), _("\
+Show case sensitivity in name search.  (on/off/auto)"), _("\
+For Fortran the default is off; for other languages the default is on."),
+                       set_case_command,
+                       show_case_command,
+                       &setlist, &showlist);
+
+  add_language (&auto_language_defn);
+  add_language (&local_language_defn);
+  add_language (&unknown_language_defn);
+
+  language = xstrdup ("auto");
+  type = xstrdup ("auto");
+  range = xstrdup ("auto");
+  case_sensitive = xstrdup ("auto");
+
+  /* Have the above take effect.  */
+  set_language (language_auto);
 }