Avviso C6509

Annotazione non valida: 'return' non può essere fatto riferimento da una precondizione

Osservazioni:

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

Nome dell'analisi del codice: RETURN_USED_ON_PRECONDITION

Esempio

Nel codice seguente l'avviso viene generato in quanto return viene utilizzato in una precondizione:

#include <sal.h>

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

Per correggere questo avviso, usare il codice seguente:

#include <sal.h>

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