Merge pull request #228 from rmanohar/fix-segv-constr

Fix segv constr

Merge pull request #228 from rmanohar/fix-segv-constr
Fix segv constr
01b1bd10 · alanminko · GitHub · a5a6254d · 62b85322 · 01b1bd10
Unverified Commit 01b1bd10 authored Jun 25, 2023 by alanminko Committed by GitHub Jun 25, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/map/scl/sclSize.c
+1 -1

No files found.
--- a/src/map/scl/sclSize.c
+++ b/src/map/scl/sclSize.c
@@ -197,7 +197,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fPrintPath )
        while ( pObj && Abc_ObjIsNode(pObj) )
        {
            i++;
-            nLength = Abc_MaxInt( nLength, strlen(Abc_SclObjCell(pObj)->pName) );
+            nLength = Abc_MaxInt( nLength, Abc_SclObjCell(pObj) ? strlen(Abc_SclObjCell(pObj)->pName) : 2 /* strlen("pi") */ );
            pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj );
        }