Avertissement C6509

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

Notes

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

Nom de l’analyse du code : RETURN_USED_ON_PRECONDITION

Exemple

Le code suivant génère cet avertissement, car return il 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;
}