Предупреждение C6509

  • Статья

Недопустимая заметка: "return" нельзя ссылаться на предварительные условия

Замечания

Это предупреждение указывает, что 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;
}