Allow strings with printf/eval
authorKeith Seitz <keiths@redhat.com>
Fri, 28 Apr 2023 17:43:20 +0000 (10:43 -0700)
committerKeith Seitz <keiths@redhat.com>
Fri, 28 Apr 2023 17:43:20 +0000 (10:43 -0700)
PR 13098 explains that if a user attempts to use a string with either
`printf' (or `eval'), gdb returns an error (inferior not running):

(gdb) printf "%s\n", "hello"
evaluation of this expression requires the target program to be active

However, the parser can certainly handle this case:

(gdb) p "hello"
$1 = "hello"

This discrepancy occurs because printf_c_string does not handle
this specific case.  The passed-in value that we are attempting to print
as a string is TYPE_CODE_ARRAY but it's lval type is not_lval.

printf_c_string will only attempt to print a string from the value's
contents when !TYPE_CODE_PTR, lval is lval_internalvar, and the value's
type is considered a string type:

  if (value->type ()->code () != TYPE_CODE_PTR
      && value->lval () == lval_internalvar
      && c_is_string_type_p (value->type ()))
    {
      ...
    }

Otherwise, it attempts to read the value of the string from the target's
memory (which is what actually generates the "evaluation of this ..."
error message).

gdb/printcmd.c
gdb/testsuite/gdb.base/eval.exp
gdb/testsuite/gdb.base/printcmds.exp

index dd92e31d31b2f198a6d20a88fa8ebc5891822cf4..6435311736b09902f4b2b9c57bc772997aa61e78 100644 (file)
@@ -2447,8 +2447,8 @@ printf_c_string (struct ui_file *stream, const char *format,
 {
   const gdb_byte *str;
 
-  if (value->type ()->code () != TYPE_CODE_PTR
-      && value->lval () == lval_internalvar
+  if (((value->type ()->code () != TYPE_CODE_PTR && value->lval () == lval_internalvar)
+       || value->type ()->code () == TYPE_CODE_ARRAY)
       && c_is_string_type_p (value->type ()))
     {
       size_t len = value->type ()->length ();
index ead053ca712ebea95632dc554ddf6fe4a7dd14c2..8a31c9ea944767eebbf328b675761bb07b32383d 100644 (file)
@@ -20,3 +20,19 @@ gdb_test_no_output "set \$a = 10" "initialize \$a."
 
 gdb_test "eval \"echo %d\\n\", \$a++" "10" "first eval."
 gdb_test "eval \"echo %d\\n\", \$a*2" "22" "second eval."
+
+gdb_test_no_output "set var \$hi = \"Hi\""
+gdb_test {eval "echo %s, %s%c\n", $hi, "mom", '!'} "Hi, mom!"
+
+set listsize_value -1
+gdb_test_multiple "show listsize" "get listsize value" {
+    -re "Number of source lines gdb will list by default is (\[0-9\]+)\.\r\n$gdb_prompt $" {
+       set listsize_value $expect_out(1,string)
+    }
+}
+
+if {$listsize_value > -1} {
+    gdb_test {eval "echo %s\n", $_gdb_setting_str("listsize")} $listsize_value
+} else {
+    send_log "warning: could not get listsize\n"
+}
index 21a2cad458cc3efaf3de10aaa10d76e704008e15..db57769c303ca6f54315ba965e4aa8bee7b5bb45 100644 (file)
@@ -957,6 +957,30 @@ proc test_printf_with_dfp {} {
     gdb_test "printf \"%Hf %Hf\\n\",1.2df,1.3df" "1.2 1.3"
 }
 
+# Test printf with strings.
+proc test_printf_with_strings {} {
+    global gdb_prompt
+
+    gdb_test {printf "I ate a %s yesterday; it was very %s!\n", "clock", "time-consuming"} \
+       "I ate a clock yesterday; it was very time-consuming!"
+    gdb_test_no_output "set var \$hello = \"Hello\""
+
+    gdb_test {printf "%s, %s%c\n", $hello, "world", '!'} "Hello, world!"
+
+    set listsize_value -1
+    gdb_test_multiple "show listsize" "get listsize value" {
+       -re "Number of source lines gdb will list by default is (\[0-9\]+)\.\r\n$gdb_prompt $" {
+           set listsize_value $expect_out(1,string)
+       }
+    }
+
+    if {$listsize_value > -1} {
+       gdb_test {printf "%s\n", $_gdb_setting_str("listsize")} $listsize_value
+    } else {
+       send_log "warning: could not get listsize\n"
+    }
+}
+
 proc test_print_symbol {} {
     gdb_test_no_output "set print symbol on"
 
@@ -1171,6 +1195,7 @@ test_print_array_constants
 test_print_enums
 test_printf
 test_printf_with_dfp
+test_printf_with_strings
 test_print_symbol
 test_repeat_bytes
 test_radices