]> Cypherpunks repositories - gostls13.git/commitdiff
coverage: fix count vs emit discrepancy in coverage counter data writing
authorThan McIntosh <thanm@google.com>
Thu, 13 Apr 2023 18:27:33 +0000 (14:27 -0400)
committerThan McIntosh <thanm@google.com>
Wed, 26 Apr 2023 12:44:34 +0000 (12:44 +0000)
This patch revises the way coverage counter data writing takes place
to avoid problems where useful counter data (for user-written functions)
is skipped in favor of counter data from stdlib functions that are
executed "late in the game", during the counter writing process itself.

Reading counter values from a running "--coverpkg=all" program is an
inherently racy operation; while the the code that scans the coverage
counter segment is reading values, the program is still executing,
potentially updating those values, and updates can include execution
of previously un-executed functions. The existing counter data writing
code was using a two-pass model (initial sweep over the counter
segment to count live functions, second sweep to actually write data),
and wasn't properly accounting for the fact that the second pass could
see more functions than the first.

In the bug in question, the first pass discovered an initial set of
1240 functions, but by the time the second pass kicked in, several
additional new functions were also live. The second pass scanned the
counter segment again to write out exactly 1240 functions, but since
some of the counters for the newly executed functions were earlier in
the segment (due to linker layout quirks) than the user's selected
function, the sweep terminated before writing out counters for the
function of interest.

The fix rewrites the counter data file encoder to make a single sweep
over the counter segment instead of using a two-pass scheme.

Fixes #59563.

Change-Id: I5e908e226bb224adb90a2fb783013e52deb341da
Reviewed-on: https://go-review.googlesource.com/c/go/+/484535
Reviewed-by: Cherry Mui <cherryyz@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Than McIntosh <thanm@google.com>

src/cmd/covdata/metamerge.go
src/internal/coverage/encodecounter/encode.go
src/internal/coverage/test/counter_test.go
src/runtime/coverage/emit.go
src/runtime/coverage/emitdata_test.go
src/runtime/coverage/testdata/issue59563/repro.go [new file with mode: 0644]
src/runtime/coverage/testdata/issue59563/repro_test.go [new file with mode: 0644]

index b224984f68ebf6954d9f7dffb9d6b9ac01efff85..c5a1a73a48980c005f34128037a65496ac031aa1 100644 (file)
@@ -273,17 +273,6 @@ func (mm *metaMerge) emitCounters(outdir string, metaHash [16]byte) {
        mm.astate = &argstate{}
 }
 
-// NumFuncs is used while writing the counter data files; it
-// implements the 'NumFuncs' method required by the interface
-// internal/coverage/encodecounter/CounterVisitor.
-func (mm *metaMerge) NumFuncs() (int, error) {
-       rval := 0
-       for _, p := range mm.pkgs {
-               rval += len(p.ctab)
-       }
-       return rval, nil
-}
-
 // VisitFuncs is used while writing the counter data files; it
 // implements the 'VisitFuncs' method required by the interface
 // internal/coverage/encodecounter/CounterVisitor.
