>>810
memset()にわたるbufが__restrictでないポインタでないということは、関数の中で
　memset(p, 0, 1000);
　...
　memset(p, 0, 1000);
と2回呼んだとき、pが非__restrictだったりグローバル変数だったりするとバカ正直に2回memset()されてしまう…

また、memset()は該当しないが
一般論としてポインタの引数が１つしかなくとも大域変数経由で（一見別のエリアを指すように見える）ポインタを受け取るケースがあるので
1引数関数でも__restrictが要るケースがあるんじゃわ；