On Wed, Jul 01, 2020 at 09:03:38AM -0700, Paul E. McKenney wrote: > But it looks like we are going to have to tell the compiler. What does the current proposal look like? I can certainly annotate the seqcount latch users, but who knows what other code is out there....