We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e290cec commit fd40662Copy full SHA for fd40662
1 file changed
go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
@@ -316,13 +316,13 @@ module SourceSinkInterpretationInput implements
316
}
317
318
private DataFlow::Node skipImplicitFieldReads(DataFlow::Node n) {
319
- not exists(getImplicitFieldReadInstruction(n)) and result = n
+ not exists(lookThroughImplicitFieldRead(n)) and result = n
320
or
321
- result = skipImplicitFieldReads(getImplicitFieldReadInstruction(n))
+ result = skipImplicitFieldReads(lookThroughImplicitFieldRead(n))
322
323
324
pragma[inline]
325
- private DataFlow::Node getImplicitFieldReadInstruction(DataFlow::Node n) {
+ private DataFlow::Node lookThroughImplicitFieldRead(DataFlow::Node n) {
326
result.asInstruction() =
327
n.(DataFlow::InstructionNode)
328
.asInstruction()
0 commit comments