>>543
動かないの証拠は無いかなぁ。 >537 のリンク先にあるような環境も手元に無いし。

文献でいいなら JIS C でどう？
7.19.6.1 fprintf 関数
http://kikakurui.com/x3/X3010-2003-01.html#206
> p
> 実引数は，void へのポインタでなければならない。 ...
...
> ... 実引数の型が対応する変換指定に対して正しくない場合，その動作は，未定義とする。