This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[RFA/commit]
- From: Paul Hilfinger <Hilfinger at adacore dot com>
- To: gdb-patches at sourceware dot org
- Date: Fri, 8 Aug 2008 06:12:13 -0400 (EDT)
- Subject: [RFA/commit]
- Reply-to: Hilfinger at adacore dot com
The following changes allow us to use true boolean types in the debugging
data to represent Ada booleans (formerly, this was a particular enumerated
type). Tested on Linux with no regressions.
I will commit in a week if there are no objections.
Paul Hilfinger
ChangeLog:
2008-08-08 Paul N. Hilfinger <hilfinger@adacore.com>
* ada-lang.c (discrete_type_high_bound,discrete_type_low_bound):
Change API to return LONGEST values rather than struct values.
(ada_evaluate_subexp): Change to use new API of discrete_type_low_bound
and discrete_type_high_bound.
(to_fixed_range_type): Create a range type in cases where
argument is base type and its limits are representable as ints.
(ada_is_modular_type): Correct so that base type must be integral.
* ada-lex.l: Make 'true' and 'false' keywords when they appear alone,
since we are phasing out direct representation of these identifiers in
debugging data.
* ada-exp.y (type_boolean): New function.
Define 'true' and 'false' as keywords.
(write_int): Change comment to indicate that it might write boolean
constant as well.
* ada-typeprint.c (ada_print_type): Print '(false, true)' for boolean
type, since will no longer be represented as enumerated type in
debugging data.
* ada-valprint.c (print_optional_low_bound): Handle boolean case
as well.
Index: gdb/ada-exp.y
===================================================================
RCS file: /cvs/src/src/gdb/ada-exp.y,v
retrieving revision 1.28
diff -u -p -r1.28 ada-exp.y
--- gdb/ada-exp.y 27 May 2008 19:29:51 -0000 1.28
+++ gdb/ada-exp.y 8 Aug 2008 10:06:11 -0000
@@ -153,6 +153,8 @@ static struct type *type_long_double (vo
static struct type *type_char (void);
+static struct type *type_boolean (void);
+
static struct type *type_system_address (void);
%}
@@ -180,6 +182,7 @@ static struct type *type_system_address
%token <typed_val> INT NULL_PTR CHARLIT
%token <typed_val_float> FLOAT
+%token TRUEKEYWORD FALSEKEYWORD
%token COLONCOLON
%token <sval> STRING NAME DOT_ID
%type <bval> block
@@ -602,6 +605,12 @@ primary : STRING
}
;
+primary : TRUEKEYWORD
+ { write_int (1, type_boolean ()); }
+ | FALSEKEYWORD
+ { write_int (0, type_boolean ()); }
+ ;
+
primary : NEW NAME
{ error (_("NEW not implemented.")); }
;
@@ -820,7 +829,7 @@ write_var_from_sym (struct block *orig_l
write_exp_elt_opcode (OP_VAR_VALUE);
}
-/* Write integer constant ARG of type TYPE. */
+/* Write integer or boolean constant ARG of type TYPE. */
static void
write_int (LONGEST arg, struct type *type)
@@ -1495,6 +1504,12 @@ type_char (void)
}
static struct type *
+type_boolean (void)
+{
+ return builtin_type (current_gdbarch)->builtin_bool;
+}
+
+static struct type *
type_system_address (void)
{
struct type *type
Index: gdb/ada-lang.c
===================================================================
RCS file: /cvs/src/src/gdb/ada-lang.c,v
retrieving revision 1.151
diff -u -p -r1.151 ada-lang.c
--- gdb/ada-lang.c 21 Jul 2008 16:47:10 -0000 1.151
+++ gdb/ada-lang.c 8 Aug 2008 10:06:16 -0000
@@ -621,39 +621,40 @@ min_of_type (struct type *t)
}
/* The largest value in the domain of TYPE, a discrete type, as an integer. */
-static struct value *
+static LONGEST
discrete_type_high_bound (struct type *type)
{
switch (TYPE_CODE (type))
{
case TYPE_CODE_RANGE:
- return value_from_longest (TYPE_TARGET_TYPE (type),
- TYPE_HIGH_BOUND (type));
+ return TYPE_HIGH_BOUND (type);
case TYPE_CODE_ENUM:
- return
- value_from_longest (type,
- TYPE_FIELD_BITPOS (type,
- TYPE_NFIELDS (type) - 1));
+ return TYPE_FIELD_BITPOS (type, TYPE_NFIELDS (type) - 1);
+ case TYPE_CODE_BOOL:
+ return 1;
+ case TYPE_CODE_CHAR:
case TYPE_CODE_INT:
- return value_from_longest (type, max_of_type (type));
+ return max_of_type (type);
default:
error (_("Unexpected type in discrete_type_high_bound."));
}
}
/* The largest value in the domain of TYPE, a discrete type, as an integer. */
-static struct value *
+static LONGEST
discrete_type_low_bound (struct type *type)
{
switch (TYPE_CODE (type))
{
case TYPE_CODE_RANGE:
- return value_from_longest (TYPE_TARGET_TYPE (type),
- TYPE_LOW_BOUND (type));
+ return TYPE_LOW_BOUND (type);
case TYPE_CODE_ENUM:
- return value_from_longest (type, TYPE_FIELD_BITPOS (type, 0));
+ return TYPE_FIELD_BITPOS (type, 0);
+ case TYPE_CODE_BOOL:
+ return 0;
+ case TYPE_CODE_CHAR:
case TYPE_CODE_INT:
- return value_from_longest (type, min_of_type (type));
+ return min_of_type (type);
default:
error (_("Unexpected type in discrete_type_low_bound."));
}
@@ -8976,9 +8977,11 @@ ada_evaluate_subexp (struct type *expect
default:
error (_("unexpected attribute encountered"));
case OP_ATR_FIRST:
- return discrete_type_low_bound (range_type);
+ return value_from_longest
+ (range_type, discrete_type_low_bound (range_type));
case OP_ATR_LAST:
- return discrete_type_high_bound (range_type);
+ return value_from_longest
+ (range_type, discrete_type_high_bound (range_type));
case OP_ATR_LENGTH:
error (_("the 'length attribute applies only to array types"));
}
@@ -9499,7 +9502,16 @@ to_fixed_range_type (char *name, struct
subtype_info = strstr (name, "___XD");
if (subtype_info == NULL)
- return raw_type;
+ {
+ LONGEST L = discrete_type_low_bound (raw_type);
+ LONGEST U = discrete_type_high_bound (raw_type);
+ if (L < INT_MIN || U > INT_MAX)
+ return raw_type;
+ else
+ return create_range_type (alloc_type (objfile), raw_type,
+ discrete_type_low_bound (raw_type),
+ discrete_type_high_bound (raw_type));
+ }
else
{
static char *name_buf = NULL;
@@ -9586,7 +9598,7 @@ ada_is_modular_type (struct type *type)
struct type *subranged_type = base_type (type);
return (subranged_type != NULL && TYPE_CODE (type) == TYPE_CODE_RANGE
- && TYPE_CODE (subranged_type) != TYPE_CODE_ENUM
+ && TYPE_CODE (subranged_type) == TYPE_CODE_INT
&& TYPE_UNSIGNED (subranged_type));
}
Index: gdb/ada-lex.l
===================================================================
RCS file: /cvs/src/src/gdb/ada-lex.l,v
retrieving revision 1.21
diff -u -p -r1.21 ada-lex.l
--- gdb/ada-lex.l 9 Jan 2008 19:27:15 -0000 1.21
+++ gdb/ada-lex.l 8 Aug 2008 10:06:16 -0000
@@ -178,6 +178,16 @@ rem { return REM; }
then { return THEN; }
xor { return XOR; }
+ /* BOOLEAN "KEYWORDS" */
+
+ /* True and False are not keywords in Ada, but rather enumeration constants.
+ However, the boolean type is no longer represented as an enum, so True
+ and False are no longer defined in symbol tables. We compromise by
+ making them keywords (when bare). */
+
+true { return TRUEKEYWORD; }
+false { return FALSEKEYWORD; }
+
/* ATTRIBUTES */
{TICK}[a-zA-Z][a-zA-Z]+ { return processAttribute (yytext+1); }
Index: gdb/ada-typeprint.c
===================================================================
RCS file: /cvs/src/src/gdb/ada-typeprint.c,v
retrieving revision 1.19
diff -u -p -r1.19 ada-typeprint.c
--- gdb/ada-typeprint.c 4 Jan 2008 20:45:05 -0000 1.19
+++ gdb/ada-typeprint.c 8 Aug 2008 10:06:16 -0000
@@ -813,6 +813,9 @@ ada_print_type (struct type *type0, char
case TYPE_CODE_ARRAY:
print_array_type (type, stream, show, level);
break;
+ case TYPE_CODE_BOOL:
+ fprintf_filtered (stream, "(false, true)");
+ break;
case TYPE_CODE_INT:
if (ada_is_fixed_point_type (type))
print_fixed_point_type (type, stream);
Index: gdb/ada-valprint.c
===================================================================
RCS file: /cvs/src/src/gdb/ada-valprint.c,v
retrieving revision 1.37
diff -u -p -r1.37 ada-valprint.c
--- gdb/ada-valprint.c 23 May 2008 18:13:35 -0000 1.37
+++ gdb/ada-valprint.c 8 Aug 2008 10:06:16 -0000
@@ -112,6 +112,10 @@ print_optional_low_bound (struct ui_file
switch (TYPE_CODE (index_type))
{
+ case TYPE_CODE_BOOL:
+ if (low_bound == 0)
+ return 0;
+ break;
case TYPE_CODE_ENUM:
if (low_bound == TYPE_FIELD_BITPOS (index_type, 0))
return 0;