go/test at 1d10b17589ce651caeb0841b2312065ee44f800d - go

mirror of https://github.com/golang/go.git synced 2025-05-27 18:31:35 +00:00

History

zdjones ddef157813 cmd/compile: make prove use poset to check non-negatives

Prove currently fails to remove bounds checks of the form:

if i >= 0 {              // hint that i is non-negative
    for i < len(data) {  // i becomes Phi in the loop SSA
        _ = data[i]      // data[Phi]; bounds check!!
	i++
    }
}

addIndVarRestrictions fails to identify that the loop induction
variable, (Phi), is non-negative. As a result, the restrictions,
i <= Phi < len(data), are only added for the signed domain. When
testing the bounds check, addBranchRestrictions is similarly unable
to infer that Phi is non-negative. As a result, the restriction,
Phi >= len(data), is only added/tested for the unsigned domain.

This CL changes the isNonNegative method to utilise the factTable's
partially ordered set (poset). It also adds field factTable.zero to
allow isNonNegative to query the poset using the zero(0) constant
found or created early in prove.

Fixes #28956

Change-Id: I792f886c652eeaa339b0d57d5faefbf5922fe44f
Reviewed-on: https://go-review.googlesource.com/c/go/+/161437
Run-TryBot: Brad Fitzpatrick <bradfitz@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
Reviewed-by: Giovanni Bajo <rasky@develer.com>

2019-03-29 07:17:49 +00:00

alias3.dir

[dev.typealias] cmd/compile: export/import test cases for type aliases

2017-01-20 05:55:53 +00:00

bench

test/bench/go1: add go.mod file

2019-03-06 18:53:12 +00:00

chan

test/chan: fix broken link to Squinting at Power Series

2019-02-06 20:54:16 +00:00

closure3.dir

cmd/compile: encourage inlining of functions with single-call bodies

2018-11-08 17:29:23 +00:00

codegen

cmd/compile: follow up intrinsifying math/bits.Add64 for arm64

2019-03-22 15:09:47 +00:00

ddd2.dir

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

dwarf

test: make rundir match compiledir/errorcheckdir.

2013-01-11 22:00:48 +01:00

fixedbugs

cmd/compile: fix ICE from invalid operations on float/complex constants

2019-03-28 17:46:55 +00:00

import2.dir

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

import4.dir

test: adjust gccgo expected import errors

2015-10-07 14:37:44 +00:00

interface

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

intrinsic.dir

cmd/compile: intrinsics for math/bits.TrailingZerosX

2017-03-16 02:44:16 +00:00

ken

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

linkname.dir

cmd/compile: include linknames in export data

2017-02-08 20:59:45 +00:00

method4.dir

cmd/gc: do not omit wrapper for expression (interface{...}).F

2014-01-07 13:26:48 +01:00

retjmp.dir

cmd/asm: fix assembling return jump

2018-03-01 21:11:16 +00:00

stress

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

syntax

cmd/compile: better handling of incorrect type switches

2018-04-03 05:34:20 +00:00

uintptrescapes.dir

cmd/compile, syscall: add //go:uintptrescapes comment, and use it

2016-07-06 20:48:41 +00:00

64bit.go

cmd/gc: Error out on division by constant zero.

2013-01-30 20:21:08 +01:00

235.go

…

alg.go

test: add test that required algs get generated

2016-04-24 21:36:52 +00:00

alias1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

alias2.go

cmd/compile: cleanup method symbol creation

2018-04-05 22:01:17 +00:00

alias3.go

[dev.typealias] cmd/compile: export/import test cases for type aliases

2017-01-20 05:55:53 +00:00

alias.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

align.go

test: check that unaligned load-add opcodes work.

2018-04-09 18:57:37 +00:00

append1.go

cmd/compile: optimize append(x, make([]T, y)...) slice extension

2018-05-06 04:28:23 +00:00

append.go

cmd/compile: optimize append(x, make([]T, y)...) slice extension

2018-05-06 04:28:23 +00:00

args.go

test: run some more tests by default

2012-11-08 09:04:27 -08:00

armimm.go

cmd/internal/obj: continue to optimize ARM's constant pool

2017-05-11 13:53:54 +00:00

assign1.go

…

assign.go

cmd/gc: prohibit short variable declarations containing duplicate symbols

2014-10-06 17:16:39 -04:00

atomicload.go

cmd/compile: keep value use counts in SSA

2016-03-17 04:20:02 +00:00

bigalg.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

bigmap.go

…

blank1.go

