3 Pointer analysis to-do list
4 ===========================
8 - a couple of operators are missing
9 - reflect.Values may contain lvalues (CanAddr)
10 - implement native intrinsics. These vary by platform.
11 - add to pts(a.panic) a label representing all runtime panics, e.g.
12 runtime.{TypeAssertionError,errorString,errorCString}.
16 pointer equivalence: extend HVN to HRU
19 - experiment with map+slice worklist in lieu of bitset.
20 It may have faster insert.
23 - Test on all platforms.
24 Currently we assume these go/build tags: linux, amd64, !cgo.
27 - Think about ways to make debugging this code easier. PTA logs
28 routinely exceed a million lines and require training to read.
31 - There's a crash bug in stdlib_test + reflection, rVCallConstraint.