Skip to content

phase1/01: complete integer type-spec matrix - #86

Merged
rieske merged 4 commits into
masterfrom
phase1/01-integer-type-specs
Jul 27, 2026
Merged

phase1/01: complete integer type-spec matrix#86
rieske merged 4 commits into
masterfrom
phase1/01-integer-type-specs

Conversation

@rieske

@rieske rieske commented Jul 27, 2026

Copy link
Copy Markdown
Owner

Summary

  • Complete integer type-spec matrix (Phase 1.1).
  • Round-1 review fixes; post-master multi-decl fix for getResolvedType base and prototype insert.

Stack

Base: phase0/06-package-graph → this PR → phase1/02-unions

Test plan

  • Integer type-spec / SA tests pass
  • Multi-decl analyze path still correct after master rebase

rieske added 3 commits July 27, 2026 17:28
- DeclarationSpecifiers::getResolvedType combines short/long/signed/unsigned/int.
- CSNB short/long/signed/unsigned (and double front-end) push real Types.
- Multi type-spec type names combine via combineSpecQualifierTypeSpecs.
- SA Declaration and FormalArgument use getResolvedType; function registration
  deferred from FunctionDeclarator to Declaration/FunctionDefinition so return
  type is known.
- Functional IntegerTypesTest; unit pins for getResolvedType; drop stub tests
  that expected short/unsigned "not implemented".
- getResolvedType tokenizes multi-word packages so type_name order is
  independent (long unsigned int keeps long).
- Prototype/definition: markFunctionDefined + functionTypesCompatible;
  no Context inequality as conflict predicate.
- Pins for order-independent sizeof and multi-word resolve.
…-decl

Re-merge Phase 1.1 onto master's analyzeInitializedDeclarator path:
resolved multi-word base types, function prototype registration, store
holders, incomplete-record checks.
@mergify

mergify Bot commented Jul 27, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@coveralls

coveralls commented Jul 27, 2026

Copy link
Copy Markdown

Coverage Status

coverage: 92.1% (-0.8%) from 92.931% — phase1/01-integer-type-specs into master

Base automatically changed from phase0/06-package-graph to master July 27, 2026 16:19
@rieske
rieske merged commit 8ccdf4e into master Jul 27, 2026
3 checks passed
@rieske
rieske deleted the phase1/01-integer-type-specs branch July 27, 2026 16:23
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.

2 participants