gsrlabs/go
1
0
Fork 0
mirror of https://github.com/golang/go.git synced 2026-01-29 07:02:05 +03:00
Code Issues Packages Projects Releases Wiki Activity
Files
c12c33709923907348837e8131122ec4c45d2c83
go/test
History
Keith Randall c12c337099 cmd/compile: teach prove about subtract idioms 
For v = x-y:
    if y >= 0 then v <= x
    if y <= x then v >= 0

(With appropriate guards against overflow/underflow.)

Fixes #76304

Change-Id: I8f8f1254156c347fa97802bd057a8379676720ae
Reviewed-on: https://go-review.googlesource.com/c/go/+/720740
Reviewed-by: Mark Freeman <markfreeman@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Keith Randall <khr@google.com>
2025-11-17 09:48:53 -08:00
..
abi
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
alias3.dir
…
arenas
reflect: fix ArenaNew to match documentation
2023-06-16 17:08:43 +00:00
asmhdr.dir
cmd/compile: use exact constant in go_asm.h
2022-01-10 21:27:19 +00:00
chan
…
closure3.dir
cmd/compile: use very high budget for once-called closures
2024-11-22 02:04:41 +00:00
closure5.dir
test: use dot-relative imports where appropriate
2022-03-24 02:14:15 +00:00
codegen
cmd/compile: fold negation into multiplication
2025-11-14 11:01:22 -08:00
ddd2.dir
…
dwarf
…
fixedbugs
cmd/compile: allow multi-field structs to be stored directly in interfaces
2025-11-14 12:37:44 -08:00
import2.dir
…
import4.dir
go/types, types2: use "and not used" instead of "but not used" in error messages
2022-09-27 21:10:19 +00:00
interface
go/types, types2: more systematic use of Checker.use und useLHS
2023-03-28 14:28:33 +00:00
internal/runtime/sys
runtime: move getcallersp to internal/runtime/sys
2024-09-17 17:01:20 +00:00
intrinsic.dir
runtime,internal: move runtime/internal/sys to internal/runtime/sys
2024-07-23 19:05:35 +00:00
ken
runtime: use internal/strconv
2025-10-29 11:00:23 -07:00
linkname.dir
test: compile source files as if from "test" module
2022-03-24 17:50:47 +00:00
linknameasm.dir
cmd/compile: generate args_stackmap for ABI0 assembly func regardless of linkname
2024-06-07 15:22:22 +00:00
method4.dir
…
retjmp.dir
cmd/internal/obj: fix tail call in non-zero frame leaf function on MIPS and S390X
2021-12-13 22:42:08 +00:00
stress
test/stress: fix typo in comment
2024-03-25 19:21:35 +00:00
syntax
cmd/compile: better error message when offending/missing token is a keyword
2024-11-14 02:14:13 +00:00
typeparam
runtime: use internal/strconv
2025-10-29 11:00:23 -07:00
uintptrescapes.dir
…
wasmmemsize.dir
internal/buildcfg: enable greenteagc experiment by default
2025-10-06 16:01:40 -07:00
64bit.go
…
235.go
…
alg.go
…
alias1.go
…
alias2.go
go/types, types2: qualify named types in error messages with type kind
2024-10-23 04:43:01 +00:00
alias3.go
…
alias.go
…
align.go
…
append1.go
cmd/compile: use "cannot use %s as %s value in %s: %s" error message
2022-09-28 22:28:39 +00:00
append.go
…
args.go
…
armimm.go
…
asmhdr.go
…
assign1.go
…
assign.go
sync: add explicit noCopy fields to Map, Mutex, and Once
2024-11-18 18:52:54 +00:00
atomicload.go
…
bigalg.go
…
bigmap.go
…
blank1.go
…
blank.go
…
bom.go
…
bombad.go
…
bounds.go
…
cannotassign.go
…
chancap.go
…
chanlinear.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
char_lit1.go
…
char_lit.go
…
checkbce.go
cmd/compile: make prove understand div, mod better
2025-10-29 18:49:40 -07:00
clear.go
cmd/compile: add clear(x) builtin
2023-01-31 19:43:07 +00:00
clearfat.go
…
closedchan.go
…
closure1.go
…
closure2.go
cmd/compile: experimental loop iterator capture semantics change
2023-03-06 18:34:24 +00:00
closure3.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
closure4.go
…
closure5.go
…
closure6.go
…
closure7.go
…
closure.go
…
cmp6.go
…
cmp.go
…
cmplx.go
…
cmplxdivide1.go
…
cmplxdivide.c
…
cmplxdivide.go
…
complit1.go
go/types, types2: report better error messages for slice expressions
2025-03-11 05:44:15 -07:00
complit.go
…
compos.go
…
const1.go
…
const2.go
…
const3.go
…
const4.go
…
const5.go
…
const6.go
…
const7.go
all: add wasip1 support
2023-04-11 20:56:32 +00:00
const8.go
test: add more tests for const decls with ommitted RHS expressions
2022-06-28 18:11:31 +00:00
const.go
…
convert1.go
…
convert2.go
go/types, types2: implement slice-to-array conversions
2022-09-08 15:55:44 +00:00
convert3.go
…
convert4.go
cmd/compile: implement slice-to-array conversions
2022-09-19 18:58:26 +00:00
convert5.go
cmd/compile: disable use of new saturating float-to-int conversions
2025-10-14 15:09:35 -07:00
convert5.out
cmd/compile: modify float-to-[u]int so that amd64 and arm64 match
2025-10-09 08:23:21 -07:00
convert.go
…
convinline.go
cmd/compile: handle integer conversions in static init inliner
2022-11-17 13:46:05 +00:00
convlit1.go
…
convlit.go
…
convT2X.go
…
copy1.go
go/types, types2: better error messages for copy built-in
2025-03-10 21:30:51 -07:00
copy.go
…
crlf.go
…
ddd1.go
cmd/compile: use "cannot use %s as %s value in %s: %s" error message
2022-09-28 22:28:39 +00:00
ddd2.go
…
ddd.go
…
decl.go
…
declbad.go
…
defer.go
…
defererrcheck.go
test: add open-coded defer tests for too many exits path
2024-07-29 14:30:07 +00:00
deferfin.go
…
defernil.go
…
deferprint.go
…
deferprint.out
runtime: use internal/strconv
2025-10-29 11:00:23 -07:00
devirt.go
…
devirtualization_nil_panics.go
cmd/compile/internal/devirtualize: improve concrete type analysis
2025-10-08 14:09:22 -07:00
devirtualization_with_type_assertions_interleaved.go
cmd/compile/internal/devirtualize: improve concrete type analysis
2025-10-08 14:09:22 -07:00
devirtualization.go
cmd/compile/internal/devirtualize: fix OCONVNOP assertion
2025-10-14 09:33:37 -07:00
directive2.go
cmd/compile: restrict //go:notinheap to runtime/internal/sys
2022-09-02 06:22:23 +00:00
directive.go
cmd/compile: restrict //go:notinheap to runtime/internal/sys
2022-09-02 06:22:23 +00:00
divide.go
…
divmod.go
…
embedfunc.go
…
embedvers.go
…
empty.go
…
env.go
test,internal/testdir: don't set GOOS/GOARCH
2023-05-12 12:34:59 +00:00
eof1.go
…
eof.go
…
escape2.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
escape2n.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
escape3.go
…
escape4.go
cmd/compile: retire "IsHiddenClosure" and "IsDeadcodeClosure"
2024-07-22 21:27:37 +00:00
escape5.go
cmd/compile/internal/escape: propagate constants to interface conversions to avoid allocs
2025-05-21 12:02:43 -07:00
escape6.go
cmd/compile: allow pointer-containing elements in stack allocations
2025-04-04 15:04:34 -07:00
escape_array.go
cmd/compile: determine static values of len and cap in make() calls
2025-02-19 13:38:58 -08:00
escape_calls.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
escape_closure.go
cmd/compile: retire "IsHiddenClosure" and "IsDeadcodeClosure"
2024-07-22 21:27:37 +00:00
escape_field.go
…
escape_goto.go
…
escape_hash_maphash.go
…
escape_iface_data.go
cmd/compile/internal/walk: use global zeroVal in interface conversions for zero values
2025-05-21 12:24:22 -07:00
escape_iface.go
cmd/compile/internal/escape: propagate constants to interface conversions to avoid allocs
2025-05-21 12:02:43 -07:00
escape_indir.go
…
escape_level.go
…
escape_make_non_const.go
cmd/compile: propagate len([]T{}) to make builtin to allow stack allocation
2025-10-02 11:02:07 -07:00
escape_map.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
escape_mutations.go
cmd/compile: restore zero-copy string->[]byte optimization
2023-08-18 11:58:37 +00:00
escape_param.go
…
escape_reflect.go
reflect: remove calling mapiterkey, mapiterelem
2024-09-18 20:57:20 +00:00
escape_runtime_atomic.go
runtime: migrate internal/atomic to internal/runtime
2024-03-25 19:53:03 +00:00
escape_selfassign.go
…
escape_slice.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
escape_struct_param1.go
…
escape_struct_param2.go
…
escape_struct_return.go
…
escape_sync_atomic.go
…
escape_unique.go
cmd/compile, unique: model data flow of non-string pointers
2025-05-21 20:07:36 -07:00
escape_unsafe.go
test: fix typo in escape_unsafe.go
2022-09-07 17:25:59 +00:00
escape.go
cmd/compile: experimental loop iterator capture semantics change
2023-03-06 18:34:24 +00:00
fibo.go
…
finprofiled.go
test: ignore MemProfileRecords with no live objects in finprofiled.go
2023-11-16 05:48:00 +00:00
float_lit2.go
…
float_lit3.go
test: re-enable a bunch of tests with types2
2021-12-03 16:24:32 +00:00
float_lit.go
…
floatcmp.go
…
for.go
test: add test cases for index value with range array clear
2023-07-10 16:36:41 +00:00
func1.go
…
func2.go
…
func3.go
go/parser, syntax: better error message for parameter missing type
2024-09-30 22:04:40 +00:00
func4.go
…
func5.go
…
func6.go
…
func7.go
…
func8.go
…
func.go
…
funcdup2.go
…
funcdup.go
…
fuse.go
cmd/compile: handle boolean and pointer relations
2024-08-07 16:07:55 +00:00
gc1.go
…
gc2.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
gc.go
…
gcgort.go
…
gcstring.go
…
goprint.go
…
goprint.out
runtime: use internal/strconv
2025-10-29 11:00:23 -07:00
goto.go
…
heapsampling.go
cmd/compile: call generated size-specialized malloc functions directly
2025-10-09 14:59:40 -07:00
helloworld.go
…
helloworld.out
…
if.go
…
import1.go
go/types, types2: use "and not used" instead of "but not used" in error messages
2022-09-27 21:10:19 +00:00
import2.go
…
import4.go
…
import5.go
…
import6.go
test: re-enable most go/tests that were disabled because of types2 differences
2022-01-11 02:26:58 +00:00
import.go
…
index0.go
…
index1.go
…
index2.go
…
index.go
…
indirect1.go
…
indirect.go
…
init1.go
…
init.go
…
initcomma.go
…
initexp.go
cmd/compile: use "init... cycle" instead of "init... loop" in error messages
2022-09-23 20:27:09 +00:00
initialize.go
cmd/compile: handle simple inlined calls in staticinit
2022-11-16 04:04:52 +00:00
initializerr.go
test: re-enable most go/tests that were disabled because of types2 differences
2022-01-11 02:26:58 +00:00
initloop.go
go/types: improve recursive type error message
2024-10-22 22:20:29 +00:00
inline_big.go
cmd/compile: restore zero-copy string->[]byte optimization
2023-08-18 11:58:37 +00:00
inline_caller.go
…
inline_callers.go
…
inline_endian.go
cmd/compile: allocate backing store for append on the stack
2025-05-19 16:14:53 -07:00
inline_literal.go
…
inline_math_bits_rotate.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
inline_sync.go
sync: use atomic.Bool for Once.done
2025-04-22 08:28:13 -07:00
inline_testingbloop.go
testing: detect a stopped timer in B.Loop
2025-03-24 11:41:09 -07:00
inline_variadic.go
…
inline.go
cmd/compile: remove no-longer-necessary recursive inlining checks
2025-03-06 10:07:17 -08:00
int_lit.go
…
intcvt.go
…
intrinsic_atomic.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
intrinsic.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
iota.go
…
label1.go
…
label.go
…
linkmain_run.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
linkmain.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
linkname3.go
cmd/compile: disallow linkname referring to instantiations
2024-05-15 19:27:25 +00:00
linkname.go
…
linknameasm.go
cmd/compile: generate args_stackmap for ABI0 assembly func regardless of linkname
2024-06-07 15:22:22 +00:00
linkobj.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
linkx_run.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
linkx.go
…
literal2.go
…
literal.go
…
live1.go
…
live2.go
all: remove GOEXPERIMENT=swissmap
2025-07-30 11:47:14 -07:00
live_regabi.go
test: fix tests to work with sizespecializedmalloc turned off
2025-11-13 16:57:31 -08:00
live_uintptrkeepalive.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
live.go
test: fix tests to work with sizespecializedmalloc turned off
2025-11-13 16:57:31 -08:00
loopbce.go
cmd/compile: improve slicemask removal
2025-10-03 12:31:36 -07:00
mainsig.go
…
makechan.go
all: fix some comments
2024-04-04 14:29:45 +00:00
makemap.go
…
makenew.go
…
makeslice.go
…
mallocfin.go
…
map1.go
…
map.go
…
mapclear.go
…
maplinear.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
maymorestack.go
…
mergemul.go
…
method1.go
cmd/compile: use "method T.m already declared" for method redeclaration errors
2022-09-27 21:59:19 +00:00
method2.go
go/types, types2: better error message when using *interface instead of interface
2022-01-10 22:48:40 +00:00
method3.go
…
method4.go
…
method5.go
…
method6.go
…
method7.go
…
method.go
…
named1.go
…
named.go
…
newexpr.go
cmd/compile: fix ICE with new(<untyped expr>)
2025-09-26 10:10:03 -07:00
newinline.go
cmd/compile: remove no-longer-necessary recursive inlining checks
2025-03-06 10:07:17 -08:00
nil.go
…
nilcheck.go
[dev.unified] test: tweak nilcheck test
2022-06-30 18:41:59 +00:00
nilptr2.go
…
nilptr3.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
nilptr4.go
…
nilptr5_aix.go
cmd/compile: duplicate nil check to two branches of write barrier
2025-09-19 07:13:32 -07:00
nilptr5_wasm.go
cmd/compile: duplicate nil check to two branches of write barrier
2025-09-19 07:13:32 -07:00
nilptr5.go
cmd/compile: duplicate nil check to two branches of write barrier
2025-09-19 07:13:32 -07:00
nilptr_aix.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
nilptr.go
cmd/link: use >4GB base address for 64-bit PE binaries
2025-05-12 11:05:28 -07:00
noinit.go
cmd/compile: reenable inline static init
2023-04-14 17:57:36 +00:00
nosplit.go
Revert "cmd/compile: redo arm64 LR/FP save and restore"
2025-10-07 08:21:14 -07:00
nowritebarrier.go
cmd/compile: redo IsRuntimePkg/IsReflectPkg predicate
2023-08-22 19:18:21 +00:00
nul1.go
…
opt_branchlikely.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
parentype.go
…
peano.go
…
phiopt.go
cmd/compile: add 2 phiopt cases
2025-05-08 10:18:37 -07:00
print.go
…
print.out
runtime: use internal/strconv
2025-10-29 11:00:23 -07:00
printbig.go
…
printbig.out
…
prove_constant_folding.go
cmd/compile/internal/ssa: model right shift more precisely
2025-10-30 09:17:59 -07:00
prove_invert_loop_with_unused_iterators.go
cmd/compile: make prove understand div, mod better
2025-10-29 18:49:40 -07:00
prove_popcount.go
cmd/compile: compute bits.OnesCount's limits from argument's limits
2025-03-11 20:17:36 -07:00
prove.go
cmd/compile: teach prove about subtract idioms
2025-11-17 09:48:53 -08:00
range2.go
internal/goexperiment: delete RangeFunc goexperiment
2025-07-29 12:44:58 -07:00
range3.go
cmd/compile: fix typecheck range over rune literal
2023-12-01 17:20:08 +00:00
range4.go
internal/goexperiment: delete RangeFunc goexperiment
2025-07-29 12:44:58 -07:00
range.go
…
rangegen.go
internal/goexperiment: delete RangeFunc goexperiment
2025-07-29 12:44:58 -07:00
README.md
internal/testdir: move to cmd/internal/testdir
2023-05-12 17:18:08 +00:00
recover1.go
…
recover2.go
…
recover3.go
…
recover4.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
recover5.go
…
recover.go
…
reflectmethod1.go
…
reflectmethod2.go
…
reflectmethod3.go
…
reflectmethod4.go
…
reflectmethod5.go
…
reflectmethod6.go
…
reflectmethod7.go
…
reflectmethod8.go
…
rename1.go
cmd/compile/internal/types2: only mark variables as used if they are
2023-04-19 14:07:00 +00:00
rename.go
…
reorder2.go
…
reorder.go
…
retjmp.go
…
return.go
…
rotate0.go
…
rotate1.go
…
rotate2.go
…
rotate3.go
…
rotate.go
…
rune.go
…
runtime.go
…
shift1.go
test: re-enable a bunch of tests with types2
2021-12-03 16:24:32 +00:00
shift2.go
…
shift3.go
cmd/compile: adjust types2 shift check to match go/types (cleanup)
2022-04-07 17:19:55 +00:00
sieve.go
…
sigchld.go
test: migrate remaining files to go:build syntax
2023-10-19 23:33:25 +00:00
sigchld.out
…
simassign.go
…
sizeof.go
…
slice3.go
…
slice3err.go
…
slicecap.go
…
sliceopt.go
…
solitaire.go
…
stack.go
…
stackobj2.go
…
stackobj3.go
…
stackobj.go
…
strcopy.go
…
strength.go
…
string_lit.go
…
stringrange.go
…
struct0.go
…
switch2.go
cmd/compile: better error message when offending/missing token is a keyword
2024-11-14 02:14:13 +00:00
switch3.go
…
switch4.go
…
switch5.go
…
switch6.go
cmd/compile: use "missing method m" instead of "missing m method"
2022-09-24 17:04:15 +00:00
switch7.go
…
switch.go
[dev.unified] test: add switch test case for tricky nil handling
2022-07-19 23:30:49 +00:00
tailcall.go
Revert "cmd/compile: Enable inlining of tail calls"
2025-06-04 08:27:44 -07:00
tighten.go
cmd/compile: pair loads and stores on arm64
2025-02-13 14:07:47 -08:00
tinyfin.go
…
torture.go
…
turing.go
…
typecheck.go
test: re-enable most go/tests that were disabled because of types2 differences
2022-01-11 02:26:58 +00:00
typecheckloop.go
cmd/compile: use "init... cycle" instead of "init... loop" in error messages
2022-09-23 20:27:09 +00:00
typeswitch1.go
…
typeswitch2.go
…
typeswitch2b.go
go/types, types2: use "and not used" instead of "but not used" in error messages
2022-09-27 21:10:19 +00:00
typeswitch3.go
…
typeswitch.go
…
uintptrescapes2.go
test: fix tests to work with sizespecializedmalloc turned off
2025-11-13 16:57:31 -08:00
uintptrescapes3.go
…
uintptrescapes.go
…
uintptrkeepalive.go
cmd/compile: add //go:uintptrkeepalive
2022-04-21 18:06:38 +00:00
undef.go
…
unsafe_slice_data.go
cmd/compile: add support for unsafe.{String,StringData,SliceData}
2022-08-31 17:15:15 +00:00
unsafe_string_data.go
cmd/compile: add support for unsafe.{String,StringData,SliceData}
2022-08-31 17:15:15 +00:00
unsafe_string.go
cmd/compile: add support for unsafe.{String,StringData,SliceData}
2022-08-31 17:15:15 +00:00
unsafebuiltins.go
cmd/compile: add support for unsafe.{String,StringData,SliceData}
2022-08-31 17:15:15 +00:00
used.go
cmd/compile/internal: support new(expr)
2025-09-23 13:12:12 -07:00
utf.go
…
varerr.go
…
varinit.go
…
wasmexport2.go
cmd/compile: allow more types for wasmimport/wasmexport parameters and results
2024-11-11 17:11:50 +00:00
wasmexport.go
cmd/compile: add basic wasmexport support
2024-08-09 20:07:54 +00:00
wasmmemsize.go
test: add a test for wasm memory usage
2024-10-28 13:27:58 +00:00
weak.go
weak: prevent unsafe conversions using weak pointers
2025-02-06 13:16:59 -08:00
winbatch.go
…
writebarrier.go
…
zerodivide.go
…
zerosize.go
cmd/link: put zero-sized data symbols at same address as runtime.zerobase
2023-04-28 18:35:43 +00:00

README.md

The test directory contains tests of the Go tool chain and runtime. It includes black box tests, regression tests, and error output tests. They are run as part of all.bash.

To run just these tests, execute:

../bin/go test cmd/internal/testdir

To run just tests from specified files in this directory, execute:

../bin/go test cmd/internal/testdir -run='Test/(file1.go|file2.go|...)'

Standard library tests should be written as regular Go tests in the appropriate package.

The tool chain and runtime also have regular Go tests in their packages. The main reasons to add a new test to this directory are:

  • it is most naturally expressed using the test runner; or
  • it is also applicable to gccgo and other Go tool chains.
Reference in New Issue View Git Blame Copy Permalink