Какие утверждения сохраняются в режиме оптимизации всего модуля?

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: Illegal инструкция: 4
• -O -wmo: Illegal инструкция: 4

Я не могу объяснить последние два результата, но кажется ясным, что оптимизация всего модуля не влияет на то, как обрабатываются утверждения; имеет значение только уровень оптимизации.

---

Это на

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