C6509C6509

Advertencia C6509: anotación no válida: no se puede hacer referencia a 'return' desde una condición previawarning C6509: invalid annotation: 'return' cannot be referenced from a precondition

Esta advertencia indica que la return no se puede usar la palabra clave en una condición previa.This warning indicates that the return keyword cannot be used in a precondition. El return palabra clave se utiliza para finalizar la ejecución de una función y devolver el control a la función que realiza la llamada.The return keyword is used to terminate the execution of a function and return control to the calling function.

EjemploExample

El código siguiente genera esta advertencia porque return se utiliza en una condición previa:The following code generates this warning because return is used in a precondition:

#include <sal.h>

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

Para corregir esta advertencia, utilice el código siguiente:To correct this warning, use the following code:

#include <sal.h>

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