cmd/compile: don't allow blank method declarations on builtins

2015-12-02 18:26:38 +00:00

blank.go

test: revert changes made for Go SSA interpreter test.

2013-10-08 14:36:20 -04:00

bom.go

gc: initial BOM is legal.

2012-09-10 13:03:07 -07:00

bombad.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

bounds.go

test: gofmt bounds.go

2018-05-29 02:39:16 +00:00

chancap.go

runtime: handle 64bits addresses for AIX

2018-11-26 14:06:28 +00:00

chanlinear.go

runtime: test for linear enqueue/dequeue behavior

2014-12-08 22:18:17 +00:00

char_lit1.go

…

char_lit.go

…

checkbce.go

cmd/compile: fix ordering for short-circuiting ops

2019-03-06 20:04:07 +00:00

clearfat.go

[dev.power64] 9g: fix under-zeroing in clearfat

2014-10-31 11:08:27 -04:00

closedchan.go

…

closure1.go

cmd/gc: capture variables by value

2015-01-29 13:07:30 +00:00

closure2.go

cmd/gc: fix capturing by value for range statements

2015-02-03 15:48:48 +00:00

closure3.go

all: fix a bunch of misspellings

2018-10-06 15:40:03 +00:00

closure4.go

cmd/compile/internal/gc: add nil check for closure call on wasm

2018-08-14 09:19:38 +00:00

closure.go

…

cmp6.go

cmd/gc: do not consider length zero arrays as comparable.

2014-01-31 00:30:56 +01:00

cmp.go

Fix several out of date references to 4g/5g/6g/8g/9g.

2015-06-26 03:38:21 +00:00

cmplx.go

cmd/compile: rewrite f(g()) for multi-value g() during typecheck

2019-03-14 21:00:20 +00:00

cmplxdivide1.go

runtime: make complex division c99 compatible

2017-03-15 22:45:17 +00:00

cmplxdivide.c

runtime: make complex division c99 compatible

2017-03-15 22:45:17 +00:00

cmplxdivide.go

runtime: make complex division c99 compatible

2017-03-15 22:45:17 +00:00

complit1.go

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

complit.go

…

compos.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

const1.go

cmd/compile: fix ICE from invalid operations on float/complex constants

2019-03-28 17:46:55 +00:00

const2.go

test: match gccgo error messages

2012-09-28 08:30:30 -07:00

const3.go

…

const4.go

all: link to https instead of http

2015-07-11 14:36:33 +00:00

const5.go

all: link to https instead of http

2015-07-11 14:36:33 +00:00

const6.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

const.go

cmd/compile: fix compiler bug for constant equality comparison

2016-09-17 01:12:24 +00:00

convert1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

convert2.go

cmd/compile: ignore struct tags when converting structs

2016-10-04 17:10:47 +00:00

convert3.go

…

convert.go

…

convlit1.go

…

convlit.go

cmd/internal/gc: unsafe.Pointer constants may only be converted to uintptr

2015-05-07 23:54:28 +00:00

convT2X.go

…

copy1.go

cmd/compile: rewrite f(g()) for multi-value g() during typecheck

2019-03-14 21:00:20 +00:00

copy.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

crlf.go

…

ddd1.go

test: reenable ... test

2017-08-11 17:41:17 +00:00

ddd2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

ddd.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

decl.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

declbad.go

test: correct type in declbad.go

2012-10-07 21:52:57 +02:00

defer.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

deferfin.go

runtime: combine small NoScan allocations

2014-01-24 22:35:11 +04:00

deferprint.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

deferprint.out

…

devirt.go

cmd/compile: de-virtualize interface calls

2017-03-14 18:49:23 +00:00

divide.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

divmod.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

empty.go

…

env.go

…

eof1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

eof.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape2.go

cmd/compile/internal/gc: unify self-assignment checks in esc.go

2018-09-20 09:46:11 +00:00

escape2n.go

cmd/compile/internal/gc: unify self-assignment checks in esc.go

2018-09-20 09:46:11 +00:00

escape3.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape4.go

cmd/compile: fix panic-okay-to-inline change; adjust tests

2018-06-06 20:35:23 +00:00

escape5.go

cmd/compile: fix unnamed parameter handling in escape analysis

2018-12-04 23:01:00 +00:00

escape_array.go

cmd/compile: print accurate escape reason for non-const-length slices

2018-03-28 16:56:03 +00:00

escape_because.go

cmd/compile: flow interface data to heap if CONVIFACE of a non-direct interface escapes

