>>208-209>>217
C99規格には「(void *)c++ は1だけインクリメントされる」という規定はない。
C99規格書(ISO/IEC 9899)は英語なのでそれを元にしたJIS X3010で説明する。
X3010は章番号を変えてないのでISO/IEC 9899の該当文章は自分で確認してくれ。

ISO/IEC 9899:TC2
http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1124.pdf
JIS X3010
http://kikakurui.com/x3/X3010-2003-01.html

> 6.2.5 型
> 型は，オブジェクト型（オブジェクトを完全に規定する型），関数型（関数を規定する型），
>及び不完全型（その大きさを確定するのに必要な情報が欠けたもの）に分類する。
> void型の値の集合は空とする。それは，完全にすることのできない不完全型とする。
> void へのポインタは，文字型へのポインタと
> 同じ表現及び同じ境界調整要求をもたなければならない。

voidは不完全型だがvoid*はオブジェクト型でchar*と相互に代入可能だ。

> 6.5.3.4 sizeof 演算子
> sizeof演算子は，関数型若しくは不完全型をもつ式，それらの型の名前を括弧で
> 囲んだもの，又はビットフィールドメンバを指し示す式に対して適用してはならない。
> 型char，unsigned char若しくはsigned char（又はそれらの修飾版）をもつ
> オペランドに適用した場合の結果は，1 とする。

不完全型であるvoidにはsizeofを適用できない。
char派生はサイズ1と明確に規定されているがvoidのサイズは規定がない。
だから(void *)c++が元の値のままでもC99規格違反ではない。