Skip to content

Commit 64b8f97

Browse files
authored
Merge pull request github#16495 from MathiasVP/delete-duplicated-conjunction
2 parents b49a617 + a1cb419 commit 64b8f97

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll

-3
Original file line numberDiff line numberDiff line change
@@ -1844,9 +1844,6 @@ class TranslatedAssignExpr extends TranslatedNonConstantExpr {
18441844
child = this.getRightOperand() and
18451845
result = this.getLeftOperand().getFirstInstruction(kind)
18461846
or
1847-
child = this.getRightOperand() and
1848-
result = this.getLeftOperand().getFirstInstruction(kind)
1849-
or
18501847
kind instanceof GotoEdge and
18511848
child = this.getLeftOperand() and
18521849
result = this.getInstruction(AssignmentStoreTag())

0 commit comments

Comments
 (0)