The Checked C clang implementation is not typechecking returnb ounds expressions for function pointer types. The following two methods compile without errors: void fn121(int (*fnptr)(void) : count(5)) ...