From: Pedro Alves <palves@redhat.com>
To: Jerome Guitton <guitton@adacore.com>
Cc: Doug Evans <dje@google.com>, gdb-patches@sourceware.org
Subject: Re: [RFC] setting the raw content of a register
Date: Wed, 23 May 2012 16:03:00 -0000 [thread overview]
Message-ID: <4FBD0A28.9090503@redhat.com> (raw)
In-Reply-To: <20120523154226.GT51051@adacore.com>
On 05/23/2012 04:42 PM, Jerome Guitton wrote:
> I can have a look.
>
> Still, we will have the problem that I was mentioning for cross
> targets: we sometimes lose the sign of the NaN. e.g. when debugging a
> ppc-elf target from a x86-linux host, {double} {0xFFF0000000000050}
> probably evaluates to NaN(0x100000001) instead of
> -NaN(0x000000050). Same kind of issue for denorms. We may improve the
> precision of the evaluation here, but I fear that it will take some
> time to catch all the possible cases. A new command would give a work
> around to anyone hitting such a precision loss.
The idea was for that expression to result in no evaluation, but on a
reinterpret cast. We can create GDB side arrays without involving the
inferior, like so:
(gdb) p {1}
$1 = {1}
(gdb) p sizeof {1}
$2 = 4
or:
(gdb) p/c (char[1]) {1}
$3 = {1 '\001'}
But we can't reinterpret / cast a byte array to anything else:
(gdb) p (char) $3
evaluation of this expression requires the target program to be active
(gdb) p (int) $1
evaluation of this expression requires the target program to be active
This is because we try to follow C's semantics, and try to decay the array
to a pointer. And a pointer implies an address on the inferior, which implies
copying the array into the inferior, which requires malloc'ing a block of
memory in the inferior.
Sounds like we're missing a "reinterpret cast" operator, or steal some
invalid C cast syntax for the effect.
For non-scalars, we could just steal the regular cast:
struct foo
{
char c;
};
(gdb) p (struct foo) (char[1]) {1}
as that is not a valid C cast ("error: conversion to non-scalar type requested" in gcc).
In fact, I think that'd be already quite useful.
But what to do with casts to scalars?
--
Pedro Alves
next prev parent reply other threads:[~2012-05-23 16:03 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-22 14:37 Jerome Guitton
2012-05-22 14:55 ` Pedro Alves
2012-05-22 15:25 ` Jerome Guitton
2012-05-22 16:32 ` Pedro Alves
2012-05-23 15:22 ` Doug Evans
2012-05-23 15:28 ` Pedro Alves
2012-05-23 15:42 ` Jerome Guitton
2012-05-23 16:03 ` Pedro Alves [this message]
2012-05-23 16:10 ` Pedro Alves
2012-05-23 16:22 ` Joel Brobecker
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=4FBD0A28.9090503@redhat.com \
--to=palves@redhat.com \
--cc=dje@google.com \
--cc=gdb-patches@sourceware.org \
--cc=guitton@adacore.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