C6509

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

Cet avertissement indique que le mot clé d' return ne peut pas être utilisé dans une condition préalable.Le mot clé d' return est utilisé pour terminer l'exécution d'une fonction et retourner le contrôle à la fonction.

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;
}