Skip to content

Commit 0396a84

Browse files
committed
C++: Remove empty predicate / extends.
1 parent af09dd8 commit 0396a84

File tree

1 file changed

+1
-5
lines changed
  • cpp/ql/lib/semmle/code/cpp/models/implementations

1 file changed

+1
-5
lines changed

cpp/ql/lib/semmle/code/cpp/models/implementations/Gets.qll

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ private class FgetsFunction extends DataFlowFunction, TaintFunction, ArrayFuncti
6868
/**
6969
* The standard functions `gets`.
7070
*/
71-
private class GetsFunction extends DataFlowFunction, TaintFunction, ArrayFunction, AliasFunction,
71+
private class GetsFunction extends DataFlowFunction, ArrayFunction, AliasFunction,
7272
SideEffectFunction, LocalFlowSourceFunction {
7373
GetsFunction() {
7474
// gets(str)
@@ -80,10 +80,6 @@ private class GetsFunction extends DataFlowFunction, TaintFunction, ArrayFunctio
8080
output.isReturnValue()
8181
}
8282

83-
override predicate hasTaintFlow(FunctionInput input, FunctionOutput output) {
84-
none()
85-
}
86-
8783
override predicate parameterNeverEscapes(int index) { none() }
8884

8985
override predicate parameterEscapesOnlyViaReturn(int index) { index = 0 }

0 commit comments

Comments
 (0)