This commit is contained in:
Erik Krogh Kristensen 2020-03-31 13:53:00 +02:00
Родитель 3784b180d8
Коммит 45797dc729
1 изменённых файлов: 1 добавлений и 1 удалений

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

@ -65,7 +65,7 @@ where
// the term "definition" when the alert location is a variable declaration.
if
dead instanceof VariableDeclarator and
not exists(SsaImplicitInit init | init.getVariable().getSourceVariable() = v) // the variable is dead at the hoisted implicit initialization.
not exists(SsaImplicitInit init | init.getVariable().getSourceVariable() = v) // the variable is dead at the hoisted implicit initialization.
then msg = "The initial value of " + v.getName() + " is unused, since it is always overwritten."
else msg = "The value assigned to " + v.getName() + " here is unused."
)