Skip to content

Commit 1835b40

Browse files
committed
Java: Add default impl to StateConfigSig::isBarrier/2
1 parent 5567d4d commit 1835b40

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

java/ql/lib/semmle/code/java/dataflow/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)