Source file src/internal/coverage/cfile/testdata/issue59563/repro.go

     1  // Copyright 2023 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package repro
     6  
     7  import (
     8  	"fmt"
     9  	"net/http"
    10  )
    11  
    12  func small() {
    13  	go func() {
    14  		fmt.Println(http.ListenAndServe("localhost:7070", nil))
    15  	}()
    16  }
    17  
    18  func large(x int) int {
    19  	if x == 0 {
    20  		x += 0
    21  	} else if x == 1 {
    22  		x += 1
    23  	} else if x == 2 {
    24  		x += 2
    25  	} else if x == 3 {
    26  		x += 3
    27  	} else if x == 4 {
    28  		x += 4
    29  	} else if x == 5 {
    30  		x += 5
    31  	} else if x == 6 {
    32  		x += 6
    33  	} else if x == 7 {
    34  		x += 7
    35  	} else if x == 8 {
    36  		x += 8
    37  	} else if x == 9 {
    38  		x += 9
    39  	} else if x == 10 {
    40  		x += 10
    41  	} else if x == 11 {
    42  		x += 11
    43  	} else if x == 12 {
    44  		x += 12
    45  	} else if x == 13 {
    46  		x += 13
    47  	} else if x == 14 {
    48  		x += 14
    49  	} else if x == 15 {
    50  		x += 15
    51  	} else if x == 16 {
    52  		x += 16
    53  	} else if x == 17 {
    54  		x += 17
    55  	} else if x == 18 {
    56  		x += 18
    57  	} else if x == 19 {
    58  		x += 19
    59  	} else if x == 20 {
    60  		x += 20
    61  	} else if x == 21 {
    62  		x += 21
    63  	} else if x == 22 {
    64  		x += 22
    65  	} else if x == 23 {
    66  		x += 23
    67  	} else if x == 24 {
    68  		x += 24
    69  	} else if x == 25 {
    70  		x += 25
    71  	} else if x == 26 {
    72  		x += 26
    73  	} else if x == 27 {
    74  		x += 27
    75  	} else if x == 28 {
    76  		x += 28
    77  	} else if x == 29 {
    78  		x += 29
    79  	} else if x == 30 {
    80  		x += 30
    81  	} else if x == 31 {
    82  		x += 31
    83  	} else if x == 32 {
    84  		x += 32
    85  	} else if x == 33 {
    86  		x += 33
    87  	} else if x == 34 {
    88  		x += 34
    89  	} else if x == 35 {
    90  		x += 35
    91  	} else if x == 36 {
    92  		x += 36
    93  	} else if x == 37 {
    94  		x += 37
    95  	} else if x == 38 {
    96  		x += 38
    97  	} else if x == 39 {
    98  		x += 39
    99  	} else if x == 40 {
   100  		x += 40
   101  	} else if x == 41 {
   102  		x += 41
   103  	} else if x == 42 {
   104  		x += 42
   105  	} else if x == 43 {
   106  		x += 43
   107  	} else if x == 44 {
   108  		x += 44
   109  	} else if x == 45 {
   110  		x += 45
   111  	} else if x == 46 {
   112  		x += 46
   113  	} else if x == 47 {
   114  		x += 47
   115  	} else if x == 48 {
   116  		x += 48
   117  	} else if x == 49 {
   118  		x += 49
   119  	} else if x == 50 {
   120  		x += 50
   121  	} else if x == 51 {
   122  		x += 51
   123  	} else if x == 52 {
   124  		x += 52
   125  	} else if x == 53 {
   126  		x += 53
   127  	} else if x == 54 {
   128  		x += 54
   129  	} else if x == 55 {
   130  		x += 55
   131  	} else if x == 56 {
   132  		x += 56
   133  	} else if x == 57 {
   134  		x += 57
   135  	} else if x == 58 {
   136  		x += 58
   137  	} else if x == 59 {
   138  		x += 59
   139  	} else if x == 60 {
   140  		x += 60
   141  	} else if x == 61 {
   142  		x += 61
   143  	} else if x == 62 {
   144  		x += 62
   145  	} else if x == 63 {
   146  		x += 63
   147  	} else if x == 64 {
   148  		x += 64
   149  	} else if x == 65 {
   150  		x += 65
   151  	} else if x == 66 {
   152  		x += 66
   153  	} else if x == 67 {
   154  		x += 67
   155  	} else if x == 68 {
   156  		x += 68
   157  	} else if x == 69 {
   158  		x += 69
   159  	} else if x == 70 {
   160  		x += 70
   161  	} else if x == 71 {
   162  		x += 71
   163  	} else if x == 72 {
   164  		x += 72
   165  	} else if x == 73 {
   166  		x += 73
   167  	} else if x == 74 {
   168  		x += 74
   169  	} else if x == 75 {
   170  		x += 75
   171  	} else if x == 76 {
   172  		x += 76
   173  	} else if x == 77 {
   174  		x += 77
   175  	} else if x == 78 {
   176  		x += 78
   177  	} else if x == 79 {
   178  		x += 79
   179  	} else if x == 80 {
   180  		x += 80
   181  	} else if x == 81 {
   182  		x += 81
   183  	} else if x == 82 {
   184  		x += 82
   185  	} else if x == 83 {
   186  		x += 83
   187  	} else if x == 84 {
   188  		x += 84
   189  	} else if x == 85 {
   190  		x += 85
   191  	} else if x == 86 {
   192  		x += 86
   193  	} else if x == 87 {
   194  		x += 87
   195  	} else if x == 88 {
   196  		x += 88
   197  	} else if x == 89 {
   198  		x += 89
   199  	} else if x == 90 {
   200  		x += 90
   201  	} else if x == 91 {
   202  		x += 91
   203  	} else if x == 92 {
   204  		x += 92
   205  	} else if x == 93 {
   206  		x += 93
   207  	} else if x == 94 {
   208  		x += 94
   209  	} else if x == 95 {
   210  		x += 95
   211  	} else if x == 96 {
   212  		x += 96
   213  	} else if x == 97 {
   214  		x += 97
   215  	} else if x == 98 {
   216  		x += 98
   217  	} else if x == 99 {
   218  		x += 99
   219  	} else if x == 100 {
   220  		x += 100
   221  	} else if x == 101 {
   222  		x += 101
   223  	} else if x == 102 {
   224  		x += 102
   225  	} else if x == 103 {
   226  		x += 103
   227  	} else if x == 104 {
   228  		x += 104
   229  	} else if x == 105 {
   230  		x += 105
   231  	} else if x == 106 {
   232  		x += 106
   233  	} else if x == 107 {
   234  		x += 107
   235  	} else if x == 108 {
   236  		x += 108
   237  	} else if x == 109 {
   238  		x += 109
   239  	} else if x == 110 {
   240  		x += 110
   241  	} else if x == 111 {
   242  		x += 111
   243  	} else if x == 112 {
   244  		x += 112
   245  	} else if x == 113 {
   246  		x += 113
   247  	} else if x == 114 {
   248  		x += 114
   249  	} else if x == 115 {
   250  		x += 115
   251  	} else if x == 116 {
   252  		x += 116
   253  	} else if x == 117 {
   254  		x += 117
   255  	} else if x == 118 {
   256  		x += 118
   257  	} else if x == 119 {
   258  		x += 119
   259  	} else if x == 120 {
   260  		x += 120
   261  	} else if x == 121 {
   262  		x += 121
   263  	} else if x == 122 {
   264  		x += 122
   265  	} else if x == 123 {
   266  		x += 123
   267  	} else if x == 124 {
   268  		x += 124
   269  	} else if x == 125 {
   270  		x += 125
   271  	} else if x == 126 {
   272  		x += 126
   273  	} else if x == 127 {
   274  		x += 127
   275  	} else if x == 128 {
   276  		x += 128
   277  	} else if x == 129 {
   278  		x += 129
   279  	} else if x == 130 {
   280  		x += 130
   281  	} else if x == 131 {
   282  		x += 131
   283  	} else if x == 132 {
   284  		x += 132
   285  	} else if x == 133 {
   286  		x += 133
   287  	} else if x == 134 {
   288  		x += 134
   289  	} else if x == 135 {
   290  		x += 135
   291  	} else if x == 136 {
   292  		x += 136
   293  	} else if x == 137 {
   294  		x += 137
   295  	} else if x == 138 {
   296  		x += 138
   297  	} else if x == 139 {
   298  		x += 139
   299  	} else if x == 140 {
   300  		x += 140
   301  	} else if x == 141 {
   302  		x += 141
   303  	} else if x == 142 {
   304  		x += 142
   305  	} else if x == 143 {
   306  		x += 143
   307  	} else if x == 144 {
   308  		x += 144
   309  	} else if x == 145 {
   310  		x += 145
   311  	} else if x == 146 {
   312  		x += 146
   313  	} else if x == 147 {
   314  		x += 147
   315  	} else if x == 148 {
   316  		x += 148
   317  	} else if x == 149 {
   318  		x += 149
   319  	} else if x == 150 {
   320  		x += 150
   321  	} else if x == 151 {
   322  		x += 151
   323  	} else if x == 152 {
   324  		x += 152
   325  	} else if x == 153 {
   326  		x += 153
   327  	} else if x == 154 {
   328  		x += 154
   329  	} else if x == 155 {
   330  		x += 155
   331  	} else if x == 156 {
   332  		x += 156
   333  	} else if x == 157 {
   334  		x += 157
   335  	} else if x == 158 {
   336  		x += 158
   337  	} else if x == 159 {
   338  		x += 159
   339  	} else if x == 160 {
   340  		x += 160
   341  	} else if x == 161 {
   342  		x += 161
   343  	} else if x == 162 {
   344  		x += 162
   345  	} else if x == 163 {
   346  		x += 163
   347  	} else if x == 164 {
   348  		x += 164
   349  	} else if x == 165 {
   350  		x += 165
   351  	} else if x == 166 {
   352  		x += 166
   353  	} else if x == 167 {
   354  		x += 167
   355  	} else if x == 168 {
   356  		x += 168
   357  	} else if x == 169 {
   358  		x += 169
   359  	} else if x == 170 {
   360  		x += 170
   361  	} else if x == 171 {
   362  		x += 171
   363  	} else if x == 172 {
   364  		x += 172
   365  	} else if x == 173 {
   366  		x += 173
   367  	} else if x == 174 {
   368  		x += 174
   369  	} else if x == 175 {
   370  		x += 175
   371  	} else if x == 176 {
   372  		x += 176
   373  	} else if x == 177 {
   374  		x += 177
   375  	} else if x == 178 {
   376  		x += 178
   377  	} else if x == 179 {
   378  		x += 179
   379  	} else if x == 180 {
   380  		x += 180
   381  	} else if x == 181 {
   382  		x += 181
   383  	} else if x == 182 {
   384  		x += 182
   385  	} else if x == 183 {
   386  		x += 183
   387  	} else if x == 184 {
   388  		x += 184
   389  	} else if x == 185 {
   390  		x += 185
   391  	} else if x == 186 {
   392  		x += 186
   393  	} else if x == 187 {
   394  		x += 187
   395  	} else if x == 188 {
   396  		x += 188
   397  	} else if x == 189 {
   398  		x += 189
   399  	} else if x == 190 {
   400  		x += 190
   401  	} else if x == 191 {
   402  		x += 191
   403  	} else if x == 192 {
   404  		x += 192
   405  	} else if x == 193 {
   406  		x += 193
   407  	} else if x == 194 {
   408  		x += 194
   409  	} else if x == 195 {
   410  		x += 195
   411  	} else if x == 196 {
   412  		x += 196
   413  	} else if x == 197 {
   414  		x += 197
   415  	} else if x == 198 {
   416  		x += 198
   417  	} else if x == 199 {
   418  		x += 199
   419  	} else if x == 200 {
   420  		x += 200
   421  	} else if x == 201 {
   422  		x += 201
   423  	} else if x == 202 {
   424  		x += 202
   425  	} else if x == 203 {
   426  		x += 203
   427  	} else if x == 204 {
   428  		x += 204
   429  	} else if x == 205 {
   430  		x += 205
   431  	} else if x == 206 {
   432  		x += 206
   433  	} else if x == 207 {
   434  		x += 207
   435  	} else if x == 208 {
   436  		x += 208
   437  	} else if x == 209 {
   438  		x += 209
   439  	} else if x == 210 {
   440  		x += 210
   441  	} else if x == 211 {
   442  		x += 211
   443  	} else if x == 212 {
   444  		x += 212
   445  	} else if x == 213 {
   446  		x += 213
   447  	} else if x == 214 {
   448  		x += 214
   449  	} else if x == 215 {
   450  		x += 215
   451  	} else if x == 216 {
   452  		x += 216
   453  	} else if x == 217 {
   454  		x += 217
   455  	} else if x == 218 {
   456  		x += 218
   457  	} else if x == 219 {
   458  		x += 219
   459  	} else if x == 220 {
   460  		x += 220
   461  	} else if x == 221 {
   462  		x += 221
   463  	} else if x == 222 {
   464  		x += 222
   465  	} else if x == 223 {
   466  		x += 223
   467  	} else if x == 224 {
   468  		x += 224
   469  	} else if x == 225 {
   470  		x += 225
   471  	} else if x == 226 {
   472  		x += 226
   473  	} else if x == 227 {
   474  		x += 227
   475  	} else if x == 228 {
   476  		x += 228
   477  	} else if x == 229 {
   478  		x += 229
   479  	} else if x == 230 {
   480  		x += 230
   481  	} else if x == 231 {
   482  		x += 231
   483  	} else if x == 232 {
   484  		x += 232
   485  	} else if x == 233 {
   486  		x += 233
   487  	} else if x == 234 {
   488  		x += 234
   489  	} else if x == 235 {
   490  		x += 235
   491  	} else if x == 236 {
   492  		x += 236
   493  	} else if x == 237 {
   494  		x += 237
   495  	} else if x == 238 {
   496  		x += 238
   497  	} else if x == 239 {
   498  		x += 239
   499  	} else if x == 240 {
   500  		x += 240
   501  	} else if x == 241 {
   502  		x += 241
   503  	} else if x == 242 {
   504  		x += 242
   505  	} else if x == 243 {
   506  		x += 243
   507  	} else if x == 244 {
   508  		x += 244
   509  	} else if x == 245 {
   510  		x += 245
   511  	} else if x == 246 {
   512  		x += 246
   513  	} else if x == 247 {
   514  		x += 247
   515  	} else if x == 248 {
   516  		x += 248
   517  	} else if x == 249 {
   518  		x += 249
   519  	} else if x == 250 {
   520  		x += 250
   521  	} else if x == 251 {
   522  		x += 251
   523  	} else if x == 252 {
   524  		x += 252
   525  	} else if x == 253 {
   526  		x += 253
   527  	} else if x == 254 {
   528  		x += 254
   529  	} else if x == 255 {
   530  		x += 255
   531  	} else if x == 256 {
   532  		x += 256
   533  	} else if x == 257 {
   534  		x += 257
   535  	} else if x == 258 {
   536  		x += 258
   537  	} else if x == 259 {
   538  		x += 259
   539  	} else if x == 260 {
   540  		x += 260
   541  	} else if x == 261 {
   542  		x += 261
   543  	} else if x == 262 {
   544  		x += 262
   545  	} else if x == 263 {
   546  		x += 263
   547  	} else if x == 264 {
   548  		x += 264
   549  	} else if x == 265 {
   550  		x += 265
   551  	} else if x == 266 {
   552  		x += 266
   553  	} else if x == 267 {
   554  		x += 267
   555  	} else if x == 268 {
   556  		x += 268
   557  	} else if x == 269 {
   558  		x += 269
   559  	} else if x == 270 {
   560  		x += 270
   561  	} else if x == 271 {
   562  		x += 271
   563  	} else if x == 272 {
   564  		x += 272
   565  	} else if x == 273 {
   566  		x += 273
   567  	} else if x == 274 {
   568  		x += 274
   569  	} else if x == 275 {
   570  		x += 275
   571  	} else if x == 276 {
   572  		x += 276
   573  	} else if x == 277 {
   574  		x += 277
   575  	} else if x == 278 {
   576  		x += 278
   577  	} else if x == 279 {
   578  		x += 279
   579  	} else if x == 280 {
   580  		x += 280
   581  	} else if x == 281 {
   582  		x += 281
   583  	} else if x == 282 {
   584  		x += 282
   585  	} else if x == 283 {
   586  		x += 283
   587  	} else if x == 284 {
   588  		x += 284
   589  	} else if x == 285 {
   590  		x += 285
   591  	} else if x == 286 {
   592  		x += 286
   593  	} else if x == 287 {
   594  		x += 287
   595  	} else if x == 288 {
   596  		x += 288
   597  	} else if x == 289 {
   598  		x += 289
   599  	} else if x == 290 {
   600  		x += 290
   601  	} else if x == 291 {
   602  		x += 291
   603  	} else if x == 292 {
   604  		x += 292
   605  	} else if x == 293 {
   606  		x += 293
   607  	} else if x == 294 {
   608  		x += 294
   609  	} else if x == 295 {
   610  		x += 295
   611  	} else if x == 296 {
   612  		x += 296
   613  	} else if x == 297 {
   614  		x += 297
   615  	} else if x == 298 {
   616  		x += 298
   617  	} else if x == 299 {
   618  		x += 299
   619  	} else if x == 300 {
   620  		x += 300
   621  	} else if x == 301 {
   622  		x += 301
   623  	} else if x == 302 {
   624  		x += 302
   625  	} else if x == 303 {
   626  		x += 303
   627  	} else if x == 304 {
   628  		x += 304
   629  	} else if x == 305 {
   630  		x += 305
   631  	} else if x == 306 {
   632  		x += 306
   633  	} else if x == 307 {
   634  		x += 307
   635  	} else if x == 308 {
   636  		x += 308
   637  	} else if x == 309 {
   638  		x += 309
   639  	} else if x == 310 {
   640  		x += 310
   641  	} else if x == 311 {
   642  		x += 311
   643  	} else if x == 312 {
   644  		x += 312
   645  	} else if x == 313 {
   646  		x += 313
   647  	} else if x == 314 {
   648  		x += 314
   649  	} else if x == 315 {
   650  		x += 315
   651  	} else if x == 316 {
   652  		x += 316
   653  	} else if x == 317 {
   654  		x += 317
   655  	} else if x == 318 {
   656  		x += 318
   657  	} else if x == 319 {
   658  		x += 319
   659  	} else if x == 320 {
   660  		x += 320
   661  	} else if x == 321 {
   662  		x += 321
   663  	} else if x == 322 {
   664  		x += 322
   665  	} else if x == 323 {
   666  		x += 323
   667  	} else if x == 324 {
   668  		x += 324
   669  	} else if x == 325 {
   670  		x += 325
   671  	} else if x == 326 {
   672  		x += 326
   673  	} else if x == 327 {
   674  		x += 327
   675  	} else if x == 328 {
   676  		x += 328
   677  	} else if x == 329 {
   678  		x += 329
   679  	} else if x == 330 {
   680  		x += 330
   681  	} else if x == 331 {
   682  		x += 331
   683  	} else if x == 332 {
   684  		x += 332
   685  	} else if x == 333 {
   686  		x += 333
   687  	} else if x == 334 {
   688  		x += 334
   689  	} else if x == 335 {
   690  		x += 335
   691  	} else if x == 336 {
   692  		x += 336
   693  	} else if x == 337 {
   694  		x += 337
   695  	} else if x == 338 {
   696  		x += 338
   697  	} else if x == 339 {
   698  		x += 339
   699  	} else if x == 340 {
   700  		x += 340
   701  	} else if x == 341 {
   702  		x += 341
   703  	} else if x == 342 {
   704  		x += 342
   705  	} else if x == 343 {
   706  		x += 343
   707  	} else if x == 344 {
   708  		x += 344
   709  	} else if x == 345 {
   710  		x += 345
   711  	} else if x == 346 {
   712  		x += 346
   713  	} else if x == 347 {
   714  		x += 347
   715  	} else if x == 348 {
   716  		x += 348
   717  	} else if x == 349 {
   718  		x += 349
   719  	} else if x == 350 {
   720  		x += 350
   721  	} else if x == 351 {
   722  		x += 351
   723  	} else if x == 352 {
   724  		x += 352
   725  	} else if x == 353 {
   726  		x += 353
   727  	} else if x == 354 {
   728  		x += 354
   729  	} else if x == 355 {
   730  		x += 355
   731  	} else if x == 356 {
   732  		x += 356
   733  	} else if x == 357 {
   734  		x += 357
   735  	} else if x == 358 {
   736  		x += 358
   737  	} else if x == 359 {
   738  		x += 359
   739  	} else if x == 360 {
   740  		x += 360
   741  	} else if x == 361 {
   742  		x += 361
   743  	} else if x == 362 {
   744  		x += 362
   745  	} else if x == 363 {
   746  		x += 363
   747  	} else if x == 364 {
   748  		x += 364
   749  	} else if x == 365 {
   750  		x += 365
   751  	} else if x == 366 {
   752  		x += 366
   753  	} else if x == 367 {
   754  		x += 367
   755  	} else if x == 368 {
   756  		x += 368
   757  	} else if x == 369 {
   758  		x += 369
   759  	} else if x == 370 {
   760  		x += 370
   761  	} else if x == 371 {
   762  		x += 371
   763  	} else if x == 372 {
   764  		x += 372
   765  	} else if x == 373 {
   766  		x += 373
   767  	} else if x == 374 {
   768  		x += 374
   769  	} else if x == 375 {
   770  		x += 375
   771  	} else if x == 376 {
   772  		x += 376
   773  	} else if x == 377 {
   774  		x += 377
   775  	} else if x == 378 {
   776  		x += 378
   777  	} else if x == 379 {
   778  		x += 379
   779  	} else if x == 380 {
   780  		x += 380
   781  	} else if x == 381 {
   782  		x += 381
   783  	} else if x == 382 {
   784  		x += 382
   785  	} else if x == 383 {
   786  		x += 383
   787  	} else if x == 384 {
   788  		x += 384
   789  	} else if x == 385 {
   790  		x += 385
   791  	} else if x == 386 {
   792  		x += 386
   793  	} else if x == 387 {
   794  		x += 387
   795  	} else if x == 388 {
   796  		x += 388
   797  	} else if x == 389 {
   798  		x += 389
   799  	} else if x == 390 {
   800  		x += 390
   801  	} else if x == 391 {
   802  		x += 391
   803  	} else if x == 392 {
   804  		x += 392
   805  	} else if x == 393 {
   806  		x += 393
   807  	} else if x == 394 {
   808  		x += 394
   809  	} else if x == 395 {
   810  		x += 395
   811  	} else if x == 396 {
   812  		x += 396
   813  	} else if x == 397 {
   814  		x += 397
   815  	} else if x == 398 {
   816  		x += 398
   817  	} else if x == 399 {
   818  		x += 399
   819  	} else if x == 400 {
   820  		x += 400
   821  	}
   822  	return x * x
   823  }
   824  

View as plain text