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