DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
cc 8.3 [DragonFly] Release/2019-02-22
Copyright (C) 2018 Free Software Foundation, Inc.
Sat Oct 10 14:12:14 UTC 2026
T1 ffs full-domain: 4294967296 cases, 0 mismatches (kernel ffs.c body vs __builtin_ffs == live cpufunc.h inline)
T2 ffsl: 50002088 cases, 0 mismatches (vs __builtin_ffsl)
T3a 1-char full domain done: 65536 cases so far, 0 sign-mismatch, 0 exact-mismatch
T3b 2-char boundary alphabet done: 1114112 cases so far, 0 sign-mismatch, 0 exact-mismatch
T3c 200M random pairs done: 201114112 cases so far, 0 sign-mismatch, 0 exact-mismatch
T3d identical-4K + empty: 201114116 total cases, 0 sign-mismatch, 0 exact-mismatch
T4-G1 NUL-at-edge equal: kernel=0 libc=0 (expect 0, no fault) OK
T4-G2 mismatch-at-edge: kernel=-1 libc=-1 (expect -1, no fault: *(s2-1) re-read strcmp.c:47 stays in bounds) OK
T4-G3 kernel non-terminated to edge: SIGSEGV-OK (expect SIGSEGV=11 from the guard page: unbounded NUL-walk contract strcmp.c:44-46)
T4-G3 libc   non-terminated to edge: SIGSEGV-OK (expect SIGSEGV=11 from the guard page: unbounded NUL-walk contract strcmp.c:44-46)
T4-G4 kernel non-terminated to edge: SIGSEGV-OK (expect SIGSEGV=11 from the guard page: unbounded NUL-walk contract strcmp.c:44-46)
T4-G4 libc   non-terminated to edge: SIGSEGV-OK (expect SIGSEGV=11 from the guard page: unbounded NUL-walk contract strcmp.c:44-46)
T4-G3/G4 note: base[0..pg-1]='K' with NO NUL anywhere; walk must fault exactly at guard base 0x800475000
T5 ffs guard-page: N/A -- ffs.c:39-47 is pure register arithmetic (no pointer parameters, no dereference, verified by inspection; differential T1 covers its full input space)
HARNESS-PASS
       22.68 real        22.67 user         0.00 sys
rc=0
Sat Oct 10 14:12:37 UTC 2026