pdherbemont wrote: > > > > One question I have is whether there will be follow-up work for other > > > > thread safety attributes (`acquire_capability`, > > > > `try_acquire_capability`, etc)? > > > > > > > > > They already work fine in C so far. But if you are aware of some issues > > > don't hesitate to let me know! > > > > > > Ah, sorry, of course I picked examples that appertain to functions rather > > than fields. But some of the other thread safety attributes have the same > > problem as `guarded_by`: https://godbolt.org/z/hWTMxzrns > > Oh yes – maybe it makes sense to fix them in this commit. Let me try to look > into that quickly.
Seems like it's an easy change for `acquired_after` and `acquired_before`! Added support & a test. https://github.com/llvm/llvm-project/pull/94216 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
