tools

Commit Graph

Author	SHA1	Message	Date
Alan Donovan	0b534359c5	go.tools/pointer: summaries for more intrinsics. All have been audited to ensure that they have NoEffect on aliasing. Also: clarify the requirements for NoEffect to explicitly disclaim trivial loads/stores. R=crawshaw CC=golang-dev https://golang.org/cl/13314045	2013-09-10 14:40:37 -04:00
Alan Donovan	713699d8ad	go.tools: add copyright messages to source files. R=r CC=golang-dev https://golang.org/cl/13305043	2013-08-27 18:49:13 -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

0b534359c5

go.tools/pointer: summaries for more intrinsics.

All have been audited to ensure that they have NoEffect on
aliasing.  Also: clarify the requirements for NoEffect to
explicitly disclaim trivial loads/stores.

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

2013-09-10 14:40:37 -04:00

Alan Donovan

713699d8ad

go.tools: add copyright messages to source files.

R=r
CC=golang-dev
https://golang.org/cl/13305043

2013-08-27 18:49:13 -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

3 Commits