Show precise rejected function when attaching fexit/fmod_ret to __noreturn 
functions.
Add log for attaching tracing programs to functions in deny list.
Add selftest for attaching tracing programs to functions in deny list.

changes:
v2:
- change verifier log message (Alexei)
- add missing Suggested-by

v1:
 https://lore.kernel.org/all/20250710162717.3808020-1-mannkafai@gmail.com/
 
---
KaFai Wan (3):
  bpf: Show precise rejected function when attaching fexit/fmod_ret to
    __noreturn functions
  bpf: Add log for attaching tracing programs to functions in deny list
  selftests/bpf: Add selftest for attaching tracing programs to
    functions in deny list

 kernel/bpf/verifier.c                             |  5 ++++-
 .../selftests/bpf/prog_tests/tracing_deny.c       | 11 +++++++++++
 .../testing/selftests/bpf/progs/fexit_noreturns.c |  2 +-
 tools/testing/selftests/bpf/progs/tracing_deny.c  | 15 +++++++++++++++
 4 files changed, 31 insertions(+), 2 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/prog_tests/tracing_deny.c
 create mode 100644 tools/testing/selftests/bpf/progs/tracing_deny.c

-- 
2.43.0