Remove probably-unnecessary pragma

smowton · owen-mc · commit ccc525abd3c8 · 2024-11-11T23:43:53.000Z
diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
@@ -321,7 +321,6 @@ module SourceSinkInterpretationInput implements
     result = skipImplicitFieldReads(lookThroughImplicitFieldRead(n))
   }
 
-  pragma[inline]
   private DataFlow::Node lookThroughImplicitFieldRead(DataFlow::Node n) {
     result.asInstruction() =
       n.(DataFlow::InstructionNode)

Original file line number	Diff line number	Diff line change
`@@ -321,7 +321,6 @@ module SourceSinkInterpretationInput implements`
`321`	`321`	`result = skipImplicitFieldReads(lookThroughImplicitFieldRead(n))`
`322`	`322`	`}`
`323`	`323`
`324`		`- pragma[inline]`
`325`	`324`	`private DataFlow::Node lookThroughImplicitFieldRead(DataFlow::Node n) {`
`326`	`325`	`result.asInstruction() =`
`327`	`326`	`n.(DataFlow::InstructionNode)`