Swift: Hide summarized nodes from paths.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-06-22 09:46:02 +01:00
parent 277dbdf410
commit 36f980f4bf

View File

@@ -282,7 +282,7 @@ private predicate hasPatternNode(PatternCfgNode n, Pattern p) {
import Cached
/** Holds if `n` should be hidden from path explanations. */
predicate nodeIsHidden(Node n) { none() }
predicate nodeIsHidden(Node n) { n instanceof FlowSummaryNode }
private module ParameterNodes {
abstract class ParameterNodeImpl extends NodeImpl {