From 13fb92ad3e77d5211917166cb0a0d202a4c3d695 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Mon, 11 Nov 2024 23:53:14 +0000 Subject: [PATCH] Rename `getIntermediateEmbeddedType` --- go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index 9efb61cf3eaf..b82039a32fe3 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll @@ -308,7 +308,7 @@ module SourceSinkInterpretationInput implements or // `syntacticQualBaseType`'s underlying type might be a struct type and `sse` // might be a promoted method or field in it. - targetType = getIntermediateEmbeddedType(e, syntacticQualBaseType.getUnderlyingType()) + targetType = getAnIntermediateEmbeddedType(e, syntacticQualBaseType.getUnderlyingType()) ) ) } @@ -327,7 +327,7 @@ module SourceSinkInterpretationInput implements * which is a promoted method or field of `st`, or its base type if it's a * pointer type. */ - private Type getIntermediateEmbeddedType(Entity e, StructType st) { + private Type getAnIntermediateEmbeddedType(Entity e, StructType st) { exists(Field field1, Field field2, int depth1, int depth2, Type t2 | field1 = st.getFieldAtDepth(_, depth1) and field2 = st.getFieldAtDepth(_, depth2) and