| commit | 012ffaac754543eed1d4f4f5de786626f31d5c36 | [log] [tgz] |
|---|---|---|
| author | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | Mon Jul 12 14:57:49 2021 +0100 |
| committer | Alex Richardson <Alexander.Richardson@cl.cam.ac.uk> | Tue Jul 20 09:32:52 2021 +0100 |
| tree | 5d0afa517297fa2aef474a55cff6379b81c2e0cc | |
| parent | ab4761ff8718ce252b4f625a979e0430658a8330 [diff] |
Add support for C11 stdatomic atomics This fixes deprecation warnings when building for macOS >= 10.12 systems. Additionally, using stdatomic.h (or the more modern __atomic_ builtins) is required when targeting CHERI-enabled architectures such as CHERI-RISC-V or Arm's Morello since the compiler rejects __sync_* atomic for pointer types (they only work with integers).