사실 질문자의 궁금증을 해소하는 제일 좋은 방법은 어셈블리어를 학습하고 c가 생성한 어셈블리 코드를 보고 이해하는 것 입니다.

물론 여기에는 스택프레임이라는 것을 먼저 이해해야 하고 스택프레임을 이해하면 함수를 빠져나올경우 지역변수가 왜 초기화 되는지 알 수 있습니다. 즉 변수 scope 을 이해하는데 필수 지식이 스택프레임이라고 할 수 있습니다.

그러면 지역변수의 구조체를 리턴 받는건 왜 가능한가?

일단 언어적으로는 구조체의 포인터를 리턴하는 것이 아닌 값을 리턴하기때문에 가능한 것이고(지역 변수 포인터를 리턴하면 질문자가 알고 있는 대로 오류입니다) 원리는 함수를 리턴하면 eax 라는 레지스터에 리턴값을 저장하게 되는데 구조체의 값을 함수 scope 밖에 복사시키고 그렇게 복사한 구조체의 주소를 eax에 넣어줍니다.

즉 eax에는 구조체의 첫번째 요소(필드)의 주소가 저장되어 있어 스택프레임이 정리가 되도 문제가 없는 것 입니다.