1 /* Multiple source language support for GDB.
2 Copyright 1991, 1992, 2000 Free Software Foundation, Inc.
3 Contributed by the Department of Computer Science at the State University
4 of New York at Buffalo.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
23 /* This file contains functions that return things that are specific
24 to languages. Each function should examine current_language if necessary,
25 and return the appropriate result. */
27 /* FIXME: Most of these would be better organized as macros which
28 return data out of a "language-specific" struct pointer that is set
29 whenever the working language changes. That would be a lot faster. */
33 #include "gdb_string.h"
40 #include "expression.h"
43 #include "parser-defs.h"
45 extern void _initialize_language
PARAMS ((void));
48 show_language_command
PARAMS ((char *, int));
51 set_language_command
PARAMS ((char *, int));
54 show_type_command
PARAMS ((char *, int));
57 set_type_command
PARAMS ((char *, int));
60 show_range_command
PARAMS ((char *, int));
63 set_range_command
PARAMS ((char *, int));
66 set_range_str
PARAMS ((void));
69 set_type_str
PARAMS ((void));
72 set_lang_str
PARAMS ((void));
75 unk_lang_error
PARAMS ((char *));
78 unk_lang_parser
PARAMS ((void));
81 show_check
PARAMS ((char *, int));
84 set_check
PARAMS ((char *, int));
87 set_type_range
PARAMS ((void));
89 static void unk_lang_emit_char (int c
, struct ui_file
*stream
, int quoter
);
91 static void unk_lang_printchar (int c
, struct ui_file
*stream
);
93 static void unk_lang_printstr (struct ui_file
* stream
, char *string
,
94 unsigned int length
, int width
,
98 unk_lang_create_fundamental_type
PARAMS ((struct objfile
*, int));
100 static void unk_lang_print_type (struct type
*, char *, struct ui_file
*,
103 static int unk_lang_val_print (struct type
*, char *, int, CORE_ADDR
,
104 struct ui_file
*, int, int, int,
105 enum val_prettyprint
);
107 static int unk_lang_value_print (value_ptr
, struct ui_file
*, int, enum val_prettyprint
);
109 /* Forward declaration */
110 extern const struct language_defn unknown_language_defn
;
111 extern char *warning_pre_print
;
113 /* The current (default at startup) state of type and range checking.
114 (If the modes are set to "auto", though, these are changed based
115 on the default language at startup, and then again based on the
116 language of the first source file. */
118 enum range_mode range_mode
= range_mode_auto
;
119 enum range_check range_check
= range_check_off
;
120 enum type_mode type_mode
= type_mode_auto
;
121 enum type_check type_check
= type_check_off
;
123 /* The current language and language_mode (see language.h) */
125 const struct language_defn
*current_language
= &unknown_language_defn
;
126 enum language_mode language_mode
= language_mode_auto
;
128 /* The language that the user expects to be typing in (the language
129 of main(), or the last language we notified them about, or C). */
131 const struct language_defn
*expected_language
;
133 /* The list of supported languages. The list itself is malloc'd. */
135 static const struct language_defn
**languages
;
136 static unsigned languages_size
;
137 static unsigned languages_allocsize
;
138 #define DEFAULT_ALLOCSIZE 4
140 /* The "set language/type/range" commands all put stuff in these
141 buffers. This is to make them work as set/show commands. The
142 user's string is copied here, then the set_* commands look at
143 them and update them to something that looks nice when it is
146 static char *language
;
150 /* Warning issued when current_language and the language of the current
151 frame do not match. */
152 char lang_frame_mismatch_warn
[] =
153 "Warning: the current language does not match this frame.";
156 /* This page contains the functions corresponding to GDB commands
157 and their helpers. */
159 /* Show command. Display a warning if the language set
160 does not match the frame. */
162 show_language_command (ignore
, from_tty
)
166 enum language flang
; /* The language of the current frame */
168 flang
= get_frame_language ();
169 if (flang
!= language_unknown
&&
170 language_mode
== language_mode_manual
&&
171 current_language
->la_language
!= flang
)
172 printf_filtered ("%s\n", lang_frame_mismatch_warn
);
175 /* Set command. Change the current working language. */
177 set_language_command (ignore
, from_tty
)
185 if (!language
|| !language
[0])
187 printf_unfiltered ("The currently understood settings are:\n\n");
188 printf_unfiltered ("local or auto Automatic setting based on source file\n");
190 for (i
= 0; i
< languages_size
; ++i
)
192 /* Already dealt with these above. */
193 if (languages
[i
]->la_language
== language_unknown
194 || languages
[i
]->la_language
== language_auto
)
197 /* FIXME for now assume that the human-readable name is just
198 a capitalization of the internal name. */
199 printf_unfiltered ("%-16s Use the %c%s language\n",
200 languages
[i
]->la_name
,
201 /* Capitalize first letter of language
203 toupper (languages
[i
]->la_name
[0]),
204 languages
[i
]->la_name
+ 1);
206 /* Restore the silly string. */
207 set_language (current_language
->la_language
);
211 /* Search the list of languages for a match. */
212 for (i
= 0; i
< languages_size
; i
++)
214 if (STREQ (languages
[i
]->la_name
, language
))
216 /* Found it! Go into manual mode, and use this language. */
217 if (languages
[i
]->la_language
== language_auto
)
219 /* Enter auto mode. Set to the current frame's language, if known. */
220 language_mode
= language_mode_auto
;
221 flang
= get_frame_language ();
222 if (flang
!= language_unknown
)
223 set_language (flang
);
224 expected_language
= current_language
;
229 /* Enter manual mode. Set the specified language. */
230 language_mode
= language_mode_manual
;
231 current_language
= languages
[i
];
234 expected_language
= current_language
;
240 /* Reset the language (esp. the global string "language") to the
242 err_lang
= savestring (language
, strlen (language
));
243 make_cleanup (free
, err_lang
); /* Free it after error */
244 set_language (current_language
->la_language
);
245 error ("Unknown language `%s'.", err_lang
);
248 /* Show command. Display a warning if the type setting does
249 not match the current language. */
251 show_type_command (ignore
, from_tty
)
255 if (type_check
!= current_language
->la_type_check
)
257 "Warning: the current type check setting does not match the language.\n");
260 /* Set command. Change the setting for type checking. */
262 set_type_command (ignore
, from_tty
)
266 if (STREQ (type
, "on"))
268 type_check
= type_check_on
;
269 type_mode
= type_mode_manual
;
271 else if (STREQ (type
, "warn"))
273 type_check
= type_check_warn
;
274 type_mode
= type_mode_manual
;
276 else if (STREQ (type
, "off"))
278 type_check
= type_check_off
;
279 type_mode
= type_mode_manual
;
281 else if (STREQ (type
, "auto"))
283 type_mode
= type_mode_auto
;
285 /* Avoid hitting the set_type_str call below. We
286 did it in set_type_range. */
291 warning ("Unrecognized type check setting: \"%s\"", type
);
294 show_type_command ((char *) NULL
, from_tty
);
297 /* Show command. Display a warning if the range setting does
298 not match the current language. */
300 show_range_command (ignore
, from_tty
)
305 if (range_check
!= current_language
->la_range_check
)
307 "Warning: the current range check setting does not match the language.\n");
310 /* Set command. Change the setting for range checking. */
312 set_range_command (ignore
, from_tty
)
316 if (STREQ (range
, "on"))
318 range_check
= range_check_on
;
319 range_mode
= range_mode_manual
;
321 else if (STREQ (range
, "warn"))
323 range_check
= range_check_warn
;
324 range_mode
= range_mode_manual
;
326 else if (STREQ (range
, "off"))
328 range_check
= range_check_off
;
329 range_mode
= range_mode_manual
;
331 else if (STREQ (range
, "auto"))
333 range_mode
= range_mode_auto
;
335 /* Avoid hitting the set_range_str call below. We
336 did it in set_type_range. */
341 warning ("Unrecognized range check setting: \"%s\"", range
);
344 show_range_command ((char *) 0, from_tty
);
347 /* Set the status of range and type checking based on
348 the current modes and the current language.
349 If SHOW is non-zero, then print out the current language,
350 type and range checking status. */
355 if (range_mode
== range_mode_auto
)
356 range_check
= current_language
->la_range_check
;
358 if (type_mode
== type_mode_auto
)
359 type_check
= current_language
->la_type_check
;
365 /* Set current language to (enum language) LANG. Returns previous language. */
372 enum language prev_language
;
374 prev_language
= current_language
->la_language
;
376 for (i
= 0; i
< languages_size
; i
++)
378 if (languages
[i
]->la_language
== lang
)
380 current_language
= languages
[i
];
387 return prev_language
;
390 /* This page contains functions that update the global vars
391 language, type and range. */
399 if (language_mode
== language_mode_auto
)
400 prefix
= "auto; currently ";
402 language
= concat (prefix
, current_language
->la_name
, NULL
);
408 char *tmp
= NULL
, *prefix
= "";
412 if (type_mode
== type_mode_auto
)
413 prefix
= "auto; currently ";
423 case type_check_warn
:
427 error ("Unrecognized type check setting.");
430 type
= concat (prefix
, tmp
, NULL
);
436 char *tmp
, *pref
= "";
438 if (range_mode
== range_mode_auto
)
439 pref
= "auto; currently ";
446 case range_check_off
:
449 case range_check_warn
:
453 error ("Unrecognized range check setting.");
458 range
= concat (pref
, tmp
, NULL
);
462 /* Print out the current language settings: language, range and
463 type checking. If QUIETLY, print only what has changed. */
466 language_info (quietly
)
469 if (quietly
&& expected_language
== current_language
)
472 expected_language
= current_language
;
473 printf_unfiltered ("Current language: %s\n", language
);
474 show_language_command ((char *) 0, 1);
478 printf_unfiltered ("Type checking: %s\n", type
);
479 show_type_command ((char *) 0, 1);
480 printf_unfiltered ("Range checking: %s\n", range
);
481 show_range_command ((char *) 0, 1);
485 /* Return the result of a binary operation. */
487 #if 0 /* Currently unused */
490 binop_result_type (v1
, v2
)
494 struct type
*t1
= check_typedef (VALUE_TYPE (v1
));
495 struct type
*t2
= check_typedef (VALUE_TYPE (v2
));
497 int l1
= TYPE_LENGTH (t1
);
498 int l2
= TYPE_LENGTH (t2
);
500 switch (current_language
->la_language
)
504 if (TYPE_CODE (t1
) == TYPE_CODE_FLT
)
505 return TYPE_CODE (t2
) == TYPE_CODE_FLT
&& l2
> l1
?
506 VALUE_TYPE (v2
) : VALUE_TYPE (v1
);
507 else if (TYPE_CODE (t2
) == TYPE_CODE_FLT
)
508 return TYPE_CODE (t1
) == TYPE_CODE_FLT
&& l1
> l2
?
509 VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
510 else if (TYPE_UNSIGNED (t1
) && l1
> l2
)
511 return VALUE_TYPE (v1
);
512 else if (TYPE_UNSIGNED (t2
) && l2
> l1
)
513 return VALUE_TYPE (v2
);
514 else /* Both are signed. Result is the longer type */
515 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
518 /* If we are doing type-checking, l1 should equal l2, so this is
520 return l1
> l2
? VALUE_TYPE (v1
) : VALUE_TYPE (v2
);
523 error ("Missing Chill support in function binop_result_check."); /*FIXME */
526 return (struct type
*) 0; /* For lint */
532 /* This page contains functions that return format strings for
533 printf for printing out numbers in different formats */
535 /* Returns the appropriate printf format for hexadecimal
538 local_hex_format_custom (pre
)
541 static char form
[50];
543 strcpy (form
, local_hex_format_prefix ());
546 strcat (form
, local_hex_format_specifier ());
547 strcat (form
, local_hex_format_suffix ());
552 /* FIXME: cagney/2000-03-04: This function does not appear to be used.
553 It can be deleted once 5.0 has been released. */
554 /* FIXME: cagney/2000-03-04: This code assumes that the compiler
555 supports ``long long''. */
556 /* Converts a number to hexadecimal (without leading "0x") and stores it in a
557 static string. Returns a pointer to this string. */
560 longest_raw_hex_string (num
)
563 static char res_longest_raw_hex_string
[50];
564 long long ll
= num
; /* MERGEBUG ?? see below */
565 res_longest_raw_hex_string
[0] = 0;
566 /* MERGEBUG ?? As a quick fix I am replacing this with sprintf
567 strcat_address_numeric (num, 0, res_longest_raw_hex_string, 50);
570 sprintf (res_longest_raw_hex_string
, "%llx", ll
);
571 return res_longest_raw_hex_string
;
575 /* Converts a number to hexadecimal and stores it in a static
576 string. Returns a pointer to this string. */
578 local_hex_string (num
)
583 sprintf (res
, local_hex_format (), num
);
587 /* Converts a LONGEST number to hexadecimal and stores it in a static
588 string. Returns a pointer to this string. */
590 longest_local_hex_string (num
)
593 return longest_local_hex_string_custom (num
, "l");
596 /* Converts a number to custom hexadecimal and stores it in a static
597 string. Returns a pointer to this string. */
599 local_hex_string_custom (num
, pre
)
605 sprintf (res
, local_hex_format_custom (pre
), num
);
609 /* Converts a LONGEST number to custom hexadecimal and stores it in a static
610 string. Returns a pointer to this string. Note that the width parameter
611 should end with "l", e.g. "08l" as with calls to local_hex_string_custom */
614 longest_local_hex_string_custom (num
, width
)
618 #define RESULT_BUF_LEN 50
619 static char res2
[RESULT_BUF_LEN
];
620 char format
[RESULT_BUF_LEN
];
621 #if !defined (PRINTF_HAS_LONG_LONG)
625 char *pad_char
; /* string with one character */
628 char temp_nbr_buf
[RESULT_BUF_LEN
];
631 #ifndef CC_HAS_LONG_LONG
632 /* If there is no long long, then LONGEST should be just long and we
633 can use local_hex_string_custom
635 return local_hex_string_custom ((unsigned long) num
, width
);
636 #elif defined (PRINTF_HAS_LONG_LONG)
637 /* Just use printf. */
638 strcpy (format
, local_hex_format_prefix ()); /* 0x */
639 strcat (format
, "%");
640 strcat (format
, width
); /* e.g. "08l" */
641 strcat (format
, "l"); /* need "ll" for long long */
642 strcat (format
, local_hex_format_specifier ()); /* "x" */
643 strcat (format
, local_hex_format_suffix ()); /* "" */
644 sprintf (res2
, format
, num
);
646 #else /* !defined (PRINTF_HAS_LONG_LONG) */
647 /* Use strcat_address_numeric to print the number into a string, then
648 build the result string from local_hex_format_prefix, padding and
649 the hex representation as indicated by "width". */
652 /* With use_local == 0, we don't get the leading "0x" prefix. */
653 /* MERGEBUG ?? As a quick fix I am replacing this call to
654 strcat_address_numeric with sprintf
655 strcat_address_numeric(num, 0, temp_nbr_buf, RESULT_BUF_LEN);
660 sprintf (temp_nbr_buf
, "%llx", ll
);
666 if (*parse_ptr
== '-')
671 if (*parse_ptr
== '0')
675 pad_char
= "0"; /* If padding is on the right, it is blank */
677 field_width
= atoi (parse_ptr
);
678 num_len
= strlen (temp_nbr_buf
);
679 num_pad_chars
= field_width
- strlen (temp_nbr_buf
); /* possibly negative */
681 if (strlen (local_hex_format_prefix ()) + num_len
+ num_pad_chars
682 < RESULT_BUF_LEN
) /* paranoia */
683 internal_error ("longest_local_hex_string_custom: insufficient space to store result");
685 strcpy (res2
, local_hex_format_prefix ());
688 while (num_pad_chars
> 0)
690 strcat (res2
, pad_char
);
694 strcat (res2
, temp_nbr_buf
);
697 while (num_pad_chars
> 0)
699 strcat (res2
, pad_char
);
706 } /* longest_local_hex_string_custom */
708 /* Returns the appropriate printf format for octal
711 local_octal_format_custom (pre
)
714 static char form
[50];
716 strcpy (form
, local_octal_format_prefix ());
719 strcat (form
, local_octal_format_specifier ());
720 strcat (form
, local_octal_format_suffix ());
724 /* Returns the appropriate printf format for decimal numbers. */
726 local_decimal_format_custom (pre
)
729 static char form
[50];
731 strcpy (form
, local_decimal_format_prefix ());
734 strcat (form
, local_decimal_format_specifier ());
735 strcat (form
, local_decimal_format_suffix ());
740 /* This page contains functions that are used in type/range checking.
741 They all return zero if the type/range check fails.
743 It is hoped that these will make extending GDB to parse different
744 languages a little easier. These are primarily used in eval.c when
745 evaluating expressions and making sure that their types are correct.
746 Instead of having a mess of conjucted/disjuncted expressions in an "if",
747 the ideas of type can be wrapped up in the following functions.
749 Note that some of them are not currently dependent upon which language
750 is currently being parsed. For example, floats are the same in
751 C and Modula-2 (ie. the only floating point type has TYPE_CODE of
752 TYPE_CODE_FLT), while booleans are different. */
754 /* Returns non-zero if its argument is a simple type. This is the same for
755 both Modula-2 and for C. In the C case, TYPE_CODE_CHAR will never occur,
756 and thus will never cause the failure of the test. */
761 CHECK_TYPEDEF (type
);
762 switch (TYPE_CODE (type
))
768 case TYPE_CODE_RANGE
:
777 /* Returns non-zero if its argument is of an ordered type.
778 An ordered type is one in which the elements can be tested for the
779 properties of "greater than", "less than", etc, or for which the
780 operations "increment" or "decrement" make sense. */
785 CHECK_TYPEDEF (type
);
786 switch (TYPE_CODE (type
))
792 case TYPE_CODE_RANGE
:
800 /* Returns non-zero if the two types are the same */
802 same_type (arg1
, arg2
)
803 struct type
*arg1
, *arg2
;
805 CHECK_TYPEDEF (type
);
806 if (structured_type (arg1
) ? !structured_type (arg2
) : structured_type (arg2
))
807 /* One is structured and one isn't */
809 else if (structured_type (arg1
) && structured_type (arg2
))
811 else if (numeric_type (arg1
) && numeric_type (arg2
))
812 return (TYPE_CODE (arg2
) == TYPE_CODE (arg1
)) &&
813 (TYPE_UNSIGNED (arg1
) == TYPE_UNSIGNED (arg2
))
819 /* Returns non-zero if the type is integral */
824 CHECK_TYPEDEF (type
);
825 switch (current_language
->la_language
)
829 return (TYPE_CODE (type
) != TYPE_CODE_INT
) &&
830 (TYPE_CODE (type
) != TYPE_CODE_ENUM
) ? 0 : 1;
832 return TYPE_CODE (type
) != TYPE_CODE_INT
? 0 : 1;
834 error ("Missing Chill support in function integral_type."); /*FIXME */
836 error ("Language not supported.");
840 /* Returns non-zero if the value is numeric */
845 CHECK_TYPEDEF (type
);
846 switch (TYPE_CODE (type
))
857 /* Returns non-zero if the value is a character type */
859 character_type (type
)
862 CHECK_TYPEDEF (type
);
863 switch (current_language
->la_language
)
867 return TYPE_CODE (type
) != TYPE_CODE_CHAR
? 0 : 1;
871 return (TYPE_CODE (type
) == TYPE_CODE_INT
) &&
872 TYPE_LENGTH (type
) == sizeof (char)
879 /* Returns non-zero if the value is a string type */
884 CHECK_TYPEDEF (type
);
885 switch (current_language
->la_language
)
889 return TYPE_CODE (type
) != TYPE_CODE_STRING
? 0 : 1;
893 /* C does not have distinct string type. */
900 /* Returns non-zero if the value is a boolean type */
905 CHECK_TYPEDEF (type
);
906 if (TYPE_CODE (type
) == TYPE_CODE_BOOL
)
908 switch (current_language
->la_language
)
912 /* Might be more cleanly handled by having a TYPE_CODE_INT_NOT_BOOL
913 for CHILL and such languages, or a TYPE_CODE_INT_OR_BOOL for C. */
914 if (TYPE_CODE (type
) == TYPE_CODE_INT
)
922 /* Returns non-zero if the value is a floating-point type */
927 CHECK_TYPEDEF (type
);
928 return TYPE_CODE (type
) == TYPE_CODE_FLT
;
931 /* Returns non-zero if the value is a pointer type */
936 return TYPE_CODE (type
) == TYPE_CODE_PTR
||
937 TYPE_CODE (type
) == TYPE_CODE_REF
;
940 /* Returns non-zero if the value is a structured type */
942 structured_type (type
)
945 CHECK_TYPEDEF (type
);
946 switch (current_language
->la_language
)
950 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
951 (TYPE_CODE (type
) == TYPE_CODE_UNION
) ||
952 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
954 return (TYPE_CODE (type
) == TYPE_CODE_STRUCT
) ||
955 (TYPE_CODE (type
) == TYPE_CODE_SET
) ||
956 (TYPE_CODE (type
) == TYPE_CODE_ARRAY
);
958 error ("Missing Chill support in function structured_type."); /*FIXME */
970 switch (current_language
->la_language
)
973 return builtin_type_chill_bool
;
974 case language_fortran
:
975 sym
= lookup_symbol ("logical", NULL
, VAR_NAMESPACE
, NULL
, NULL
);
978 type
= SYMBOL_TYPE (sym
);
979 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
982 return builtin_type_f_logical_s2
;
984 sym
= lookup_symbol ("bool", NULL
, VAR_NAMESPACE
, NULL
, NULL
);
987 type
= SYMBOL_TYPE (sym
);
988 if (type
&& TYPE_CODE (type
) == TYPE_CODE_BOOL
)
991 return builtin_type_bool
;
993 return builtin_type_int
;
997 /* This page contains functions that return info about
998 (struct value) values used in GDB. */
1000 /* Returns non-zero if the value VAL represents a true value. */
1005 /* It is possible that we should have some sort of error if a non-boolean
1006 value is used in this context. Possibly dependent on some kind of
1007 "boolean-checking" option like range checking. But it should probably
1008 not depend on the language except insofar as is necessary to identify
1009 a "boolean" value (i.e. in C using a float, pointer, etc., as a boolean
1010 should be an error, probably). */
1011 return !value_logical_not (val
);
1014 /* Returns non-zero if the operator OP is defined on
1015 the values ARG1 and ARG2. */
1017 #if 0 /* Currently unused */
1020 binop_type_check (arg1
, arg2
, op
)
1021 value_ptr arg1
, arg2
;
1024 struct type
*t1
, *t2
;
1026 /* If we're not checking types, always return success. */
1030 t1
= VALUE_TYPE (arg1
);
1032 t2
= VALUE_TYPE (arg2
);
1040 if ((numeric_type (t1
) && pointer_type (t2
)) ||
1041 (pointer_type (t1
) && numeric_type (t2
)))
1043 warning ("combining pointer and integer.\n");
1049 if (!numeric_type (t1
) || !numeric_type (t2
))
1050 type_op_error ("Arguments to %s must be numbers.", op
);
1051 else if (!same_type (t1
, t2
))
1052 type_op_error ("Arguments to %s must be of the same type.", op
);
1055 case BINOP_LOGICAL_AND
:
1056 case BINOP_LOGICAL_OR
:
1057 if (!boolean_type (t1
) || !boolean_type (t2
))
1058 type_op_error ("Arguments to %s must be of boolean type.", op
);
1062 if ((pointer_type (t1
) && !(pointer_type (t2
) || integral_type (t2
))) ||
1063 (pointer_type (t2
) && !(pointer_type (t1
) || integral_type (t1
))))
1064 type_op_error ("A pointer can only be compared to an integer or pointer.", op
);
1065 else if ((pointer_type (t1
) && integral_type (t2
)) ||
1066 (integral_type (t1
) && pointer_type (t2
)))
1068 warning ("combining integer and pointer.\n");
1071 else if (!simple_type (t1
) || !simple_type (t2
))
1072 type_op_error ("Arguments to %s must be of simple type.", op
);
1073 else if (!same_type (t1
, t2
))
1074 type_op_error ("Arguments to %s must be of the same type.", op
);
1079 if (!integral_type (t1
) || !integral_type (t2
))
1080 type_op_error ("Arguments to %s must be of integral type.", op
);
1087 if (!ordered_type (t1
) || !ordered_type (t2
))
1088 type_op_error ("Arguments to %s must be of ordered type.", op
);
1089 else if (!same_type (t1
, t2
))
1090 type_op_error ("Arguments to %s must be of the same type.", op
);
1094 if (pointer_type (t1
) && !integral_type (t2
))
1095 type_op_error ("A pointer can only be assigned an integer.", op
);
1096 else if (pointer_type (t1
) && integral_type (t2
))
1098 warning ("combining integer and pointer.");
1101 else if (!simple_type (t1
) || !simple_type (t2
))
1102 type_op_error ("Arguments to %s must be of simple type.", op
);
1103 else if (!same_type (t1
, t2
))
1104 type_op_error ("Arguments to %s must be of the same type.", op
);
1108 /* FIXME: Needs to handle bitstrings as well. */
1109 if (!(string_type (t1
) || character_type (t1
) || integral_type (t1
))
1110 || !(string_type (t2
) || character_type (t2
) || integral_type (t2
)))
1111 type_op_error ("Arguments to %s must be strings or characters.", op
);
1114 /* Unary checks -- arg2 is null */
1116 case UNOP_LOGICAL_NOT
:
1117 if (!boolean_type (t1
))
1118 type_op_error ("Argument to %s must be of boolean type.", op
);
1123 if (!numeric_type (t1
))
1124 type_op_error ("Argument to %s must be of numeric type.", op
);
1128 if (integral_type (t1
))
1130 warning ("combining pointer and integer.\n");
1133 else if (!pointer_type (t1
))
1134 type_op_error ("Argument to %s must be a pointer.", op
);
1137 case UNOP_PREINCREMENT
:
1138 case UNOP_POSTINCREMENT
:
1139 case UNOP_PREDECREMENT
:
1140 case UNOP_POSTDECREMENT
:
1141 if (!ordered_type (t1
))
1142 type_op_error ("Argument to %s must be of an ordered type.", op
);
1146 /* Ok. The following operators have different meanings in
1147 different languages. */
1148 switch (current_language
->la_language
)
1152 case language_cplus
:
1156 if (!numeric_type (t1
) || !numeric_type (t2
))
1157 type_op_error ("Arguments to %s must be numbers.", op
);
1168 if (!float_type (t1
) || !float_type (t2
))
1169 type_op_error ("Arguments to %s must be floating point numbers.", op
);
1172 if (!integral_type (t1
) || !integral_type (t2
))
1173 type_op_error ("Arguments to %s must be of integral type.", op
);
1179 case language_chill
:
1180 error ("Missing Chill support in function binop_type_check."); /*FIXME */
1190 /* This page contains functions for the printing out of
1191 error messages that occur during type- and range-
1194 /* Prints the format string FMT with the operator as a string
1195 corresponding to the opcode OP. If FATAL is non-zero, then
1196 this is an error and error () is called. Otherwise, it is
1197 a warning and printf() is called. */
1199 op_error (fmt
, op
, fatal
)
1205 error (fmt
, op_string (op
));
1208 warning (fmt
, op_string (op
));
1212 /* These are called when a language fails a type- or range-check.
1213 The first argument should be a printf()-style format string, and
1214 the rest of the arguments should be its arguments. If
1215 [type|range]_check is [type|range]_check_on, then return_to_top_level()
1216 is called in the style of error (). Otherwise, the message is prefixed
1217 by the value of warning_pre_print and we do not return to the top level. */
1220 type_error (char *string
,...)
1223 va_start (args
, string
);
1225 if (type_check
== type_check_warn
)
1226 fprintf_filtered (gdb_stderr
, warning_pre_print
);
1230 vfprintf_filtered (gdb_stderr
, string
, args
);
1231 fprintf_filtered (gdb_stderr
, "\n");
1233 if (type_check
== type_check_on
)
1234 return_to_top_level (RETURN_ERROR
);
1238 range_error (char *string
,...)
1241 va_start (args
, string
);
1243 if (range_check
== range_check_warn
)
1244 fprintf_filtered (gdb_stderr
, warning_pre_print
);
1248 vfprintf_filtered (gdb_stderr
, string
, args
);
1249 fprintf_filtered (gdb_stderr
, "\n");
1251 if (range_check
== range_check_on
)
1252 return_to_top_level (RETURN_ERROR
);
1256 /* This page contains miscellaneous functions */
1258 /* Return the language enum for a given language string. */
1266 for (i
= 0; i
< languages_size
; i
++)
1267 if (STREQ (languages
[i
]->la_name
, str
))
1268 return languages
[i
]->la_language
;
1270 return language_unknown
;
1273 /* Return the language struct for a given language enum. */
1275 const struct language_defn
*
1281 for (i
= 0; i
< languages_size
; i
++)
1283 if (languages
[i
]->la_language
== lang
)
1285 return languages
[i
];
1291 /* Return the language as a string */
1298 for (i
= 0; i
< languages_size
; i
++)
1300 if (languages
[i
]->la_language
== lang
)
1302 return languages
[i
]->la_name
;
1309 set_check (ignore
, from_tty
)
1314 "\"set check\" must be followed by the name of a check subcommand.\n");
1315 help_list (setchecklist
, "set check ", -1, gdb_stdout
);
1319 show_check (ignore
, from_tty
)
1323 cmd_show_list (showchecklist
, from_tty
, "");
1326 /* Add a language to the set of known languages. */
1330 const struct language_defn
*lang
;
1332 if (lang
->la_magic
!= LANG_MAGIC
)
1334 fprintf_unfiltered (gdb_stderr
, "Magic number of %s language struct wrong\n",
1341 languages_allocsize
= DEFAULT_ALLOCSIZE
;
1342 languages
= (const struct language_defn
**) xmalloc
1343 (languages_allocsize
* sizeof (*languages
));
1345 if (languages_size
>= languages_allocsize
)
1347 languages_allocsize
*= 2;
1348 languages
= (const struct language_defn
**) xrealloc ((char *) languages
,
1349 languages_allocsize
* sizeof (*languages
));
1351 languages
[languages_size
++] = lang
;
1354 /* Define the language that is no language. */
1363 unk_lang_error (msg
)
1366 error ("Attempted to parse an expression with unknown language");
1370 unk_lang_emit_char (c
, stream
, quoter
)
1372 struct ui_file
*stream
;
1375 error ("internal error - unimplemented function unk_lang_emit_char called.");
1379 unk_lang_printchar (c
, stream
)
1381 struct ui_file
*stream
;
1383 error ("internal error - unimplemented function unk_lang_printchar called.");
1387 unk_lang_printstr (stream
, string
, length
, width
, force_ellipses
)
1388 struct ui_file
*stream
;
1390 unsigned int length
;
1394 error ("internal error - unimplemented function unk_lang_printstr called.");
1397 static struct type
*
1398 unk_lang_create_fundamental_type (objfile
, typeid)
1399 struct objfile
*objfile
;
1402 error ("internal error - unimplemented function unk_lang_create_fundamental_type called.");
1406 unk_lang_print_type (type
, varstring
, stream
, show
, level
)
1409 struct ui_file
*stream
;
1413 error ("internal error - unimplemented function unk_lang_print_type called.");
1417 unk_lang_val_print (type
, valaddr
, embedded_offset
, address
, stream
, format
, deref_ref
,
1421 int embedded_offset
;
1423 struct ui_file
*stream
;
1427 enum val_prettyprint pretty
;
1429 error ("internal error - unimplemented function unk_lang_val_print called.");
1433 unk_lang_value_print (val
, stream
, format
, pretty
)
1435 struct ui_file
*stream
;
1437 enum val_prettyprint pretty
;
1439 error ("internal error - unimplemented function unk_lang_value_print called.");
1442 static struct type
**CONST_PTR (unknown_builtin_types
[]) =
1446 static const struct op_print unk_op_print_tab
[] =
1448 {NULL
, OP_NULL
, PREC_NULL
, 0}
1451 const struct language_defn unknown_language_defn
=
1455 &unknown_builtin_types
[0],
1460 evaluate_subexp_standard
,
1461 unk_lang_printchar
, /* Print character constant */
1464 unk_lang_create_fundamental_type
,
1465 unk_lang_print_type
, /* Print a type using appropriate syntax */
1466 unk_lang_val_print
, /* Print a value using appropriate syntax */
1467 unk_lang_value_print
, /* Print a top-level value */
1468 {"", "", "", ""}, /* Binary format info */
1469 {"0%lo", "0", "o", ""}, /* Octal format info */
1470 {"%ld", "", "d", ""}, /* Decimal format info */
1471 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1472 unk_op_print_tab
, /* expression operators for printing */
1473 1, /* c-style arrays */
1474 0, /* String lower bound */
1475 &builtin_type_char
, /* Type of string elements */
1479 /* These two structs define fake entries for the "local" and "auto" options. */
1480 const struct language_defn auto_language_defn
=
1484 &unknown_builtin_types
[0],
1489 evaluate_subexp_standard
,
1490 unk_lang_printchar
, /* Print character constant */
1493 unk_lang_create_fundamental_type
,
1494 unk_lang_print_type
, /* Print a type using appropriate syntax */
1495 unk_lang_val_print
, /* Print a value using appropriate syntax */
1496 unk_lang_value_print
, /* Print a top-level value */
1497 {"", "", "", ""}, /* Binary format info */
1498 {"0%lo", "0", "o", ""}, /* Octal format info */
1499 {"%ld", "", "d", ""}, /* Decimal format info */
1500 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1501 unk_op_print_tab
, /* expression operators for printing */
1502 1, /* c-style arrays */
1503 0, /* String lower bound */
1504 &builtin_type_char
, /* Type of string elements */
1508 const struct language_defn local_language_defn
=
1512 &unknown_builtin_types
[0],
1517 evaluate_subexp_standard
,
1518 unk_lang_printchar
, /* Print character constant */
1521 unk_lang_create_fundamental_type
,
1522 unk_lang_print_type
, /* Print a type using appropriate syntax */
1523 unk_lang_val_print
, /* Print a value using appropriate syntax */
1524 unk_lang_value_print
, /* Print a top-level value */
1525 {"", "", "", ""}, /* Binary format info */
1526 {"0%lo", "0", "o", ""}, /* Octal format info */
1527 {"%ld", "", "d", ""}, /* Decimal format info */
1528 {"0x%lx", "0x", "x", ""}, /* Hex format info */
1529 unk_op_print_tab
, /* expression operators for printing */
1530 1, /* c-style arrays */
1531 0, /* String lower bound */
1532 &builtin_type_char
, /* Type of string elements */
1536 /* Initialize the language routines */
1539 _initialize_language ()
1541 struct cmd_list_element
*set
, *show
;
1543 /* GDB commands for language specific stuff */
1545 set
= add_set_cmd ("language", class_support
, var_string_noescape
,
1547 "Set the current source language.",
1549 show
= add_show_from_set (set
, &showlist
);
1550 set
->function
.cfunc
= set_language_command
;
1551 show
->function
.cfunc
= show_language_command
;
1553 add_prefix_cmd ("check", no_class
, set_check
,
1554 "Set the status of the type/range checker",
1555 &setchecklist
, "set check ", 0, &setlist
);
1556 add_alias_cmd ("c", "check", no_class
, 1, &setlist
);
1557 add_alias_cmd ("ch", "check", no_class
, 1, &setlist
);
1559 add_prefix_cmd ("check", no_class
, show_check
,
1560 "Show the status of the type/range checker",
1561 &showchecklist
, "show check ", 0, &showlist
);
1562 add_alias_cmd ("c", "check", no_class
, 1, &showlist
);
1563 add_alias_cmd ("ch", "check", no_class
, 1, &showlist
);
1565 set
= add_set_cmd ("type", class_support
, var_string_noescape
,
1567 "Set type checking. (on/warn/off/auto)",
1569 show
= add_show_from_set (set
, &showchecklist
);
1570 set
->function
.cfunc
= set_type_command
;
1571 show
->function
.cfunc
= show_type_command
;
1573 set
= add_set_cmd ("range", class_support
, var_string_noescape
,
1575 "Set range checking. (on/warn/off/auto)",
1577 show
= add_show_from_set (set
, &showchecklist
);
1578 set
->function
.cfunc
= set_range_command
;
1579 show
->function
.cfunc
= show_range_command
;
1581 add_language (&unknown_language_defn
);
1582 add_language (&local_language_defn
);
1583 add_language (&auto_language_defn
);
1585 language
= savestring ("auto", strlen ("auto"));
1586 set_language_command (language
, 0);
1588 type
= savestring ("auto", strlen ("auto"));
1589 set_type_command (NULL
, 0);
1591 range
= savestring ("auto", strlen ("auto"));
1592 set_range_command (NULL
, 0);