9.1.1.11 添加 PRAGMA ASSUME 断言

在源代码的关键点处添加 ASSUME 指令，可以揭示用其他方法无法确定的重要程序信息，从而有助于指导编译器的优化策略。例如，可以告诉编译器 DO 循环的行程计数始终大于某个值，或某一 IF 分支很可能不会被执行。基于这些断言，编译器可以使用该信息生成更佳的代码。

作为一项附加的好处，通过启用运行时断言结果为假时的警告消息发布，程序员可以使用 ASSUME 编译指示来验证程序的执行。

有关详细信息，参见《Fortran 用户指南》第 2 章中的 ASSUME 编译指示介绍以及该手册第 3 章中的 -xassume_control 编译器命令行选项。