Поделиться через

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