void*によるcvectorで、バッファオーバーランの警告

Question

void型をキャストすることでint型やconst char型、ユーザー定義型に対応するcvectorというものを試作してみました。
ところが、PUSH_BACKマクロにてバッファオーバーランが発生したとの警告が発生してしまいます。
詳細を見てみると、
ARRAY_AT(T, tmp, i) = AT(T, CVECTOR, i);
AT(T, CVECTOR, CVECTOR.size_) = ITEM;
の二か所で「書き込み中にバッファオーバーランが発生しました。8バイト(テストケースの場合)を書き込む可能性があります。」という警告が出されています。
ITEMの代入はともかくとして、tmpとCVECTORは同じ型のはずなのに何故このような警告が出されているのでしょうか。

開発環境:VisualStudio2019　OS:Windows10

// main.c
#include <stdio.h>
#include "cvector.h"

int main(void)
{
	cvector test;
        INIT(test);
	int size = 20;
	for (int i = 0; i < size; i++) {
		PUSH_BACK(int, test, i * i);
	}
	for (int i = 0; i < size; i++) {
		printf("%d\n", AT(int, test, i));
	}

	CLEAR(test);
	return 0;
}

// cvector.h
#pragma  once
#include <stdlib.h>
#include <stdio.h>

// C言語による簡易vectorもどき
typedef struct cvector_t {
	void* data_;	// 要素の格納領域
	int capacity_;	// 格納可能な最大要素数
	int size_;		// 格納されている要素数
} cvector;

// 初期化
#define INIT(CVECTOR) CVECTOR.data_ = 0; CVECTOR.capacity_ = 0; CVECTOR.size_ = 0;

// 配列への参照(汎用)
#define ARRAY_AT(T, V, N) ((T*)V)[N]

// 要素への参照(cvector)
#define AT(T, CVECTOR, N) ARRAY_AT(T, CVECTOR.data_, N)

// 要素の末尾にデータを追加
#define PUSH_BACK(T, CVECTOR, ITEM)\
{\
	if (CVECTOR.size_ == CVECTOR.capacity_) {\
		CVECTOR.capacity_ += 10;\
		void* tmp;\
		tmp = (T*)malloc(sizeof(T) * CVECTOR.capacity_);\
		if (tmp == NULL) { printf("memory secure error\n"); exit(1); }\
		for (int i = 0; i < CVECTOR.size_; ++i)\
			ARRAY_AT(T, tmp, i) = AT(T, CVECTOR, i);\
		FREE(CVECTOR);\
		CVECTOR.data_ = tmp;\
	}\
	AT(T, CVECTOR, CVECTOR.size_) = ITEM;\
	CVECTOR.size_++;\
}

// 全ての要素を消去する
#define CLEAR(CVECTOR) free(CVECTOR.data_); CVECTOR.capacity_ = 0; CVECTOR.size_ = 0;

// data_のみを消去する
#define FREE(CVECTOR) free(CVECTOR.data_);

Comments

[izmktr]

コンストラクタがないC言語では、cvector_tの初期化は使えないと思うんですけど、C++としてコンパイルしていませんか？

[asobinin]

見落としておりました。
修正致します。

[y_waiwai]

そのでているワーニングメッセージを、手を加えす、コピペで提示してください

[asobinin]

ワーニングメッセージを確認しようとしたところ、警告が消えていたことを確認しました・・・
テストしてみたところ、INIT()による初期化では警告は発生せず、コントラスタにて初期化を行っていた場合においては警告が発生するようです。コントラスタで初期化した後、INIT()で再度初期化しても警告は発生しませんでした。
どちらも同様のことをしておりますが、何故このようなことが起きているのでしょうか。

[asobinin]

ワーニングメッセージ全文
警告 C6386 'test.data_' への書き込み中にバッファー オーバーランが発生しました: 書き込み可能なサイズは 'sizeof(int)*test.capacity_' バイトですが、'test.size_' バイトを書き込む可能性があります。
警告 C6386 'tmp' への書き込み中にバッファー オーバーランが発生しました: 書き込み可能なサイズは 'sizeof(int)*test.capacity_' バイトですが、'8' バイトを書き込む可能性があります。

[pepperleaf]

[参考]
VS 2017 Express では、エラー無しで終了。
環境: WIndows10 64bit

Answer 1

VisualStudio2019、Windows10 64bit環境です。

CVECTOR.size_とCVECTOR.capacity_の値によってはバッファオーバーランが発生するかもしれない。
という警告かと思われます。

PUSH_BACK実行時、仮に両方の変数に-10が設定されていた場合は、
mallocの時点でCVECTOR.capacity_が0になっているはずなので、サイズ0でmallocを呼びます。

処理系によってはmallocに0を渡すとNULL以外を返します。
その場合は次の行のif (tmp == NULL)をすり抜けます。

すり抜けた先で、もしこのままtmpにアクセスすることがあったらバッファオーバーランが発生しますよ？
という警告に読み取れます。

// 要素の末尾にデータを追加
#define PUSH_BACK(T, CVECTOR, ITEM)\
{\
    if(CVECTOR.size_ >= 0 && CVECTOR.capacity_ >= 0 ){\
        省略
    }/
}

両方0以上で通るようにしたら警告は発生しませんでした。