Skip to content

Commit 27245da

Browse files
authored
Return empty list of entries in empty CFG (#259)
1 parent fce4d81 commit 27245da

File tree

1 file changed

+1
-1
lines changed
  • jacodb-ets/src/main/kotlin/org/jacodb/ets/graph

1 file changed

+1
-1
lines changed

jacodb-ets/src/main/kotlin/org/jacodb/ets/graph/EtsCfg.kt

+1-1
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ class EtsCfg(
4747
get() = stmts
4848

4949
override val entries: List<EtsStmt>
50-
get() = listOf(stmts.first())
50+
get() = listOfNotNull(stmts.firstOrNull())
5151

5252
override val exits: List<EtsTerminatingStmt>
5353
get() = instructions.filterIsInstance<EtsTerminatingStmt>()

0 commit comments

Comments
 (0)