C++: remove unneeded pragma

rdmarsh2 · rdmarsh2 · commit 4ed7450689b1 · 2023-05-22T11:09:44.000-04:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
@@ -111,7 +111,6 @@ module FieldAddressToDerefConfig implements DataFlow::StateConfigSig {
     )
   }
 
-  pragma[inline]
   predicate isSink(DataFlow::Node sink, FlowState state) {
     exists(DataFlow::Node pai |
       state = TOverflowArithmetic(pai.asInstruction()) and

Original file line number	Diff line number	Diff line change
`@@ -111,7 +111,6 @@ module FieldAddressToDerefConfig implements DataFlow::StateConfigSig {`
`111`	`111`	`)`
`112`	`112`	`}`
`113`	`113`
`114`		`- pragma[inline]`
`115`	`114`	`predicate isSink(DataFlow::Node sink, FlowState state) {`
`116`	`115`	`exists(DataFlow::Node pai \|`
`117`	`116`	`state = TOverflowArithmetic(pai.asInstruction()) and`