cpp/language/attributes/carries dependency

Indicates that dependency chain in release-consume std propagates in and out of the function, which allows the compiler to skip unnecessary memory fence instructions.

Explanation
This attribute may appear in two situations:

@1@ it may apply to the parameter declarations of a function or lambda-expressions, in which case it indicates that initialization of the parameter carries dependency into lvalue-to-rvalue conversion of that object. @2@ It may apply to the function declaration as a whole, in which case it indicates that the return value carries dependency to the evaluation of the function call expression.

This attribute must appear on the first declaration of a function or one of its parameters in any translation unit. If it is not used on the first declaration of a function or one of its parameters in another translation unit, the program is ill-formed; no diagnostic required.