Simplify interpretElement

github · Nov 11, 2024 · d9126d3 · d9126d3
1 parent e90e313
commit d9126d3
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll b/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll
@@ -475,10 +475,8 @@ SourceSinkInterpretationInput::SourceOrSinkElement interpretElement(
   // Go does not need to distinguish functions with signature
   signature = "" and
   exists(string p | p = interpretPackage(pkg) |
-    exists(Field f | f.hasQualifiedName(p, type, name) |
-      result.asEntity() = f and
-      result.hasTypeInfo(p, type, subtypes)
-    )
+    result.asEntity().(Field).hasQualifiedName(p, type, name) and
+    result.hasTypeInfo(p, type, subtypes)
     or
     exists(Method m | m.hasQualifiedName(p, type, name) |
       result.asEntity() = m and