Intel Fortran开启ipo时FTAE误消有效数组导致变量清零如何解决？

• 该问题属于Intel Fortran Compiler 2021.3版本启用-ipo（过程间优化）时的已知优化bug：临时数组消除（FTAE）模块的数组生命周期判定逻辑错误。当代码出现f2 = f1这类整数组连续赋值时，编译器会错误判定赋值源数组（第一种写法中的f1）后续不会被独立使用，直接将其标记为临时数组执行消除操作，没有实际写入arr*sqrt(vol)的计算结果，最终访问时拿到未初始化的0值。
• 仅链式整数组赋值场景会触发该bug，当给f1和f2分别单独计算arr*sqrt(vol)时，两个数组都会被标记为后续需独立使用，不会触发误消除，因此结果正常。
• 该bug仅存在于ifort 2021.x早期版本，2021.4.0及后续版本已修复FTAE的判定逻辑。

• 针对该子例程单独关闭FTAE优化：在子例程开头添加编译指令!DEC$ OPTIMIZE: NOFTAE，子例程结束前添加!DEC$ END OPTIMIZE，不需要降低全局编译优化等级，对性能无影响。
• 临时快速绕过：采用测试正常的写法，给f1和f2分别单独赋值arr*sqrt(vol)，避免连续的整数组赋值传播。
• 全局关闭FTAE优化：编译时添加参数-no-ftae，直接关闭临时数组消除优化，该优化对整体程序性能影响极小，不会带来明显的性能损失。
• 升级编译器：将ifort版本升级到2021.4.0及以上，从根源修复该bug。

• 涉及整数组赋值、且赋值源数组后续会被独立使用的场景，尽量避免写链式整数组赋值，必要时给每个独立使用的数组单独赋值，仅在确认赋值源不再使用的场景下用链式赋值简化代码。
• 启用-ipo优化的测试版本，编译时添加-check uninit参数，可自动检测未初始化的内存访问，提前发现这类优化误判导致的异常。
• 定期更新编译器补丁版本，Intel Fortran的小版本更新会修复大量类似的优化逻辑误判问题。

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