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;
}