34317518185
94%
master: 95%

Ran 09 Sep 2026 06:11AM UTC

Jobs 1

Files 272

Run time 1min

Badge

Embed ▾

Committed 09 Sep 2026 05:59AM UTC coverage: 94.473% (+0.007%) from 94.466%

Build # 34317518185

Build Type

Pull #312

github

Committed by

rieske

Commit Message

fix: arrays decay to pointers wherever their value is used

C converts an array to a pointer to its first element in every value
context, and the compiler did it only where an operand's type was checked
against another one. Where a value is merely tested or forwarded, the
array itself was used:

    char b[8];
    if (b) ...        // took the else branch: compared the contents
    sizeof((0, a))    // 12, not 8
    sizeof(({ a; }))  // 12, not 8

Both halves are needed. Semantic analysis decays the value, and code
generation has to materialize the address the decay names, which the
controlling-expression sites were reading raw. Without the second half
the type is right and the temp is never filled.

The comma operator and the statement expression also inherited the
lvalue-ness of an operand, so `(y, x) = 5` and `({ y; x; }) = 5`
compiled. Neither is an lvalue in C.

Pull Request Pull Request #312: fix: arrays decay to pointers wherever their value is used

Coverage Stats

15862 of 16790 relevant lines covered (94.47%)

153476.31 hits per line

Coverage Regressions

Lines	Coverage	∆	File
17	94.08	0.24%	home/runner/work/trans/trans/src/semantic_analyzer/SemanticAnalysisVisitor_Expressions.cpp
10	95.82	0.03%	home/runner/work/trans/trans/src/codegen/CodeGeneratingVisitor.cpp
4	93.15	0.1%	home/runner/work/trans/trans/src/semantic_analyzer/SemanticAnalysisVisitorInternal.h
2	82.35	-11.76%	home/runner/work/trans/trans/src/ast/AssignmentExpression.cpp
1	95.83	6.36%	home/runner/work/trans/trans/src/ast/StatementExpression.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	34317518185.1	09 Sep 2026 06:11AM UTC	272	94.47	GitHub Action Run

rieske / trans / 34317518185
94%
master: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 34317518185

rieske / trans / 34317518185 94% master: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 34317518185

rieske / trans / 34317518185
94%
master: 95%

README BADGES
x