gdb: fix start breakpoint expression not working in some languages
authorSimon Marchi <simon.marchi@polymtl.ca>
Fri, 11 Nov 2022 12:58:35 +0000 (07:58 -0500)
committerSimon Marchi <simon.marchi@polymtl.ca>
Fri, 11 Nov 2022 19:04:13 +0000 (14:04 -0500)
Commit 0be837be9fb4 ("gdb: make "start" breakpoint inferior-specific")
regresses gdb.ada/start.exp:

    (gdb) start
    Error in expression, near `1'.
    (gdb) UNTESTED: gdb.ada/start.exp: start failed to land inside the right procedure

This is because in Ada, the equality operator is =, not ==.

I checked the other languages supported by GDB, these other languages
use = for equality:

 - Pascal: tests like gdb.pascal/hello.exp are affected too
 - Modula-2: I tried building a Modula-2 hello world using gm2, but it
   seems like the generated DWARF doesn't specify the Modula-2 language
   in the CUs, it's C++ and C, so the selected language isn't
   "modula-2".  But if I manually do "set language modula-2" on a dummy
   program and then "start", I get the same error.

Other languages all use ==.

So, a short term fix would be to use = or == in the expression, based on
the current language.  If this was meant to be permanent, I would
suggest adding something like an "equality_operator" method to
language_defn, that returns the right equality operator for the
language.  But the goal is to replace all this with proper
inferior-specific breakpoints, so I hope all this is temporary.

Approved-By: Tom de Vries <tdevries@suse.de>
Change-Id: Id4d38e14a80e6bbbb1ad2b2277f974dd55192969

gdb/infcmd.c

index bf4a68e3557eb79029d242b7c284a6ba4eeed191..6f83949cc7c06cd88e2b736eca88be29944ba3cf 100644 (file)
@@ -428,8 +428,13 @@ run_command_1 (const char *args, int from_tty, enum run_how run_how)
         have proper inferior-specific breakpoint support, in the breakpoint
         machinery.  We could then avoid inserting a breakpoint in the program
         spaces unrelated to this inferior.  */
-      std::string arg = string_printf ("-qualified %s if $_inferior == %d", main_name (),
-                                      current_inferior ()->num);
+      const char *op
+       = ((current_language->la_language == language_ada
+           || current_language->la_language == language_pascal
+           || current_language->la_language == language_m2) ? "=" : "==");
+      std::string arg = string_printf
+       ("-qualified %s if $_inferior %s %d", main_name (), op,
+        current_inferior ()->num);
       tbreak_command (arg.c_str (), 0);
     }