1 ===== /tmp/build.log Warning: Object directory not changed from original /tmp/df5141 dragonfly -> /usr/src/sys machine_base -> /usr/src/sys/platform/pc64 machine -> /usr/src/sys/platform/pc64/include cpu_base -> /usr/src/sys/cpu/x86_64 cpu -> /usr/src/sys/cpu/x86_64/include creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/alignbytes.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asm.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asm_mjgmacros.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/asmacros.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/atomic.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/bus_dma.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpu.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpufunc.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cpumask.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/cputypes.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/db_machdep.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/elf.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/endian.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/exec.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/frame.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/ieeefp.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/int_const.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/int_limits.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/inttypes.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/limits.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/lwbuf.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/npx.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/param.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/pat.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/pmap.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/profile.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/psl.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/reg.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/reloc.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/segments.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/setjmp.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/sigframe.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/signal.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/specialreg.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/stdarg.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/stdint.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/sysarch.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/tls.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/trap.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/tss.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/types.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/ucontext.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/vframe.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/wchar.h creating machine/ forwarding header /tmp/df5141/forwarder_x86_64/include/machine/wchar_limits.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/aio.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/errno.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/fcntl.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/linker_set.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/poll.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/syslog.h creating sys/ forwarding header /tmp/df5141/forwarder_x86_64/include/ucontext.h awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/pci/pci_if.m cc -O2 -pipe -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wpointer-arith -Wcast-qual -Wold-style-definition -Wmissing-include-dirs -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc -I. -Idragonfly -I/tmp/df5141/forwarder_x86_64/include -Idragonfly/../include -I/usr/include -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline -c df5141.c cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv -r -Wl,-d -o df5141.ko df5141.o ===== /tmp/fix_poc_build.log Warning: Object directory not changed from original /tmp/df5141f dragonfly -> /usr/src/sys machine_base -> /usr/src/sys/platform/pc64 machine -> /usr/src/sys/platform/pc64/include cpu_base -> /usr/src/sys/cpu/x86_64 cpu -> /usr/src/sys/cpu/x86_64/include creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/alignbytes.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asm.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asm_mjgmacros.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/asmacros.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/atomic.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/bus_dma.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpu.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpufunc.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cpumask.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/cputypes.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/db_machdep.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/elf.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/endian.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/exec.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/frame.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/ieeefp.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/int_const.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/int_limits.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/inttypes.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/limits.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/lwbuf.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/npx.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/param.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/pat.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/pmap.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/profile.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/psl.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/reg.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/reloc.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/segments.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/setjmp.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/sigframe.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/signal.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/specialreg.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/stdarg.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/stdint.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/sysarch.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/tls.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/trap.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/tss.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/types.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/ucontext.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/vframe.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/wchar.h creating machine/ forwarding header /tmp/df5141f/forwarder_x86_64/include/machine/wchar_limits.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/aio.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/errno.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/fcntl.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/linker_set.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/poll.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/syslog.h creating sys/ forwarding header /tmp/df5141f/forwarder_x86_64/include/ucontext.h awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/pci/pci_if.m cc -O2 -pipe -D_KERNEL -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wpointer-arith -Wcast-qual -Wold-style-definition -Wmissing-include-dirs -Wno-pointer-sign -Winit-self -Wundef -Wno-unused-but-set-variable -std=gnu11 -Werror -DKLD_MODULE -nostdinc -I. -Idragonfly -I/tmp/df5141f/forwarder_x86_64/include -Idragonfly/../include -I/usr/include -Wold-style-declaration -fno-common -ffreestanding -fno-stack-protector -fno-strict-aliasing -fno-strict-overflow -fno-asynchronous-unwind-tables -fno-omit-frame-pointer -mcmodel=kernel -mno-red-zone -mno-mmx -mno-sse -msoft-float -mno-fp-ret-in-387 -mindirect-branch=thunk-inline -c df5141_fixed.c cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv -r -Wl,-d -o df5141f.ko df5141_fixed.o ===== /tmp/env.txt DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #1: Wed Sep 30 07:26:18 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 7 ===== dmesg DF5141F DF5141F: softc=0xfffff8008dd19700 enq2=0xfffff800897a5000 (sz=128) dmat=0xfffff8008bbd64a0 DF5141F: mlx_free #1 (only) (mlx.c:453 path) ... DF5141F: mlx_free #1 (only) returned (clean teardown, as designed) DF5141F: v1=0xfffff800897a5000 owns the freed block: YES DF5141F: (fixed caller) second mlx_free SKIPPED DF5141F: v2=0xfffff800897a5080 v3=0xfffff800897a5100 DF5141F: RESULT=CLEAN M-bM^@M^T no double free, no aliasing: patched error path is safe DF5141F: unload (test objects intentionally leaked)