2019-02-21 15:14:45 +00:00

escape_calls.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_closure.go

cmd/compile/internal/syntax: establish principled position information

2017-02-15 01:33:03 +00:00

escape_field.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_iface.go

cmd/compile: avoid leak of dottype expression on double assignment form

2016-10-10 12:09:16 +00:00

escape_indir.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_level.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_map.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_param.go

cmd/compile: flow interface data to heap if CONVIFACE of a non-direct interface escapes

2019-02-21 15:14:45 +00:00

escape_slice.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_struct_param1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_struct_param2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape_struct_return.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

escape.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

fibo.go

Fix whitespace (use blanks consistently).

2014-12-08 22:22:58 +00:00

finprofiled.go

runtime: fix finalization and profiling of tiny allocations

2015-11-03 18:57:18 +00:00

float_lit2.go

test/float_lit2: fix expressions in comment

2016-09-14 16:39:47 +00:00

float_lit3.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

float_lit.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

floatcmp.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

for.go

…

func1.go

cmd/gc: ensure unique parameter and result names in function types

2013-03-15 15:24:13 -04:00

func2.go

…

func3.go

…

func4.go

…

func5.go

…

func6.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

func7.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

func8.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

func.go

…

funcdup2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

funcdup.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

gc1.go

…

gc2.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

gc.go

…

gcgort.go

test: fast GC+concurrency+types verification

2018-05-08 21:15:48 +00:00

gcstring.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

goprint.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

goprint.out

…

goto.go

cmd/compile: report block start for gotos jumping into blocks

2017-04-19 02:27:58 +00:00

heapsampling.go

test: improve test coverage for heap sampling

2019-03-07 21:05:15 +00:00

helloworld.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

helloworld.out

…

if.go

…

import1.go

test: match gccgo import error messages

2013-12-12 19:02:11 -08:00

import2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

import4.go

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

import5.go

cmd/compile: be slightly more tolerant in case of certain syntax errors

2017-03-24 20:07:15 +00:00

import6.go

cmd/compile/internal/syntax: removed gcCompat code needed to pass orig. tests

2017-02-10 01:22:30 +00:00

import.go

…

index0.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

index1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

index2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

index.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

indirect1.go

…

indirect.go

…

init1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

init.go

cmd/compile: reorganize init functions

2019-03-18 20:10:55 +00:00

initcomma.go

…

initialize.go

…

initializerr.go

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

initloop.go

cmd/compile: use []*Node instead of NodeList in sinit

2015-09-05 02:25:01 +00:00

inline_big.go

cmd/compile: set stricter inlining threshold in large functions

2018-07-24 16:11:08 +00:00

inline_caller.go

runtime: make FuncForPC return the innermost inlined frame

2019-01-08 21:54:04 +00:00

inline_callers.go

runtime: make FuncForPC return the innermost inlined frame

2019-01-08 21:54:04 +00:00

inline_literal.go

cmd/compile: copy literals when inlining

2017-03-03 21:29:32 +00:00

inline_math_bits_rotate.go

cmd/compile: make math/bits.RotateLeft* an intrinsic on amd64

2018-08-30 22:48:28 +00:00

inline_sync.go

sync: allow inlining the RWMutex.RUnlock fast path

2019-03-09 16:34:17 +00:00

inline_variadic.go

cmd/compile: enable inlining variadic functions

2018-03-13 20:34:03 +00:00

inline.go

cmd/compile: encourage inlining of functions with single-call bodies

2018-11-08 17:29:23 +00:00

int_lit.go

…

intcvt.go

…

intrinsic_atomic.go

cmd/compile: intrinsify atomics on MIPS64

2017-10-10 19:43:38 +00:00

intrinsic.go

cmd/compile: intrinsify Ctz{32,64} and Bswap{32,64} on s390x

2016-09-19 19:03:01 +00:00

iota.go

…

label1.go

cmd/compile/internal/gc: don't panic on continue in switch

2017-04-12 14:27:45 +00:00

label.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

linkmain_run.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

linkmain.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

linkname.go

cmd/compile: include linknames in export data

2017-02-08 20:59:45 +00:00

linkobj.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

linkx_run.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

linkx.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

literal2.go

cmd/compile: accept 'i' suffix orthogonally on all numbers

2019-02-19 22:45:09 +00:00

literal.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

live1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

live2.go

cmd/compile,runtime: remove ambiguously live logic

2018-10-03 19:54:16 +00:00

live_syscall.go

