C6509

aviso C6509: Anotação inválida: "retorno" não pode ser referenciado de uma condição anterior

Esse aviso indicar que a palavra-chave de return não pode ser usado em um pré-requisito.A palavra-chave de return é usado para finalizar a execução de uma função e para devolver o controle à função de chamada.

Exemplo

O código a seguir gerenciar esse aviso return porque é usado em um pré-requisito:

#include <sal.h>

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

Para corrigir esse aviso, use o seguinte código:

#include <sal.h>

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