Skip to content

Commit f78def5

Browse files
michaelnebelhvitved
authored andcommitted
C#: Hide SummaryParamterNodes from path explanations.
1 parent 220526f commit f78def5

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -818,11 +818,7 @@ predicate nodeIsHidden(Node n) {
818818
def instanceof Ssa::ImplicitCallDefinition
819819
)
820820
or
821-
exists(Parameter p | p = n.(ParameterNode).getParameter() |
822-
not p.fromSource()
823-
or
824-
p.getCallable() instanceof FlowSummary::SummarizedCallable
825-
)
821+
exists(Parameter p | p = n.(ParameterNode).getParameter() | not p.fromSource())
826822
or
827823
n =
828824
TInstanceParameterNode(any(Callable c |
@@ -839,6 +835,8 @@ predicate nodeIsHidden(Node n) {
839835
or
840836
n instanceof SummaryNode
841837
or
838+
n instanceof SummaryParameterNode
839+
or
842840
n instanceof ParamsArgumentNode
843841
or
844842
n.asExpr() = any(WithExpr we).getInitializer()

0 commit comments

Comments
 (0)