Merge pull request #17583 from jketema/rm-inline

C++: Remove `inline` pragma from sink
This commit is contained in:
Jeroen Ketema
2024-09-25 16:30:30 +02:00
committed by GitHub

View File

@@ -72,7 +72,6 @@ module FlowFromFree<FlowFromFreeParamSig P> {
predicate isSource(DataFlow::Node node, FlowState state) { isFree(node, _, state, _) }
pragma[inline]
predicate isSink(DataFlow::Node sink, FlowState state) {
exists(Expr e, DataFlow::Node source, DeallocationExpr dealloc |
P::isSink(sink, e) and