Skip to content

Commit caaed72

Browse files
committed
C++: Hide summary nodes that should be hidden and accept test changes.
1 parent 08c383d commit caaed72

4 files changed

Lines changed: 12 additions & 211 deletions

File tree

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1378,6 +1378,8 @@ predicate nodeIsHidden(Node n) {
13781378
n instanceof InitialGlobalValue
13791379
or
13801380
n instanceof SsaSynthNode
1381+
or
1382+
n.(FlowSummaryNode).getSummaryNode().isHidden()
13811383
}
13821384

13831385
predicate neverSkipInPathGraph(Node n) {

0 commit comments

Comments
 (0)