[LTP] [PATCH v13 0/4] futex: Add error coverage tests for wait, wake and cmp_requeue

Michael Menasherov mmenashe@redhat.com
Tue May 26 23:49:23 CEST 2026


Improve error handling coverage for futex syscalls by adding tests
for missing error conditions that were previously untested.

futex_wait06 verifies EFAULT is returned when uaddr or timeout
points to unmapped memory.

futex_wait07 verifies EINTR is returned when futex_wait() is
interrupted by a signal.

futex_wake05 verifies EFAULT is returned when uaddr points to
unmapped or PROT_NONE memory.

futex_cmp_requeue03 verifies EFAULT is returned when uaddr or
uaddr2 points to unmapped or inaccessible (PROT_NONE) memory.

v13:
 - Each runtest/syscalls entry is now in its own patch, not all in
   patch 1/4, so each patch is self-contained and bisect-safe
 - futex_wake05: add missing blank line between system and local includes
 - futex_cmp_requeue03: fix comment — get_futex_key() validates both
   addresses before the *uaddr == val check, not after

Michael Menasherov (4):
  futex_wait06: Add EFAULT error coverage test
  futex_wait07: Add EINTR error coverage test
  futex_wake05: Add EFAULT error coverage test
  futex_cmp_requeue03: Add EFAULT error coverage test

 runtest/syscalls                              |  4 +
 testcases/kernel/syscalls/futex/.gitignore    |  4 +
 .../syscalls/futex/futex_cmp_requeue03.c      | 99 +++++++++++++++++++
 .../kernel/syscalls/futex/futex_wait06.c      | 75 ++++++++++++++
 .../kernel/syscalls/futex/futex_wait07.c      | 89 +++++++++++++++++
 .../kernel/syscalls/futex/futex_wake05.c      | 89 +++++++++++++++++
 6 files changed, 360 insertions(+)
 create mode 100644 testcases/kernel/syscalls/futex/futex_cmp_requeue03.c
 create mode 100644 testcases/kernel/syscalls/futex/futex_wait06.c
 create mode 100644 testcases/kernel/syscalls/futex/futex_wait07.c
 create mode 100644 testcases/kernel/syscalls/futex/futex_wake05.c

-- 
2.54.0



More information about the ltp mailing list