2.8.5 does_not_write_global_data

#pragma does_not_write_global_data (funcname [, funcname])

该 pragma 断言指定列表的例程不直接或间接写全局数据。允许对调用这些例程的代码进行更好的优化。具体来讲，赋值语句或存储可以围绕这样的调用移动。

必须在该 pragma 之前使用原型或空参数列表声明指定的函数。如果全局访问的断言不为真，那么程序的行为就是未定义的。