cmd/compile: encourage inlining of functions with single-call bodies

2018-11-08 17:29:23 +00:00

live.go

cmd/compile: fix ordering for short-circuiting ops

2019-03-06 20:04:07 +00:00

locklinear.go

test: skip locklinear's lockmany test for now

2018-04-05 10:53:40 +00:00

loopbce.go

cmd/compile: reverse order of slice bounds checks

2019-03-09 00:52:45 +00:00

makechan.go

cmd/compile: generate makechan calls with int arguments

2017-08-15 05:54:24 +00:00

makemap.go

test: check that size argument errors are emitted at call site

2018-03-14 08:36:15 +00:00

makenew.go

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

mallocfin.go

…

map1.go

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

map.go

test/mapnan.go: add regression test for non-empty interfaces.

2014-08-06 17:02:55 -04:00

mapclear.go

cmd/compile: optimize map-clearing range idiom

2018-05-08 21:15:16 +00:00

maplinear.go

test: make maplinear more robust

2014-10-27 18:59:02 -04:00

mergemul.go

cmd/compile: combine x*n - y*n into (x-y)*n

2017-09-03 14:29:38 +00:00

method1.go

cmd/compile: ignore receiver parameters in Eqtype

2016-03-17 00:38:15 +00:00

method2.go

cmd/compile: add two error position tests for the typechecker

2017-10-12 20:50:20 +00:00

method3.go

…

method4.go

test: convert more tests to rundir/compiledir conventions

2012-10-07 23:22:01 +02:00

method5.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

method6.go

cmd/compile: add two error position tests for the typechecker

2017-10-12 20:50:20 +00:00

method7.go

cmd/compile: fix method expressions with anonymous receivers

2018-04-06 15:39:11 +00:00

method.go

test: a number of fixes.

2013-02-11 18:20:52 -05:00

named1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

named.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

nil.go

test: ensure all failing tests exit nonzero.

2013-02-12 13:17:49 -05:00

nilcheck.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

nilptr2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

nilptr3.go

cmd/compile: fix nilcheck for AIX

2018-11-26 14:13:53 +00:00

nilptr4.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

nilptr5_aix.go

test: fix nilptr5 for AIX

2018-11-27 15:36:08 +00:00

nilptr5_wasm.go

cmd/compile: fix nilcheck for AIX

2018-11-26 14:13:53 +00:00

nilptr5.go

cmd/compile: fix nilcheck for AIX

2018-11-26 14:13:53 +00:00

nilptr_aix.go

cmd/compile: fix nilcheck for AIX

2018-11-26 14:13:53 +00:00

nilptr.go

cmd/compile: fix nilcheck for AIX

2018-11-26 14:13:53 +00:00

nosplit.go

../test: set GOPATH in nosplit.go

2019-03-12 20:46:29 +00:00

notinheap2.go

cmd/compile: add go:notinheap type pragma

2016-10-15 17:58:14 +00:00

notinheap3.go

cmd/compile: omit write barriers for slice clears of go:notinheap pointers

2018-12-05 21:54:54 +00:00

notinheap.go

cmd/compile: disallow converting string to notinheap slice

2018-11-02 19:53:59 +00:00

nowritebarrier.go

cmd/compile: improve coverage of nowritebarrierrec check

2017-10-29 19:36:44 +00:00

nul1.go

cmd/compile/internal/gc: enable new parser by default

2016-10-25 22:28:40 +00:00

opt_branchlikely.go

cmd/compile: insert scheduling checks on loop backedges

2017-01-09 21:01:29 +00:00

parentype.go

…

peano.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

phiopt.go

test: re-enable phi optimization test

2016-09-13 20:06:13 +00:00

print.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

print.out

cmd/compile: fix print/println when input is uint

2017-09-26 04:08:38 +00:00

printbig.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

printbig.out

…

prove.go

cmd/compile: make prove use poset to check non-negatives

2019-03-29 07:17:49 +00:00

range.go

cmd/compile: improve single blank variable handling in walkrange

2017-09-12 05:50:54 +00:00

README.md

test: use the version of Go used to run run.go

2018-03-03 19:52:00 +00:00

recover1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

recover2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

recover3.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

recover4.go

all: use Fatalf instead of Fatal if format is given

2018-01-10 01:35:45 +00:00

recover5.go

cmd/compile: more error position tests for the typechecker

2017-04-24 12:37:49 +00:00

recover.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

reflectmethod1.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod2.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod3.go

cmd/compile: track reflect.Type.Method in deadcode

