Swaps overridden_call globally

This commit is contained in:
Rebecca Valentine
2020-02-25 11:02:18 -08:00
parent 50c91b99da
commit e07a003f75

View File

@@ -124,7 +124,7 @@ predicate correct_args_if_called_as_method_objectapi(Call call, FunctionObject f
}
/** Holds if `call` is a call to `overriding`, which overrides `func`. */
predicate overridden_call(FunctionObject func, FunctionObject overriding, Call call) {
predicate overridden_call_objectapi(FunctionObject func, FunctionObject overriding, Call call) {
overriding.overrides(func) and
overriding.getACall().getNode() = call
}