선언된 변수들이
고투문 전의 스택이랑 고투문 후의 스택이 꼬임

그리고 고투는 영구적인 거라 대부분의 경우 다시 돌아오지 않기 때문에
고투문 전에 선언된 변수들이라는 스택 쓰레기가 생김
동적변수는 해제시켜도 일반변수 해제는 영구적으로 안됨
이건 컴파일러 자체에서 코드를 일일이 보지 않는 한 해결 불가
결국 쓰레기가 쌓이고 컴파일러 차원에서 영원히 해결되지 않음

고투문 쓰면 이럽니다 여러분

그리고 상식적으로 생각해봅시다
A라는 곳으로 고투문을 쓰면
A전에 쓰이던 변수들이 선언 되었을 텐데
A후로 쓰이는 변수들은 선언되지도 않고 자체적으로 꼬임

Goto문은 버그를 일으키는 주범이라 안 쓰기도 하지만
컴파일러 자체 내부에서 스택을 해결하는 원칙이 아예 없음 안 써야됨..