C6509

avertissement C6509 : annotation non valide : 'return' ne peut pas être référencé à partir d'une condition préalable

Cet avertissement indique que l'instruction return ne peut pas être utilisée dans une condition préalable.return est utilisée pour mettre fin à l'exécution d'une fonction et retourner le contrôle à la fonction d'appel.

Exemple

Le code suivant génère cet avertissement car return est utilisé dans une condition préalable :

#include <sal.h>

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

Pour corriger cet avertissement, utilisez le code suivant :

#include <sal.h>

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