2021-06-09 07:40:02 +00: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 tool
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
2021-06-24 07:22:24 +00:00
|
|
|
"path"
|
|
|
|
|
2021-06-09 07:40:02 +00:00
|
|
|
// "flag"
|
|
|
|
"fmt"
|
|
|
|
"go/ast"
|
|
|
|
"go/parser"
|
|
|
|
"go/token"
|
|
|
|
"io"
|
|
|
|
"io/ioutil"
|
|
|
|
"os"
|
|
|
|
"sort"
|
|
|
|
|
|
|
|
"github.com/qiniu/goc/v2/pkg/log" // QINIU
|
|
|
|
// "cmd/internal/edit"
|
|
|
|
// "cmd/internal/objabi"
|
|
|
|
)
|
|
|
|
|
|
|
|
// 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() {
|
|
|
|
// fmt.Fprintln(os.Stderr, usageMessage)
|
|
|
|
// fmt.Fprintln(os.Stderr, "Flags:")
|
|
|
|
// 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
|
|
|
|
|
|
|
|
var counterStmt func(*File, string) string
|
|
|
|
|
|
|
|
const (
|
|
|
|
atomicPackagePath = "sync/atomic"
|
|
|
|
atomicPackageName = "_cover_atomic_"
|
|
|
|
)
|
|
|
|
|
|
|
|
// func main() {
|
|
|
|
// objabi.AddVersionFlag()
|
|
|
|
// 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")
|
|
|
|
// }
|
|
|
|
|
|
|
|
// if *varVar != "" && !token.IsIdentifier(*varVar) {
|
|
|
|
// return fmt.Errorf("-var: %q is not a valid identifier", *varVar)
|
|
|
|
// }
|
|
|
|
|
|
|
|
// 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 {
|
2021-06-24 07:22:24 +00:00
|
|
|
fset *token.FileSet
|
|
|
|
name string // Name of file.
|
|
|
|
astFile *ast.File
|
|
|
|
blocks []Block
|
|
|
|
content []byte
|
|
|
|
edit *Buffer // QINIU
|
|
|
|
varVar string // QINIU
|
|
|
|
mode string // QINIU
|
|
|
|
importpathFileName string // QINIU, importpath + filename
|
|
|
|
random string // QINIU, random == tmp dir name
|
2021-06-09 07:40:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// 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
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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)
|
|
|
|
f.addCounters(clause.Colon+1, clause.Colon+1, clause.End(), clause.Body, false)
|
|
|
|
}
|
|
|
|
return f
|
|
|
|
case *ast.CommClause: // select
|
|
|
|
for _, n := range n.List {
|
|
|
|
clause := n.(*ast.CommClause)
|
|
|
|
f.addCounters(clause.Colon+1, clause.Colon+1, clause.End(), clause.Body, false)
|
|
|
|
}
|
|
|
|
return f
|
|
|
|
}
|
|
|
|
}
|
|
|
|
f.addCounters(n.Lbrace, n.Lbrace+1, n.Rbrace+1, n.List, true) // +1 to step past closing brace.
|
|
|
|
case *ast.IfStmt:
|
|
|
|
if n.Init != nil {
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
}
|
|
|
|
ast.Walk(f, n.Cond)
|
|
|
|
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 {
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
elseOffset := f.findText(n.Body.End(), "else")
|
|
|
|
if elseOffset < 0 {
|
|
|
|
panic("lost else")
|
|
|
|
}
|
|
|
|
f.edit.Insert(elseOffset+4, "{")
|
|
|
|
f.edit.Insert(f.offset(n.Else.End()), "}")
|
|
|
|
|
|
|
|
// 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)
|
|
|
|
switch stmt := n.Else.(type) {
|
|
|
|
case *ast.IfStmt:
|
|
|
|
block := &ast.BlockStmt{
|
|
|
|
Lbrace: pos,
|
|
|
|
List: []ast.Stmt{stmt},
|
|
|
|
Rbrace: stmt.End(),
|
|
|
|
}
|
|
|
|
n.Else = block
|
|
|
|
case *ast.BlockStmt:
|
|
|
|
stmt.Lbrace = pos
|
|
|
|
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 {
|
|
|
|
if n.Init != nil {
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
}
|
|
|
|
if n.Tag != nil {
|
|
|
|
ast.Walk(f, n.Tag)
|
|
|
|
}
|
|
|
|
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 {
|
|
|
|
if n.Init != nil {
|
|
|
|
ast.Walk(f, n.Init)
|
|
|
|
}
|
|
|
|
ast.Walk(f, n.Assign)
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return f
|
|
|
|
}
|
|
|
|
|
|
|
|
// QINIU
|
|
|
|
// Annotate do following
|
|
|
|
// 1. add cover variables into the original file
|
|
|
|
// 2. return the cover variables declarations as plain string
|
|
|
|
// original dec: func annotate(name string) {
|
2021-06-24 07:22:24 +00:00
|
|
|
func Annotate(name string, mode string, varVar string, importpathFilename string, globalCoverVarImportPath string) string {
|
2021-06-09 07:40:02 +00:00
|
|
|
// QINIU
|
|
|
|
switch mode {
|
|
|
|
case "set":
|
|
|
|
counterStmt = setCounterStmt
|
|
|
|
case "count":
|
|
|
|
counterStmt = incCounterStmt
|
|
|
|
case "atomic":
|
|
|
|
counterStmt = atomicCounterStmt
|
2021-06-24 07:22:24 +00:00
|
|
|
case "watch":
|
|
|
|
counterStmt = watchCounterStmt
|
2021-06-09 07:40:02 +00:00
|
|
|
default:
|
|
|
|
counterStmt = incCounterStmt
|
|
|
|
}
|
|
|
|
|
|
|
|
fset := token.NewFileSet()
|
|
|
|
content, err := ioutil.ReadFile(name)
|
|
|
|
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{
|
2021-06-24 07:22:24 +00:00
|
|
|
fset: fset,
|
|
|
|
name: name,
|
|
|
|
content: content,
|
|
|
|
edit: NewBuffer(content), // QINIU
|
|
|
|
astFile: parsedFile,
|
|
|
|
varVar: varVar, // QINIU
|
|
|
|
mode: mode, // QINIU
|
|
|
|
importpathFileName: importpathFilename, // QINIU
|
|
|
|
random: path.Base(globalCoverVarImportPath), // QINIU
|
2021-06-09 07:40:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ast.Walk(file, file.astFile)
|
|
|
|
newContent := file.edit.Bytes()
|
|
|
|
|
|
|
|
if bytes.Equal(content, newContent) {
|
|
|
|
log.Debugf("no cover var injected for: ", name)
|
|
|
|
} else {
|
|
|
|
// reback to the beginning
|
|
|
|
file.astFile, _ = parser.ParseFile(fset, name, content, parser.ParseComments)
|
|
|
|
file.edit = NewBuffer(newContent)
|
|
|
|
// add global cover variables import path
|
|
|
|
file.edit.Insert(file.offset(file.astFile.Name.End()),
|
|
|
|
fmt.Sprintf("; import %s %q", ".", globalCoverVarImportPath))
|
|
|
|
|
|
|
|
if mode == "atomic" {
|
|
|
|
// 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))
|
|
|
|
}
|
|
|
|
|
|
|
|
newContent = file.edit.Bytes()
|
|
|
|
}
|
|
|
|
|
|
|
|
// fd := os.Stdout
|
|
|
|
// if *output != "" {
|
|
|
|
// var err error
|
|
|
|
// fd, err = os.Create(*output)
|
|
|
|
// if err != nil {
|
|
|
|
// log.Fatalf("cover: %s", err)
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
fd, err := os.Create(name)
|
|
|
|
if err != nil {
|
|
|
|
log.Fatalf("cover: %s", err)
|
|
|
|
}
|
|
|
|
defer fd.Close()
|
|
|
|
|
|
|
|
fmt.Fprintf(fd, "//line %s:1\n", name)
|
|
|
|
_, err = fd.Write(newContent)
|
|
|
|
if err != nil {
|
|
|
|
log.Fatalf("cover: %s", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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.
|
|
|
|
|
|
|
|
// QINIU
|
|
|
|
// declarations only print to string
|
|
|
|
// we will write all declarations into a single file
|
|
|
|
declBuf := bytes.NewBufferString("")
|
|
|
|
file.addVariables(declBuf)
|
|
|
|
return declBuf.String()
|
|
|
|
}
|
|
|
|
|
|
|
|
// setCounterStmt returns the expression: __count[23] = 1.
|
|
|
|
func setCounterStmt(f *File, counter string) string {
|
|
|
|
return fmt.Sprintf("%s = 1", counter)
|
|
|
|
}
|
|
|
|
|
|
|
|
// incCounterStmt returns the expression: __count[23]++.
|
|
|
|
func incCounterStmt(f *File, counter string) string {
|
|
|
|
return fmt.Sprintf("%s++", counter)
|
|
|
|
}
|
|
|
|
|
|
|
|
// atomicCounterStmt returns the expression: atomic.AddUint32(&__count[23], 1)
|
|
|
|
func atomicCounterStmt(f *File, counter string) string {
|
|
|
|
return fmt.Sprintf("%s.AddUint32(&%s, 1)", atomicPackageName, counter)
|
|
|
|
}
|
|
|
|
|
2021-06-24 07:22:24 +00:00
|
|
|
// watchCounterStmt returns the expression: __count[23]++;UploadCoverChangeEvent(blockname, pos[:], index)
|
|
|
|
func watchCounterStmt(f *File, counter string) string {
|
|
|
|
return fmt.Sprintf("%s++; UploadCoverChangeEvent_%v(%s.BlockName, %s.Pos[:], %v)", counter, f.random, f.varVar, f.varVar, len(f.blocks))
|
|
|
|
}
|
|
|
|
|
2021-06-09 07:40:02 +00:00
|
|
|
// QINIU
|
|
|
|
// newCounter creates a new counter expression of the appropriate form.
|
|
|
|
func (f *File) newCounter(start, end token.Pos, numStmt int) string {
|
|
|
|
stmt := counterStmt(f, fmt.Sprintf("%s.Count[%d]", f.varVar, len(f.blocks)))
|
|
|
|
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
|
|
|
|
// }
|
|
|
|
// 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
|
|
|
|
func (f *File) addCounters(pos, insertPos, blockEnd token.Pos, list []ast.Stmt, extendToClosingBrace bool) {
|
|
|
|
// 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 {
|
|
|
|
f.edit.Insert(f.offset(insertPos), f.newCounter(insertPos, blockEnd, 0)+";")
|
|
|
|
return
|
|
|
|
}
|
|
|
|
// Make a copy of the list, as we may mutate it and should leave the
|
|
|
|
// existing list intact.
|
|
|
|
list = append([]ast.Stmt(nil), list...)
|
|
|
|
// 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++ {
|
|
|
|
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
|
|
|
|
}
|
|
|
|
last++
|
|
|
|
extendToClosingBrace = false // Block is broken up now.
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if extendToClosingBrace {
|
|
|
|
end = blockEnd
|
|
|
|
}
|
|
|
|
if pos != end { // Can have no source to cover if e.g. blocks abut.
|
|
|
|
f.edit.Insert(f.offset(insertPos), f.newCounter(pos, end, last)+";")
|
|
|
|
}
|
|
|
|
list = list[last:]
|
|
|
|
if len(list) == 0 {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
pos = list[0].Pos()
|
|
|
|
insertPos = pos
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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:
|
|
|
|
return true // A goto may branch here, starting a new basic block.
|
|
|
|
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
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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", f.varVar) // QINIU
|
|
|
|
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))
|
2021-06-24 07:22:24 +00:00
|
|
|
fmt.Fprintf(w, "\tBlockName string\n") // QINIU
|
2021-06-09 07:40:02 +00:00
|
|
|
fmt.Fprintf(w, "} {\n")
|
|
|
|
|
2021-06-24 07:22:24 +00:00
|
|
|
// 写入 BlockName 初始化
|
|
|
|
fmt.Fprintf(w, "\tBlockName: \"%v\",\n", f.importpathFileName)
|
|
|
|
|
2021-06-09 07:40:02 +00:00
|
|
|
// 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)
|
|
|
|
|
|
|
|
start, end = dedup(start, end)
|
|
|
|
|
|
|
|
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")
|
|
|
|
|
|
|
|
// Emit a reference to the atomic package to avoid
|
|
|
|
// import and not used error when there's no code in a file.
|
|
|
|
// if f.mode == "atomic" { // QINIU, no need to import
|
|
|
|
// fmt.Fprintf(w, "var _ = %s.LoadUint32\n", atomicPackageName)
|
|
|
|
// }
|
|
|
|
}
|
|
|
|
|
|
|
|
// 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
|
|
|
|
}
|