Skip to content

Remediate compiler audit findings - #80

Merged
itsfuad merged 1 commit into
mainfrom
fix/audit-remediation
Aug 21, 2026
Merged

Remediate compiler audit findings#80
itsfuad merged 1 commit into
mainfrom
fix/audit-remediation

Conversation

@itsfuad

@itsfuad itsfuad commented Aug 21, 2026

Copy link
Copy Markdown
Member

Summary

  • align integer division, source overlays, LSP coordinates, CLI exit propagation, and target-pair validation
  • make all 135 source fixture expectations executable and add CI gates
  • move HIR packages under their owner, split lowering files by invariant domain, and centralize shared diagnostic construction

Validation

  • gofmt
  • git diff --check
  • go vet ./...
  • go test -count=1 ./...
  • go test -race -count=1 ./...
  • all 135 executable source fixture contracts using current compiler build

Tracking

Architecture constraints

  • preserve finite-width integer division behavior without executing LLVM poison cases
  • keep LSP UTF-16 conversion at protocol boundaries
  • keep problems free of high-level project dependencies to avoid CFG import cycles
  • keep HIR model and child transforms under internal/ir/hir

Align integer division, source overlays, LSP positions, CLI exit propagation, target validation, and shared diagnostic construction.

Move HIR packages under their owner, split lowering files by invariant domain, make source fixture expectations executable, and add CI gates.

New helpers centralize repeated diagnostic, coordinate, fixture-process, and LLVM safety logic; no compatibility wrappers or stale aliases remain.

Validated with gofmt, git diff --check, go vet ./..., go test ./..., go test -race ./..., and all 135 executable source fixture contracts.
@itsfuad itsfuad added this to the 0.2 Language Foundations milestone Aug 21, 2026
@itsfuad
itsfuad merged commit 548a2eb into main Aug 21, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant