[clang] Add check in SemaChecking for multiple unsequenced volatile accesses (PR #180955)
Aaron Ballman via cfe-commits
cfe-commits at lists.llvm.org
Tue Mar 24 07:11:08 PDT 2026
================
----------------
AaronBallman wrote:
I'd also like to see some additional tests like:
```
volatile int v1, v2;
x = v1 + v2; // Okay, accessing different values
volatile int *pv1 = v1, *pv2 = v1; // Pointing to same volatile object
x = *pv1 + *pv2; // unsequenced, but might be a FIXME if we're not tracking pointer ownership
```
https://github.com/llvm/llvm-project/pull/180955
More information about the cfe-commits
mailing list