-fbounds-safety: Enforcing bounds safety for C
Summary
Clang's -fbounds-safety design aims to enforce bounds safety in C by attaching bounds annotations to pointers and using wide pointers to enable runtime or compile-time checks. The document describes the programming model, available annotations, default pointer behavior, ABI considerations, portability with non-supporting toolchains, and potential applications, while noting that the feature is not yet user-available and is subject to ongoing development.