go/ir: mark zerolog functions as exit/panic

Fixes #793
dominikh · May 29, 2024 · 96dcd82 · 96dcd82
1 parent 5275b91
commit 96dcd82
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/go/ir/exits.go b/go/ir/exits.go
@@ -19,6 +19,13 @@ func (b *builder) buildExits(fn *Function) {
 				fn.NoReturn = AlwaysUnwinds
 				return
 			}
+		case "github.com/rs/zerolog":
+			switch obj.(*types.Func).FullName() {
+			case "(*github.com/rs/zerolog.Logger).Fatal":
+				fn.NoReturn = AlwaysExits
+			case "(*github.com/rs/zerolog.Logger).Panic":
+				fn.NoReturn = AlwaysUnwinds
+			}
 		case "go.uber.org/zap":
 			switch obj.(*types.Func).FullName() {
 			case "(*go.uber.org/zap.Logger).Fatal",