Skip to content

Commit 43f870e

Browse files
committed
Python: Add default implementation of StateConfigSig::isBarrier/2
1 parent e5ce78c commit 43f870e

File tree

1 file changed

+1
-1
lines changed
  • python/ql/lib/semmle/python/dataflow/new/internal

1 file changed

+1
-1
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/DataFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ signature module StateConfigSig {
114114
* Holds if data flow through `node` is prohibited when the flow state is
115115
* `state`.
116116
*/
117-
predicate isBarrier(Node node, FlowState state);
117+
default predicate isBarrier(Node node, FlowState state) { none() }
118118

119119
/** Holds if data flow into `node` is prohibited. */
120120
default predicate isBarrierIn(Node node) { none() }

0 commit comments

Comments
 (0)