警告 C6509

無効な注釈: 前提条件から 'return' を参照できません

解説

この警告は、キーワード (keyword)をreturn前提条件で使用できないことを示します。 return キーワードは、関数の実行を終了し、コントロールを呼び出し元の関数に戻すために使用されます。

コード分析名: RETURN_USED_ON_PRECONDITION

例

次のコードでは、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;
}