30701722540

Committed 01 Aug 2026 01:26PM UTC coverage: 92.696% (+0.3%) from 92.4%

Build # 30701722540

Build Type

Pull #58

github

Committed by

rieske

Commit Message

feat: compile git-shaped C with real frontend and product SysV backend

Extend the compiler far enough that host-preprocessed git builds with
trans and git's own test suite passes.

Real frontend after gcc -E: recursive Type, brace/designated init,
function pointers, structs/unions, variadics (va_tls), multi-dim array
decay, and CSNB modular productions. SA->CG uses closed plans
(AddressBaseResolved Field/Index, CallPlan Direct|Indirect, BuiltinPlan),
ValueForm dual-type ownership, AnnotationStore + AnnotationTypes, and
permanent product assign policy (productAssignFrom = value compatibility
plus bare-function dest reject; operand gates productValueCompatible /
productArithmeticCompatible). Codegen is multi-TU StackMachine /
CodeGeneratingVisitor with ObjectAbi sret and Intel/NASM only.

Per-TU LexicalSession owns TypedefRegistry and EnumConstantRegistry
(no process-static tables); FA and TokenStream LexIdContext share that
session. Expression valueType is fail-closed on Result. sizeof/offsetof
fold via foldedInteger; RSP-adjusted home loads are centralized. Parse
enum constants import once into SA.

Document product contracts, LexIdContext limits, and architecture;
expand functional coverage.

Pull Request Pull Request #58: Experiment 1 - compile git

Coverage Stats

11867 of 12802 relevant lines covered (92.7%)

346291.15 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

86.3

/home/runner/work/trans/trans/src/semantic_analyzer/InitializerLowering.cpp

Source Not Available

The file "home/runner/work/trans/trans/src/semantic_analyzer/InitializerLowering.cpp" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.

rieske / trans / 30701722540

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available

Source File
Press 'n' to go to next uncovered line, 'b' for previous