C6509

Advertencia C6509: Anotación no válida: no se puede hacer referencia a 'return' desde una condición previa

Esta advertencia indica que la palabra clave de return no se puede utilizar en una condición previa.La palabra clave de return se utiliza para finalizar la ejecución de una función y devolver el control a la función de llamada.

Ejemplo

El código siguiente genera esta advertencia porque return se utiliza en una condición previa:

#include <sal.h>

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

Para corregir esta advertencia, utilice el código siguiente:

#include <sal.h>

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