C6309
警告 C6309: 引数 <数値> は null です: これは <関数> の関数指定に従っていません
このメッセージは、指定された API に予期しない NULL パラメーターが引数として渡されたことを示します。 null 以外のパラメーターを受け入れる関数に null パラメーターを渡すと、処理できない例外が発生する場合があります。
使用例
次に示すコードでは、警告 6309 および 6387 が生成されます。
#include <codeanalysis/sourceannotations.h>
using namespace vc_attributes;
void f([Pre(Null=No)] void*);
[returnvalue:Post(Null=Yes)] void* g();
void main()
{
f(g()); // 6309 and 6387
}
この 2 つの警告を解決するには、次のコードを使用します。
#include <codeanalysis/sourceannotations.h>
using namespace vc_attributes;
void f([Pre(Null=No)] void*);
[returnvalue:Post(Null=No)] void* g(); // pointer not null
void main()
{
f(g());
}