From 860b49dd80e6f20baef5840dbd43ade365e6f54c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Mon, 20 Jan 2025 12:45:53 +0100
Subject: [PATCH] Fix UB in `&mfs -r` print

---
 src/aig/gia/giaMfs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
index c21c05cf5..6ad6b0039 100644
--- a/src/aig/gia/giaMfs.c
+++ b/src/aig/gia/giaMfs.c
@@ -562,7 +562,7 @@ Gia_Man_t * Gia_ManPerformMfs( Gia_Man_t * p, Sfm_Par_t * pPars )
 {
     Sfm_Ntk_t * pNtk;
     Gia_Man_t * pNew;
-    int nFaninMax, nNodes;
+    int nFaninMax, nNodes = 0;
     assert( Gia_ManRegNum(p) == 0 );
     assert( p->vMapping != NULL );
     if ( p->pManTime != NULL && p->pAigExtra == NULL )