警告 C6518

無効な注釈: 'SAL_writableTo' プロパティは、書き込み不可能なバッファーの前提条件として指定できません: 'Parameter'。

解説

この警告は、SAL_writableTo プロパティ値と書き込み可能なプロパティの間に競合が存在することを示します。 通常、この警告は、書き込み可能なプロパティに注釈が付けられたパラメーターへの書き込みアクセス権がないことを示します。

コード分析名: WRITABLE_SIZE_ON_NON_WRITABLE_BUFFER

例

次のコードでは、注釈が _Out_ コンパイルされ、書き込みアクセスを許可しないプロパティが SAL_writableTo 含まれるため、この警告が生成されます。

#include <sal.h>
void f(_Out_ const char* pc)
{
    //code that can't write to *pc ...
}

この警告を解決するには、次のコードを使用します。

#include <sal.h>
void f(_Out_  char* pc)
{
    pc = "Hello World";
    //code ...
}