x/tools/go/pointer: sound models of sync/atomic Pointer[T] and Value #56918
Description
It would be nice to have sound pointer analysis models of the atomic primitives that contain pointers.
Currently the pointer analysis unsoundly ignores their use.
A failing test pointer analysis test go/pointer/testdata/atomic_value.go could be:
//go:build ignore
// +build ignore
package main
import "sync/atomic"
var g1 int
func main() {
var v atomic.Value
print(v.Load()) // @types
v.Store(&g1)
x := v.Load().(*int)
// Fails because the points-to set of x is empty.
print(x) // @pointsto command-line-arguments.g1
}