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 theseqcount latch users, but who knows what other code is out there....