/* Multiple source language support for GDB.
- Copyright 1991, 1992 Free Software Foundation, Inc.
+
+ Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
+ 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010
+ 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,
whenever the working language changes. That would be a lot faster. */
#include "defs.h"
-#include <string.h>
-#include <varargs.h>
+#include <ctype.h>
+#include "gdb_string.h"
#include "symtab.h"
#include "gdbtypes.h"
#include "value.h"
#include "gdbcmd.h"
-#include "frame.h"
#include "expression.h"
#include "language.h"
#include "target.h"
#include "parser-defs.h"
+#include "jv-lang.h"
+#include "demangle.h"
+#include "symfile.h"
-static void
-show_language_command PARAMS ((char *, int));
-
-static void
-set_language_command PARAMS ((char *, int));
+extern void _initialize_language (void);
-static void
-show_type_command PARAMS ((char *, int));
+static void unk_lang_error (char *);
-static void
-set_type_command PARAMS ((char *, int));
-
-static void
-show_range_command PARAMS ((char *, int));
-
-static void
-set_range_command PARAMS ((char *, int));
+static int unk_lang_parser (void);
-static void
-set_range_str PARAMS ((void));
+static void show_check (char *, int);
-static void
-set_type_str PARAMS ((void));
+static void set_check (char *, int);
-static void
-set_lang_str PARAMS ((void));
+static void set_type_range_case (void);
-static void
-unk_lang_error PARAMS ((char *));
+static void unk_lang_emit_char (int c, struct type *type,
+ struct ui_file *stream, int quoter);
-static int
-unk_lang_parser PARAMS ((void));
+static void unk_lang_printchar (int c, struct type *type,
+ struct ui_file *stream);
-static void
-show_check PARAMS ((char *, int));
+static void unk_lang_print_type (struct type *, const char *, struct ui_file *,
+ int, int);
-static void
-set_check PARAMS ((char *, int));
+static int 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;
-extern char *warning_pre_print;
-
+
/* 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) */
static unsigned languages_allocsize;
#define DEFAULT_ALLOCSIZE 4
-/* 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. */
-
-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. */
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. */
/* Show command. Display a warning if the language set
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. */
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");
- printf ("local or auto Automatic setting based on source file\n");
- printf ("c Use the C language\n");
- printf ("c++ Use the C++ language\n");
- /* start-sanitize-chill */
- printf ("chill Use the Chill language\n");
- /* end-sanitize-chill */
- printf ("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 (STREQ (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);
- expected_language = current_language;
- return;
- } else {
- /* Enter manual mode. Set the specified language. */
- language_mode = language_mode_manual;
- current_language = languages[i];
- set_type_range ();
- set_lang_str();
- expected_language = current_language;
- 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_type_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);
+
+ internal_error (__FILE__, __LINE__,
+ "Couldn't find language `%s' in known languages list.",
+ language);
}
/* 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;
+show_type_command (struct ui_file *file, int from_tty,
+ struct cmd_list_element *c, const char *value)
{
+ if (type_mode == type_mode_auto)
+ {
+ char *tmp = NULL;
+
+ 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:
+ internal_error (__FILE__, __LINE__,
+ "Unrecognized type check setting.");
+ }
+
+ fprintf_filtered (gdb_stdout,
+ _("Type checking is \"auto; currently %s\".\n"),
+ tmp);
+ }
+ else
+ fprintf_filtered (gdb_stdout, _("Type checking is \"%s\".\n"),
+ value);
+
if (type_check != current_language->la_type_check)
- printf(
-"Warning: the current type check setting does not match the language.\n");
+ 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;
+set_type_command (char *ignore, int from_tty, struct cmd_list_element *c)
{
- if (STREQ(type,"on"))
- {
+ if (strcmp (type, "on") == 0)
+ {
type_check = type_check_on;
type_mode = type_mode_manual;
- }
- else if (STREQ(type,"warn"))
- {
+ }
+ else if (strcmp (type, "warn") == 0)
+ {
type_check = type_check_warn;
type_mode = type_mode_manual;
- }
- else if (STREQ(type,"off"))
- {
+ }
+ else if (strcmp (type, "off") == 0)
+ {
type_check = type_check_off;
type_mode = type_mode_manual;
- }
- else if (STREQ(type,"auto"))
- {
+ }
+ else if (strcmp (type, "auto") == 0)
+ {
type_mode = type_mode_auto;
- set_type_range();
- /* Avoid hitting the set_type_str call below. We
- did it in set_type_range. */
+ set_type_range_case ();
return;
- }
- set_type_str();
- show_type_command((char *)NULL, from_tty);
+ }
+ else
+ internal_error (__FILE__, __LINE__,
+ _("Unrecognized type check setting: \"%s\""), type);
+
+ if (type_check != current_language->la_type_check)
+ warning (_("the current type check setting"
+ " does not match the language.\n"));
}
/* Show command. Display a warning if the range setting does
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. */
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 (STREQ(range,"on"))
- {
+ if (strcmp (range, "on") == 0)
+ {
range_check = range_check_on;
range_mode = range_mode_manual;
- }
- else if (STREQ(range,"warn"))
- {
+ }
+ else if (strcmp (range, "warn") == 0)
+ {
range_check = range_check_warn;
range_mode = range_mode_manual;
- }
- else if (STREQ(range,"off"))
- {
+ }
+ else if (strcmp (range, "off") == 0)
+ {
range_check = range_check_off;
range_mode = range_mode_manual;
- }
- else if (STREQ(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_type_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
- the current modes and the current language.
- If SHOW is non-zero, then print out the current language,
- type and range checking status. */
+/* Show command. Display a warning if the case sensitivity setting does
+ not match the current language. */
static void
-set_type_range()
+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;
- 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;
+ 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);
- set_type_str();
- set_range_str();
+ if (case_sensitivity != current_language->la_case_sensitivity)
+ warning (_("the current case sensitivity setting does not match "
+ "the language.\n"));
}
-/* Set current language to (enum language) LANG. */
+/* Set command. Change the setting for case sensitivity. */
-void
-set_language(lang)
- enum language lang;
-{
- int i;
-
- for (i = 0; i < languages_size; i++) {
- if (languages[i]->la_language == lang) {
- current_language = languages[i];
- set_type_range ();
- set_lang_str();
- break;
- }
- }
-}
-\f
-/* This page contains functions that update the global vars
- language, type and range. */
static void
-set_lang_str()
+set_case_command (char *ignore, int from_tty, struct cmd_list_element *c)
{
- char *prefix = "";
-
- free (language);
- if (language_mode == language_mode_auto)
- prefix = "auto; currently ";
-
- language = concat(prefix, current_language->la_name, NULL);
+ 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_type_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. */
static void
-set_type_str()
+set_type_range_case (void)
{
- char *tmp, *prefix = "";
-
- free (type);
- if (type_mode==type_mode_auto)
- prefix = "auto; currently ";
+ if (range_mode == range_mode_auto)
+ range_check = current_language->la_range_check;
- 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.");
- }
+ if (type_mode == type_mode_auto)
+ type_check = current_language->la_type_check;
- type = concat(prefix,tmp,NULL);
+ if (case_mode == case_mode_auto)
+ case_sensitivity = current_language->la_case_sensitivity;
}
-static void
-set_range_str()
+/* Set current language to (enum language) LANG. Returns previous language. */
+
+enum language
+set_language (enum language lang)
{
- char *tmp, *pref = "";
+ int i;
+ enum language prev_language;
- free (range);
- if (range_mode==range_mode_auto)
- pref = "auto; currently ";
+ prev_language = current_language->la_language;
- 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.");
- }
+ for (i = 0; i < languages_size; i++)
+ {
+ if (languages[i]->la_language == lang)
+ {
+ current_language = languages[i];
+ set_type_range_case ();
+ break;
+ }
+ }
- range = concat(pref,tmp,NULL);
+ return prev_language;
}
-
+\f
/* Print out the current language settings: language, range and
type checking. If QUIETLY, print only what has changed. */
void
-language_info (quietly)
- int quietly;
+language_info (int quietly)
{
if (quietly && expected_language == current_language)
return;
expected_language = current_language;
- printf("Current language: %s\n",language);
- show_language_command((char *)0, 1);
+ printf_unfiltered (_("Current language: %s\n"), language);
+ show_language_command (NULL, 1, NULL, NULL);
if (!quietly)
{
- printf("Type checking: %s\n",type);
- show_type_command((char *)0, 1);
- printf("Range checking: %s\n",range);
- show_range_command((char *)0, 1);
+ printf_unfiltered (_("Type checking: %s\n"), type);
+ show_type_command (NULL, 1, NULL, NULL);
+ 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
/* Return the result of a binary operation. */
-#if 0 /* Currently unused */
+#if 0 /* Currently unused */
struct type *
-binop_result_type(v1,v2)
- value v1,v2;
+binop_result_type (struct value *v1, struct value *v2)
{
- 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);
+ int size, uns;
+ struct type *t1 = check_typedef (VALUE_TYPE (v1));
+ struct type *t2 = check_typedef (VALUE_TYPE (v2));
+
+ int l1 = TYPE_LENGTH (t1);
+ int l2 = TYPE_LENGTH (t2);
+
+ switch (current_language->la_language)
+ {
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
+ if (TYPE_CODE (t1) == TYPE_CODE_FLT)
+ return TYPE_CODE (t2) == TYPE_CODE_FLT && l2 > l1 ?
+ VALUE_TYPE (v2) : VALUE_TYPE (v1);
+ else if (TYPE_CODE (t2) == TYPE_CODE_FLT)
+ return TYPE_CODE (t1) == TYPE_CODE_FLT && l1 > l2 ?
+ VALUE_TYPE (v1) : VALUE_TYPE (v2);
+ else if (TYPE_UNSIGNED (t1) && l1 > l2)
+ return VALUE_TYPE (v1);
+ else if (TYPE_UNSIGNED (t2) && l2 > l1)
+ return VALUE_TYPE (v2);
+ else /* Both are signed. Result is the longer type */
+ return l1 > l2 ? VALUE_TYPE (v1) : VALUE_TYPE (v2);
break;
- case language_m2:
+ 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);
+ not needed. */
+ return l1 > l2 ? VALUE_TYPE (v1) : VALUE_TYPE (v2);
break;
- /* start-sanitize-chill */
- case language_chill:
- error ("Missing Chill support in function binop_result_check.");/*FIXME*/
- /* end-sanitize-chill */
- }
- abort();
- return (struct type *)0; /* For lint */
-}
-
-#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];
-
- strcpy (form, local_hex_format_prefix ());
- strcat (form, "%");
- strcat (form, pre);
- strcat (form, local_hex_format_specifier ());
- strcat (form, local_hex_format_suffix ());
- return form;
-}
-
-/* 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;
-{
- static char res[50];
-
- sprintf (res, local_hex_format(), num);
- return res;
-}
-
-/* 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;
-{
- static char res[50];
-
- sprintf (res, local_hex_format_custom(pre), num);
- return res;
+ }
+ internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
+ return (struct type *) 0; /* For lint */
}
-/* Returns the appropriate printf format for octal
- numbers. */
-char *
-local_octal_format_custom(pre)
- char *pre;
-{
- static char form[50];
-
- strcpy (form, local_octal_format_prefix ());
- strcat (form, "%");
- strcat (form, pre);
- strcat (form, local_octal_format_specifier ());
- strcat (form, local_octal_format_suffix ());
- return form;
-}
-\f
+#endif /* 0 */
+#if 0
/* This page contains functions that are used in type/range checking.
They all return zero if the type/range check fails.
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;
+simple_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;
- }
+ CHECK_TYPEDEF (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;
+ }
}
/* Returns non-zero if its argument is of an ordered type.
properties of "greater than", "less than", etc, or for which the
operations "increment" or "decrement" make sense. */
int
-ordered_type (type)
- struct type *type;
+ordered_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:
- return 1;
-
- default:
- return 0;
- }
+ CHECK_TYPEDEF (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:
+ return 1;
+
+ default:
+ return 0;
+ }
}
/* Returns non-zero if the two types are the same */
int
-same_type (arg1, arg2)
- struct type *arg1, *arg2;
+same_type (struct type *arg1, struct type *arg2)
{
- 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;
+ CHECK_TYPEDEF (type);
+ 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;
}
/* Returns non-zero if the type is integral */
int
-integral_type (type)
- struct type *type;
+integral_type (struct type *type)
{
- 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;
- /* start-sanitize-chill */
- case language_chill:
- error ("Missing Chill support in function integral_type."); /*FIXME*/
- /* end-sanitize-chill */
- default:
- error ("Language not supported.");
- }
+ CHECK_TYPEDEF (type);
+ switch (current_language->la_language)
+ {
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
+ return (TYPE_CODE (type) != TYPE_CODE_INT) &&
+ (TYPE_CODE (type) != TYPE_CODE_ENUM) ? 0 : 1;
+ case language_m2:
+ case language_pascal:
+ return TYPE_CODE (type) != TYPE_CODE_INT ? 0 : 1;
+ default:
+ error (_("Language not supported."));
+ }
}
/* Returns non-zero if the value is numeric */
int
-numeric_type (type)
- struct type *type;
+numeric_type (struct type *type)
{
- switch (TYPE_CODE (type)) {
- case TYPE_CODE_INT:
- case TYPE_CODE_FLT:
- return 1;
+ CHECK_TYPEDEF (type);
+ switch (TYPE_CODE (type))
+ {
+ case TYPE_CODE_INT:
+ case TYPE_CODE_FLT:
+ return 1;
- default:
- return 0;
- }
+ default:
+ return 0;
+ }
}
/* Returns non-zero if the value is a character type */
int
-character_type (type)
- struct type *type;
+character_type (struct type *type)
{
- switch(current_language->la_language)
- {
- /* start-sanitize-chill */
- case language_chill:
- /* end-sanitize-chill */
- 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;
- default:
+ CHECK_TYPEDEF (type);
+ switch (current_language->la_language)
+ {
+ case language_m2:
+ case language_pascal:
+ return TYPE_CODE (type) != TYPE_CODE_CHAR ? 0 : 1;
+
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
+ return (TYPE_CODE (type) == TYPE_CODE_INT) &&
+ TYPE_LENGTH (type) == sizeof (char)
+ ? 1 : 0;
+ default:
return (0);
- }
+ }
}
/* Returns non-zero if the value is a string type */
int
-string_type (type)
- struct type *type;
+string_type (struct type *type)
{
- switch(current_language->la_language)
- {
- /* start-sanitize-chill */
- case language_chill:
- /* end-sanitize-chill */
- case language_m2:
- return TYPE_CODE(type) != TYPE_CODE_STRING ? 0 : 1;
-
- case language_c:
- case language_cplus:
+ CHECK_TYPEDEF (type);
+ switch (current_language->la_language)
+ {
+ case language_m2:
+ case language_pascal:
+ return TYPE_CODE (type) != TYPE_CODE_STRING ? 0 : 1;
+
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
/* C does not have distinct string type. */
return (0);
- default:
+ default:
return (0);
- }
+ }
}
/* Returns non-zero if the value is a boolean type */
int
-boolean_type (type)
- struct type *type;
+boolean_type (struct type *type)
{
- switch(current_language->la_language)
- {
- /* start-sanitize-chill */
- case language_chill:
- /* end-sanitize-chill */
- 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;
- default:
- return (0);
- }
+ CHECK_TYPEDEF (type);
+ if (TYPE_CODE (type) == TYPE_CODE_BOOL)
+ return 1;
+ switch (current_language->la_language)
+ {
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
+ /* Might be more cleanly handled by having a
+ TYPE_CODE_INT_NOT_BOOL for (the deleted) CHILL and such
+ languages, or a TYPE_CODE_INT_OR_BOOL for C. */
+ if (TYPE_CODE (type) == TYPE_CODE_INT)
+ return 1;
+ default:
+ break;
+ }
+ return 0;
}
/* Returns non-zero if the value is a floating-point type */
int
-float_type (type)
- struct type *type;
+float_type (struct type *type)
{
- return TYPE_CODE(type) == TYPE_CODE_FLT;
+ CHECK_TYPEDEF (type);
+ return TYPE_CODE (type) == TYPE_CODE_FLT;
}
+#endif
/* Returns non-zero if the value is a pointer type */
int
-pointer_type(type)
- struct type *type;
+pointer_type (struct type *type)
{
- return TYPE_CODE(type) == TYPE_CODE_PTR ||
- TYPE_CODE(type) == TYPE_CODE_REF;
+ return TYPE_CODE (type) == TYPE_CODE_PTR ||
+ TYPE_CODE (type) == TYPE_CODE_REF;
}
+#if 0
/* Returns non-zero if the value is a structured type */
int
-structured_type(type)
- struct type *type;
+structured_type (struct type *type)
{
- switch(current_language->la_language)
- {
- case language_c:
- case language_cplus:
+ CHECK_TYPEDEF (type);
+ switch (current_language->la_language)
+ {
+ case language_c:
+ case language_cplus:
+ case language_d:
+ case language_objc:
+ return (TYPE_CODE (type) == TYPE_CODE_STRUCT) ||
+ (TYPE_CODE (type) == TYPE_CODE_UNION) ||
+ (TYPE_CODE (type) == TYPE_CODE_ARRAY);
+ case language_pascal:
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);
- /* start-sanitize-chill */
- case language_chill:
- error ("Missing Chill support in function structured_type."); /*FIXME*/
- /* end-sanitize-chill */
- default:
+ case language_m2:
+ return (TYPE_CODE (type) == TYPE_CODE_STRUCT) ||
+ (TYPE_CODE (type) == TYPE_CODE_SET) ||
+ (TYPE_CODE (type) == TYPE_CODE_ARRAY);
+ default:
return (0);
- }
+ }
}
+#endif
\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;
+value_true (struct value *val)
{
- int len, i;
- struct type *type;
- LONGEST v;
-
- switch (current_language->la_language) {
-
- case language_c:
- case language_cplus:
- return !value_logical_not (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 (STREQ ("TRUE", TYPE_FIELD_NAME(VALUE_TYPE(val), i)))
- return 1; /* BOOLEAN with value TRUE */
- else
- return 0; /* BOOLEAN with value FALSE */
- break;
-
- /* start-sanitize-chill */
- case language_chill:
- error ("Missing Chill support in function value_type."); /*FIXME*/
- /* end-sanitize-chill */
-
- default:
- error ("Language not supported.");
- }
+ /* 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
-/* Returns non-zero if the operator OP is defined on
- the values ARG1 and ARG2. */
+/* This page contains functions for the printing out of
+ error messages that occur during type- and range-
+ checking. */
-#if 0 /* Currently unused */
+/* 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, an error is printed;
+ if [type|range]_check_warn, a warning; otherwise just the
+ message. */
void
-binop_type_check(arg1,arg2,op)
- value arg1,arg2;
- int op;
+type_error (const char *string,...)
{
- 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)))
- {
- 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_LOGICAL_AND:
- case BINOP_LOGICAL_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)))
- {
- 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;
+ va_list args;
- case BINOP_REM:
- case BINOP_MOD:
- 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);
+ va_start (args, string);
+ switch (type_check)
+ {
+ case type_check_warn:
+ vwarning (string, args);
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))
- {
- 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);
+ case type_check_on:
+ verror (string, args);
break;
-
- case BINOP_CONCAT:
- /* FIXME: Needs to handle bitstrings as well. */
- if (!(string_type(t1) || character_type(t1) || integral_type(t1))
- || !(string_type(t2) || character_type(t2) || integral_type(t2)))
- type_op_error ("Arguments to %s must be strings or characters.", op);
+ case type_check_off:
+ /* FIXME: cagney/2002-01-30: Should this function print anything
+ when type error is off? */
+ vfprintf_filtered (gdb_stderr, string, args);
+ fprintf_filtered (gdb_stderr, "\n");
break;
+ default:
+ internal_error (__FILE__, __LINE__, _("bad switch"));
+ }
+ va_end (args);
+}
- /* Unary checks -- arg2 is null */
-
- case UNOP_LOGICAL_NOT:
- if (!boolean_type(t1))
- type_op_error ("Argument to %s must be of boolean type.",op);
- break;
+void
+range_error (const char *string,...)
+{
+ va_list args;
- case UNOP_PLUS:
- case UNOP_NEG:
- if (!numeric_type(t1))
- type_op_error ("Argument to %s must be of numeric type.",op);
+ va_start (args, string);
+ switch (range_check)
+ {
+ case range_check_warn:
+ vwarning (string, args);
break;
-
- case UNOP_IND:
- if (integral_type(t1))
- {
- warning ("combining pointer and integer.\n");
- break;
- }
- else if (!pointer_type(t1))
- type_op_error ("Argument to %s must be a pointer.",op);
+ case range_check_on:
+ verror (string, args);
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);
+ 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;
-
- 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
-
-/* start-sanitize-chill */
-#ifdef _LANG_chill
- case language_chill:
- error ("Missing Chill support in function binop_type_check.");/*FIXME*/
-#endif
-/* end-sanitize-chill */
-
- }
- }
+ default:
+ internal_error (__FILE__, __LINE__, _("bad switch"));
+ }
+ va_end (args);
}
-
-#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;
-{
- if (fatal)
- error (fmt,op_string(op));
- else
- {
- warning (fmt,op_string(op));
- }
-}
+/* This page contains miscellaneous functions */
-/* 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 the value of warning_pre_print and we do not return to the top level. */
+/* Return the language enum for a given language string. */
-void
-type_error (va_alist)
- va_dcl
+enum language
+language_enum (char *str)
{
- va_list args;
- char *string;
+ int i;
- if (type_check==type_check_warn)
- fprintf(stderr,warning_pre_print);
- 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();
-}
+ for (i = 0; i < languages_size; i++)
+ if (strcmp (languages[i]->la_name, str) == 0)
+ return languages[i]->la_language;
-void
-range_error (va_alist)
- va_dcl
-{
- va_list args;
- char *string;
-
- if (range_check==range_check_warn)
- fprintf(stderr,warning_pre_print);
- 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();
+ return language_unknown;
}
-\f
-/* This page contains miscellaneous functions */
-
/* Return the language struct for a given language enum. */
const struct language_defn *
-language_def(lang)
- enum language lang;
+language_def (enum language lang)
{
int i;
- for (i = 0; i < languages_size; i++) {
- if (languages[i]->la_language == lang) {
- return languages[i];
+ for (i = 0; i < languages_size; i++)
+ {
+ if (languages[i]->la_language == lang)
+ {
+ return languages[i];
+ }
}
- }
return NULL;
}
/* Return the language as a string */
char *
-language_str(lang)
- enum language lang;
+language_str (enum language lang)
{
int i;
- for (i = 0; i < languages_size; i++) {
- if (languages[i]->la_language == lang) {
- return languages[i]->la_name;
+ for (i = 0; i < languages_size; i++)
+ {
+ if (languages[i]->la_language == lang)
+ {
+ return languages[i]->la_name;
+ }
}
- }
return "Unknown";
}
static void
-set_check (ignore, from_tty)
- char *ignore;
- int from_tty;
+set_check (char *ignore, int from_tty)
{
- printf(
-"\"set check\" must be followed by the name of a check subcommand.\n");
- help_list(setchecklist, "set check ", -1, stdout);
+ printf_unfiltered (
+ "\"set check\" must be followed by the name of a check subcommand.\n");
+ help_list (setchecklist, "set check ", -1, gdb_stdout);
}
static void
-show_check (ignore, from_tty)
- char *ignore;
- int from_tty;
+show_check (char *ignore, int from_tty)
{
- cmd_show_list(showchecklist, from_tty, "");
+ cmd_show_list (showchecklist, from_tty, "");
}
\f
/* Add a language to the set of known languages. */
void
-add_language (lang)
- const struct language_defn *lang;
+add_language (const struct language_defn *lang)
{
+ /* For the "set language" command. */
+ static char **language_names = NULL;
+ /* For the "help set language" command. */
+ char *language_set_doc = NULL;
+
+ int i;
+ struct ui_file *tmp_stream;
+
if (lang->la_magic != LANG_MAGIC)
{
- fprintf(stderr, "Magic number of %s language struct wrong\n",
- lang->la_name);
- abort();
+ 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 *= 2;
languages = (const struct language_defn **) xrealloc ((char *) languages,
- languages_allocsize * sizeof (*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\n\
+local 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);
+}
+
+/* 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)
+{
+ 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;
+}
+
+/* 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)
+{
+ if (current_language != NULL && current_language->la_demangle)
+ return current_language->la_demangle (mangled, options);
+ return NULL;
+}
+
+/* Return class name from physname or NULL. */
+char *
+language_class_name_from_physname (const struct language_defn *current_language,
+ const char *physname)
+{
+ if (current_language != NULL && current_language->la_class_name_from_physname)
+ return current_language->la_class_name_from_physname (physname);
+ return NULL;
+}
+
+/* Return non-zero if TYPE should be passed (and returned) by
+ reference at the language level. */
+int
+language_pass_by_reference (struct type *type)
+{
+ return current_language->la_pass_by_reference (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
+default_pass_by_reference (struct type *type)
+{
+ return 0;
+}
+
+/* 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)
+{
+ return " \t\n!@#$%^&*()+=|~`}{[]\"';:?/>.<,-";
+}
+
+/* Print the index of array elements using the C99 syntax. */
+
+void
+default_print_array_index (struct value *index_value, struct ui_file *stream,
+ const struct value_print_options *options)
+{
+ fprintf_filtered (stream, "[");
+ LA_VALUE_PRINT (index_value, stream, options);
+ fprintf_filtered (stream, "] = ");
+}
+
+void
+default_get_string (struct value *value, gdb_byte **buffer, int *length,
+ struct type **char_type, const char **charset)
+{
+ error (_("Getting a string is unsupported in this language."));
}
/* Define the language that is no language. */
static int
-unk_lang_parser ()
+unk_lang_parser (void)
{
return 1;
}
static void
-unk_lang_error (msg)
- char *msg;
+unk_lang_error (char *msg)
{
- error ("Attempted to parse an expression with unknown language");
+ error (_("Attempted to parse an expression with unknown language"));
}
static void
-unk_lang_printchar (c, stream)
- register int c;
- FILE *stream;
+unk_lang_emit_char (int c, struct type *type, struct ui_file *stream,
+ int quoter)
{
- error ("internal error - unimplemented function unk_lang_printchar called.");
+ error (_("internal error - unimplemented function unk_lang_emit_char called."));
}
static void
-unk_lang_printstr (stream, string, length, force_ellipses)
- FILE *stream;
- char *string;
- unsigned int length;
- int force_ellipses;
+unk_lang_printchar (int c, struct type *type, struct ui_file *stream)
{
- error ("internal error - unimplemented function unk_lang_printstr called.");
+ error (_("internal error - unimplemented function unk_lang_printchar called."));
}
-static struct type *
-unk_lang_create_fundamental_type (objfile, typeid)
- struct objfile *objfile;
- int typeid;
+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_create_fundamental_type called.");
+ error (_("internal error - unimplemented function unk_lang_printstr called."));
}
-void
-unk_lang_print_type (type, varstring, stream, show, level)
- struct type *type;
- char *varstring;
- FILE *stream;
- int show;
- int level;
+static void
+unk_lang_print_type (struct type *type, const char *varstring,
+ struct ui_file *stream, int show, int level)
{
- error ("internal error - unimplemented function unk_lang_print_type called.");
+ error (_("internal error - unimplemented function unk_lang_print_type called."));
}
-int
-unk_lang_val_print (type, valaddr, address, stream, format, deref_ref,
- recurse, pretty)
- struct type *type;
- char *valaddr;
- CORE_ADDR address;
- FILE *stream;
- int format;
- int deref_ref;
- int recurse;
- enum val_prettyprint pretty;
+static int
+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)
+{
+ error (_("internal error - unimplemented function unk_lang_val_print called."));
+}
+
+static int
+unk_lang_value_print (struct value *val, struct ui_file *stream,
+ const struct value_print_options *options)
{
- error ("internal error - unimplemented function unk_lang_val_print called.");
+ error (_("internal error - unimplemented function unk_lang_value_print called."));
+}
+
+static CORE_ADDR unk_lang_trampoline (struct frame_info *frame, CORE_ADDR pc)
+{
+ return 0;
+}
+
+/* Unknown languages just use the cplus demangler. */
+static char *unk_lang_demangle (const char *mangled, int options)
+{
+ return cplus_demangle (mangled, options);
+}
+
+static char *unk_lang_class_name (const char *mangled)
+{
+ return NULL;
}
-static struct type ** const (unknown_builtin_types[]) = { 0 };
-static const struct op_print unk_op_print_tab[] = {
- {NULL, OP_NULL, PREC_NULL, 0}
+static const struct op_print unk_op_print_tab[] =
+{
+ {NULL, OP_NULL, PREC_NULL, 0}
};
-const struct language_defn unknown_language_defn = {
+static void
+unknown_language_arch_info (struct gdbarch *gdbarch,
+ struct language_arch_info *lai)
+{
+ 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 *);
+}
+
+const struct language_defn unknown_language_defn =
+{
"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,
+ null_post_parser,
unk_lang_printchar, /* Print character constant */
unk_lang_printstr,
- unk_lang_create_fundamental_type,
+ 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 */
- &builtin_type_error, /* longest signed integral type */
- &builtin_type_error, /* longest unsigned integral type */
- &builtin_type_error, /* longest floating point type */
- {"", "", "", ""}, /* Binary format info */
- {"0%o", "0", "o", ""}, /* Octal format info */
- {"%d", "", "d", ""}, /* Decimal format info */
- {"0x%x", "0x", "x", ""}, /* Hex format info */
+ unk_lang_value_print, /* Print a top-level 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,
LANG_MAGIC
};
/* These two structs define fake entries for the "local" and "auto" options. */
-const struct language_defn auto_language_defn = {
+const struct language_defn auto_language_defn =
+{
"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,
+ null_post_parser,
unk_lang_printchar, /* Print character constant */
unk_lang_printstr,
- unk_lang_create_fundamental_type,
+ 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 */
- &builtin_type_error, /* longest signed integral type */
- &builtin_type_error, /* longest unsigned integral type */
- &builtin_type_error, /* longest floating point type */
- {"", "", "", ""}, /* Binary format info */
- {"0%o", "0", "o", ""}, /* Octal format info */
- {"%d", "", "d", ""}, /* Decimal format info */
- {"0x%x", "0x", "x", ""}, /* Hex format info */
+ unk_lang_value_print, /* Print a top-level 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,
LANG_MAGIC
};
-const struct language_defn local_language_defn = {
+const struct language_defn local_language_defn =
+{
"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,
+ null_post_parser,
unk_lang_printchar, /* Print character constant */
unk_lang_printstr,
- unk_lang_create_fundamental_type,
+ 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 */
- &builtin_type_error, /* longest signed integral type */
- &builtin_type_error, /* longest unsigned integral type */
- &builtin_type_error, /* longest floating point type */
- {"", "", "", ""}, /* Binary format info */
- {"0%o", "0", "o", ""}, /* Octal format info */
- {"%d", "", "d", ""}, /* Decimal format info */
- {"0x%x", "0x", "x", ""}, /* Hex format info */
+ unk_lang_value_print, /* Print a top-level 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,
LANG_MAGIC
};
\f
+/* 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 *type_or_range_names[]
+ = { "on", "off", "warn", "auto", NULL };
+
+ static const char *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 ("type", class_support, type_or_range_names, &type, _("\
+Set type checking. (on/warn/off/auto)"), _("\
+Show type checking. (on/warn/off/auto)"), NULL,
+ set_type_command,
+ show_type_command,
+ &setchecklist, &showchecklist);
+
+ 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);
}