# DF-0085 — REPRODUCED (source-only)

## Build
```sh
sh build.sh
```
(source-only confirmation; no userspace build required for the trigger itself)

## Run
```sh
sh run.sh
```

## Expected
none (drain incompleteness) on the unfixed kernel; after applying `fix.diff` the cited defect is closed.
This finding was verified by source-tracing `sys/kern/subr_gtaskqueue.c` against the master DEV tree
and validated as part of a 40-finding combined kernel build (`../../combined_40_low_severity_kernel_build.log`).

## Mechanism
taskqgroup_drain_all iterates for(i=0;i<ncpus;i++) instead of i<tqg_cnt. tqg_queue[MAXCPU] so no OOB (ncpus<=MAXCPU) but if taskqgroup created with cnt>ncpus (:783 no upper bound) drain misses queues [ncpus,cnt) → tasks remain pending after drain.