Skip to content

Unified: Add caching to name binding - #22696

Merged
hvitved merged 1 commit into
github:mainfrom
hvitved:unified/cache-namebinding
Sep 30, 2026
Merged

hvitved merged 1 commit into
github:mainfrom
hvitved:unified/cache-namebinding

Conversation

@hvitved

@hvitved hvitved commented Sep 29, 2026 •

Copy link
Copy Markdown
Contributor

Reduces total DIL size by 12 %, and avoids recomputations in local development.

@hvitved hvitved added the no-change-note-required This PR does not need a change note label Sep 30, 2026
@hvitved
hvitved marked this pull request as ready for review September 30, 2026 07:24
@hvitved
hvitved requested a review from a team as a code owner September 30, 2026 07:24
@hvitved
hvitved requested review from asgerf and a balanced review from Copilot September 30, 2026 07:24

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟢 Approval recommended

The caching structure follows the established staged-cache pattern without changing binding semantics.

Review effort: Balanced
Findings: None

What changed in this PR

Adds staged caching to Unified name binding, reducing DIL size and avoiding repeated local computations.

Changes:

  • Caches static and local name-binding predicates.
  • Connects cached stages through forward and reverse references.
  • Restricts an internal tracking helper’s visibility.
File Description
StaticNameBinding.qll Adds caching for static binding and namespace resolution.
LocalNameBinding.qll Integrates local binding inputs into the cached stage.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@hvitved
hvitved merged commit 70968b7 into github:main Sep 30, 2026
16 checks passed
@hvitved
hvitved deleted the unified/cache-namebinding branch September 30, 2026 07:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Unified

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants