From d69cf9b2076d63bad3842bc6406a679598851727 Mon Sep 17 00:00:00 2001 From: Pedro Alves Date: Mon, 4 Sep 2017 20:21:16 +0100 Subject: [PATCH] Document "no debug info debugging" improvements Here's the documentation bits for all the improvements done in previous commits. Note that the original "weak alias functions" paragraph ends up disappearing, because this 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: 2017-09-04 Pedro Alves * NEWS (Safer support for debugging with no debug info): New. gdb/doc/ChangeLog: 2017-09-04 Pedro Alves * gdb.texinfo (Variables) : Document inspecting no-debug-info variables. (Symbols) : Document inspecting no-debug-info types. (Calling) : New subsection, documenting calling no-debug-info functions. (Non-debug DLL Symbols) : Update. --- gdb/ChangeLog | 4 ++ gdb/NEWS | 26 ++++++++++ gdb/doc/ChangeLog | 10 ++++ gdb/doc/gdb.texinfo | 113 ++++++++++++++++++++++++++++++++++++++++---- 4 files changed, 143 insertions(+), 10 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 196fe60950b..9686de3f76a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2017-09-04 Pedro Alves + + * NEWS (Safer support for debugging with no debug info): New. + 2017-09-04 Pedro Alves * c-exp.y (function_method, function_method_void): Add current diff --git a/gdb/NEWS b/gdb/NEWS index fda30646050..b7b01c956b4 100644 --- a/gdb/NEWS +++ b/gdb/NEWS @@ -66,6 +66,32 @@ show debug separate-debug-file * TUI Single-Key mode now supports two new shortcut keys: `i' for stepi and `o' for nexti. +* Safer/improved support for debugging with no debug info + + GDB no longer assumes functions with no debug information return + 'int'. + + This means that GDB now refuses to call such functions unless you + tell it the function's type, by either casting the call to the + declared return type, or by casting the function to a function + pointer of the right type, and calling that: + + (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 diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 106d54566c8..72f3d9e7c81 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,13 @@ +2017-09-04 Pedro Alves + + * gdb.texinfo (Variables) : Document inspecting + no-debug-info variables. + (Symbols) : Document inspecting + no-debug-info types. + (Calling) : New subsection, + documenting calling no-debug-info functions. + (Non-debug DLL Symbols) : Update. + 2017-08-31 Sergio Durigan Junior * gdb.texinfo (set environment): Add @anchor. Explain that diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 874cdebc116..8282dae7c3c 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -9124,6 +9124,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} displays an error message. +@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. @@ -17093,6 +17109,24 @@ 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. Inspecting the type of a (global) variable for which +@value{GDBN} has no type information shows: + +@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 @@ -17808,14 +17842,73 @@ 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. +@subsection Calling functions with no debug info + +@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 the type of the function. + +For prototyped (i.e.@: ANSI/ISO style) functions, there are two ways +to do that. The simplest is to cast the call to the function's +declared return type. 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 a no-debug function is equivalent to +casting the function to a pointer to a prototyped function that has a +prototype that matches the types of the passed-in arguments, and +calling that. I.e., the call above is equivalent to: + +@smallexample +(@value{GDBP}) p ((char * (*) (const char *)) getenv) ("PATH") +@end smallexample + +@noindent +and given this prototyped C or C++ function with float parameters: + +@smallexample +float multiply (float v1, float v2) @{ return v1 * v2; @} +@end smallexample + +@noindent +these calls are equivalent: + +@smallexample +(@value{GDBP}) p (float) multiply (2.0f, 3.0f) +(@value{GDBP}) p ((float (*) (float, float)) multiply) (2.0f, 3.0f) +@end smallexample + +If the function you wish to call is declared as unprototyped (i.e.@: +old K&R style), you must use the cast-to-function-pointer syntax, so +that @value{GDBN} knows that it needs to apply default argument +promotions (promote float arguments to double). @xref{ABI, float +promotion}. For example, given this unprototyped C function with +float parameters, and no debug info: + +@smallexample +float +multiply_noproto (v1, v2) + float v1, v2; +@{ + return v1 * v2; +@} +@end smallexample + +@noindent +you call it like this: + +@smallexample + (@value{GDBP}) p ((float (*) ()) multiply_noproto) (2.0f, 3.0f) +@end smallexample @node Patching @section Patching Programs @@ -21847,12 +21940,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: -- 2.30.2