############################################################################
# DF-4780 build.log — module builds on the guest (baseline INVARIANTS variant shown;
# trigger patchcpu.ko and fixed corecstat.ko build identically, -Werror clean)
############################################################################
# 1) trigger helper
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/pc/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 patchcpu.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o patchcpu.ko patchcpu.o
-rw-r--r--  1 root  wheel  3072 Sep 23 16:16 /tmp/pc/patchcpu.ko

# 2) corecstat, INVARIANTS variant (pristine source + "#define INVARIANTS 1" line 1)
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/ccsi/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 corecstat.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o corecstat.ko corecstat.o
-rw-r--r--  1 root  wheel  11840 Sep 23 16:17 /tmp/ccsi/corecstat.ko
grep -c assertion /tmp/ccsi/corecstat.ko  ->  1        (KKASSERT panic string present)

# 3) FIXED variant (same INVARIANTS define + fix.diff transformation)
cc  ... (same flags)  -c corecstat.c
cc -Wl,--build-id=sha1 -nostdlib -Wl,--hash-style=sysv   -r -Wl,-d -o corecstat.ko corecstat.o
-rw-r--r--  1 root  wheel  11536 Sep 23 16:20 /tmp/ccsf/corecstat.ko
grep -c "failed in" /tmp/ccsf/corecstat.ko -> 0
  (assert dead-code-eliminated: compiler-proven unreachable after the fix;
   control string "not available" still present: grep -c -> 1)