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
prev 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