2016-03-11 21:19:20 +00:00

reflectmethod4.go

cmd/link: treat reflect.Value.Method like Call

2016-03-11 22:07:02 +00:00

rename1.go

cmd/compile: avoid duplicate cast error

2017-08-22 13:44:35 +00:00

rename.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

reorder2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

reorder.go

cmd/compile: Ensure left-to-right assignment

2017-02-11 21:46:21 +00:00

retjmp.go

cmd/asm: fix assembling return jump

2018-03-01 21:11:16 +00:00

return.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

rotate0.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

rotate1.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

rotate2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

rotate3.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

rotate.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

run.go

test: support -ldflags for "rundir" tests, new -P option

2019-03-25 14:59:58 +00:00

rune.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

runtime.go

cmd/compile/internal/gc: separate builtin and real runtime packages

2017-03-01 01:06:32 +00:00

shift1.go

cmd/compile: permit indices of certain non-constant shifts

2017-12-01 20:39:50 +00:00

shift2.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

sieve.go

…

sigchld.go

test: remove rundircmpout and cmpout actions

2018-05-31 17:36:45 +00:00

sigchld.out

…

simassign.go

…

sinit_run.go

all: skip unsupported tests for js/wasm

2018-04-30 19:39:18 +00:00

sinit.go

cmd/compile: fix static initializer

2018-12-03 16:48:21 +00:00

sizeof.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

slice3.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

slice3err.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

slicecap.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

sliceopt.go

cmd/compile: make prove pass use unsatisfiability

2018-03-08 22:25:25 +00:00

solitaire.go

…

stack.go

…

stackobj2.go

test: stress test for stack objects

2018-10-03 19:54:29 +00:00

stackobj3.go

cmd/compile,runtime: remove ambiguously live logic

2018-10-03 19:54:16 +00:00

stackobj.go

cmd/compile,runtime: remove ambiguously live logic

2018-10-03 19:54:16 +00:00

strcopy.go

test: add test to verify that string copies don't get optimized away

2018-06-12 19:10:34 +00:00

strength.go

cmd/compile: generalize strength reduction of mulq

2016-03-30 22:27:13 +00:00

string_lit.go

test: add []rune case to string_lit.go

2013-12-12 17:17:02 -08:00

stringrange.go

…

struct0.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

switch2.go

cmd/compile/internal/syntax: match old parser errors and line numbers

2016-08-19 01:10:21 +00:00

switch3.go

…

switch4.go

cmd/gc: disallow fallthrough in final case of switch

2013-03-15 00:35:09 -04:00

switch5.go

Revert "fmt: fix incorrect format of whole-number floats when using %#v"

2018-10-16 21:54:35 +00:00

switch6.go

cmd/compile: improve error for wrong type in switch

2017-02-02 17:36:43 +00:00

switch7.go

cmd/compile: make duplicate expr cases readable

2017-05-19 18:11:51 +00:00

switch.go

cmd/gc: disallow fallthrough in final case of switch

2013-03-15 00:35:09 -04:00

tinyfin.go

runtime: fix finalization and profiling of tiny allocations

2015-11-03 18:57:18 +00:00

torture.go

cmd/8g: don't allocate a register early for cap(CHAN).

2014-07-01 09:20:51 +02:00

turing.go

…

typecheck.go

cmd/gc: silence assignment errors to undefined symbols

2014-01-03 21:03:20 +01:00

typecheckloop.go

cmd/compile: convert typecheck_stack to []*Node

2015-09-06 23:50:51 +00:00

typeswitch1.go

…

typeswitch2.go

test: fix spelling of caught be the compiler to caught by the compiler

2018-10-04 00:49:49 +00:00

typeswitch3.go

test: fix spelling of caught be the compiler to caught by the compiler

2018-10-04 00:49:49 +00:00

typeswitch.go

…

uintptrescapes2.go

cmd/compile: reuse temporaries in order pass

2018-10-14 05:21:00 +00:00

uintptrescapes.go

cmd/compile, syscall: add //go:uintptrescapes comment, and use it

2016-07-06 20:48:41 +00:00

undef.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

utf.go

…

varerr.go

all: make copyright headers consistent with one space after period

2016-05-02 13:43:18 +00:00

varinit.go

…

writebarrier.go

cmd/compile: better write barrier removal when initializing new objects

2019-03-18 21:16:19 +00:00

zerodivide.go

test: lock in test for _ assignment evaluation/zerodivide panic

2016-12-23 17:35:24 +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 run run.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.