* ada-lang.c (ada_evaluate_subexp) [OP_VAR_VALUE]: For tagged

        types, if we are unable to determine the actual symbol type
        from its tag, then use the static approximation instead.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 7ddb7d19cc84b067f21485b96c2952b84dfdca9f..d3e9c2ca3e346bcbcbd0c69039e5339853bb5d7c 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2009-03-12  Joel Brobecker  <brobecker@adacore.com>
+
+       * ada-lang.c (ada_evaluate_subexp) [OP_VAR_VALUE]: For tagged
+       types, if we are unable to determine the actual symbol type
+       from its tag, then use the static approximation instead.
+
 2009-03-12  Joel Brobecker  <brobecker@adacore.com>
 
        Fix crash printing packed record with packed array.

diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c
index 6988594152ee461d2fd93501620e8af0fba43262..072480430f81d85c905288b9eaff61944bccc7fa 100644 (file)
--- a/gdb/ada-lang.c
+++ b/gdb/ada-lang.c
@@ -8576,8 +8576,19 @@ ada_evaluate_subexp (struct type *expect_type, struct expression *exp,
                a fixed type would result in the loss of that type name,
                thus preventing us from printing the name of the ancestor
                type in the type description.  */
+            struct type *actual_type;
+
             arg1 = evaluate_subexp (NULL_TYPE, exp, pos, EVAL_NORMAL);
-            return value_zero (type_from_tag (ada_value_tag (arg1)), not_lval);
+            actual_type = type_from_tag (ada_value_tag (arg1));
+            if (actual_type == NULL)
+              /* If, for some reason, we were unable to determine
+                 the actual type from the tag, then use the static
+                 approximation that we just computed as a fallback.
+                 This can happen if the debugging information is
+                 incomplete, for instance.  */
+              actual_type = type;
+
+            return value_zero (actual_type, not_lval);
           }
 
           *pos += 4;