豊福です。

> 一応 HP-UX10 では
> 大丈夫のようです。
>       printf("%x\n",  x>>((int)1));      /* ffffffff */
>       printf("%x\n",  x>>((unsigned)1)); /* 7fffffff */
>       printf("%x\n", ux>>((int)1));      /* ffffffff */
>       printf("%x\n", ux>>((unsigned)1)); /* ffffffff */

  これじゃ大丈夫のわけないですね。

<       printf("%x\n", ux>>((int)1));      /* 7fffffff */
<       printf("%x\n", ux>>((unsigned)1)); /* 7fffffff */

の間違いでした。
---
                        豊福
                        toyofuku / juice.or.jp