This commit is contained in:
Erik Krogh Kristensen 2020-03-31 09:08:32 +02:00
Родитель 7938bc4ed0
Коммит 40fd1825e9
1 изменённых файлов: 2 добавлений и 2 удалений

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

@ -30,8 +30,8 @@ predicate deadStoreOfLocal(VarDef vd, PurelyLocalVariable v) {
}
/**
* Holds if there exists another definition of the variable `v` that dominates `dead`.
*/
* Holds if there exists another definition of the variable `v` that dominates `dead`.
*/
predicate hasDominatingDef(VarDef dead, PurelyLocalVariable v) {
exists(VarDef otherDef | not otherDef = dead and otherDef.getAVariable() = v |
dead.getBasicBlock().getASuccessor+() = otherDef.getBasicBlock()