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