Skip to content

Commit d9126d3

Browse files
smowtonowen-mc
authored andcommitted
Simplify interpretElement
1 parent e90e313 commit d9126d3

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

go/ql/lib/semmle/go/dataflow/ExternalFlow.qll

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -475,10 +475,8 @@ SourceSinkInterpretationInput::SourceOrSinkElement interpretElement(
475475
// Go does not need to distinguish functions with signature
476476
signature = "" and
477477
exists(string p | p = interpretPackage(pkg) |
478-
exists(Field f | f.hasQualifiedName(p, type, name) |
479-
result.asEntity() = f and
480-
result.hasTypeInfo(p, type, subtypes)
481-
)
478+
result.asEntity().(Field).hasQualifiedName(p, type, name) and
479+
result.hasTypeInfo(p, type, subtypes)
482480
or
483481
exists(Method m | m.hasQualifiedName(p, type, name) |
484482
result.asEntity() = m and

0 commit comments

Comments
 (0)