5

静的分析ツールを介して次のコードをフィードしました。

u1 = (u1 ^ u2); // OK

u1 = (u1 ^ u2) & u3;  // NOT OK

u1 = (u1 ^ u2) & 10; // NOT OK

u1 = (u1 ^ u2) & 10U; // NOT OK

u1 = (unsigned char)(u1 ^ u2) & 10U; // OK

u1 = (unsigned char)(u1 ^ u2) & u3;  // OK

「OK」は、静的分析ツールがエラーを出さなかったことを意味します。「NOT OK」は、静的分析ツールが不平を言ったことを意味します。つまり、ビット演算の一部のオペランドが符号なし整数ではないと主張しています。

最後の 2 行の結果は、括弧がどちらかを引き起こしていることを示しています。

a. signed への実際の型変換

b. 静的解析ツールが符号付きへの型変換であると考えるもの

(b)については静的解析ツールの開発者に聞いてみます。

しかし、その前に、おそらく C 言語が (a) を行うことが知られているかどうかを知りたいです。

4

2 に答える 2

6

以下では、C では何も行われませんint。たとえば、 two を加算する場合、加算unsigned charsの前であっても、オペランドはintデフォルトの昇格に従って に変換されます。

unsigned char u1, u2, u3;
u1 = 0;
u2 = 42;
u3 = u1 + u2;

最後の行では、最初u1に とu2が に変換されint、次に+演算子が適用されてint値が取得され、その値が に戻されますunsigned char(もちろん、コンパイラはショートカットを使用できます!)

于 2011-09-13T10:37:38.837 に答える
3

これは、C では、2 つunsigned charの :s に対する操作の結果の型が であるためですint。&静的分析ツールは、が に適用されていることを正しく (あまり直感的ではありませんが) レポートしintます。

于 2011-09-13T10:36:04.757 に答える