fix: static initialisers as constant expressions#1638
Merged
DavePearce merged 8 commits intomainfrom Apr 8, 2026
Merged
Conversation
This adds support for static initialises for static memory to be compile-time constant expressions, rather than just fixed numbers.
8241b30 to
65e0de1
Compare
This adds support for better error handling for static initialisers.
Previously initialiser errors were being missed, and this was a significant issue.
There was a problem hiding this comment.
Cursor Bugbot has reviewed your changes and found 2 potential issues.
❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.
Reviewed by Cursor Bugbot for commit 92d1f6a. Configure here.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.

This adds support for static initialises for static memory to be compile-time constant expressions, rather than just fixed numbers.
Note
Medium Risk
Changes parsing/linking/typechecking/codegen for static memory contents and constant evaluation, which can affect program semantics and error reporting across the compiler pipeline. Risk is moderate due to new compile-time evaluation paths and overflow/underflow diagnostics.
Overview
Static memory initialisers are now parsed and stored as compile-time constant expressions (not just numeric literals). This threads expression-based
Contentsthrough AST (decl.Memory), parsing (parseStaticInitialiser), linking, and typing.Codegen now evaluates static initialiser expressions at compile time via
compileStaticInitialisers, andevalConstantwas expanded to handle more operators (Sub/Div/Rem) while collecting syntax errors for overflow/underflow and cast overflow instead of panicking.Tests and fixtures were updated/added to cover constant cycles, arithmetic overflow in constants/static initialisers, and static initialiser typing/unknown-symbol failures, plus a new unit test demonstrating constant-based static initialisation.
Reviewed by Cursor Bugbot for commit f02fa83. Bugbot is set up for automated code reviews on this repo. Configure here.