C++: Add more missing overrides.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-07-25 17:13:26 +01:00
parent b640bdccdc
commit 91edf82c8a

View File

@@ -101,4 +101,8 @@ private class Nan extends Function, SideEffectFunction, AliasFunction {
override predicate parameterNeverEscapes(int index) { index = 0 }
override predicate parameterEscapesOnlyViaReturn(int index) { none() }
override predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) {
i = 0 and buffer = true
}
}