C6509

경고 C6509: 주석이 잘못되었습니다. 'return'은 사전 조건에서 참조될 수 없습니다.

이 경고를 나타냅니다는 return 전제 조건에서 키워드를 사용할 수 없습니다.return 키워드를 사용 하 여 함수의 실행을 종료 하 고 호출한 함수로 제어를 반환 합니다.

예제

다음 코드 때문에이 경고가 생성 return 전제 조건에서 사용 됩니다.

#include <sal.h>

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

이 경고를 해결하려면 다음 코드를 사용합니다.

#include <sal.h>

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