tools

Commit Graph

Author	SHA1	Message	Date
Alan Donovan	8bb20b8231	go.tools/pointer: more reflection. Support for: (reflect.rtype).Field (reflect.rtype).FieldByName reflect.MakeSlice runtime.SetFinalizer Details: - analysis locates ssa.Functions for (reflect.Value).Call and runtime.SetFinalizer during startup to that it can special-case them during genCall. ('Call' is forthcoming.) - The callsite.targets mechanism is only used for dynamic calls now. For static calls we call callEdge during constraint generation; this is a minor optimisation. - Static calls to SetFinalizer are inlined so that the call appears to go direct to the finalizer. (We'll use the same trick for (reflect.Value).Call.) - runtime.FuncForPC: treat as a no-op. - Fixed pointer_test to properly deal with expectations that are multi-sets. - Inlined rtypeMethodByNameConstraint.addMethod. - More tests. R=crawshaw CC=golang-dev https://golang.org/cl/14682045	2013-10-17 09:26:44 -04:00
Alan Donovan	6643abb26c	go.tools/pointer: inclusion-based pointer analysis for Go. Suggested reading order: - doc.go - api.go, analysis.go, callgraph.go, labels.go - print.go, util.go - gen.go - solve.go - pointer_test.go, testdata/* - intrinsics.go (none are implemented yet) R=dannyb, gri, crawshaw, 0xjnml CC=golang-dev https://golang.org/cl/10618043	2013-08-22 12:27:55 -04:00

Author

SHA1

Message

Date

Alan Donovan

8bb20b8231

go.tools/pointer: more reflection.

Support for:
        (*reflect.rtype).Field
        (*reflect.rtype).FieldByName
        reflect.MakeSlice
        runtime.SetFinalizer

Details:
- analysis locates ssa.Functions for (reflect.Value).Call
  and runtime.SetFinalizer during startup to that it can
  special-case them during genCall.  ('Call' is forthcoming.)
- The callsite.targets mechanism is only used for dynamic
  calls now.  For static calls we call callEdge during constraint
  generation; this is a minor optimisation.
- Static calls to SetFinalizer are inlined so that the call
  appears to go direct to the finalizer.  (We'll use the same
  trick for (reflect.Value).Call.)
- runtime.FuncForPC: treat as a no-op.
- Fixed pointer_test to properly deal with expectations
  that are multi-sets.
- Inlined rtypeMethodByNameConstraint.addMethod.
- More tests.

R=crawshaw
CC=golang-dev
https://golang.org/cl/14682045

2013-10-17 09:26:44 -04:00

Alan Donovan

6643abb26c

go.tools/pointer: inclusion-based pointer analysis for Go.

Suggested reading order:
- doc.go
- api.go, analysis.go, callgraph.go, labels.go
- print.go, util.go
- gen.go
- solve.go
- pointer_test.go, testdata/*
- intrinsics.go (none are implemented yet)

R=dannyb, gri, crawshaw, 0xjnml
CC=golang-dev
https://golang.org/cl/10618043

2013-08-22 12:27:55 -04:00

2 Commits