Skip to content

Add support for using GCC/Clang __atomic_* builtins

These builtins are the more recent replacement for _sync* atomic builtins. Use of these builtins is required when targetting CHERI-enabled architectures such as CHERI-RISC-V or Arm's Morello since the compiler does not support _sync* atomic for pointer types (they only work with integers).

Merge request reports