rieske / trans / 34132856671
94%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 276
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 94.485% (+0.01%) from 94.474%
34132856671

push

github

web-flow 
fix: block-scope extern and enumerator declarations follow C scoping (#303)

Five conformance gaps with one theme: a declaration inside a block was
treated as if it owned the file-scope entity, and enumerators were
checked against ordinary identifiers only at file scope.

A repeated block-scope extern was taken for a second binding, so the
declaration conflicted with itself.

The composite type formed for a block-scope extern was written back into
the file-scope entry, so `extern int a[10];` in one function completed
`a` for every other function, while a block-scope `extern int a[];` made
an already complete file-scope array look incomplete. The composite
belongs to the block; file scope keeps its own type.

extern with an initializer is a definition at file scope only. In a
block it fell past every arm of the storage ladder and silently became
a stack local, so the rule now lives in the ladder itself.

Enumerators and ordinary identifiers share a namespace in every scope,
but the check ran only at file scope, because it read a flat table after
parsing had already unwound the scope stack. It belongs at parse time
where the stack is live; addEnumerator already returned a bool for
exactly this and the builder was discarding it.

Function definitions never reached that check at all, so a name rejected
as a prototype was accepted as a definition.

15882 of 16809 relevant lines covered (94.49%)

152972.55 hits per line

Coverage Regressions

Lines Coverage ∆ File
14
94.08
 0.06% home/runner/work/trans/trans/src/ast/CSNB_Creators.cpp
10
92.45
 0.14% home/runner/work/trans/trans/src/semantic_analyzer/SemanticAnalysisVisitor.cpp
7
98.72
 -0.01% home/runner/work/trans/trans/src/ast/ContextualSyntaxNodeBuilder.cpp
5
97.54
 0.49% home/runner/work/trans/trans/src/semantic_analyzer/SymbolTable.cpp
1
93.96
 0.12% home/runner/work/trans/trans/src/ast/ParseEnvironment.cpp
Jobs
ID Job ID Ran Files Coverage
1 34132856671.1 276
94.49
 GitHub Action Run
Source Files on build 34132856671