| Other |
|---|
| tbdUnresolved |
|
Blocks :
|
|
|
Relates :
|
In C1, the experimental flag AlwaysAtomicAccesses treats accesses to all fields as if they were volatile fields. This is correct but excessive: we only need single-copy atomicity to satisfyAlwaysAtomicAccesses.
|