Carries_dependency is a C++11 Generalized Attribute that can be applied to function parameters and the function return value. Applied to a function parameter, it tells the compiler that a data dependency may be carried into the function through that parameter. Applied to the return value, it tells the compiler that the function return value carries a data dependency out of the function. This might allow the compiler to drop memory fences otherwise needed.
