Skip to content

Commit

Permalink
Rename getImplicitFieldReadInstruction
Browse files Browse the repository at this point in the history
  • Loading branch information
smowton authored and owen-mc committed Nov 11, 2024
1 parent e290cec commit fd40662
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
Original file line number Diff line number Diff line change
Expand Up @@ -316,13 +316,13 @@ module SourceSinkInterpretationInput implements
}

private DataFlow::Node skipImplicitFieldReads(DataFlow::Node n) {
not exists(getImplicitFieldReadInstruction(n)) and result = n
not exists(lookThroughImplicitFieldRead(n)) and result = n
or
result = skipImplicitFieldReads(getImplicitFieldReadInstruction(n))
result = skipImplicitFieldReads(lookThroughImplicitFieldRead(n))
}

pragma[inline]
private DataFlow::Node getImplicitFieldReadInstruction(DataFlow::Node n) {
private DataFlow::Node lookThroughImplicitFieldRead(DataFlow::Node n) {
result.asInstruction() =
n.(DataFlow::InstructionNode)
.asInstruction()
Expand Down

0 comments on commit fd40662

Please sign in to comment.