- Sort Score
- Result 10 results
- Languages All
Results 1 - 10 of 99 for Typecheck (0.13 sec)
-
src/cmd/fix/typecheck.go
func makeExprList(a []*ast.Ident) []ast.Expr { var b []ast.Expr for _, x := range a { b = append(b, x) } return b } // typecheck1 is the recursive form of typecheck. // It is like typecheck but adds to the information in typeof // instead of allocating a new map. func typecheck1(cfg *TypeConfig, f any, typeof map[any]string, assign map[string][]any) { // set sets the type of n to typ.
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Nov 16 22:02:42 UTC 2022 - 20.1K bytes - Viewed (0) -
src/cmd/compile/internal/typecheck/typecheck.go
// Skip typecheck if already done. // But re-typecheck ONAME/OTYPE/OLITERAL/OPACK node in case context has changed. if n.Typecheck() == 1 || n.Typecheck() == 3 { switch n.Op() { case ir.ONAME: break default: return n } } if n.Typecheck() == 2 { base.FatalfAt(n.Pos(), "typechecking loop") } n.SetTypecheck(2) n = typecheck1(n, top) n.SetTypecheck(1)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Mar 20 19:08:34 UTC 2024 - 30.5K bytes - Viewed (0) -
hack/verify-typecheck.sh
# Usage: `hack/verify-typecheck.sh`. set -o errexit set -o nounset set -o pipefail KUBE_ROOT=$(dirname "${BASH_SOURCE[0]}")/.. source "${KUBE_ROOT}/hack/lib/init.sh" cd "${KUBE_ROOT}" kube::golang::setup_env ret=0 TYPECHECK_SERIAL="${TYPECHECK_SERIAL:-false}" go run ./test/typecheck "$@" "--serial=$TYPECHECK_SERIAL" || ret=$? if [[ $ret -ne 0 ]]; then
Registered: Sat Jun 15 01:39:40 UTC 2024 - Last Modified: Fri Mar 01 06:07:00 UTC 2024 - 1.2K bytes - Viewed (0) -
test/typecheck.go
Dan Scales <******@****.***> 1638576610 -0800
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 11 02:26:58 UTC 2022 - 543 bytes - Viewed (0) -
src/cmd/compile/internal/walk/select.go
dflt = cas continue } switch n.Op() { case ir.OSEND: n := n.(*ir.SendStmt) n.Value = typecheck.NodAddr(n.Value) n.Value = typecheck.Expr(n.Value) case ir.OSELRECV2: n := n.(*ir.AssignListStmt) if !ir.IsBlank(n.Lhs[0]) { n.Lhs[0] = typecheck.NodAddr(n.Lhs[0]) n.Lhs[0] = typecheck.Expr(n.Lhs[0]) } } } // optimization: two-case select but one is default: single non-blocking op.
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Aug 22 01:53:41 UTC 2023 - 7.8K bytes - Viewed (0) -
src/cmd/compile/internal/pkginit/initAsanGlobals.go
asanName.Class = ir.PEXTERN symL.Def = asanName typecheck.Target.Externs = append(typecheck.Target.Externs, asanName) symL = lname(".asanModulename") asanModulename := ir.NewNameAt(base.Pos, symL, types.Types[types.TSTRING]) asanModulename.Class = ir.PEXTERN symL.Def = asanModulename typecheck.Target.Externs = append(typecheck.Target.Externs, asanModulename) symL = lname(".asanFilename")
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu Aug 17 19:36:24 UTC 2023 - 8.7K bytes - Viewed (0) -
src/cmd/compile/internal/walk/builtin.go
fnname = "makeslice" argtype = types.Types[types.TINT] } fn := typecheck.LookupRuntime(fnname) ptr := mkcall1(fn, types.Types[types.TUNSAFEPTR], init, reflectdata.MakeSliceElemRType(base.Pos, n), typecheck.Conv(len, argtype), typecheck.Conv(cap, argtype)) ptr.MarkNonNil() len = typecheck.Conv(len, types.Types[types.TINT]) cap = typecheck.Conv(cap, types.Types[types.TINT]) sh := ir.NewSliceHeaderExpr(base.Pos, t, ptr, len, cap)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri Mar 08 22:35:22 UTC 2024 - 31.2K bytes - Viewed (0) -
src/cmd/compile/internal/walk/temp.go
appendWalkStmt(init, ir.NewAssignStmt(base.Pos, tmp, val)) return typecheck.Expr(typecheck.NodAddr(tmp)).(*ir.AddrExpr) } // stackTempAddr returns the expression &tmp, where tmp is a newly // allocated temporary variable of the given type. Statements to // zero-initialize tmp are appended to init. func stackTempAddr(init *ir.Nodes, typ *types.Type) *ir.AddrExpr { n := typecheck.TempAt(base.Pos, ir.CurFunc, typ) n.SetNonMergeable(true)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Apr 09 16:41:23 UTC 2024 - 1.5K bytes - Viewed (0) -
src/cmd/compile/internal/walk/convert.go
data.SetTypecheck(1) typeWord := typecheck.TempAt(base.Pos, ir.CurFunc, types.NewPtr(types.Types[types.TUINT8])) init.Append(ir.NewAssignStmt(base.Pos, typeWord, typecheck.Conv(typecheck.Conv(itab, types.Types[types.TUNSAFEPTR]), typeWord.Type()))) nif := ir.NewIfStmt(base.Pos, typecheck.Expr(ir.NewBinaryExpr(base.Pos, ir.ONE, typeWord, typecheck.NodNil())), nil, nil)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Oct 09 17:28:22 UTC 2023 - 18.2K bytes - Viewed (0) -
src/cmd/compile/internal/walk/walk.go
} } // walkRecv walks an ORECV node. func walkRecv(n *ir.UnaryExpr) ir.Node { if n.Typecheck() == 0 { base.Fatalf("missing typecheck: %+v", n) } init := ir.TakeInit(n) n.X = walkExpr(n.X, &init) call := walkExpr(mkcall1(chanfn("chanrecv1", 2, n.X.Type()), nil, &init, n.X, typecheck.NodNil()), &init) return ir.InitExpr(init, call) } func convas(n *ir.AssignStmt, init *ir.Nodes) *ir.AssignStmt {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Feb 27 20:56:00 UTC 2024 - 10.4K bytes - Viewed (0)