ツールニュース

2.1 発生条件

以下の条件をすべて満たす場合に発生することがあります。

(1)	最適化オプション"-OR"が選択されている。
(2)	以下のいずれかに該当するような複数の関数呼び出し箇所がある。 a. 1つの関数内の複数の箇所で、同じ関数を呼び出している。 b. 1つの関数内の複数の箇所で、同じポインタを介して、間接的に関数を呼び出している。 c. 1つの関数内の複数の箇所で、同じ共用体に属するポインタを介して、 間接的に関数を呼び出している。 注: b.およびc.は、複数の個所で同じ関数を呼んでいても、 呼び出し箇所ごとに異なる関数を呼んでいても、いずれも該当します。
(3)	(2)の関数呼び出しのうち、2つ以上の呼び出し後の処理が合流する。
(4)	(3)の合流箇所の前のそれぞれの関数呼び出しの中に、 レジスタを使って渡される実引数の個数が異なるものがある。

注意：
発生条件 (2) の a. および b. は、ソースに誤りがある場合です。

2.2 発生例

発生条件(2)c.に該当する例
（同じ共用体に属するポインタで間接呼び出ししている例）

--------------------------------------------------------------------
union {
    void (*pf0)(void);
    void (*pf1)(int);
} u;

int example2(int i)
{
    switch (i) {
    case 0:
    case 2:
        (*u.pf1)(0);    /* 発生条件(2)c.および (4) */
        break;
    default:
        (*u.pf0)();     /* 発生条件(2)c.および (4) */
        break;
    }
    return 0;           /* 発生条件(3) */
}
--------------------------------------------------------------------

発生条件(2)a.に該当する例
（同じ関数を複数個所で呼び出している例）

注意：
この例は、ソースの誤記のために、発生条件に該当する例です。 "else"側の関数呼び出しの実引数の個数が、プロトタイプ宣言と一致していません。 これに類似したソースをコンパイルすると、 コンパイルが正常終了したとしても、警告メッセージ"too few parameters"が出力されます。

--------------------------------------------------------------------
void func(int);

int example1(int i)
{
    if (i == 0) {
        func(0);        /* 発生条件(2)a, (3), (4) */
    } else {
        func();         /* 発生条件(2)a, (3), (4) */
    }
    return 0;           /* 発生条件(3) */
}
--------------------------------------------------------------------

• 同じ関数を呼び出している場合、または、同じポインタを介して間接的に関数を呼び出ししている場合は、 実引数の個数がプロトタイプ宣言に合致するよう、関数の実引数を修正してください。
• 同じ共用体に属するポインタを介して間接的に関数を呼び出している場合には、 処理が合流する前の関数呼び出しのいずれかの直後に、ダミーのasm関数を挿入してください。

発生例の回避例
-------------------------------------------------------------------------
union {
    void (*pf0)(void);
    void (*pf1)(int);
} u;

int example2(int i)
{
    switch (i) {
    case 0:
    case 2:
        (*u.pf1)(0);
        break;
    default:
        (*u.pf0)();
        asm();          /* ここに asm(); を挿入してください。 */
        break;
    }
    return 0;
}
-------------------------------------------------------------------------