| package ssa_test |
| |
| import ( |
| cmddwarf "cmd/internal/dwarf" |
| "debug/dwarf" |
| "debug/elf" |
| "debug/macho" |
| "debug/pe" |
| "fmt" |
| "internal/testenv" |
| "internal/xcoff" |
| "io" |
| "os" |
| "runtime" |
| "sort" |
| "testing" |
| ) |
| |
| func open(path string) (*dwarf.Data, error) { |
| if fh, err := elf.Open(path); err == nil { |
| return fh.DWARF() |
| } |
| |
| if fh, err := pe.Open(path); err == nil { |
| return fh.DWARF() |
| } |
| |
| if fh, err := macho.Open(path); err == nil { |
| return fh.DWARF() |
| } |
| |
| if fh, err := xcoff.Open(path); err == nil { |
| return fh.DWARF() |
| } |
| |
| return nil, fmt.Errorf("unrecognized executable format") |
| } |
| |
| func must(err error) { |
| if err != nil { |
| panic(err) |
| } |
| } |
| |
| type Line struct { |
| File string |
| Line int |
| } |
| |
| func TestStmtLines(t *testing.T) { |
| if runtime.GOOS == "plan9" { |
| t.Skip("skipping on plan9; no DWARF symbol table in executables") |
| } |
| |
| if runtime.GOOS == "aix" { |
| extld := os.Getenv("CC") |
| if extld == "" { |
| extld = "gcc" |
| } |
| enabled, err := cmddwarf.IsDWARFEnabledOnAIXLd(extld) |
| if err != nil { |
| t.Fatal(err) |
| } |
| if !enabled { |
| t.Skip("skipping on aix: no DWARF with ld version < 7.2.2 ") |
| } |
| } |
| |
| lines := map[Line]bool{} |
| dw, err := open(testenv.GoToolPath(t)) |
| must(err) |
| rdr := dw.Reader() |
| rdr.Seek(0) |
| for { |
| e, err := rdr.Next() |
| must(err) |
| if e == nil { |
| break |
| } |
| if e.Tag != dwarf.TagCompileUnit { |
| continue |
| } |
| pkgname, _ := e.Val(dwarf.AttrName).(string) |
| if pkgname == "runtime" { |
| continue |
| } |
| if e.Val(dwarf.AttrStmtList) == nil { |
| continue |
| } |
| lrdr, err := dw.LineReader(e) |
| must(err) |
| |
| var le dwarf.LineEntry |
| |
| for { |
| err := lrdr.Next(&le) |
| if err == io.EOF { |
| break |
| } |
| must(err) |
| fl := Line{le.File.Name, le.Line} |
| lines[fl] = lines[fl] || le.IsStmt |
| } |
| } |
| |
| nonStmtLines := []Line{} |
| for line, isstmt := range lines { |
| if !isstmt { |
| nonStmtLines = append(nonStmtLines, line) |
| } |
| } |
| |
| if runtime.GOARCH == "amd64" { |
| if len(nonStmtLines)*100 > len(lines) { // > 99% obtained on amd64, no backsliding |
| t.Errorf("Saw too many (amd64, > 1%%) lines without statement marks, total=%d, nostmt=%d ('-run TestStmtLines -v' lists failing lines)\n", len(lines), len(nonStmtLines)) |
| } |
| } else if len(nonStmtLines)*100 > 2*len(lines) { // expect 98% elsewhere. |
| t.Errorf("Saw too many (not amd64, > 2%%) lines without statement marks, total=%d, nostmt=%d ('-run TestStmtLines -v' lists failing lines)\n", len(lines), len(nonStmtLines)) |
| } |
| t.Logf("Saw %d out of %d lines without statement marks", len(nonStmtLines), len(lines)) |
| if testing.Verbose() { |
| sort.Slice(nonStmtLines, func(i, j int) bool { |
| if nonStmtLines[i].File != nonStmtLines[j].File { |
| return nonStmtLines[i].File < nonStmtLines[j].File |
| } |
| return nonStmtLines[i].Line < nonStmtLines[j].Line |
| }) |
| for _, l := range nonStmtLines { |
| t.Logf("%s:%d has no DWARF is_stmt mark\n", l.File, l.Line) |
| } |
| } |
| t.Logf("total=%d, nostmt=%d\n", len(lines), len(nonStmtLines)) |
| } |