some deletions

[dotfiles/.git] / .config / coc / extensions / coc-go-data / tools / pkg / mod / golang.org / x / tools@v0.0.0-20201028153306-37f0764111ff / go / pointer / TODO

diff --git a/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/go/pointer/TODO b/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/go/pointer/TODO
deleted file mode 100644 (file)
index f95e706..0000000
--- a/.config/coc/extensions/coc-go-data/tools/pkg/mod/golang.org/x/tools@v0.0.0-20201028153306-37f0764111ff/go/pointer/TODO
+++ /dev/null
@@ -1,33 +0,0 @@
--*- text -*-
-
-Pointer analysis to-do list
-===========================
-
-CONSTRAINT GENERATION:
-- support reflection:
-  - a couple of operators are missing
-  - reflect.Values may contain lvalues (CanAddr)
-- implement native intrinsics.  These vary by platform.
-- add to pts(a.panic) a label representing all runtime panics, e.g.
-  runtime.{TypeAssertionError,errorString,errorCString}.
-
-OPTIMISATIONS
-- pre-solver: 
-  pointer equivalence: extend HVN to HRU
-  location equivalence
-- solver: HCD, LCD.
-- experiment with map+slice worklist in lieu of bitset.
-  It may have faster insert.
-
-MISC:
-- Test on all platforms.  
-  Currently we assume these go/build tags: linux, amd64, !cgo.
-
-MAINTAINABILITY
-- Think about ways to make debugging this code easier.  PTA logs
-  routinely exceed a million lines and require training to read.
-
-BUGS: 
-- There's a crash bug in stdlib_test + reflection, rVCallConstraint.
-
-