C6509

ostrzeżenie C6509: nieprawidłowa adnotacja: nie można odwoływać się do "return" z warunkiem wstępnym

To ostrzeżenie wskazuje, że return w warunku wstępnego nie można użyć słowa kluczowego.return Słowo kluczowe jest używana do przerywa wykonywanie funkcji i zwrócić sterowanie do wywoływania funkcji.

Przykład

Poniższy kod generuje tego ostrzeżenia, ponieważ return jest używana w warunku wstępnego:

#include <sal.h>

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

Aby poprawić to ostrzeżenie, należy użyć następującego kodu:

#include <sal.h>

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