Skip to content

Commit 8919e55

Browse files
rdmarsh2MathiasVP
andauthored
C++ Use dontcare instead of one-use exists
Co-authored-by: Mathias Vorreiter Pedersen <[email protected]>
1 parent 44bc6d7 commit 8919e55

File tree

1 file changed

+4
-4
lines changed
  • cpp/ql/src/semmle/code/cpp/ir/implementation/raw

1 file changed

+4
-4
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Operand.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,13 +27,13 @@ private class TStageOperand =
2727
class Operand extends TStageOperand {
2828
Operand() {
2929
// Ensure that the operand does not refer to instructions from earlier stages that are unreachable here
30-
exists(Instruction use, Instruction def | this = registerOperand(use, _, def))
30+
this = registerOperand(_, _, _)
3131
or
32-
exists(Instruction use | this = nonSSAMemoryOperand(use, _))
32+
this = nonSSAMemoryOperand(_, _)
3333
or
34-
exists(Instruction use, Instruction def, IRBlock block | this = phiOperand(use, def, block, _))
34+
this = phiOperand(_, _, _, _)
3535
or
36-
exists(Instruction use | this = chiOperand(use, _))
36+
this = chiOperand(_, _)
3737
}
3838

3939
/** Gets a textual representation of this element. */

0 commit comments

Comments
 (0)