>> И домашним заданием: задать себе вопрос, как функция попадает в граф зависимостей?
> Потому что его дергает чужая/стандартная непомеченная функция?

В ваш код тайком кто-то дописывает функции? 😕
> В случае библиотеки/модуля
> ядра так вообще много точек входа - лес зависимостей. Весь лес
> пометить, а если функция включенная чужая непомеченная?

В ядре, внезапно, не применяют стандартную библиотеку, т.е. там по любому нужна будет своя реализация. Ее можно сделать однострочником с атрибутом compile_error("куда лезешь!")
macro_rules! compile_error {
        ($msg:expr $(,)?) => {{ /* compiler built-in */ }};
    }
И ничего не надо будет помечать.

А, так-то ядро, внезапно, тоже паникует:
https://en.wikipedia.org/wiki/Kernel_panic

> Самое главное, языковая паника никуда не делась. И костыли позволяют только точечно
> убрать, точнее, только детектировать вызов паники.

О да, "костыли" позволяют детектировать игнорирование обработки ошибок, UB и прочче - и это плохо! Лучше ведь годами тихо портить файлы!