Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Commit a59e754

Browse files
author
Max Schaefer
committed
Data flow: Remove deprecated predicates.
cf github/codeql#3515
1 parent 1f54edf commit a59e754

2 files changed

Lines changed: 0 additions & 10 deletions

File tree

ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,6 @@ abstract class Configuration extends string {
6666
*/
6767
predicate isBarrier(Node node) { none() }
6868

69-
/** DEPRECATED: override `isBarrierIn` and `isBarrierOut` instead. */
70-
deprecated predicate isBarrierEdge(Node node1, Node node2) { none() }
71-
7269
/** Holds if data flow into `node` is prohibited. */
7370
predicate isBarrierIn(Node node) { none() }
7471

ql/src/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -79,13 +79,6 @@ abstract class Configuration extends DataFlow::Configuration {
7979
defaultTaintBarrier(node)
8080
}
8181

82-
/** DEPRECATED: override `isSanitizerIn` and `isSanitizerOut` instead. */
83-
deprecated predicate isSanitizerEdge(DataFlow::Node node1, DataFlow::Node node2) { none() }
84-
85-
deprecated final override predicate isBarrierEdge(DataFlow::Node node1, DataFlow::Node node2) {
86-
isSanitizerEdge(node1, node2)
87-
}
88-
8982
/** Holds if data flow into `node` is prohibited. */
9083
predicate isSanitizerIn(DataFlow::Node node) { none() }
9184

0 commit comments

Comments
 (0)