From patchwork Thu Jul 13 02:19:30 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Pedro Alves X-Patchwork-Id: 21578 Received: (qmail 5427 invoked by alias); 13 Jul 2017 02:28:59 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Delivered-To: mailing list gdb-patches@sourceware.org Received: (qmail 5275 invoked by uid 89); 13 Jul 2017 02:28:58 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-26.9 required=5.0 tests=BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RP_MATCHES_RCVD, SPF_HELO_PASS autolearn=ham version=3.3.2 spammy=ansi, disappearing, 3.14, kbd X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 13 Jul 2017 02:28:55 +0000 Received: from smtp.corp.redhat.com (int-mx02.intmail.prod.int.phx2.redhat.com [10.5.11.12]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id BECC0369C9 for ; Thu, 13 Jul 2017 02:19:44 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com BECC0369C9 Authentication-Results: ext-mx06.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx06.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=palves@redhat.com DKIM-Filter: OpenDKIM Filter v2.11.0 mx1.redhat.com BECC0369C9 Received: from cascais.lan (ovpn04.gateway.prod.ext.ams2.redhat.com [10.39.146.4]) by smtp.corp.redhat.com (Postfix) with ESMTP id 3ECAB60E37 for ; Thu, 13 Jul 2017 02:19:44 +0000 (UTC) From: Pedro Alves To: gdb-patches@sourceware.org Subject: [PATCH 12/13] Document "no debug info debugging" improvements Date: Thu, 13 Jul 2017 03:19:30 +0100 Message-Id: <1499912370-1842-14-git-send-email-palves@redhat.com> In-Reply-To: <1499912370-1842-1-git-send-email-palves@redhat.com> References: <1499912370-1842-1-git-send-email-palves@redhat.com> Here's the documentation bits for all the improvements. The original "weak alias functions" paragraph ends up disappearing, because this other patch, which I'm considering kind of part of this series, makes the alias case Just Work: https://sourceware.org/ml/gdb-patches/2017-07/msg00018.html gdb/ChangeLog: yyyy-mm-dd Pedro Alves * NEWS (Safer support for debugging with no debug info): New. gdb/doc/ChangeLog: yyyy-mm-dd Pedro Alves * gdb.texinfo (Variables): Document inspecting no-debug-info variables. (Symbols): Document inspecting no-debug-info types. (Calling): Document calling no-debug-info functions. --- gdb/doc/gdb.texinfo | 90 +++++++++++++++++++++++++++++++++++++++++++++++------ gdb/NEWS | 24 ++++++++++++++ 2 files changed, 104 insertions(+), 10 deletions(-) diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index c167a86..5ac072e 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -9114,6 +9114,22 @@ If you ask to print an object whose contents are unknown to by the debug information, @value{GDBN} will say @samp{}. @xref{Symbols, incomplete type}, for more about this. +@cindex no debug info variables +If you try to examine or use the value of a (global) variable for +which @value{GDBN} has no type information, e.g., because the program +includes no debug information, @value{GDBN} says @w{@samp{'var' has +unknown type; cast it to its declared type}}. @xref{Symbols, unknown +type}, for more about unknown types. If you cast the variable to its +declared type, @value{GDBN} gets the variable's value using the +cast-to type as the variable's type. For example, in a C program: + +@smallexample + (@value{GDBP}) p var + 'var' has unknown type; cast it to its declared type + (@value{GDBP}) p (float) var + $1 = 3.14 +@end smallexample + If you append @kbd{@@entry} string to a function parameter name you get its value at the time the function got called. If the value is not available an error message is printed. Entry values are available only with some compilers. @@ -17083,6 +17099,25 @@ but no definition for @code{struct foo} itself, @value{GDBN} will say: ``Incomplete type'' is C terminology for data types that are not completely specified. +@cindex unknown type +Othertimes, information about a variable's type is completely absent +from the debug information included in the program. This most often +happens when the program or library where the variable is defined +includes no debug information at all. @value{GDBN} knows the variable +exists from inspecting the linker/loader symbol table (e.g., the ELF +dynamic symbol table), but such symbols do not contain type +information. If you try to inspect the type of a (global) variable +for which @value{GDBN} has no type information, @value{GDBN} says +@w{@samp{}}. For example: + +@smallexample + (@value{GDBP}) ptype var + type = +@end smallexample + +@xref{Variables, no debug info variables}, for how to print the values +of such variables. + @kindex info types @item info types @var{regexp} @itemx info types @@ -17798,14 +17833,49 @@ Show the current setting of stack unwinding in the functions called by @end table -@cindex weak alias functions -Sometimes, a function you wish to call is actually a @dfn{weak alias} -for another function. In such case, @value{GDBN} might not pick up -the type information, including the types of the function arguments, -which causes @value{GDBN} to call the inferior function incorrectly. -As a result, the called function will function erroneously and may -even crash. A solution to that is to use the name of the aliased -function instead. +@cindex no debug info functions +Sometimes, a function you wish to call is missing debug information. +In such case, @value{GDBN} does not know the type of the function, +including the types of the function's parameters. To avoid calling +the inferior function incorrectly, which could result in the called +function functioning erroneously and even crash, @value{GDBN} refuses +to call the function unless you tell it at least the return type of +the function, with a cast. For example: + +@smallexample + (@value{GDBP}) p getenv ("PATH") + 'getenv' has unknown return type; cast the call to its declared return type + (@value{GDBP}) p (char *) getenv ("PATH") + $1 = 0x7fffffffe7ba "/usr/local/bin:/"... +@end smallexample + +Casting the return type of the function is equivalent to casting the +function to a pointer to an unprototyped function, and calling that: + +@smallexample + (@value{GDBP}) p ((char * (*) ()) getenv) ("PATH") + $2 = 0x7fffffffe7ba "/usr/local/bin:/"... +@end smallexample + +If the function you wish to call is declared as prototyped and has +floating point parameters or integer parameters narrower than int, you +may need to cast the function to a function pointer of the same type +as the function and call that, to avoid @value{GDBN} coercing +arguments to integer/double, as would be required if calling an +unprototyped function. @xref{ABI, float promotion}. For example, +given this prototyped (i.e.@: ANSI/ISO style) function: + +@smallexample + float multiply (float v1, float v2) @{ return v1 * v2; @} +@end smallexample + +@noindent +call it like this: + +@smallexample + (@value{GDBP}) p ((float (*) (float, float)) multiply) (2, 3.5) + $1 = 7 +@end smallexample @node Patching @section Patching Programs @@ -21792,12 +21862,12 @@ problem: @smallexample (@value{GDBP}) print 'cygwin1!__argv' -$1 = 268572168 +'cygwin1!__argv' has unknown type; cast it to its declared type @end smallexample @smallexample (@value{GDBP}) x 'cygwin1!__argv' -0x10021610: "\230y\"" +'cygwin1!__argv' has unknown type; cast it to its declared type @end smallexample And two possible solutions: diff --git a/gdb/NEWS b/gdb/NEWS index 7c8a8f6..ce71ec0 100644 --- a/gdb/NEWS +++ b/gdb/NEWS @@ -23,6 +23,30 @@ set debug separate-debug-file show debug separate-debug-file Control the display of debug output about separate debug file search. +* Safer support for debugging with no debug info + + GDB no longer assumes functions with no debug information + information return 'int'. + + This means that GDB now refuses the call such functions unless you + tell it the function's type, with a cast: + + (gdb) p getenv ("PATH") + 'getenv' has unknown return type; cast the call to its declared return type + (gdb) p (char *) getenv ("PATH") + $1 = 0x7fffffffe "/usr/local/bin:/"... + (gdb) p ((char * (*) (const char *)) getenv) ("PATH") + $2 = 0x7fffffffe "/usr/local/bin:/"... + + Similarly, GDB no longer assumes that global variables with no debug + info have type 'int', and refuses to print the variable's value + unless you tell it the variable's type: + + (gdb) p var + 'var' has unknown type; cast it to its declared type + (gdb) p (float) var + $3 = 3.14 + *** Changes in GDB 8.0 * GDB now supports access to the PKU register on GNU/Linux. The register is