경고 C6509

잘못된 주석: 사전 조건의 'return'을 참조할 수 없습니다.

설명

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

코드 분석 이름: RETURN_USED_ON_PRECONDITION

예시

다음 코드에서는 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;
}