2015-04-30 14:37:43 -07:00
|
|
|
// Copyright 2013 The Go Authors. All rights reserved.
|
|
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
|
|
|
|
|
package main
|
|
|
|
|
|
|
|
|
|
import (
|
|
|
|
|
"bytes"
|
|
|
|
|
"flag"
|
|
|
|
|
"fmt"
|
|
|
|
|
"go/ast"
|
|
|
|
|
"go/parser"
|
|
|
|
|
"go/token"
|
|
|
|
|
"io"
|
|
|
|
|
"log"
|
|
|
|
|
"os"
|
|
|
|
|
"sort"
|
2017-10-05 15:37:13 -04:00
|
|
|
|
2017-11-09 23:39:12 -05:00
|
|
|
"cmd/internal/edit"
|
2017-10-05 15:37:13 -04:00
|
|
|
"cmd/internal/objabi"
|
2015-04-30 14:37:43 -07:00
|
|
|
)
|
|
|
|
|
|
|
|
|
|
const usageMessage = "" +
|
|
|
|
|
`Usage of 'go tool cover':
|
|
|
|
|
Given a coverage profile produced by 'go test':
|
|
|
|
|
go test -coverprofile=c.out
|
|
|
|
|
|
|
|
|
|
Open a web browser displaying annotated source code:
|
|
|
|
|
go tool cover -html=c.out
|
|
|
|
|
|
|
|
|
|
Write out an HTML file instead of launching a web browser:
|
|
|
|
|
go tool cover -html=c.out -o coverage.html
|
|
|
|
|
|
|
|
|
|
Display coverage percentages to stdout for each function:
|
|
|
|
|
go tool cover -func=c.out
|
|
|
|
|
|
|
|
|
|
Finally, to generate modified source code with coverage annotations
|
|
|
|
|
(what go test -cover does):
|
|
|
|
|
go tool cover -mode=set -var=CoverageVariableName program.go
|
|
|
|
|
`
|
|
|
|
|
|
|
|
|
|
func usage() {
|
2021-11-03 16:31:11 -07:00
|
|
|
fmt.Fprint(os.Stderr, usageMessage)
|
|
|
|
|
fmt.Fprintln(os.Stderr, "\nFlags:")
|
2015-04-30 14:37:43 -07:00
|
|
|
flag.PrintDefaults()
|
|
|
|
|
fmt.Fprintln(os.Stderr, "\n Only one of -html, -func, or -mode may be set.")
|
|
|
|
|
os.Exit(2)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
var (
|
|
|
|
|
mode = flag.String("mode", "", "coverage mode: set, count, atomic")
|
|
|
|
|
varVar = flag.String("var", "GoCover", "name of coverage variable to generate")
|
|
|
|
|
output = flag.String("o", "", "file for output; default: stdout")
|
|
|
|
|
htmlOut = flag.String("html", "", "generate HTML representation of coverage profile")
|
|
|
|
|
funcOut = flag.String("func", "", "output coverage profile information for each function")
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
var profile string // The profile to read; the value of -html or -func
|
|
|
|
|
|
2017-11-09 23:39:12 -05:00
|
|
|
var counterStmt func(*File, string) string
|
2015-04-30 14:37:43 -07:00
|
|
|
|
|
|
|
|
const (
|
|
|
|
|
atomicPackagePath = "sync/atomic"
|
|
|
|
|
atomicPackageName = "_cover_atomic_"
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
func main() {
|
2017-10-05 15:37:13 -04:00
|
|
|
objabi.AddVersionFlag()
|
2015-04-30 14:37:43 -07:00
|
|
|
flag.Usage = usage
|
|
|
|
|
flag.Parse()
|
|
|
|
|
|
|
|
|
|
// Usage information when no arguments.
|
|
|
|
|
if flag.NFlag() == 0 && flag.NArg() == 0 {
|
|
|
|
|
flag.Usage()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
err := parseFlags()
|
|
|
|
|
if err != nil {
|
|
|
|
|
fmt.Fprintln(os.Stderr, err)
|
|
|
|
|
fmt.Fprintln(os.Stderr, `For usage information, run "go tool cover -help"`)
|
|
|
|
|
os.Exit(2)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Generate coverage-annotated source.
|
|
|
|
|
if *mode != "" {
|
|
|
|
|
annotate(flag.Arg(0))
|
|
|
|
|
return
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Output HTML or function coverage information.
|
|
|
|
|
if *htmlOut != "" {
|
|
|
|
|
err = htmlOutput(profile, *output)
|
|
|
|
|
} else {
|
|
|
|
|
err = funcOutput(profile, *output)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if err != nil {
|
|
|
|
|
fmt.Fprintf(os.Stderr, "cover: %v\n", err)
|
|
|
|
|
os.Exit(2)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// parseFlags sets the profile and counterStmt globals and performs validations.
|
|
|
|
|
func parseFlags() error {
|
|
|
|
|
profile = *htmlOut
|
|
|
|
|
if *funcOut != "" {
|
|
|
|
|
if profile != "" {
|
|
|
|
|
return fmt.Errorf("too many options")
|
|
|
|
|
}
|
|
|
|
|
profile = *funcOut
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Must either display a profile or rewrite Go source.
|
|
|
|
|
if (profile == "") == (*mode == "") {
|
|
|
|
|
return fmt.Errorf("too many options")
|
|
|
|
|
}
|
|
|
|
|
|
go/token: add IsIdentifier, IsKeyword, and IsExported
Telling whether a string is a valid Go identifier can seem like an easy
task, but it's easy to forget about the edge cases. For example, some
implementations out there forget that an empty string or keywords like
"func" aren't valid identifiers.
Add a simple implementation with proper Unicode support, and start using
it in cmd/cover and cmd/doc. Other pieces of the standard library
reimplement part of this logic, but don't use a "func(string) bool"
signature, so we're leaving them untouched for now.
Add some tests too, to ensure that we actually got these edge cases
correctly.
Since telling whether a string is a valid identifier requires knowing
that it's not a valid keyword, add IsKeyword too. The internal map was
already accessible via Lookup, but "Lookup(str) != IDENT" isn't as easy
to understand as IsKeyword(str). And, as per Josh's suggestion, we could
have IsKeyword (and probably Lookup too) use a perfect hash function
instead of a global map.
Finally, for consistency with these new functions, add IsExported. That
makes go/ast.IsExported a bit redundant, so perhaps it can be deprecated
in favor of go/token.IsExported in the future. Clarify that
token.IsExported doesn't imply token.IsIdentifier, to avoid ambiguity.
Fixes #30064.
Change-Id: I0e0e49215fd7e47b603ebc2b5a44086c51ba57f7
Reviewed-on: https://go-review.googlesource.com/c/go/+/169018
Run-TryBot: Daniel Martà <mvdan@mvdan.cc>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
Reviewed-by: Alan Donovan <adonovan@google.com>
2019-03-23 16:20:35 +00:00
|
|
|
if *varVar != "" && !token.IsIdentifier(*varVar) {
|
2018-12-10 19:35:01 -08:00
|
|
|
return fmt.Errorf("-var: %q is not a valid identifier", *varVar)
|
2018-06-21 18:01:01 +01:00
|
|
|
}
|
|
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
if *mode != "" {
|
|
|
|
|
switch *mode {
|
|
|
|
|
case "set":
|
|
|
|
|
counterStmt = setCounterStmt
|
|
|
|
|
case "count":
|
|
|
|
|
counterStmt = incCounterStmt
|
|
|
|
|
case "atomic":
|
|
|
|
|
counterStmt = atomicCounterStmt
|
|
|
|
|
default:
|
|
|
|
|
return fmt.Errorf("unknown -mode %v", *mode)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if flag.NArg() == 0 {
|
|
|
|
|
return fmt.Errorf("missing source file")
|
|
|
|
|
} else if flag.NArg() == 1 {
|
|
|
|
|
return nil
|
|
|
|
|
}
|
|
|
|
|
} else if flag.NArg() == 0 {
|
|
|
|
|
return nil
|
|
|
|
|
}
|
|
|
|
|
return fmt.Errorf("too many arguments")
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Block represents the information about a basic block to be recorded in the analysis.
|
|
|
|
|
// Note: Our definition of basic block is based on control structures; we don't break
|
|
|
|
|
// apart && and ||. We could but it doesn't seem important enough to bother.
|
|
|
|
|
type Block struct {
|
|
|
|
|
startByte token.Pos
|
|
|
|
|
endByte token.Pos
|
|
|
|
|
numStmt int
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// File is a wrapper for the state of a file used in the parser.
|
|
|
|
|
// The basic parse tree walker is a method of this type.
|
|
|
|
|
type File struct {
|
2017-11-09 23:39:12 -05:00
|
|
|
fset *token.FileSet
|
|
|
|
|
name string // Name of file.
|
|
|
|
|
astFile *ast.File
|
|
|
|
|
blocks []Block
|
|
|
|
|
content []byte
|
|
|
|
|
edit *edit.Buffer
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// findText finds text in the original source, starting at pos.
|
|
|
|
|
// It correctly skips over comments and assumes it need not
|
|
|
|
|
// handle quoted strings.
|
|
|
|
|
// It returns a byte offset within f.src.
|
|
|
|
|
func (f *File) findText(pos token.Pos, text string) int {
|
|
|
|
|
b := []byte(text)
|
|
|
|
|
start := f.offset(pos)
|
|
|
|
|
i := start
|
|
|
|
|
s := f.content
|
|
|
|
|
for i < len(s) {
|
|
|
|
|
if bytes.HasPrefix(s[i:], b) {
|
|
|
|
|
return i
|
|
|
|
|
}
|
|
|
|
|
if i+2 <= len(s) && s[i] == '/' && s[i+1] == '/' {
|
|
|
|
|
for i < len(s) && s[i] != '\n' {
|
|
|
|
|
i++
|
|
|
|
|
}
|
|
|
|
|
continue
|
|
|
|
|
}
|
|
|
|
|
if i+2 <= len(s) && s[i] == '/' && s[i+1] == '*' {
|
|
|
|
|
for i += 2; ; i++ {
|
|
|
|
|
if i+2 > len(s) {
|
|
|
|
|
return 0
|
|
|
|
|
}
|
|
|
|
|
if s[i] == '*' && s[i+1] == '/' {
|
|
|
|
|
i += 2
|
|
|
|
|
break
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
continue
|
|
|
|
|
}
|
|
|
|
|
i++
|
|
|
|
|
}
|
|
|
|
|
return -1
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Visit implements the ast.Visitor interface.
|
|
|
|
|
func (f *File) Visit(node ast.Node) ast.Visitor {
|
|
|
|
|
switch n := node.(type) {
|
|
|
|
|
case *ast.BlockStmt:
|
|
|
|
|
// If it's a switch or select, the body is a list of case clauses; don't tag the block itself.
|
|
|
|
|
if len(n.List) > 0 {
|
|
|
|
|
switch n.List[0].(type) {
|
|
|
|
|
case *ast.CaseClause: // switch
|
|
|
|
|
for _, n := range n.List {
|
|
|
|
|
clause := n.(*ast.CaseClause)
|
2017-11-09 23:39:12 -05:00
|
|
|
f.addCounters(clause.Colon+1, clause.Colon+1, clause.End(), clause.Body, false)
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
return f
|
|
|
|
|
case *ast.CommClause: // select
|
|
|
|
|
for _, n := range n.List {
|
|
|
|
|
clause := n.(*ast.CommClause)
|
2017-11-09 23:39:12 -05:00
|
|
|
f.addCounters(clause.Colon+1, clause.Colon+1, clause.End(), clause.Body, false)
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
return f
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-11-09 23:39:12 -05:00
|
|
|
f.addCounters(n.Lbrace, n.Lbrace+1, n.Rbrace+1, n.List, true) // +1 to step past closing brace.
|
2015-04-30 14:37:43 -07:00
|
|
|
case *ast.IfStmt:
|
2016-02-20 23:23:01 -03:00
|
|
|
if n.Init != nil {
|
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
|
}
|
|
|
|
|
ast.Walk(f, n.Cond)
|
2015-04-30 14:37:43 -07:00
|
|
|
ast.Walk(f, n.Body)
|
|
|
|
|
if n.Else == nil {
|
|
|
|
|
return nil
|
|
|
|
|
}
|
|
|
|
|
// The elses are special, because if we have
|
|
|
|
|
// if x {
|
|
|
|
|
// } else if y {
|
|
|
|
|
// }
|
|
|
|
|
// we want to cover the "if y". To do this, we need a place to drop the counter,
|
|
|
|
|
// so we add a hidden block:
|
|
|
|
|
// if x {
|
|
|
|
|
// } else {
|
|
|
|
|
// if y {
|
|
|
|
|
// }
|
|
|
|
|
// }
|
2017-11-09 23:39:12 -05:00
|
|
|
elseOffset := f.findText(n.Body.End(), "else")
|
|
|
|
|
if elseOffset < 0 {
|
|
|
|
|
panic("lost else")
|
|
|
|
|
}
|
2018-03-06 07:57:19 -08:00
|
|
|
f.edit.Insert(elseOffset+4, "{")
|
2017-11-09 23:39:12 -05:00
|
|
|
f.edit.Insert(f.offset(n.Else.End()), "}")
|
2018-03-06 07:57:19 -08:00
|
|
|
|
|
|
|
|
// We just created a block, now walk it.
|
|
|
|
|
// Adjust the position of the new block to start after
|
|
|
|
|
// the "else". That will cause it to follow the "{"
|
|
|
|
|
// we inserted above.
|
|
|
|
|
pos := f.fset.File(n.Body.End()).Pos(elseOffset + 4)
|
2015-04-30 14:37:43 -07:00
|
|
|
switch stmt := n.Else.(type) {
|
|
|
|
|
case *ast.IfStmt:
|
|
|
|
|
block := &ast.BlockStmt{
|
2018-03-06 07:57:19 -08:00
|
|
|
Lbrace: pos,
|
2015-04-30 14:37:43 -07:00
|
|
|
List: []ast.Stmt{stmt},
|
|
|
|
|
Rbrace: stmt.End(),
|
|
|
|
|
}
|
|
|
|
|
n.Else = block
|
|
|
|
|
case *ast.BlockStmt:
|
2018-03-06 07:57:19 -08:00
|
|
|
stmt.Lbrace = pos
|
2015-04-30 14:37:43 -07:00
|
|
|
default:
|
|
|
|
|
panic("unexpected node type in if")
|
|
|
|
|
}
|
|
|
|
|
ast.Walk(f, n.Else)
|
|
|
|
|
return nil
|
|
|
|
|
case *ast.SelectStmt:
|
|
|
|
|
// Don't annotate an empty select - creates a syntax error.
|
|
|
|
|
if n.Body == nil || len(n.Body.List) == 0 {
|
|
|
|
|
return nil
|
|
|
|
|
}
|
|
|
|
|
case *ast.SwitchStmt:
|
|
|
|
|
// Don't annotate an empty switch - creates a syntax error.
|
|
|
|
|
if n.Body == nil || len(n.Body.List) == 0 {
|
2016-02-20 23:23:01 -03:00
|
|
|
if n.Init != nil {
|
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
|
}
|
|
|
|
|
if n.Tag != nil {
|
|
|
|
|
ast.Walk(f, n.Tag)
|
|
|
|
|
}
|
2015-04-30 14:37:43 -07:00
|
|
|
return nil
|
|
|
|
|
}
|
|
|
|
|
case *ast.TypeSwitchStmt:
|
|
|
|
|
// Don't annotate an empty type switch - creates a syntax error.
|
|
|
|
|
if n.Body == nil || len(n.Body.List) == 0 {
|
2016-02-20 23:23:01 -03:00
|
|
|
if n.Init != nil {
|
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
|
}
|
|
|
|
|
ast.Walk(f, n.Assign)
|
2015-04-30 14:37:43 -07:00
|
|
|
return nil
|
|
|
|
|
}
|
2020-03-11 17:02:50 -07:00
|
|
|
case *ast.FuncDecl:
|
|
|
|
|
// Don't annotate functions with blank names - they cannot be executed.
|
|
|
|
|
if n.Name.Name == "_" {
|
|
|
|
|
return nil
|
|
|
|
|
}
|
2017-10-10 14:41:57 -04:00
|
|
|
}
|
|
|
|
|
return f
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
func annotate(name string) {
|
|
|
|
|
fset := token.NewFileSet()
|
2020-10-29 14:17:47 -04:00
|
|
|
content, err := os.ReadFile(name)
|
2015-04-30 14:37:43 -07:00
|
|
|
if err != nil {
|
|
|
|
|
log.Fatalf("cover: %s: %s", name, err)
|
|
|
|
|
}
|
|
|
|
|
parsedFile, err := parser.ParseFile(fset, name, content, parser.ParseComments)
|
|
|
|
|
if err != nil {
|
|
|
|
|
log.Fatalf("cover: %s: %s", name, err)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
file := &File{
|
2017-10-10 14:41:57 -04:00
|
|
|
fset: fset,
|
|
|
|
|
name: name,
|
2017-11-09 23:39:12 -05:00
|
|
|
content: content,
|
|
|
|
|
edit: edit.NewBuffer(content),
|
2017-10-10 14:41:57 -04:00
|
|
|
astFile: parsedFile,
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
if *mode == "atomic" {
|
2017-11-09 23:39:12 -05:00
|
|
|
// Add import of sync/atomic immediately after package clause.
|
|
|
|
|
// We do this even if there is an existing import, because the
|
|
|
|
|
// existing import may be shadowed at any given place we want
|
|
|
|
|
// to refer to it, and our name (_cover_atomic_) is less likely to
|
|
|
|
|
// be shadowed.
|
|
|
|
|
file.edit.Insert(file.offset(file.astFile.Name.End()),
|
|
|
|
|
fmt.Sprintf("; import %s %q", atomicPackageName, atomicPackagePath))
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
2016-12-18 19:25:37 -08:00
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
ast.Walk(file, file.astFile)
|
2017-11-09 23:39:12 -05:00
|
|
|
newContent := file.edit.Bytes()
|
|
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
fd := os.Stdout
|
|
|
|
|
if *output != "" {
|
|
|
|
|
var err error
|
|
|
|
|
fd, err = os.Create(*output)
|
|
|
|
|
if err != nil {
|
|
|
|
|
log.Fatalf("cover: %s", err)
|
|
|
|
|
}
|
|
|
|
|
}
|
2016-12-18 19:25:37 -08:00
|
|
|
|
2017-11-09 23:55:15 -05:00
|
|
|
fmt.Fprintf(fd, "//line %s:1\n", name)
|
2017-11-09 23:39:12 -05:00
|
|
|
fd.Write(newContent)
|
|
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
// After printing the source tree, add some declarations for the counters etc.
|
|
|
|
|
// We could do this by adding to the tree, but it's easier just to print the text.
|
|
|
|
|
file.addVariables(fd)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// setCounterStmt returns the expression: __count[23] = 1.
|
2017-11-09 23:39:12 -05:00
|
|
|
func setCounterStmt(f *File, counter string) string {
|
|
|
|
|
return fmt.Sprintf("%s = 1", counter)
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// incCounterStmt returns the expression: __count[23]++.
|
2017-11-09 23:39:12 -05:00
|
|
|
func incCounterStmt(f *File, counter string) string {
|
|
|
|
|
return fmt.Sprintf("%s++", counter)
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// atomicCounterStmt returns the expression: atomic.AddUint32(&__count[23], 1)
|
2017-11-09 23:39:12 -05:00
|
|
|
func atomicCounterStmt(f *File, counter string) string {
|
|
|
|
|
return fmt.Sprintf("%s.AddUint32(&%s, 1)", atomicPackageName, counter)
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// newCounter creates a new counter expression of the appropriate form.
|
2017-11-09 23:39:12 -05:00
|
|
|
func (f *File) newCounter(start, end token.Pos, numStmt int) string {
|
|
|
|
|
stmt := counterStmt(f, fmt.Sprintf("%s.Count[%d]", *varVar, len(f.blocks)))
|
2015-04-30 14:37:43 -07:00
|
|
|
f.blocks = append(f.blocks, Block{start, end, numStmt})
|
|
|
|
|
return stmt
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// addCounters takes a list of statements and adds counters to the beginning of
|
|
|
|
|
// each basic block at the top level of that list. For instance, given
|
|
|
|
|
//
|
|
|
|
|
// S1
|
|
|
|
|
// if cond {
|
|
|
|
|
// S2
|
2022-02-03 14:12:08 -05:00
|
|
|
// }
|
2015-04-30 14:37:43 -07:00
|
|
|
// S3
|
|
|
|
|
//
|
|
|
|
|
// counters will be added before S1 and before S3. The block containing S2
|
|
|
|
|
// will be visited in a separate call.
|
|
|
|
|
// TODO: Nested simple blocks get unnecessary (but correct) counters
|
2017-11-09 23:39:12 -05:00
|
|
|
func (f *File) addCounters(pos, insertPos, blockEnd token.Pos, list []ast.Stmt, extendToClosingBrace bool) {
|
2015-04-30 14:37:43 -07:00
|
|
|
// Special case: make sure we add a counter to an empty block. Can't do this below
|
|
|
|
|
// or we will add a counter to an empty statement list after, say, a return statement.
|
|
|
|
|
if len(list) == 0 {
|
2017-11-09 23:39:12 -05:00
|
|
|
f.edit.Insert(f.offset(insertPos), f.newCounter(insertPos, blockEnd, 0)+";")
|
|
|
|
|
return
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
2019-05-31 16:58:44 +10:00
|
|
|
// Make a copy of the list, as we may mutate it and should leave the
|
|
|
|
|
// existing list intact.
|
|
|
|
|
list = append([]ast.Stmt(nil), list...)
|
2015-04-30 14:37:43 -07:00
|
|
|
// We have a block (statement list), but it may have several basic blocks due to the
|
|
|
|
|
// appearance of statements that affect the flow of control.
|
|
|
|
|
for {
|
|
|
|
|
// Find first statement that affects flow of control (break, continue, if, etc.).
|
|
|
|
|
// It will be the last statement of this basic block.
|
|
|
|
|
var last int
|
|
|
|
|
end := blockEnd
|
|
|
|
|
for last = 0; last < len(list); last++ {
|
2016-10-12 19:51:02 -07:00
|
|
|
stmt := list[last]
|
|
|
|
|
end = f.statementBoundary(stmt)
|
|
|
|
|
if f.endsBasicSourceBlock(stmt) {
|
|
|
|
|
// If it is a labeled statement, we need to place a counter between
|
|
|
|
|
// the label and its statement because it may be the target of a goto
|
|
|
|
|
// and thus start a basic block. That is, given
|
|
|
|
|
// foo: stmt
|
|
|
|
|
// we need to create
|
|
|
|
|
// foo: ; stmt
|
|
|
|
|
// and mark the label as a block-terminating statement.
|
|
|
|
|
// The result will then be
|
|
|
|
|
// foo: COUNTER[n]++; stmt
|
|
|
|
|
// However, we can't do this if the labeled statement is already
|
|
|
|
|
// a control statement, such as a labeled for.
|
|
|
|
|
if label, isLabel := stmt.(*ast.LabeledStmt); isLabel && !f.isControl(label.Stmt) {
|
|
|
|
|
newLabel := *label
|
|
|
|
|
newLabel.Stmt = &ast.EmptyStmt{
|
|
|
|
|
Semicolon: label.Stmt.Pos(),
|
|
|
|
|
Implicit: true,
|
|
|
|
|
}
|
|
|
|
|
end = label.Pos() // Previous block ends before the label.
|
|
|
|
|
list[last] = &newLabel
|
|
|
|
|
// Open a gap and drop in the old statement, now without a label.
|
|
|
|
|
list = append(list, nil)
|
|
|
|
|
copy(list[last+1:], list[last:])
|
|
|
|
|
list[last+1] = label.Stmt
|
|
|
|
|
}
|
2015-04-30 14:37:43 -07:00
|
|
|
last++
|
2016-10-12 19:51:02 -07:00
|
|
|
extendToClosingBrace = false // Block is broken up now.
|
2015-04-30 14:37:43 -07:00
|
|
|
break
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
if extendToClosingBrace {
|
|
|
|
|
end = blockEnd
|
|
|
|
|
}
|
|
|
|
|
if pos != end { // Can have no source to cover if e.g. blocks abut.
|
2017-11-09 23:39:12 -05:00
|
|
|
f.edit.Insert(f.offset(insertPos), f.newCounter(pos, end, last)+";")
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
list = list[last:]
|
|
|
|
|
if len(list) == 0 {
|
|
|
|
|
break
|
|
|
|
|
}
|
|
|
|
|
pos = list[0].Pos()
|
2017-11-09 23:39:12 -05:00
|
|
|
insertPos = pos
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// hasFuncLiteral reports the existence and position of the first func literal
|
|
|
|
|
// in the node, if any. If a func literal appears, it usually marks the termination
|
|
|
|
|
// of a basic block because the function body is itself a block.
|
|
|
|
|
// Therefore we draw a line at the start of the body of the first function literal we find.
|
|
|
|
|
// TODO: what if there's more than one? Probably doesn't matter much.
|
|
|
|
|
func hasFuncLiteral(n ast.Node) (bool, token.Pos) {
|
|
|
|
|
if n == nil {
|
|
|
|
|
return false, 0
|
|
|
|
|
}
|
|
|
|
|
var literal funcLitFinder
|
|
|
|
|
ast.Walk(&literal, n)
|
|
|
|
|
return literal.found(), token.Pos(literal)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// statementBoundary finds the location in s that terminates the current basic
|
|
|
|
|
// block in the source.
|
|
|
|
|
func (f *File) statementBoundary(s ast.Stmt) token.Pos {
|
|
|
|
|
// Control flow statements are easy.
|
|
|
|
|
switch s := s.(type) {
|
|
|
|
|
case *ast.BlockStmt:
|
|
|
|
|
// Treat blocks like basic blocks to avoid overlapping counters.
|
|
|
|
|
return s.Lbrace
|
|
|
|
|
case *ast.IfStmt:
|
|
|
|
|
found, pos := hasFuncLiteral(s.Init)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
found, pos = hasFuncLiteral(s.Cond)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
case *ast.ForStmt:
|
|
|
|
|
found, pos := hasFuncLiteral(s.Init)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
found, pos = hasFuncLiteral(s.Cond)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
found, pos = hasFuncLiteral(s.Post)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
case *ast.LabeledStmt:
|
|
|
|
|
return f.statementBoundary(s.Stmt)
|
|
|
|
|
case *ast.RangeStmt:
|
|
|
|
|
found, pos := hasFuncLiteral(s.X)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
case *ast.SwitchStmt:
|
|
|
|
|
found, pos := hasFuncLiteral(s.Init)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
found, pos = hasFuncLiteral(s.Tag)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
case *ast.SelectStmt:
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
case *ast.TypeSwitchStmt:
|
|
|
|
|
found, pos := hasFuncLiteral(s.Init)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.Body.Lbrace
|
|
|
|
|
}
|
|
|
|
|
// If not a control flow statement, it is a declaration, expression, call, etc. and it may have a function literal.
|
|
|
|
|
// If it does, that's tricky because we want to exclude the body of the function from this block.
|
|
|
|
|
// Draw a line at the start of the body of the first function literal we find.
|
|
|
|
|
// TODO: what if there's more than one? Probably doesn't matter much.
|
|
|
|
|
found, pos := hasFuncLiteral(s)
|
|
|
|
|
if found {
|
|
|
|
|
return pos
|
|
|
|
|
}
|
|
|
|
|
return s.End()
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// endsBasicSourceBlock reports whether s changes the flow of control: break, if, etc.,
|
|
|
|
|
// or if it's just problematic, for instance contains a function literal, which will complicate
|
|
|
|
|
// accounting due to the block-within-an expression.
|
|
|
|
|
func (f *File) endsBasicSourceBlock(s ast.Stmt) bool {
|
|
|
|
|
switch s := s.(type) {
|
|
|
|
|
case *ast.BlockStmt:
|
|
|
|
|
// Treat blocks like basic blocks to avoid overlapping counters.
|
|
|
|
|
return true
|
|
|
|
|
case *ast.BranchStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.ForStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.IfStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.LabeledStmt:
|
2016-10-12 19:51:02 -07:00
|
|
|
return true // A goto may branch here, starting a new basic block.
|
2015-04-30 14:37:43 -07:00
|
|
|
case *ast.RangeStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.SwitchStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.SelectStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.TypeSwitchStmt:
|
|
|
|
|
return true
|
|
|
|
|
case *ast.ExprStmt:
|
|
|
|
|
// Calls to panic change the flow.
|
|
|
|
|
// We really should verify that "panic" is the predefined function,
|
|
|
|
|
// but without type checking we can't and the likelihood of it being
|
|
|
|
|
// an actual problem is vanishingly small.
|
|
|
|
|
if call, ok := s.X.(*ast.CallExpr); ok {
|
|
|
|
|
if ident, ok := call.Fun.(*ast.Ident); ok && ident.Name == "panic" && len(call.Args) == 1 {
|
|
|
|
|
return true
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
found, _ := hasFuncLiteral(s)
|
|
|
|
|
return found
|
|
|
|
|
}
|
|
|
|
|
|
2016-10-12 19:51:02 -07:00
|
|
|
// isControl reports whether s is a control statement that, if labeled, cannot be
|
|
|
|
|
// separated from its label.
|
|
|
|
|
func (f *File) isControl(s ast.Stmt) bool {
|
|
|
|
|
switch s.(type) {
|
|
|
|
|
case *ast.ForStmt, *ast.RangeStmt, *ast.SwitchStmt, *ast.SelectStmt, *ast.TypeSwitchStmt:
|
|
|
|
|
return true
|
|
|
|
|
}
|
|
|
|
|
return false
|
|
|
|
|
}
|
|
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
// funcLitFinder implements the ast.Visitor pattern to find the location of any
|
|
|
|
|
// function literal in a subtree.
|
|
|
|
|
type funcLitFinder token.Pos
|
|
|
|
|
|
|
|
|
|
func (f *funcLitFinder) Visit(node ast.Node) (w ast.Visitor) {
|
|
|
|
|
if f.found() {
|
|
|
|
|
return nil // Prune search.
|
|
|
|
|
}
|
|
|
|
|
switch n := node.(type) {
|
|
|
|
|
case *ast.FuncLit:
|
|
|
|
|
*f = funcLitFinder(n.Body.Lbrace)
|
|
|
|
|
return nil // Prune search.
|
|
|
|
|
}
|
|
|
|
|
return f
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
func (f *funcLitFinder) found() bool {
|
|
|
|
|
return token.Pos(*f) != token.NoPos
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Sort interface for []block1; used for self-check in addVariables.
|
|
|
|
|
|
|
|
|
|
type block1 struct {
|
|
|
|
|
Block
|
|
|
|
|
index int
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
type blockSlice []block1
|
|
|
|
|
|
|
|
|
|
func (b blockSlice) Len() int { return len(b) }
|
|
|
|
|
func (b blockSlice) Less(i, j int) bool { return b[i].startByte < b[j].startByte }
|
|
|
|
|
func (b blockSlice) Swap(i, j int) { b[i], b[j] = b[j], b[i] }
|
|
|
|
|
|
|
|
|
|
// offset translates a token position into a 0-indexed byte offset.
|
|
|
|
|
func (f *File) offset(pos token.Pos) int {
|
|
|
|
|
return f.fset.Position(pos).Offset
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// addVariables adds to the end of the file the declarations to set up the counter and position variables.
|
|
|
|
|
func (f *File) addVariables(w io.Writer) {
|
|
|
|
|
// Self-check: Verify that the instrumented basic blocks are disjoint.
|
|
|
|
|
t := make([]block1, len(f.blocks))
|
|
|
|
|
for i := range f.blocks {
|
|
|
|
|
t[i].Block = f.blocks[i]
|
|
|
|
|
t[i].index = i
|
|
|
|
|
}
|
|
|
|
|
sort.Sort(blockSlice(t))
|
|
|
|
|
for i := 1; i < len(t); i++ {
|
|
|
|
|
if t[i-1].endByte > t[i].startByte {
|
|
|
|
|
fmt.Fprintf(os.Stderr, "cover: internal error: block %d overlaps block %d\n", t[i-1].index, t[i].index)
|
|
|
|
|
// Note: error message is in byte positions, not token positions.
|
|
|
|
|
fmt.Fprintf(os.Stderr, "\t%s:#%d,#%d %s:#%d,#%d\n",
|
|
|
|
|
f.name, f.offset(t[i-1].startByte), f.offset(t[i-1].endByte),
|
|
|
|
|
f.name, f.offset(t[i].startByte), f.offset(t[i].endByte))
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Declare the coverage struct as a package-level variable.
|
|
|
|
|
fmt.Fprintf(w, "\nvar %s = struct {\n", *varVar)
|
|
|
|
|
fmt.Fprintf(w, "\tCount [%d]uint32\n", len(f.blocks))
|
|
|
|
|
fmt.Fprintf(w, "\tPos [3 * %d]uint32\n", len(f.blocks))
|
|
|
|
|
fmt.Fprintf(w, "\tNumStmt [%d]uint16\n", len(f.blocks))
|
|
|
|
|
fmt.Fprintf(w, "} {\n")
|
|
|
|
|
|
|
|
|
|
// Initialize the position array field.
|
|
|
|
|
fmt.Fprintf(w, "\tPos: [3 * %d]uint32{\n", len(f.blocks))
|
|
|
|
|
|
|
|
|
|
// A nice long list of positions. Each position is encoded as follows to reduce size:
|
|
|
|
|
// - 32-bit starting line number
|
|
|
|
|
// - 32-bit ending line number
|
|
|
|
|
// - (16 bit ending column number << 16) | (16-bit starting column number).
|
|
|
|
|
for i, block := range f.blocks {
|
|
|
|
|
start := f.fset.Position(block.startByte)
|
|
|
|
|
end := f.fset.Position(block.endByte)
|
2018-12-06 20:54:35 -08:00
|
|
|
|
2019-03-12 19:10:43 -07:00
|
|
|
start, end = dedup(start, end)
|
2018-12-06 20:54:35 -08:00
|
|
|
|
2015-04-30 14:37:43 -07:00
|
|
|
fmt.Fprintf(w, "\t\t%d, %d, %#x, // [%d]\n", start.Line, end.Line, (end.Column&0xFFFF)<<16|(start.Column&0xFFFF), i)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Close the position array.
|
|
|
|
|
fmt.Fprintf(w, "\t},\n")
|
|
|
|
|
|
|
|
|
|
// Initialize the position array field.
|
|
|
|
|
fmt.Fprintf(w, "\tNumStmt: [%d]uint16{\n", len(f.blocks))
|
|
|
|
|
|
|
|
|
|
// A nice long list of statements-per-block, so we can give a conventional
|
|
|
|
|
// valuation of "percent covered". To save space, it's a 16-bit number, so we
|
|
|
|
|
// clamp it if it overflows - won't matter in practice.
|
|
|
|
|
for i, block := range f.blocks {
|
|
|
|
|
n := block.numStmt
|
|
|
|
|
if n > 1<<16-1 {
|
|
|
|
|
n = 1<<16 - 1
|
|
|
|
|
}
|
|
|
|
|
fmt.Fprintf(w, "\t\t%d, // %d\n", n, i)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Close the statements-per-block array.
|
|
|
|
|
fmt.Fprintf(w, "\t},\n")
|
|
|
|
|
|
|
|
|
|
// Close the struct initialization.
|
|
|
|
|
fmt.Fprintf(w, "}\n")
|
2017-11-09 23:39:12 -05:00
|
|
|
|
|
|
|
|
// Emit a reference to the atomic package to avoid
|
|
|
|
|
// import and not used error when there's no code in a file.
|
|
|
|
|
if *mode == "atomic" {
|
|
|
|
|
fmt.Fprintf(w, "var _ = %s.LoadUint32\n", atomicPackageName)
|
|
|
|
|
}
|
2015-04-30 14:37:43 -07:00
|
|
|
}
|
2018-06-21 18:01:01 +01:00
|
|
|
|
2019-03-12 19:10:43 -07:00
|
|
|
// It is possible for positions to repeat when there is a line
|
|
|
|
|
// directive that does not specify column information and the input
|
|
|
|
|
// has not been passed through gofmt.
|
|
|
|
|
// See issues #27530 and #30746.
|
|
|
|
|
// Tests are TestHtmlUnformatted and TestLineDup.
|
|
|
|
|
// We use a map to avoid duplicates.
|
|
|
|
|
|
|
|
|
|
// pos2 is a pair of token.Position values, used as a map key type.
|
|
|
|
|
type pos2 struct {
|
|
|
|
|
p1, p2 token.Position
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// seenPos2 tracks whether we have seen a token.Position pair.
|
|
|
|
|
var seenPos2 = make(map[pos2]bool)
|
|
|
|
|
|
|
|
|
|
// dedup takes a token.Position pair and returns a pair that does not
|
|
|
|
|
// duplicate any existing pair. The returned pair will have the Offset
|
|
|
|
|
// fields cleared.
|
|
|
|
|
func dedup(p1, p2 token.Position) (r1, r2 token.Position) {
|
|
|
|
|
key := pos2{
|
|
|
|
|
p1: p1,
|
|
|
|
|
p2: p2,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// We want to ignore the Offset fields in the map,
|
|
|
|
|
// since cover uses only file/line/column.
|
|
|
|
|
key.p1.Offset = 0
|
|
|
|
|
key.p2.Offset = 0
|
|
|
|
|
|
|
|
|
|
for seenPos2[key] {
|
|
|
|
|
key.p2.Column++
|
|
|
|
|
}
|
|
|
|
|
seenPos2[key] = true
|
|
|
|
|
|
|
|
|
|
return key.p1, key.p2
|
2018-12-06 20:54:35 -08:00
|
|
|
}
|