On Thu, Apr 05, 2018 at 10:35:22AM -0400, Alan Stern wrote:> In this example, READ_ONCE() is in fact a volatile access, so we're > okay.But our documentation clearly states a control-dep can only be from aREAD_ONCE() (or something stronger), right? So we should be goodirrespectively.