https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105898
--- Comment #3 from Tim Lange <tlange at gcc dot gnu.org> --- This checker is nearly finished, but is blocked by: https://gcc.gnu.org/pipermail/gcc/2022-July/239213.html tl;dr: the current draft of the C standard does include new examples of how the restrict keyword should be handled and states that two restrict-qualified parameters are allowed to alias if they are never written in the body. Neither my checker nor Wrestrict does check that at the moment. We yet have to decide how to proceed with this checker.
