fix bad join by removing bad recursion

This commit is contained in:
erik-krogh
2023-03-13 17:34:11 +01:00
parent 25a6d496d9
commit 8b99e8af88

View File

@@ -205,7 +205,7 @@ module Kernel {
private class KernelArraySummary extends SummarizedCallable {
KernelArraySummary() { this = "Array()" }
override MethodCall getACallSimple() {
override MethodCall getACall() {
result.getMethodName() = "Array" and
// I have to have a simplified "KernelMethodCall" implementation inlined here, because relying on `UnknownMethodCall` results in non-monotonic recursion (even if using `getACall`).
(