C6509

Warnung C6509: Ungültige Anmerkung: Auf "return" kann nicht von einer Vorbedingung aus verwiesen werden.

Diese Warnung gibt an, dass das return-Schlüsselwort nicht in einer Vorbedingung verwendet werden kann.Das return-Schlüsselwort wird verwendet, um die Ausführung einer Funktion und die Steuerung an die Funktion zurückgegeben.

Beispiel

Der folgende Code generiert diese Warnung, weil return in einer Vorbedingung verwendet wird:

#include <sal.h>

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

So korrigieren Sie die Warnung unter Verwendung des folgenden Codes

#include <sal.h>

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