Function findUnmemoizedClosureDeps

site/scripts/check-compiler.mjs:205–243

(code)

 * array of `{ name, line }` objects for each finding.
 */
export function findUnmemoizedClosureDeps(code) {
	if (!code) return [];

	const lines = code.split("\n");

	// Pass 1: collect every name used in a $[N] !== name dep check.
	const depNames = new Set();
	for (const line of lines) {
		for (const m of line.matchAll(DEP_CHECK)) {
			depNames.add(m[1]);
		}
	}
	if (depNames.size === 0) return [];

	// Pass 2: find closure definitions that are directly assigned a
	// function value (not assigned from a temp like `const x = t1`).
	// A memoized closure uses the temp pattern:
	//   if ($[N] !== dep) { t1 = () => {...}; } else { t1 = $[N]; }
	//   const name = t1;
	// An unmemoized closure is assigned the function directly:
	//   const name = () => {...};
	const findings = [];
	for (let i = 0; i < lines.length; i++) {
		const match = lines[i].match(CLOSURE_RHS);
		if (!match) continue;

		const name = match[1];
		if (!depNames.has(name)) continue;

		// Compiler temporaries are named t0, t1, ... tN. If the
		// variable name matches that pattern it's an intermediate,
		// not a user-visible declaration.
		if (/^t\d+$/.test(name)) continue;

		findings.push({ name, line: i + 1 });
	}

	return findings;
}

// ---------------------------------------------------------------------------
// Report