public inbox for gcc-help@gcc.gnu.org
 help / color / mirror / Atom feed
* strict aliasing: how to swap pointers
@ 2008-04-29 23:58 Evan Jones
  2008-04-30  1:00 ` Rupert Wood
  2008-04-30  9:03 ` Sergei Organov
  0 siblings, 2 replies; 22+ messages in thread
From: Evan Jones @ 2008-04-29 23:58 UTC (permalink / raw)
  To: gcc-help

I have a function to swap any two pointers (assuming that sizeof(void*) 
== sizeof(T*)). I would like to use it without violating strict aliasing 
rules. I have a workaround, but I would like to verify that this is the 
right way to do this.

The test case:

void* exchange(void** ptr, void* next);

int main() {
     int v1 = 42;
     int v2 = 123;

     int* a = &v1;

     int before = *a;
     exchange(reinterpret_cast<void**>(&a), &v2);
     int after = *a;

     printf("before: %d after: %d\n", before, after);

     return 0;
}


Output from Redhat's version of gcc 4.1.2 20070925:

test.cc: In function ‘int main()’:
test.cc:16: warning: dereferencing type-punned pointer will break 
strict-aliasing rules


The output from the program is correct. My workaround avoids the 
warning, but I think it will still permit GCC to generate undesired 
optimizations, since it says nothing about the *values* pointed to:


     union {
         int** int_ptr;
         void** void_ptr;
     } temp = { &a };
     exchange(temp.void_ptr, &v2);


I believe this may be incorrect, since *int_ptr and *void_ptr have 
distinct types, and hence GCC could decide that they cannot possibly be 
aliases? What is the "right" way to fix this? Thanks for your help,

Evan Jones

-- 
Evan Jones
http://evanjones.ca/

^ permalink raw reply	[flat|nested] 22+ messages in thread

end of thread, other threads:[~2008-05-03  9:10 UTC | newest]

Thread overview: 22+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-04-29 23:58 strict aliasing: how to swap pointers Evan Jones
2008-04-30  1:00 ` Rupert Wood
2008-04-30  1:17   ` OT Rant on why C++ Sucks (Was Re: strict aliasing: how to swap pointers) Robert William Fuller
2008-04-30  3:03     ` Gareth Buxton
2008-04-30  7:59     ` me22
2008-04-30 10:21       ` Rupert Wood
2008-04-30  4:46   ` strict aliasing: how to swap pointers Evan Jones
2008-04-30 10:13     ` Andrew Haley
2008-04-30 11:45       ` Andrew Haley
2008-04-30 13:31         ` Jędrzej Dudkiewicz
2008-04-30 14:29           ` Andrew Haley
2008-04-30 14:43       ` Evan Jones
2008-04-30 14:49         ` John Love-Jensen
2008-04-30 15:15           ` Evan Jones
2008-04-30 15:33             ` Andrew Haley
2008-04-30 18:01               ` Evan Jones
2008-04-30 20:38                 ` Andrew Haley
2008-04-30 21:49                 ` Sergei Organov
2008-04-30 15:22         ` Andrew Haley
2008-05-03  0:45           ` Matthew Woehlke
2008-05-03  9:10             ` Andrew Haley
2008-04-30  9:03 ` Sergei Organov

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 read-only IMAP folder(s) and NNTP newsgroup(s).