On Saturday 14 May 2011 23:14:49 Sven Eckelmann wrote:
The size of void is currently set by gcc to 1, but is not well defined in general. Therefore it is more advisable to cast it to char* before doing pointer arithmetic.
Applied in revision f896bd9.
Thanks, Marek