Skip to content

Commit 91edf82

Browse files
committed
C++: Add more missing overrides.
1 parent b640bdc commit 91edf82

File tree

1 file changed

+4
-0
lines changed
  • cpp/ql/lib/semmle/code/cpp/models/implementations

1 file changed

+4
-0
lines changed

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -101,4 +101,8 @@ private class Nan extends Function, SideEffectFunction, AliasFunction {
101101
override predicate parameterNeverEscapes(int index) { index = 0 }
102102

103103
override predicate parameterEscapesOnlyViaReturn(int index) { none() }
104+
105+
override predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) {
106+
i = 0 and buffer = true
107+
}
104108
}

0 commit comments

Comments
 (0)