C6509C6509

Aviso C6509: anotação inválida: 'return' não pode ser referenciado de uma pré-condiçãowarning C6509: invalid annotation: 'return' cannot be referenced from a precondition

Esse aviso indica que o return palavra-chave não pode ser usado em uma pré-condição.This warning indicates that the return keyword cannot be used in a precondition. O return palavra-chave é usada para encerrar a execução de uma função e retorna o controle para a função de chamada.The return keyword is used to terminate the execution of a function and return control to the calling function.

ExemploExample

O código a seguir gera este aviso porque return é usado em uma pré-condição:The following code generates this warning because return is used in a precondition:

#include <sal.h>

int f (_In_reads_(return) char *pc)
{
    // code ...
    return 1;
}

Para corrigir esse aviso, use o seguinte código:To correct this warning, use the following code:

#include <sal.h>

int f (_In_reads_(i) char *pc, int i)
{
    // code ...
    return 1;
}