Swift: Use getFullyConverted in CFG generation

Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
This commit is contained in:
Robert Marsh 2023-10-04 09:44:48 -04:00 коммит произвёл GitHub
Родитель 77fd9172fa
Коммит b5f1296cc2
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 2 удалений

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

@ -558,13 +558,13 @@ module Stmts {
or
// or to the getNextCall if the condition is false.
c instanceof FalseCompletion and
astFirst(ast.getNextCall(), succ)
astFirst(ast.getNextCall().getFullyConverted(), succ)
)
or
// Flow from last element of loop body back to getNextCall
astLast(ast.getBody(), pred, c) and
c.continuesLoop(ast) and
astFirst(ast.getNextCall(), succ)
astFirst(ast.getNextCall().getFullyConverted(), succ)
}
}
}