github
diff --git a/‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll‎
Lines changed: 1 addition & 1 deletion b/‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll‎
Lines changed: 1 addition & 1 deletion
@@ -526,4 +526,4 @@ predicate isImmutableOrUnobservable(Node n) {
 }
 
 /** Holds if `n` should be hidden from path explanations. */
-predicate nodeIsHidden(Node n) { n instanceof OperandNode }
+predicate nodeIsHidden(Node n) { n instanceof OperandNode and not n instanceof ArgumentNode }
Original file line number	Diff line number	Diff line change
`@@ -526,4 +526,4 @@ predicate isImmutableOrUnobservable(Node n) {`
`526`	`526`	`}`
`527`	`527`
`528`	`528`	/** Holds if `n` should be hidden from path explanations. */
`529`		`-predicate nodeIsHidden(Node n) { n instanceof OperandNode }`
	`529`	`+predicate nodeIsHidden(Node n) { n instanceof OperandNode and not n instanceof ArgumentNode }`