D began life as a re-engineered C++. (I'm sure Walter will correct me if I say any more).
There's a Safe C++ extension proposed for Clang [0].
But those are C++, not C. A little different kettle of fish.
Gnome's Vala [1] aims to be the "smoothest C off-ramp". It does compile to C, but with GObject taking control of everything.
There's CheckedC [2], which adds optional bounds checking to C, and was backed by Microsoft until recently.
There's the Linux kernel's nolibc [3], which I've enjoyed the heck out of using, but it is rather constrained.
There's C's own Annex K [4], that almost nobody has implemented, and every compiler developer hates and can poke holes in. GCC and LLVM have both repeatedly said they won't support it. (So much as easy to get them to support things...)
GCC already has a number of memory safe languages, though. Most of which, because they're part of the same compiler suite, can interact with other languages that GCC has. Like the D or Go frontends.
[0] https://discourse.llvm.org/t/rfc-a-clangir-based-safe-c/8324...
[1] https://vala.dev/
[2] https://www.checkedc.org/
[3] https://lwn.net/Articles/920158/
[4] https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1106.txt