ツールニュース

1. コンパイル時に最適化レベル２を含むオプション(-O2, -O3, -O6, -O7, -O, -Otimeのみ, -Ospaceのみ)を指定している。
2. ビットフィールドメンバに、定数、変数、ビットフィールドメンバ、または、それらの演算を代入している。定数、変数、ビットフィールドメンバ、または、それらの演算（1の補数を除く）の場合、それは代入先のビットフィールドメンバで表現可能な範囲外の値である。1の補数の場合、それは以下の何れかである。
   • 代入先のビットフィールドメンバで表現可能な範囲外の値である。
   • 代入先のビットフィールドメンバで表現可能な範囲内の値であるが、右辺の項が符号無し（unsigned）であり、条件(6)において、ビットフィールドメンバの表現可能な範囲外も、参照に含まれるような参照を行っている。
   • 代入先のビットフィールドメンバで表現可能な範囲内の値であるが、右辺の項が符号無し（unsigned）であり、ビットフィールドメンバの値が0になる場合に、条件(6)において、真偽を問う参照を行っている。
3. 上記(2)のビットフィールドメンバの型が、char型 、unsigned char型、short型、unsigned short型である。
4. 上記(2)のビットフィー ルドメンバ、または、その構造体に、型修飾子volatile が宣言されていない。
5. 上記(2)のビットフィールドメンバのビット幅が、1 ～ 15 である（ただし8～15 は、ビットフィールドメンバの型が、short型またはunsigned short型の場合である）。
6. 上記(2)のビットフィールドメンバを参照している。
7. 上記(2)の代入と(6)の参照の間に、関数呼び出し、分岐する文、または、他のビットフィールドメンバへの代入がない。

       [記述例]-------------------------------------------------------------
         struct st {
             unsigned short    a:  10; /* ←条件(3), (4), (5) */
         } S;
         unsigned short  x;
         void foo ( void )
         {
             S.a = 0xff80; /* ←条件(2) */
                           /* ←条件(7) */
             x = S.a       /* ←条件(6)：xは正しく0x380となります。*/
         }
       ---------------------------------------------------------------------

1. コンパイル時に-packオプション（構造体パック機能）を指定している。
2. 構造体のメンバに、ビットフィールドを含んでいる。
3. 連続するビットフィールドメンバの指定しているビット長の合計を32で除算した余りが、17～24である。
4. この構造体を静的に初期化している。

       [記述例]-------------------------------------------------------------
         struct st {
             unsigned int a:8; /* a,b,c は連続している。ビット長の合計は、*/
             unsigned int b:8; /* 8+8+8=24であり、32で除算した余りは、    */
             unsigned int c:8; /* 24%32=24となる。                        */
         } A = { 1,1,1 };
       ---------------------------------------------------------------------

1. コンパイル時に-RBPPオプション（関数への引数渡しにレジスタを使用する）を指定している。
2. 関数の引数の型が、char, short, unsigned char, unsigned shortである。
3. 上記(2)の引数を更新する前に、そのアドレスを参照している。
4. 上記(3)のアドレスを使ってデータを参照している。

       [記述例]-------------------------------------------------------------
         #include "stdio.h"
         void test(short *d)
         {
             printf("%x", *d); /* 条件(4)：正しく参照できます。 */
         }
         void foo(short data) /* 条件(2) */
         {
             test(&data); /* 条件(3) */
         }
       ---------------------------------------------------------------------

[リンカの機能説明]

アセンブリ言語ソースにおいて、リンク時まで解決されないディスプレースメントの外部参照シンボル、または、相対シンボルを含むオペランドが指定された場合、アセンブラは、これら未解決の領域が存在する状態のオブジェクトファイルを生成します。リンカは、これら領域に解決したアドレス値を埋め込むことにより、アドレスを解決したロードモジュールを生成します。

[リロケーションサイズ・オーバーフローチェックの仕様]

リンカは、未解決の領域に解決したアドレス値を埋め込む際、領域に納まるか否かをチェックします。埋め込むことができない場合、エラーメッセージを出力します。旧仕様ではワーニングの出力でしたが、新仕様ではエラーにし、さらにエラーとする範囲を広げました（表1, 表2参照）。