Skip to content

Commit d6ef94a

Browse files
author
Dave Bartolomeo
committed
C++: Remove dead comment
1 parent 3758f3c commit d6ef94a

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -96,9 +96,6 @@ private module Cached {
9696
Instruction getMemoryOperandDefinition(
9797
Instruction instruction, MemoryOperandTag tag, Overlap overlap
9898
) {
99-
// Without the code below, the optimizer will realize that raw IR never contains Chi operands,
100-
// and report an error that `ChiTotalOperand` and `ChiPartialOperand` are infeasible.
101-
// (tag instanceof ChiTotalOperandTag or tag instanceof ChiPartialOperandTag) and
10299
none()
103100
}
104101

0 commit comments

Comments
 (0)