C6385の警告理由

Question

下記の警告の解決方法がわかりません。

下記の解決方法が分からないので、ご教授お願い致します。
環境：Visual Studio 2017

発生している問題・エラーメッセージ

警告	C6385	'databuff' から無効なデータを読み取っています: 読み取り可能なサイズは 'unsigned int' バイトですが、'2' バイトを読み取る可能性があります。	

該当のソースコード

int main()
{
	int data_size = 100;
	char *databuff = new char[data_size]();
	for (int i = 0; i < data_size; ++i)
	{
		char a = databuff[i];
	}
}

試したこと

char a = databuff[i];の部分を、char a = *databuff++;にすると警告自体は消えましたが、理由を知りたいです。

Comments

[fana]

こちらの環境では警告レベルを「警告をすべて有効にする (/Wall)」にしても C6385 は出ないようだが…？
↑ごめん，コード分析が無効になってただけだった．有効にしたら出た．

[sabotenman]

こちらも言葉足らずでした、コード分析中に発生した警告になります。

[can110]

確証なく個人的な感想なので回答は控えますが
「C6385 false positive」なりで検索すると以下などが見つかりますので誤検知の可能性が高いと思います。
https://stackoverflow.com/a/59650055
https://developercommunity.visualstudio.com/t/false-positive-c6385-reading-invalid-data/1339954

[fana]

ちょっといじってみた感じだと

> new char[data_size]();

ココの () があると C6385 が出てくるような？ （ {0} とかに変えても同じ．）
() を取っ払うと「初期化されてない」って言われるけど，それじゃあ，ということで

char *databuff = new char[data_size];
for (int i = 0; i < data_size; ++i)databuff[i] = 0; //値を入れてやるぜ！

とかすると C6385 は出てこない様子．

あとは
inline char *Alloc( int s ){ return new char[s](); } //newをinline関数に移した
とかいうのを使う形にしたり，
std::vector<char> にしたりすれば出ないみたい．

[sabotenman]

返信遅れて申し訳ありません。
fanaさん色々お試しいただきありがとうございます。
()取ると警告でないことはこちらの環境でも確認できました。(んーこれなんか嫌ですね。。。)

can110さんもお調べ頂きありがとうございます。Microsoftもそこまで気にしてなさそうな感じなんですかね。。。

Answer 1

コンパイラの正確な判断規則は公表されていないのでコンパイラ開発に関わっている人でもなければ「理由」はわかりません。

警告のメッセージからの推測ですが data_size に入っている具体的な値 (100) を分析に使用していないものと思われます。 配列の要素数が 0 であることはあり得ないので最低限度である 1 であると仮定し、アクセスのときには 2 バイト目が読み取られる可能性があるという判断になっているのでしょう。

正しいプログラムに対してもコンパイラが正しいと確信できるほど分析しきれなかった場合に「可能性があります」という形で警告を出すことはあります。

警告を見た上で (コンパイラに判断しきれなくても) 正しく意図通りなプログラムなのであれば警告は無視して良いです。 警告を消すためだけに不必要な変形をするべきではありません。