전체 모듈 최적화 모드에서 유지되는 어설 션은 무엇입니까?

Question

assert*은 -O으로 버려지지만 precondition*은 -Ounchecked이 설정되어 있지 않으면 유지된다는 설명을 찾을 수 있습니다.

그러나 릴리스 빌드의 새로운 기본값은 whole-module optimization-wmo입니다.

전체 모듈 최적화를 사용할 때 precondition* 어설 션이 유지됩니까?

Answer 1

것은이 작은 프로그램 생각해

func f(_ i: Int) -> Int { 
    assert(i > 0, "needed positive number") 
    return i 
} 

print(f(0)) 

xcrun swiftc [opt]로 컴파일하고 결과를 실행하는 제공 :

• -Onone : 어설 션 오류
• -Onone -wmo : 어설 션 오류
• -O : 출력 0
• -O -wmo : 인쇄

0 비교 :

func f(_ i: Int) -> Int { 
    precondition(i > 0, "needed positive number") 
    return i 
} 

print(f(0)) 

• -Onone : 전제 오류
• -Onone -wmo : 전제 오류
• -O : 잘못된 명령어 4
• -O -wmo : 불법 수업 : 4

전체 모듈 최적화가 어설 션을 처리하는 방법에는 영향을 미치지 않습니다. 최적화 수준 만 중요합니다.

---

이

은

Apple Swift version 3.0.1 (swiftlang-800.0.58.6 clang-800.0.42.1) 
Target: x86_64-apple-macosx10.9