On 05/07/2017 00:03, Marc-André Lureau wrote:
> +typedef int TAA_ROLE coroutine_role;
> +extern coroutine_role _coroutine_fn;
> +
> +static inline void co_role_acquire(coroutine_role R) TAA_ACQUIRE(R) 
> TAA_NO_ANALYSYS {}
> +static inline void co_role_release(coroutine_role R) TAA_RELEASE(R) 
> TAA_NO_ANALYSYS {}

Is the argument necessary, or could it be simply TAA_ACQUIRE(_coroutine_fn)?

Paolo

Reply via email to