22 Jun
2023
22 Jun
'23
7:33 a.m.
On Tue Jun 20 11:10:02 2023 +0000, Jinoh Kang wrote:
In that case, wouldn't it suffice for `*(x)` to be volatile?
Maybe, but I think having the volatile variable makes it consistent with the "everything done inside these blocks is volatile" assertion.