On Sat, Sep 03, 2022 at 01:41:34PM +0200, Paul Heidekrüger wrote: > On 3. Sep 2022, at 03:27, Alan Stern <stern@xxxxxxxxxxxxxxxxxxx> wrote: > > > On Fri, Sep 02, 2022 at 09:13:40PM +0000, Paul Heidekrüger wrote: > >> +Finally, a read event X and another memory access event Y are linked by > >> +a control dependency if Y syntactically lies within an arm of an if > >> +statement and X affects the evaluation of the if condition via a data or > >> +address dependency (or similarly for a switch statement). Simple > >> +example: > >> > >> int x, y; > > Hang on, shouldn't this read "a write event" instead of "another memory > access event"? Control dependencies only provide ordering from READ_ONCE to > WRITE_ONCE, not from READ_ONCE to (READ | WRITE)_ONCE? > > Or am I missing something? Whoops, you're right. Somehow I missed that. Go ahead and change it; you can keep by S-O-B. Alan
