“나 때문이 아니라 컴파일러 때문이야”

AI 요약

프로그래머가 자바스크립트 엔진 파서를 리팩토링하던 중, bool 값을 u32로 캐스팅해 포인터를 증가시키는 최적화 코드에서 예기치 않은 파싱 오류가 발생했다. 동일한 로직을 if-else 조건문으로 명시적으로 작성했을 때는 정상 작동했지만, x as u32 캐스트 방식에서는 오류가 발생해 컴파일러 문제임을 확인했다. 저자는 자신의 커스텀 빌드 시스템을 통해 생성된 어셈블리 코드를 분석하며, 컴파일러가 예상과 다른 코드를 생성했음을 증명했다.

핵심 포인트

• self.0 += x as u32 코드에서 bool→u32 캐스트가 예상과 다른 동작을 보임
• 동일 로직을 if x { 1 } else { 0 }으로 작성 시 정상 작동
• for-loop 파싱 시 'for (var lol; false; false) {}' 구문에서 오류 발생
• 커스텀 빌드 시스템으로 생성된 어셈블리 코드 비교를 통해 컴파일러 버그 확인

향후 전망

• 이 경험은 컴파일러 최적화의 예측 불가능성을 보여주며, 명시적 코드 작성의 중요성 재확인