Return empty list of entries in empty CFG (#259)

UnitTestBot · Aug 16, 2024 · 27245da · 27245da
1 parent fce4d81
commit 27245da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/graph/EtsCfg.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/graph/EtsCfg.kt
@@ -47,7 +47,7 @@ class EtsCfg(
         get() = stmts
 
     override val entries: List<EtsStmt>
-        get() = listOf(stmts.first())
+        get() = listOfNotNull(stmts.firstOrNull())
 
     override val exits: List<EtsTerminatingStmt>
         get() = instructions.filterIsInstance<EtsTerminatingStmt>()