From: Stefan Weil <weil@mail.berlios.de>
To: QEMU Developers <qemu-devel@nongnu.org>
Cc: Kevin Wolf <kwolf@redhat.com>, Blue Swirl <blauwirbel@gmail.com>,
Anthony Liguori <aliguori@us.ibm.com>,
Markus Armbruster <armbru@redhat.com>
Subject: Re: [Qemu-devel] [PATCH] Fix conversions from pointer to int and vice versa
Date: Sun, 20 Mar 2011 13:07:29 +0100 [thread overview]
Message-ID: <4D85EE01.3040706@mail.berlios.de> (raw)
In-Reply-To: <4D66B83D.1040407@mail.berlios.de>
Am 24.02.2011 20:57, schrieb Stefan Weil:
> Am 24.02.2011 11:11, schrieb Markus Armbruster:
>> Kevin Wolf <kwolf@redhat.com> writes:
>>> Am 24.02.2011 08:21, schrieb Markus Armbruster:
>>>> Stefan Weil <weil@mail.berlios.de> writes:
>>>>> Here the int values fds[0], sigfd, s, sock and fd are converted
>>>>> to void pointers which are later converted back to an int value.
>>>>>
>>>>> These conversions should always use intptr_t instead of unsigned
>>>>> long.
>>>>>
>>>>> They are needed for environments where sizeof(long) != sizeof(void
>>>>> *).
>>>> To be precise: when you want to cast a pointer to a signed integer
>>>> type
>>>> and back without loss, intptr_t is the signed integer type to use.
>>>>
>>>> But here we're dealing with the opposite case: cast int to pointer and
>>>> back.
>>>>> Signed-off-by: Stefan Weil <weil@mail.berlios.de>
>>>>> ---
>>>>> cpus.c | 8 ++++----
>>>>> migration-tcp.c | 4 ++--
>>>>> migration-unix.c | 4 ++--
>>>>> qemu-char.c | 4 ++--
>>>>> 4 files changed, 10 insertions(+), 10 deletions(-)
>>>>>
>>>>> diff --git a/cpus.c b/cpus.c
>>>>> index 0f33945..3c4e1b8 100644
>>>>> --- a/cpus.c
>>>>> +++ b/cpus.c
>>>>> @@ -267,7 +267,7 @@ static void qemu_event_increment(void)
>>>>>
>>>>> static void qemu_event_read(void *opaque)
>>>>> {
>>>>> - int fd = (unsigned long)opaque;
>>>>> + int fd = (intptr_t)opaque;
>>>>> ssize_t len;
>>>>> char buffer[512];
>>>> Why can't you cast straight to int?
>>> You would get warnings about a pointer being cast to an integer of
>>> different size
>> Fair enough. Stop reading here unless you like language-lawyering ;)
>>> (the behaviour is undefined if the integer is too small).
>>
>> Correct (I looked it up). The detour via intptr_t makes it
>> implementation-defined.
>>> I think you might also get a warning for the opposite direction.
>>
>> Implementation-defined.
>>
>> The standard defines semantics of valid void * -> intptr_t, uintptr_t ->
>> void *: you get your original pointer back ("will compare equal").
>>
>> The standard is silent on converting integer type to pointer type and
>> back. Doesn't matter. No sane implementation screws that up.
>
> That's correct. int or long to pointer and back normally works.
>
> But the compiler does not know whether the two conversions are ordered
> integer to pointer - pointer to integer or
> pointer to integer - integer to pointer.
>
> Here is a short example using int instead of long,
> so it will show the warnings on any linux host:
>
> int ptr2int(void *ptr)
> {
> return (int)ptr;
> }
>
> void *int2ptr(int i)
> {
> return (void *)i;
> }
>
> gcc -Wall -c intptr.c
> intptr.c: In function ‘ptr2int’:
> intptr.c:3: warning: cast from pointer to integer of different size
> intptr.c: In function ‘int2ptr’:
> intptr.c:8: warning: cast to pointer from integer of different size
>
> The same kind of warnings occur with the current qemu code when
> I cross compile using Debian's amd64-mingw32msvc-gcc.
>
> So the patch is needed for w64. For all other currently known
> host architectures, it is not needed, but nevertheless it will
> make the intention of the code clearer (as was pointed out in
> an earlier mail on this subject).
>
> Please apply the patch to qemu master.
> If needed, the patch's subject can be modified
> (w64: Fix conversions from pointer to int and vice versa)
>
> Thanks,
> Stefan
No more comments? There was no nack, and for w64 the patch
(or another solution) is needed.
What can I do to get this patch committed to QEMU git master?
Regards,
Stefan W.
next prev parent reply other threads:[~2011-03-20 12:07 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-23 18:09 [Qemu-devel] [PATCH] Fix conversions from pointer to int and vice versa Stefan Weil
2011-02-23 20:03 ` [Qemu-devel] " Juan Quintela
2011-02-24 7:21 ` [Qemu-devel] " Markus Armbruster
2011-02-24 7:59 ` [Qemu-devel] " Paolo Bonzini
2011-02-24 9:17 ` [Qemu-devel] " Kevin Wolf
2011-02-24 10:11 ` Markus Armbruster
2011-02-24 19:57 ` Stefan Weil
2011-03-20 12:07 ` Stefan Weil [this message]
2011-03-20 21:50 ` Blue Swirl
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=4D85EE01.3040706@mail.berlios.de \
--to=weil@mail.berlios.de \
--cc=aliguori@us.ibm.com \
--cc=armbru@redhat.com \
--cc=blauwirbel@gmail.com \
--cc=kwolf@redhat.com \
--cc=qemu-devel@nongnu.org \
/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;
as well as URLs for NNTP newsgroup(s).