C++ attribute: carries_dependency (since C++11) (removed in C++26)

#include <atomic>
#include <iostream>
void print(int* val)
{
    std::cout << *val << std::endl;
}
void print2(int* val [[carries_dependency]])
{
    std::cout << *val << std::endl;
}
int main()
{
    int x{42};
    std::atomic<int*> p = &x;
    int* local = p.load(std::memory_order_consume);
    if (local)
    {
        // Зависимость явная, поэтому компилятор знает, что local разыменовывается,
        // и что он должен обеспечить сохранение цепочки зависимостей
        // во избежание установки барьера (на некоторых архитектурах).
        std::cout << *local << std::endl;
    }
    if (local)
    {
        // Определение функции print является непрозрачным (предполагая, что она не встраивается),
        // поэтому компилятор должен установить барьер, чтобы гарантировать,
        // что чтение *p в функции print возвращает корректное значение.
        print(local);
    }
    if (local)
    {
        // Компилятор может предположить, что хотя print2 также непрозрачна,
        // зависимость от параметра к разыменованному значению сохраняется
        // в потоке инструкций, и установка барьера не требуется (на некоторых архитектурах).
        // Очевидно, определение print2 должно действительно сохранять эту зависимость,
        // поэтому атрибут также повлияет на генерируемый код для print2.
        print2(local);
    }
}