Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
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


  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