From 8234a508b368dca4513069f061e8f49e8ed547ff Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Mon, 22 Aug 2022 09:28:00 +0200 Subject: [PATCH] C#: Parsing of WithoutElement. --- .../code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll | 2 ++ 1 file changed, 2 insertions(+) diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll index 620c3a7a410..2d3a7a2d7fb 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll @@ -163,6 +163,8 @@ bindingset[c] SummaryComponent interpretComponentSpecific(AccessPathToken c) { c = "Element" and result = SummaryComponent::content(any(ElementContent ec)) or + c = "WithoutElement" and result = SummaryComponent::withoutContent(any(ElementContent ec)) + or // Qualified names may contain commas,such as in `Tuple<,>`, so get the entire argument list // rather than an individual argument. exists(Field f |