Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintDataFlowRelevantIR.qll

This commit is contained in:
Mathias Vorreiter Pedersen
2023-12-12 13:15:36 +00:00
committed by GitHub
parent 11386494b7
commit 1ad0e6524e

View File

@@ -3,7 +3,7 @@ private import semmle.code.cpp.ir.IR
private import SsaInternals as Ssa
/**
* Property provider that hides all instructions and operands that are not relevant for IR dataflow.
* A property provider that hides all instructions and operands that are not relevant for IR dataflow.
*/
class DataFlowRelevantIRPropertyProvider extends IRPropertyProvider {
override predicate shouldPrintOperand(Operand operand) { not Ssa::ignoreOperand(operand) }