C#: Add similar fix to translation of switch statements in C#

This commit is contained in:
Mathias Vorreiter Pedersen 2020-02-21 13:33:54 +01:00
Родитель 780010d8f9
Коммит da41cbca06
1 изменённых файлов: 4 добавлений и 0 удалений

Просмотреть файл

@ -834,6 +834,10 @@ class TranslatedSwitchStmt extends TranslatedStmt {
kind = this.getCaseEdge(caseStmt) and
result = getTranslatedStmt(caseStmt).getFirstInstruction()
)
or
not exists(stmt.getDefaultCase()) and
kind instanceof DefaultEdge and
result = getParent().getChildSuccessor(this)
}
private EdgeKind getCaseEdge(CaseStmt caseStmt) {