ssa: fix TypeAssert check null

2025-08-08 11:32:08 +08:00
parent f43e2c0dee
commit 56f90dbcf9
5 changed files with 409 additions and 318 deletions
--- a/ssa/interface.go
+++ b/ssa/interface.go
@@ -241,11 +241,10 @@ func (b Builder) TypeAssert(x Expr, assertedTyp Type, commaOk bool) Expr {
 	}
 	tx := b.faceAbiType(x)
 	tabi := b.abiType(assertedTyp.raw.Type)
-
 	var eq Expr
 	var val func() Expr
 	if x.RawType() == assertedTyp.RawType() {
-		eq = b.Const(constant.MakeBool(true), b.Prog.Bool())
+		eq = b.Const(constant.MakeBool(!b.faceData(x.impl).IsNull()), b.Prog.Bool())
 		val = func() Expr { return x }
 	} else {
 		if rawIntf, ok := assertedTyp.raw.Type.Underlying().(*types.Interface); ok {