C6509

avviso C6509: annotazione non valida: impossibile fare riferimento a 'return' da una precondizione

L'avviso indica che la parola chiave di return non può essere utilizzata in una precondizione.La parola chiave di return viene utilizzata per terminare l'esecuzione di una funzione e restituire il controllo alla funzione chiamante.

Esempio

Il codice seguente genera questo avviso perché return viene utilizzato in una precondizione:

#include <sal.h>

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

Per risolvere il problema, utilizzare il codice seguente:

#include <sal.h>

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