有没有办法告诉编译器某些函数的返回值不会改变？

Question

我使用库 libA，而后者又使用库 libB。 现在，libB 有一个“当前 macguffin”的线程本地索引。 其他线程（除非它们开始写入内存中的任意位置）无法更改当前线程的“当前 macguffin”。 现在，libA 不知道你在调用它的函数之间没有改变当前的 macguffin，所以当你编译一个 libA function 时，你会得到类似的东西：

 callq  123 <libB::get_current_macguffin()+0x12>
 # other stuff here

在 object 文件中。 如果您进行了许多libA调用并且不更改当前的 macguffin - 您最终会进行许多libB::get_current_macguffin()调用，而您不应该这样做。

现在，有没有办法告诉编译器（或 linker 做 LTO）：

1. 某某 function 是纯的/没有需要通过调用来重现的副作用。
2. 连续调用纯 function（可能对其参数类型有限制）的返回值，具有相同的 arguments，不能返回不同的值，除非在其间调用一组其他函数中的一个？ （在我们的例子中， libB::set_current_macguffin(macguffin_t new_macguffin) ）

...以某种方式使其放弃后续调用并缓存结果？

笔记：

• libA和libB已经编译，我无法重新编译它们。 但是 - libA 的一些代码可能是 header 中的内联函数； 或者编译器本身可能会复制 libA 代码以避免调用。
• 我将这个问题标记为“C++”，尽管它对任何编译语言都有效，真的。