This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Eliminate -var-create error for optzd ptr to struct


On 02/23/2016 09:19 PM, Don Breazeal wrote:
Problem:
This patch eliminates an error thrown when accessing the value of a
pointer to a structure where the pointer has been optimized out.
The error shows up as the rather ugly value of the pointer variable
in Eclipse.

With this change such an access will return "<optimized out>" like
other optimized out variables.  We should throw an error when
dereferencing an optimized-out pointer, but not when just looking
at its value.

Cause:
The error only occurs when '-gdb-set print object on' has been set.
This setting requires GDB to "identify the actual (derived) type of
the object rather than the declared type".  Part of this process
is to dereference the pointer in order to get the type of the thing
that is pointed-to.  Since the pointer has been optimized out, this
is impossible, and an error is thrown.

Fix:
The fix is to simply ignore the 'print object on' setting for
pointers or references to structures when they have been optimized
out.  This means we just get the declared type instead of the actual
type, because in this case that's the best that we can do.

Results:
Attempts to dereference the optimized-out pointer using -var-create
or -data-evaluate-expression will throw an error, but a dereference
using -var-evaluate-expression will return an empty value.  To be
consistent, this last case would also throw an error.  I looked into
this some, enough to confirm that there isn't an obvious fix.  Given
that my goal is just to eliminate the unnecessary error, I stopped here.

I'm working on setting things in motion for a patch to Eclipse that
recognizes optimized-out pointer-to-struct in this scenario and
prevents any subsequent attempt to dereference it from that end.

Testing:
I looked at creating a test case for this, but so far haven't been
able to create anything general enough to include in the test suite.

Tested on bare-metal powerpc board with Linux x86_64 host.

OK?

thanks
--Don

gdb/ChangeLog:
2016-02-23  Don Breazeal  <donb@codesourcery.com>

	* gdb/value.c (value_actual_type): Ignore the 'print object
	  on' setting for pointers and references to structures.

---
  gdb/value.c | 5 +++--
  1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gdb/value.c b/gdb/value.c
index 738b2b2..50e4f8a 100644
--- a/gdb/value.c
+++ b/gdb/value.c
@@ -1203,9 +1203,10 @@ value_actual_type (struct value *value, int resolve_simple_types,
        /* If result's target type is TYPE_CODE_STRUCT, proceed to
  	 fetch its rtti type.  */
        if ((TYPE_CODE (result) == TYPE_CODE_PTR
-	  || TYPE_CODE (result) == TYPE_CODE_REF)
+	   || TYPE_CODE (result) == TYPE_CODE_REF)

Is this just a formatting change?

  	  && TYPE_CODE (check_typedef (TYPE_TARGET_TYPE (result)))
-	     == TYPE_CODE_STRUCT)
+	     == TYPE_CODE_STRUCT
+	  && !value_optimized_out (value))
          {
            struct type *real_type;


Otherwise looks OK to me.

As for the testcase, how about one that creates a few pointer variables (to basic types, structures, arrays and other meaningful ones) and tries to print their original values with the "print object" enabled. This would be in MI mode, of course.

I'd expect the error to be thrown in an unpatched gdb and a <optimized out> string for the patched debugger.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]