Warnung C6509

Ungültige Anmerkung: 'return' kann nicht aus einer Vorbedingung referenziert werden.

Hinweise

Diese Warnung weist darauf hin, dass die return Schlüsselwort (keyword) nicht in einer Voraussetzung verwendet werden kann. Die return Schlüsselwort (keyword) wird verwendet, um die Ausführung einer Funktion zu beenden und das Steuerelement an die aufrufende Funktion zurückzugeben.

Codeanalysename: RETURN_USED_ON_PRECONDITION

Beispiel

Der folgende Code generiert diese Warnung, da return sie 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;
}