C++: Remove barrier that's no longer needed.

MathiasVP · MathiasVP · commit d63ead55dc58 · 2023-07-17T15:59:35.000+01:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -468,8 +468,6 @@ module FinalConfig implements DataFlow::StateConfigSig {
     )
   }
 
-  predicate isBarrier(DataFlow::Node n, FlowState state) { none() }
-
   predicate isAdditionalFlowStep(
     DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2
   ) {

Original file line number	Diff line number	Diff line change
`@@ -468,8 +468,6 @@ module FinalConfig implements DataFlow::StateConfigSig {`
`468`	`468`	`)`
`469`	`469`	`}`
`470`	`470`
`471`		`- predicate isBarrier(DataFlow::Node n, FlowState state) { none() }`
`472`		`-`
`473`	`471`	`predicate isAdditionalFlowStep(`
`474`	`472`	`DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2`
`475`	`473`	`) {`