Merge pull request #16495 from MathiasVP/delete-duplicated-conjunction

This commit is contained in:
Mathias Vorreiter Pedersen 2024-05-15 09:37:46 +01:00 коммит произвёл GitHub
Родитель b49a61705c a1cb419902
Коммит 64b8f97d39
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 0 добавлений и 3 удалений

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

@ -1844,9 +1844,6 @@ class TranslatedAssignExpr extends TranslatedNonConstantExpr {
child = this.getRightOperand() and
result = this.getLeftOperand().getFirstInstruction(kind)
or
child = this.getRightOperand() and
result = this.getLeftOperand().getFirstInstruction(kind)
or
kind instanceof GotoEdge and
child = this.getLeftOperand() and
result = this.getInstruction(AssignmentStoreTag())