------- Comment #2 from pinskia at gcc dot gnu dot org 2009-10-26 23:42 ------- > There's no aliasing through the void*.
This is not true. In fact aliasing is not about what the type of the pointers are but what the dynamic type of what the pointer points to and the access type. But that is not the issue here though. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41838
