return -1 << n という未定義の動作を実装している原因と解決方法が知りたい。

Question

////コメント部コードですがエラーコード[
重大度レベル コード 説明 プロジェクト ファイル 行 抑制状態
警告 C26453 演算のオーバーフロー: 負の符号が付いている数値の左シフトは、定義されていない動作です
]

と表示されるのですが最適な修正方法が知りたいです。

ombined JPEG 'receive' and JPEG 'extend', since baseline
// always extends everything it receives.
__forceinline static int extend_receive(jpeg *j, int n)
{
   unsigned int m = 1 << (n-1);
   unsigned int k;
   if (j->code_bits < n) grow_buffer_unsafe(j);
   k = (j->code_buffer >> (j->code_bits - n)) & bmask[n];
   j->code_bits -= n;
   // the following test is probably a random branch that won't
   // predict well. I tried to table accelerate it but failed.
   // maybe it's compiling as a conditional move?
   if (k < m)
      return (-1 << n) + k + 1;/////////////////////////////////
   else
      return k;
}

Answer 1

最適な修正方法

stb_image.hの最新版に更新

注意点としては使い方が少し変化していることに注意が必要ですね。

Answer 2

エラーメッセージに書かれているそのままです。
負の数値を左シフトした場合の動作が未定義、つまり、どうなるかわからないという事です。
対処法は、-1を左シフトすることを回避してください。
-1 << n
そもそもここは何を意図してどういう動作をすることを想定して書いた内容なのでしょう？
その内容から、ロジックを確認しなおしてみてください。

---

このように試しにコードを書き換えてみたら警告文が消えました。自己解決です。

int i = -1;
if (k < m)
      return ( i << (int)n) + (int)k + 1;
      //return (-1 << n) + k + 1;
   else
      return k;

これだと、負の値をシフトしていることに変わりはないと思うから、
エラーがなくなっても動作が補償されないことには変わりないと思います。
要は、何が起こるかわからないコードです。
(ついでに、nはもともとintなので、キャストは不要です)

-1が何のためにあるのかはよくわからないけど、もし、全て1のビット配列を用意したいだけであれば、
(unsigned)~0<<nにするとか、もしくは、(unsigned)-1<<nにしても結果は同じになります。

Comments

[退会済みユーザー]

自分も気になりました。SOILライブラリをビルドするさいにこいう警告があったので直そうとしました。
https://github.com/Shigurechan/SOIL

Answer 3

このように試しにコードを書き換えてみたら警告文が消えました。自己解決です。

int i = -1;
if (k < m)
      return ( i << (int)n) + (int)k + 1;
      //return (-1 << n) + k + 1;
   else
      return k;

Comments

[thkana]

警告が出なきゃいい、というものじゃないと思う...負の数をシフトしちゃダメだ、と言われているのだから。

想像でいうなら、
0xffffffffU << n
あるいは
~((1<<n)-1)
みたいなことを意図したのではないかと思いますけれど。

[退会済みユーザー]

質問ですが~((1<<n)-1)とはどのようにな意味なのでしょうか？ビット演算子の反転である~はわかりますがそこまでしかわからずどういったビット操作をしているのか知りたいです。