Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Pierre Muller <muller@cerbere.u-strasbg.fr>
To: gdb-patches <gdb-patches@sources.redhat.com>
Subject: Re: [RFA 3rd] tell in which register a register var is.
Date: Mon, 03 Dec 2001 00:42:00 -0000	[thread overview]
Message-ID: <4.2.0.58.20011203093905.00aca688@ics.u-strasbg.fr> (raw)
In-Reply-To: <3C07B95D.3000708@cygnus.com>

At 17:52 30/11/2001 , Andrew Cagney a écrit:
>>2001-11-30 Pierre Muller  <muller@ics.u-strasbg.fr>
>>* findvar.c (locate_var_value): Specify in which register a register
>>         variable is stored.
>
>Yes, ok.
>
>However, can you, as a favour, add the assertion I suggested?  I agree with your logic - it should be ok.  However, I'm currently working on the REGISTER code and would dearly like more assertions so that I can detect earlier my screwups.

   Committed, modifed as Andrew asked for.

Thus I send the patch once more.

2001-11-30  Pierre Muller  <muller@ics.u-strasbg.fr>

         * findvar.c (locate_var_value): Specify in which register a register
         variable is stored.


Index: findvar.c
===================================================================
RCS file: /cvs/src/src/gdb/findvar.c,v
retrieving revision 1.25
diff -u -p -r1.25 findvar.c
--- findvar.c   2001/11/10 21:34:56     1.25
+++ findvar.c   2001/12/03 08:38:00
@@ -29,6 +29,7 @@
  #include "inferior.h"
  #include "target.h"
  #include "gdb_string.h"
+#include "gdb_assert.h"
  #include "floatformat.h"
  #include "symfile.h"           /* for overlay functions */
  #include "regcache.h"
@@ -869,9 +870,21 @@ locate_var_value (register struct symbol
    switch (VALUE_LVAL (lazy_value))
      {
      case lval_register:
+       gdb_assert (REGISTER_NAME (VALUE_REGNO (lazy_value)) != NULL
+                   && *REGISTER_NAME (VALUE_REGNO (lazy_value)) != '\0');
+      error("Address requested for identifier "
+           "\"%s\" which is in register $%s",
+            SYMBOL_SOURCE_NAME (var), 
+           REGISTER_NAME (VALUE_REGNO (lazy_value)));
+      break;
+
      case lval_reg_frame_relative:
-      error ("Address requested for identifier \"%s\" which is in a register.",
-            SYMBOL_SOURCE_NAME (var));
+       gdb_assert (REGISTER_NAME (VALUE_FRAME_REGNUM (lazy_value)) != NULL
+                   && *REGISTER_NAME (VALUE_FRAME_REGNUM (lazy_value)) != '\0');
+      error("Address requested for identifier "
+           "\"%s\" which is in frame register $%s",
+            SYMBOL_SOURCE_NAME (var), 
+           REGISTER_NAME (VALUE_FRAME_REGNUM (lazy_value)));
        break;
  
      default:



Pierre Muller
Institut Charles Sadron
6,rue Boussingault
F 67083 STRASBOURG CEDEX (France)
mailto:muller@ics.u-strasbg.fr
Phone : (33)-3-88-41-40-07  Fax : (33)-3-88-41-40-99


      parent reply	other threads:[~2001-12-03  8:42 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-30  3:31 Pierre Muller
2001-11-21 13:43 ` Pierre Muller
2001-11-21 19:37 ` Andrew Cagney
2001-11-30  8:52   ` Andrew Cagney
2001-12-03  0:42   ` Pierre Muller [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4.2.0.58.20011203093905.00aca688@ics.u-strasbg.fr \
    --to=muller@cerbere.u-strasbg.fr \
    --cc=gdb-patches@sources.redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox