ssa: InitAbiTypes check empty abi symbols

visualfc · visualfc · commit 728a9e7777e4 · 2025-12-28T22:22:41.000+08:00
diff --git a/internal/build/main_module_test.go b/internal/build/main_module_test.go
@@ -29,7 +29,7 @@ func TestGenMainModuleExecutable(t *testing.T) {
 		},
 	}
 	pkg := &packages.Package{PkgPath: "example.com/foo", ExportFile: "foo.a"}
-	mod := genMainModule(ctx, llssa.PkgRuntime, pkg, true, true, false)
+	mod := genMainModule(ctx, llssa.PkgRuntime, pkg, true, true, true)
 	if mod.ExportFile != "foo.a-main" {
 		t.Fatalf("unexpected export file: %s", mod.ExportFile)
 	}
diff --git a/ssa/abitype.go b/ssa/abitype.go
@@ -552,6 +552,9 @@ func (p Package) getAbiTypes(name string) Expr {
 }
 
 func (p Package) InitAbiTypes(fname string) Function {
+	if len(p.Prog.abiSymbol) == 0 {
+		return nil
+	}
 	initFn := p.NewFunc(fname, NoArgsNoRet, InC)
 	b := initFn.MakeBody(1)
 	fn := p.rtFunc("initTypes")

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ func TestGenMainModuleExecutable(t *testing.T) {`
`29`	`29`	`},`
`30`	`30`	`}`
`31`	`31`	`pkg := &packages.Package{PkgPath: "example.com/foo", ExportFile: "foo.a"}`
`32`		`- mod := genMainModule(ctx, llssa.PkgRuntime, pkg, true, true, false)`
	`32`	`+ mod := genMainModule(ctx, llssa.PkgRuntime, pkg, true, true, true)`
`33`	`33`	`if mod.ExportFile != "foo.a-main" {`
`34`	`34`	`t.Fatalf("unexpected export file: %s", mod.ExportFile)`
`35`	`35`	`}`
Original file line number	Diff line number	Diff line change
`@@ -552,6 +552,9 @@ func (p Package) getAbiTypes(name string) Expr {`
`552`	`552`	`}`
`553`	`553`
`554`	`554`	`func (p Package) InitAbiTypes(fname string) Function {`
	`555`	`+ if len(p.Prog.abiSymbol) == 0 {`
	`556`	`+ return nil`
	`557`	`+ }`
`555`	`558`	`initFn := p.NewFunc(fname, NoArgsNoRet, InC)`
`556`	`559`	`b := initFn.MakeBody(1)`
`557`	`560`	`fn := p.rtFunc("initTypes")`