return 값의 버그 ?

nayana의 이미지

갑자기 이런 생각을 해보았습니다.

예를 들어서

void abc()
{
    char* abc="linux";
    
     return NULL;
}

이런식으로 하게 되면 컴파일에서 warnning을 나오게 하는데요...
원칙적으로 다음과 같이 해야하지만
void abc()
{
    char* abc="linux";
    
     return;
}

첫번째 예제 같이 return 값에 NULL을 돌려주면 어떤 버그가 생길까요?
개인적으로는 문법의 오류밖에 없을것 같은 생각을 합니다.^^

익명 사용자의 이미지

; 이 없어서,
먼저 오류가 날듯 합니다.

---오만한 리눅서----

익명 사용자의 이미지

해보세요. 그리고 결과도 좀 올려주세요.

pynoos의 이미지

버그는 구현 나름이겠지만, 두 가지 외에는 없겠지요.

1. void 이므로, return 문의 모든 데이터가 무시되어 "return;"으로 강제 해석 변경하여 컴파일 된다.
2. void 일지라도 System V ABI에 따라 return register에 해당 값을 넣는다. 하지만 사용하는 쪽에서는 그 값을 무시한다.

간단히 디스어셈블코드를 만들어 테스트 해보니 1 번입니다.

nayana의 이미지

Quote:
1. void 이므로, return 문의 모든 데이터가 무시되어 "return;"으로 강제 해석 변경하여 컴파일 된다.
2. void 일지라도 System V ABI에 따라 return register에 해당 값을 넣는다. 하지만 사용하는 쪽에서는 그 값을 무시한다.

간단히 디스어셈블코드를 만들어 테스트 해보니 1 번입니다.


죄송하지만 제가 의미를 잘 파악하지 못했습니다.

ABI는 무슨말인지요?

pynoos의 이미지

application binary interface 이지요.
검색해보시면 많이 나옵니다.