Checking each function that starts a goroutine and accepts a pointer using an analysis very much like loopclosure, exchanging range-loop variables for pointer arguments. This would tell us if the pointer argument is actually referred to inside the goroutine.
This could be a stepping-stone along the way to #28; and would be helpful even without it.
Checking each function that starts a goroutine and accepts a pointer using an analysis very much like loopclosure, exchanging range-loop variables for pointer arguments. This would tell us if the pointer argument is actually referred to inside the goroutine.
This could be a stepping-stone along the way to #28; and would be helpful even without it.