C6509

警告 C6509: 無効な注釈です: 'return' を前提条件から参照することはできません

この警告は return のキーワードが事前条件で使用できないことを示します。return のキーワードは、関数の実行を終了し、呼び出し元の関数に制御を戻すために使用されます。

使用例

次のコードは return が事前条件で使用されるため、この警告が生成されます:

#include <sal.h>

int f (_In_reads_(return) char *pc)
{
    // code ...
    return 1;
}

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

#include <sal.h>

int f (_In_reads_(i) char *pc, int i)
{
    // code ...
    return 1;
}