Hi ----- Original Message ----- > 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)?
Yes, it can be simplified. thanks for the suggestion