index 8db4f514e8eae98ef199fb899925664dc791255f..1ff6cb1f9afe99b4da1b6d9c92e630fe4f93f581 100644 (file)
@@ -26,7 +26,9 @@ import (
 type CoverageDataWriter struct {
        stab    *stringtab.Writer
        w       *bufio.Writer
+       csh     coverage.CounterSegmentHeader
        tmp     []byte
+       nfuncs  uint64
        cflavor coverage.CounterFlavor
        segs    uint32
        debug   bool
@@ -47,13 +49,10 @@ func NewCoverageDataWriter(w io.Writer, flav coverage.CounterFlavor) *CoverageDa
 
 // CounterVisitor describes a helper object used during counter file
 // writing; when writing counter data files, clients pass a
-// CounterVisitor to the write/emit routines. The writers will then
-// first invoke the visitor's NumFuncs() method to find out how many
-// function's worth of data to write, then it will invoke VisitFuncs.
-// The expectation is that the VisitFuncs method will then invoke the
-// callback "f" with data for each function to emit to the file.
+// CounterVisitor to the write/emit routines, then the expectation is
+// that the VisitFuncs method will then invoke the callback "f" with
+// data for each function to emit to the file.
 type CounterVisitor interface {
-       NumFuncs() (int, error)
        VisitFuncs(f CounterVisitorFn) error
 }
 
@@ -86,23 +85,35 @@ func padToFourByteBoundary(ws *slicewriter.WriteSeeker) error {
        return nil
 }
 
-func (cfw *CoverageDataWriter) writeSegmentPreamble(args map[string]string, visitor CounterVisitor) error {
-       var csh coverage.CounterSegmentHeader
-       if nf, err := visitor.NumFuncs(); err != nil {
+func (cfw *CoverageDataWriter) patchSegmentHeader(ws *slicewriter.WriteSeeker) error {
+       if _, err := ws.Seek(0, io.SeekStart); err != nil {
+               return fmt.Errorf("error seeking in patchSegmentHeader: %v", err)
+       }
+       cfw.csh.FcnEntries = cfw.nfuncs
+       cfw.nfuncs = 0
+       if cfw.debug {
+               fmt.Fprintf(os.Stderr, "=-= writing counter segment header: %+v", cfw.csh)
+       }
+       if err := binary.Write(ws, binary.LittleEndian, cfw.csh); err != nil {
                return err
-       } else {
-               csh.FcnEntries = uint64(nf)
        }
+       return nil
+}
+
+func (cfw *CoverageDataWriter) writeSegmentPreamble(args map[string]string, ws *slicewriter.WriteSeeker) error {
+       if err := binary.Write(ws, binary.LittleEndian, cfw.csh); err != nil {
+               return err
+       }
+       hdrsz := uint32(len(ws.BytesWritten()))
 
        // Write string table and args to a byte slice (since we need
        // to capture offsets at various points), then emit the slice
        // once we are done.
        cfw.stab.Freeze()
-       ws := &slicewriter.WriteSeeker{}
        if err := cfw.stab.Write(ws); err != nil {
                return err
        }
-       csh.StrTabLen = uint32(len(ws.BytesWritten()))
+       cfw.csh.StrTabLen = uint32(len(ws.BytesWritten())) - hdrsz
 
        akeys := make([]string, 0, len(args))
        for k := range args {
@@ -138,21 +149,8 @@ func (cfw *CoverageDataWriter) writeSegmentPreamble(args map[string]string, visi
        if err := padToFourByteBoundary(ws); err != nil {
                return err
        }
-       csh.ArgsLen = uint32(len(ws.BytesWritten())) - csh.StrTabLen
-
-       if cfw.debug {
-               fmt.Fprintf(os.Stderr, "=-= counter segment header: %+v", csh)
-               fmt.Fprintf(os.Stderr, " FcnEntries=0x%x StrTabLen=0x%x ArgsLen=0x%x\n",
-                       csh.FcnEntries, csh.StrTabLen, csh.ArgsLen)
-       }
+       cfw.csh.ArgsLen = uint32(len(ws.BytesWritten())) - (cfw.csh.StrTabLen + hdrsz)
 
-       // At this point we can now do the actual write.
-       if err := binary.Write(cfw.w, binary.LittleEndian, csh); err != nil {
-               return err
-       }
-       if err := cfw.writeBytes(ws.BytesWritten()); err != nil {
-               return err
-       }
        return nil
 }
 
@@ -169,10 +167,18 @@ func (cfw *CoverageDataWriter) AppendSegment(args map[string]string, visitor Cou
                cfw.stab.Lookup(v)
        }
 
-       if err = cfw.writeSegmentPreamble(args, visitor); err != nil {
+       var swws slicewriter.WriteSeeker
+       ws := &swws
+       if err = cfw.writeSegmentPreamble(args, ws); err != nil {
                return err
        }
-       if err = cfw.writeCounters(visitor); err != nil {
+       if err = cfw.writeCounters(visitor, ws); err != nil {
+               return err
+       }
+       if err = cfw.patchSegmentHeader(ws); err != nil {
+               return err
+       }
+       if err := cfw.writeBytes(ws.BytesWritten()); err != nil {
                return err
        }
        if err = cfw.writeFooter(); err != nil {
@@ -214,7 +220,7 @@ func (cfw *CoverageDataWriter) writeBytes(b []byte) error {
        return nil
 }
 
-func (cfw *CoverageDataWriter) writeCounters(visitor CounterVisitor) error {
+func (cfw *CoverageDataWriter) writeCounters(visitor CounterVisitor, ws *slicewriter.WriteSeeker) error {
        // Notes:
        // - this version writes everything little-endian, which means
        //   a call is needed to encode every value (expensive)
@@ -237,7 +243,7 @@ func (cfw *CoverageDataWriter) writeCounters(visitor CounterVisitor) error {
                } else {
                        panic("internal error: bad counter flavor")
                }
-               if sz, err := cfw.w.Write(buf); err != nil {
+               if sz, err := ws.Write(buf); err != nil {
                        return err
                } else if sz != towr {
                        return fmt.Errorf("writing counters: short write")
@@ -247,6 +253,7 @@ func (cfw *CoverageDataWriter) writeCounters(visitor CounterVisitor) error {
 
        // Write out entries for each live function.
        emitter := func(pkid uint32, funcid uint32, counters []uint32) error {
+               cfw.nfuncs++
                if err := wrval(uint32(len(counters))); err != nil {
                        return err
                }
index 3fc111ea123cdc329bb9cb9ef90b58fbd4bf1192..e29baeddc0eaf169e966ee5898ca4b9a231488ed 100644 (file)
@@ -19,10 +19,6 @@ type ctrVis struct {
        funcs []decodecounter.FuncPayload
 }
 
-func (v *ctrVis) NumFuncs() (int, error) {
-       return len(v.funcs), nil
-}
-
 func (v *ctrVis) VisitFuncs(f encodecounter.CounterVisitorFn) error {
        for _, fn := range v.funcs {
                if err := f(fn.PkgIdx, fn.FuncIdx, fn.Counters); err != nil {
index 0f77ce287b0a81dba33225e4b71c666a6d3f5684..bb0c6fb6a2fba7c580cf0a671a19a79ff07e3cb6 100644 (file)
@@ -463,52 +463,6 @@ func writeMetaData(w io.Writer, metalist []rtcov.CovMetaBlob, cmode coverage.Cou
        return mfw.Write(finalHash, blobs, cmode, gran)
 }
 
-func (s *emitState) NumFuncs() (int, error) {
-       var sd []atomic.Uint32
-       bufHdr := (*reflect.SliceHeader)(unsafe.Pointer(&sd))
-
-       totalFuncs := 0
-       for _, c := range s.counterlist {
-               bufHdr.Data = uintptr(unsafe.Pointer(c.Counters))
-               bufHdr.Len = int(c.Len)
-               bufHdr.Cap = int(c.Len)
-               for i := 0; i < len(sd); i++ {
-                       // Skip ahead until the next non-zero value.
-                       sdi := sd[i].Load()
-                       if sdi == 0 {
-                               continue
-                       }
-
-                       // We found a function that was executed.
-                       nCtrs := sdi
-
-                       // Check to make sure that we have at least one live
-                       // counter. See the implementation note in ClearCoverageCounters
-                       // for a description of why this is needed.
-                       isLive := false
-                       st := i + coverage.FirstCtrOffset
-                       counters := sd[st : st+int(nCtrs)]
-                       for i := 0; i < len(counters); i++ {
-                               if counters[i].Load() != 0 {
-                                       isLive = true
-                                       break
-                               }
-                       }
-                       if !isLive {
-                               // Skip this function.
-                               i += coverage.FirstCtrOffset + int(nCtrs) - 1
-                               continue
-                       }
-
-                       totalFuncs++
-
-                       // Move to the next function.
-                       i += coverage.FirstCtrOffset + int(nCtrs) - 1
-               }
-       }
-       return totalFuncs, nil
-}
-
 func (s *emitState) VisitFuncs(f encodecounter.CounterVisitorFn) error {
        var sd []atomic.Uint32
        var tcounters []uint32
index f6c47e998d55bbdb8845f0feaa1284f436aa5840..b0bd0e5c2136d53f46e29eec0093f55da45ece2f 100644 (file)
@@ -496,3 +496,52 @@ func TestIssue56006EmitDataRaceCoverRunningGoroutine(t *testing.T) {
                }
        }
 }
+
+func TestIssue59563TruncatedCoverPkgAll(t *testing.T) {
+       if testing.Short() {
+               t.Skipf("skipping test: too long for short mode")
+       }
+       testenv.MustHaveGoRun(t)
+
+       tmpdir := t.TempDir()
+       ppath := filepath.Join(tmpdir, "foo.cov")
+
+       cmd := exec.Command(testenv.GoToolPath(t), "test", "-coverpkg=all", "-coverprofile="+ppath)
+       cmd.Dir = filepath.Join("testdata", "issue59563")
+       b, err := cmd.CombinedOutput()
+       if err != nil {
+               t.Fatalf("go test -cover failed: %v", err)
+       }
+
+       cmd = exec.Command(testenv.GoToolPath(t), "tool", "cover", "-func="+ppath)
+       b, err = cmd.CombinedOutput()
+       if err != nil {
+               t.Fatalf("go tool cover -func failed: %v", err)
+       }
+
+       lines := strings.Split(string(b), "\n")
+       nfound := 0
+       bad := false
+       for _, line := range lines {
+               f := strings.Fields(line)
+               if len(f) == 0 {
+                       continue
+               }
+               if !strings.HasPrefix(f[0], "runtime/coverage/testdata/issue59563/repro.go") {
+                       continue
+               }
+               nfound++
+               want := "100.0%"
+               if f[len(f)-1] != want {
+                       t.Errorf("wanted %s got: %q\n", want, line)
+                       bad = true
+               }
+       }
+       if nfound != 2 {
+               t.Errorf("wanted 2 found, got %d\n", nfound)
+               bad = true
+       }
+       if bad {
+               t.Logf("func output:\n%s\n", string(b))
+       }
+}
diff --git a/src/runtime/coverage/testdata/issue59563/repro.go b/src/runtime/coverage/testdata/issue59563/repro.go
new file mode 100644 (file)
index 0000000..d054567
--- /dev/null
@@ -0,0 +1,823 @@
+// Copyright 2023 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 repro
+
+import (
+       "fmt"
+       "net/http"
+)
+
+func small() {
+       go func() {
+               fmt.Println(http.ListenAndServe("localhost:7070", nil))
+       }()
+}
+
+func large(x int) int {
+       if x == 0 {
+               x += 0
+       } else if x == 1 {
+               x += 1
+       } else if x == 2 {
+               x += 2
+       } else if x == 3 {
+               x += 3
+       } else if x == 4 {
+               x += 4
+       } else if x == 5 {
+               x += 5
+       } else if x == 6 {
+               x += 6
+       } else if x == 7 {
+               x += 7
+       } else if x == 8 {
+               x += 8
+       } else if x == 9 {
+               x += 9
+       } else if x == 10 {
+               x += 10
+       } else if x == 11 {
+               x += 11
+       } else if x == 12 {
+               x += 12
+       } else if x == 13 {
+               x += 13
+       } else if x == 14 {
+               x += 14
+       } else if x == 15 {
+               x += 15
+       } else if x == 16 {
+               x += 16
+       } else if x == 17 {
+               x += 17
+       } else if x == 18 {
+               x += 18
+       } else if x == 19 {
+               x += 19
+       } else if x == 20 {
+               x += 20
+       } else if x == 21 {
+               x += 21
+       } else if x == 22 {
+               x += 22
+       } else if x == 23 {
+               x += 23
+       } else if x == 24 {
+               x += 24
+       } else if x == 25 {
+               x += 25
+       } else if x == 26 {
+               x += 26
+       } else if x == 27 {
+               x += 27
+       } else if x == 28 {
+               x += 28
+       } else if x == 29 {
+               x += 29
+       } else if x == 30 {
+               x += 30
+       } else if x == 31 {
+               x += 31
+       } else if x == 32 {
+               x += 32
+       } else if x == 33 {
+               x += 33
+       } else if x == 34 {
+               x += 34
+       } else if x == 35 {
+               x += 35
+       } else if x == 36 {
+               x += 36
+       } else if x == 37 {
+               x += 37
+       } else if x == 38 {
+               x += 38
+       } else if x == 39 {
+               x += 39
+       } else if x == 40 {
+               x += 40
+       } else if x == 41 {
+               x += 41
+       } else if x == 42 {
+               x += 42
+       } else if x == 43 {
+               x += 43
+       } else if x == 44 {
+               x += 44
+       } else if x == 45 {
+               x += 45
+       } else if x == 46 {
+               x += 46
+       } else if x == 47 {
+               x += 47
+       } else if x == 48 {
+               x += 48
+       } else if x == 49 {
+               x += 49
+       } else if x == 50 {
+               x += 50
+       } else if x == 51 {
+               x += 51
+       } else if x == 52 {
+               x += 52
+       } else if x == 53 {
+               x += 53
+       } else if x == 54 {
+               x += 54
+       } else if x == 55 {
+               x += 55
+       } else if x == 56 {
+               x += 56
+       } else if x == 57 {
+               x += 57
+       } else if x == 58 {
+               x += 58
+       } else if x == 59 {
+               x += 59
+       } else if x == 60 {
+               x += 60
+       } else if x == 61 {
+               x += 61
+       } else if x == 62 {
+               x += 62
+       } else if x == 63 {
+               x += 63
+       } else if x == 64 {
+               x += 64
+       } else if x == 65 {
+               x += 65
+       } else if x == 66 {
+               x += 66
+       } else if x == 67 {
+               x += 67
+       } else if x == 68 {
+               x += 68
+       } else if x == 69 {
+               x += 69
+       } else if x == 70 {
+               x += 70
+       } else if x == 71 {
+               x += 71
+       } else if x == 72 {
+               x += 72
+       } else if x == 73 {
+               x += 73
+       } else if x == 74 {
+               x += 74
+       } else if x == 75 {
+               x += 75
+       } else if x == 76 {
+               x += 76
+       } else if x == 77 {
+               x += 77
+       } else if x == 78 {
+               x += 78
+       } else if x == 79 {
+               x += 79
+       } else if x == 80 {
+               x += 80
+       } else if x == 81 {
+               x += 81
+       } else if x == 82 {
+               x += 82
+       } else if x == 83 {
+               x += 83
+       } else if x == 84 {
+               x += 84
+       } else if x == 85 {
+               x += 85
+       } else if x == 86 {
+               x += 86
+       } else if x == 87 {
+               x += 87
+       } else if x == 88 {
+               x += 88
+       } else if x == 89 {
+               x += 89
+       } else if x == 90 {
+               x += 90
+       } else if x == 91 {
+               x += 91
+       } else if x == 92 {
+               x += 92
+       } else if x == 93 {
+               x += 93
+       } else if x == 94 {
+               x += 94
+       } else if x == 95 {
+               x += 95
+       } else if x == 96 {
+               x += 96
+       } else if x == 97 {
+               x += 97
+       } else if x == 98 {
+               x += 98
+       } else if x == 99 {
+               x += 99
+       } else if x == 100 {
+               x += 100
+       } else if x == 101 {
+               x += 101
+       } else if x == 102 {
+               x += 102
+       } else if x == 103 {
+               x += 103
+       } else if x == 104 {
+               x += 104
+       } else if x == 105 {
+               x += 105
+       } else if x == 106 {
+               x += 106
+       } else if x == 107 {
+               x += 107
+       } else if x == 108 {
+               x += 108
+       } else if x == 109 {
+               x += 109
+       } else if x == 110 {
+               x += 110
+       } else if x == 111 {
+               x += 111
+       } else if x == 112 {
+               x += 112
+       } else if x == 113 {
+               x += 113
+       } else if x == 114 {
+               x += 114
+       } else if x == 115 {
+               x += 115
+       } else if x == 116 {
+               x += 116
+       } else if x == 117 {
+               x += 117
+       } else if x == 118 {
+               x += 118
+       } else if x == 119 {
+               x += 119
+       } else if x == 120 {
+               x += 120
+       } else if x == 121 {
+               x += 121
+       } else if x == 122 {
+               x += 122
+       } else if x == 123 {
+               x += 123
+       } else if x == 124 {
+               x += 124
+       } else if x == 125 {
+               x += 125
+       } else if x == 126 {
+               x += 126
+       } else if x == 127 {
+               x += 127
+       } else if x == 128 {
+               x += 128
+       } else if x == 129 {
+               x += 129
+       } else if x == 130 {
+               x += 130
+       } else if x == 131 {
+               x += 131
+       } else if x == 132 {
+               x += 132
+       } else if x == 133 {
+               x += 133
+       } else if x == 134 {
+               x += 134
+       } else if x == 135 {
+               x += 135
+       } else if x == 136 {
+               x += 136
+       } else if x == 137 {
+               x += 137
+       } else if x == 138 {
+               x += 138
+       } else if x == 139 {
+               x += 139
+       } else if x == 140 {
+               x += 140
+       } else if x == 141 {
+               x += 141
+       } else if x == 142 {
+               x += 142
+       } else if x == 143 {
+               x += 143
+       } else if x == 144 {
+               x += 144
+       } else if x == 145 {
+               x += 145
+       } else if x == 146 {
+               x += 146
+       } else if x == 147 {
+               x += 147
+       } else if x == 148 {
+               x += 148
+       } else if x == 149 {
+               x += 149
+       } else if x == 150 {
+               x += 150
+       } else if x == 151 {
+               x += 151
+       } else if x == 152 {
+               x += 152
+       } else if x == 153 {
+               x += 153
+       } else if x == 154 {
+               x += 154
+       } else if x == 155 {
+               x += 155
+       } else if x == 156 {
+               x += 156
+       } else if x == 157 {
+               x += 157
+       } else if x == 158 {
+               x += 158
+       } else if x == 159 {
+               x += 159
+       } else if x == 160 {
+               x += 160
+       } else if x == 161 {
+               x += 161
+       } else if x == 162 {
+               x += 162
+       } else if x == 163 {
+               x += 163
+       } else if x == 164 {
+               x += 164
+       } else if x == 165 {
+               x += 165
+       } else if x == 166 {
+               x += 166
+       } else if x == 167 {
+               x += 167
+       } else if x == 168 {
+               x += 168
+       } else if x == 169 {
+               x += 169
+       } else if x == 170 {
+               x += 170
+       } else if x == 171 {
+               x += 171
+       } else if x == 172 {
+               x += 172
+       } else if x == 173 {
+               x += 173
+       } else if x == 174 {
+               x += 174
+       } else if x == 175 {
+               x += 175
+       } else if x == 176 {
+               x += 176
+       } else if x == 177 {
+               x += 177
+       } else if x == 178 {
+               x += 178
+       } else if x == 179 {
+               x += 179
+       } else if x == 180 {
+               x += 180
+       } else if x == 181 {
+               x += 181
+       } else if x == 182 {
+               x += 182
+       } else if x == 183 {
+               x += 183
+       } else if x == 184 {
+               x += 184
+       } else if x == 185 {
+               x += 185
+       } else if x == 186 {
+               x += 186
+       } else if x == 187 {
+               x += 187
+       } else if x == 188 {
+               x += 188
+       } else if x == 189 {
+               x += 189
+       } else if x == 190 {
+               x += 190
+       } else if x == 191 {
+               x += 191
+       } else if x == 192 {
+               x += 192
+       } else if x == 193 {
+               x += 193
+       } else if x == 194 {
+               x += 194
+       } else if x == 195 {
+               x += 195
+       } else if x == 196 {
+               x += 196
+       } else if x == 197 {
+               x += 197
+       } else if x == 198 {
+               x += 198
+       } else if x == 199 {
+               x += 199
+       } else if x == 200 {
+               x += 200
+       } else if x == 201 {
+               x += 201
+       } else if x == 202 {
+               x += 202
+       } else if x == 203 {
+               x += 203
+       } else if x == 204 {
+               x += 204
+       } else if x == 205 {
+               x += 205
+       } else if x == 206 {
+               x += 206
+       } else if x == 207 {
+               x += 207
+       } else if x == 208 {
+               x += 208
+       } else if x == 209 {
+               x += 209
+       } else if x == 210 {
+               x += 210
+       } else if x == 211 {
+               x += 211
+       } else if x == 212 {
+               x += 212
+       } else if x == 213 {
+               x += 213
+       } else if x == 214 {
+               x += 214
+       } else if x == 215 {
+               x += 215
+       } else if x == 216 {
+               x += 216
+       } else if x == 217 {
+               x += 217
+       } else if x == 218 {
+               x += 218
+       } else if x == 219 {
+               x += 219
+       } else if x == 220 {
+               x += 220
+       } else if x == 221 {
+               x += 221
+       } else if x == 222 {
+               x += 222
+       } else if x == 223 {
+               x += 223
+       } else if x == 224 {
+               x += 224
+       } else if x == 225 {
+               x += 225
+       } else if x == 226 {
+               x += 226
+       } else if x == 227 {
+               x += 227
+       } else if x == 228 {
+               x += 228
+       } else if x == 229 {
+               x += 229
+       } else if x == 230 {
+               x += 230
+       } else if x == 231 {
+               x += 231
+       } else if x == 232 {
+               x += 232
+       } else if x == 233 {
+               x += 233
+       } else if x == 234 {
+               x += 234
+       } else if x == 235 {
+               x += 235
+       } else if x == 236 {
+               x += 236
+       } else if x == 237 {
+               x += 237
+       } else if x == 238 {
+               x += 238
+       } else if x == 239 {
+               x += 239
+       } else if x == 240 {
+               x += 240
+       } else if x == 241 {
+               x += 241
+       } else if x == 242 {
+               x += 242
+       } else if x == 243 {
+               x += 243
+       } else if x == 244 {
+               x += 244
+       } else if x == 245 {
+               x += 245
+       } else if x == 246 {
+               x += 246
+       } else if x == 247 {
+               x += 247
+       } else if x == 248 {
+               x += 248
+       } else if x == 249 {
+               x += 249
+       } else if x == 250 {
+               x += 250
+       } else if x == 251 {
+               x += 251
+       } else if x == 252 {
+               x += 252
+       } else if x == 253 {
+               x += 253
+       } else if x == 254 {
+               x += 254
+       } else if x == 255 {
+               x += 255
+       } else if x == 256 {
+               x += 256
+       } else if x == 257 {
+               x += 257
+       } else if x == 258 {
+               x += 258
+       } else if x == 259 {
+               x += 259
+       } else if x == 260 {
+               x += 260
+       } else if x == 261 {
+               x += 261
+       } else if x == 262 {
+               x += 262
+       } else if x == 263 {
+               x += 263
+       } else if x == 264 {
+               x += 264
+       } else if x == 265 {
+               x += 265
+       } else if x == 266 {
+               x += 266
+       } else if x == 267 {
+               x += 267
+       } else if x == 268 {
+               x += 268
+       } else if x == 269 {
+               x += 269
+       } else if x == 270 {
+               x += 270
+       } else if x == 271 {
+               x += 271
+       } else if x == 272 {
+               x += 272
+       } else if x == 273 {
+               x += 273
+       } else if x == 274 {
+               x += 274
+       } else if x == 275 {
+               x += 275
+       } else if x == 276 {
+               x += 276
+       } else if x == 277 {
+               x += 277
+       } else if x == 278 {
+               x += 278
+       } else if x == 279 {
+               x += 279
+       } else if x == 280 {
+               x += 280
+       } else if x == 281 {
+               x += 281
+       } else if x == 282 {
+               x += 282
+       } else if x == 283 {
+               x += 283
+       } else if x == 284 {
+               x += 284
+       } else if x == 285 {
+               x += 285
+       } else if x == 286 {
+               x += 286
+       } else if x == 287 {
+               x += 287
+       } else if x == 288 {
+               x += 288
+       } else if x == 289 {
+               x += 289
+       } else if x == 290 {
+               x += 290
+       } else if x == 291 {
+               x += 291
+       } else if x == 292 {
+               x += 292
+       } else if x == 293 {
+               x += 293
+       } else if x == 294 {
+               x += 294
+       } else if x == 295 {
+               x += 295
+       } else if x == 296 {
+               x += 296
+       } else if x == 297 {
+               x += 297
+       } else if x == 298 {
+               x += 298
+       } else if x == 299 {
+               x += 299
+       } else if x == 300 {
+               x += 300
+       } else if x == 301 {
+               x += 301
+       } else if x == 302 {
+               x += 302
+       } else if x == 303 {
+               x += 303
+       } else if x == 304 {
+               x += 304
+       } else if x == 305 {
+               x += 305
+       } else if x == 306 {
+               x += 306
+       } else if x == 307 {
+               x += 307
+       } else if x == 308 {
+               x += 308
+       } else if x == 309 {
+               x += 309
+       } else if x == 310 {
+               x += 310
+       } else if x == 311 {
+               x += 311
+       } else if x == 312 {
+               x += 312
+       } else if x == 313 {
+               x += 313
+       } else if x == 314 {
+               x += 314
+       } else if x == 315 {
+               x += 315
+       } else if x == 316 {
+               x += 316
+       } else if x == 317 {
+               x += 317
+       } else if x == 318 {
+               x += 318
+       } else if x == 319 {
+               x += 319
+       } else if x == 320 {
+               x += 320
+       } else if x == 321 {
+               x += 321
+       } else if x == 322 {
+               x += 322
+       } else if x == 323 {
+               x += 323
+       } else if x == 324 {
+               x += 324
+       } else if x == 325 {
+               x += 325
+       } else if x == 326 {
+               x += 326
+       } else if x == 327 {
+               x += 327
+       } else if x == 328 {
+               x += 328
+       } else if x == 329 {
+               x += 329
+       } else if x == 330 {
+               x += 330
+       } else if x == 331 {
+               x += 331
+       } else if x == 332 {
+               x += 332
+       } else if x == 333 {
+               x += 333
+       } else if x == 334 {
+               x += 334
+       } else if x == 335 {
+               x += 335
+       } else if x == 336 {
+               x += 336
+       } else if x == 337 {
+               x += 337
+       } else if x == 338 {
+               x += 338
+       } else if x == 339 {
+               x += 339
+       } else if x == 340 {
+               x += 340
+       } else if x == 341 {
+               x += 341
+       } else if x == 342 {
+               x += 342
+       } else if x == 343 {
+               x += 343
+       } else if x == 344 {
+               x += 344
+       } else if x == 345 {
+               x += 345
+       } else if x == 346 {
+               x += 346
+       } else if x == 347 {
+               x += 347
+       } else if x == 348 {
+               x += 348
+       } else if x == 349 {
+               x += 349
+       } else if x == 350 {
+               x += 350
+       } else if x == 351 {
+               x += 351
+       } else if x == 352 {
+               x += 352
+       } else if x == 353 {
+               x += 353
+       } else if x == 354 {
+               x += 354
+       } else if x == 355 {
+               x += 355
+       } else if x == 356 {
+               x += 356
+       } else if x == 357 {
+               x += 357
+       } else if x == 358 {
+               x += 358
+       } else if x == 359 {
+               x += 359
+       } else if x == 360 {
+               x += 360
+       } else if x == 361 {
+               x += 361
+       } else if x == 362 {
+               x += 362
+       } else if x == 363 {
+               x += 363
+       } else if x == 364 {
+               x += 364
+       } else if x == 365 {
+               x += 365
+       } else if x == 366 {
+               x += 366
+       } else if x == 367 {
+               x += 367
+       } else if x == 368 {
+               x += 368
+       } else if x == 369 {
+               x += 369
+       } else if x == 370 {
+               x += 370
+       } else if x == 371 {
+               x += 371
+       } else if x == 372 {
+               x += 372
+       } else if x == 373 {
+               x += 373
+       } else if x == 374 {
+               x += 374
+       } else if x == 375 {
+               x += 375
+       } else if x == 376 {
+               x += 376
+       } else if x == 377 {
+               x += 377
+       } else if x == 378 {
+               x += 378
+       } else if x == 379 {
+               x += 379
+       } else if x == 380 {
+               x += 380
+       } else if x == 381 {
+               x += 381
+       } else if x == 382 {
+               x += 382
+       } else if x == 383 {
+               x += 383
+       } else if x == 384 {
+               x += 384
+       } else if x == 385 {
+               x += 385
+       } else if x == 386 {
+               x += 386
+       } else if x == 387 {
+               x += 387
+       } else if x == 388 {
+               x += 388
+       } else if x == 389 {
+               x += 389
+       } else if x == 390 {
+               x += 390
+       } else if x == 391 {
+               x += 391
+       } else if x == 392 {
+               x += 392
+       } else if x == 393 {
+               x += 393
+       } else if x == 394 {
+               x += 394
+       } else if x == 395 {
+               x += 395
+       } else if x == 396 {
+               x += 396
+       } else if x == 397 {
+               x += 397
+       } else if x == 398 {
+               x += 398
+       } else if x == 399 {
+               x += 399
+       } else if x == 400 {
+               x += 400
+       }
+       return x * x
+}
diff --git a/src/runtime/coverage/testdata/issue59563/repro_test.go b/src/runtime/coverage/testdata/issue59563/repro_test.go
new file mode 100644 (file)
index 0000000..15c8e01
--- /dev/null
@@ -0,0 +1,14 @@
+// Copyright 2023 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 repro
+
+import "testing"
+
+func TestSomething(t *testing.T) {
+       small()
+       for i := 0; i < 1001; i++ {
+               large(i)
+       }
+}