Skip to content

Revert "UnboundList: More compact string representation" - #22620

Merged
hvitved merged 1 commit into
mainfrom
revert-22606-unbound-list-unicode-encoding
Sep 18, 2026
Merged

hvitved merged 1 commit into
mainfrom
revert-22606-unbound-list-unicode-encoding

Conversation

@hvitved

@hvitved hvitved commented Sep 18, 2026 •

Copy link
Copy Markdown
Contributor

Surprisingly, the DCA run after addressing review comments revealed performance regressions (the run before didn't). I'll revert while finding out why.

@hvitved hvitved added the no-change-note-required This PR does not need a change note label Sep 18, 2026
@hvitved
hvitved marked this pull request as ready for review September 18, 2026 10:07
@hvitved
hvitved requested a review from a team as a code owner September 18, 2026 10:07
Copilot AI balanced review requested due to automatic review settings September 18, 2026 10:07

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

🟡 Changes recommended

The public PR description must remove its link to the internal repository issue.

Get a fresh assessment by requesting another Copilot review.

Review effort: Balanced
Findings: None

What changed in this PR

Reverts the compact UnboundList encoding after observed performance regressions.

Changes:

  • Restores decimal rank encoding.
  • Restores decimal-specific parsing and prefix matching.
File Description
shared/​util/​codeql/​util/​UnboundList.qll Reverts compact encoding and related regexes.

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

@hvitved
hvitved merged commit e46f982 into main Sep 18, 2026
110 of 112 checks passed
@hvitved
hvitved deleted the revert-22606-unbound-list-unicode-encoding branch September 18, 2026 11:06
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants