Skip to content

Commit 65a538e

Browse files
committed
C++: Exclude a few more operands from the dataflow graph. These aren't ever used for dataflow, and it should give us a slight speedup.
1 parent 3fcb825 commit 65a538e

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,9 @@ private import DataFlowUtil
1111
* corresponding `(Indirect)OperandNode`.
1212
*/
1313
predicate ignoreOperand(Operand operand) {
14-
operand = any(Instruction instr | ignoreInstruction(instr)).getAnOperand()
14+
operand = any(Instruction instr | ignoreInstruction(instr)).getAnOperand() or
15+
operand = any(Instruction instr | ignoreInstruction(instr)).getAUse() or
16+
operand instanceof MemoryOperand
1517
}
1618

1719
/**

0 commit comments

Comments
 (0)