Skip to content

Commit e2c0bf3

Browse files
committed
C++: Show arguments in path explanations and accept test changes.
1 parent 84554af commit e2c0bf3

File tree

2 files changed

+179
-69
lines changed

2 files changed

+179
-69
lines changed

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -526,4 +526,4 @@ predicate isImmutableOrUnobservable(Node n) {
526526
}
527527

528528
/** 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 }

0 commit comments

Comments
 (0)