From fd40662ad87a1cdb9f2fb075af2252bfc071e2c6 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 23 Oct 2024 22:21:39 +0100 Subject: [PATCH] Rename getImplicitFieldReadInstruction --- go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index 18e7c3613b56..ca16d9abd01c 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll @@ -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()