LLVM编译器是否会移除Swift中不可达if分支内的代码？

前提：所有结论基于未设置DEBUG编译标识的环境。

问题1：编译后的二进制文件中是否会保留字符串"abc123"，还是会被编译器直接移除？ #

分两种编译场景：

• 开启LLVM优化（默认Release构建配置）：编译器会识别到isDebug计算属性恒返回false，if isDebug包裹的分支属于死代码，会被完全消除，"abc123"不会保留在最终二进制中。
• 关闭LLVM优化（默认Debug构建配置，即使未设置DEBUG标识）：编译器不会执行死代码消除逻辑，"abc123"会残留在二进制文件中。

问题2：该写法的安全性是否与直接使用编译宏的写法完全一致？ #

二者安全性不完全一致，直接使用#if DEBUG编译宏的写法安全性更高，原因如下：

• 直接使用#if DEBUG包裹代码时，只要未定义DEBUG标识，被包裹的代码段根本不会进入编译流程，无论是否开启编译优化，"abc123"都绝对不会出现在二进制中，无敏感信息泄露风险。
• 用isDebug计算属性的写法依赖编译器的死代码消除优化，只有优化生效时才会移除敏感内容。如果出现人为关闭优化、特殊编译配置、编译器版本bug等情况，敏感字符串就可能残留在二进制中，存在安全隐患。

内容的提问来源于stack exchange，提问作者Patrick