Bundles.

This directory contains reviewable GCC/GNAT fixes, one problem per bundle. Each bundle has a manifest, one or more source patches, an executable regression, and a README showing the offending input, the broken output, and the corrected output. Patchsets select applicable variants by exact GCC release; the bundle README is the best starting point for reviewing an individual change.

Each bundle addresses an independent problem, but the patches are not all independent of each other. standalone_patch in the manifest records whether a bundle's patch applies with zero fuzz to pristine upstream source; scripts/check-standalone.sh proves it in CI. Sixteen bundles are standalone. The rest apply only in the order recorded in the applicable patchsets/<version>/gcc-<target>.toml, because their patch text is expressed against the accumulated tree — sometimes only as line-offset context, sometimes because they genuinely extend a helper an earlier bundle introduced.

A bundle is either accepted, meaning every patchset for an affected GCC major must contain it, or staged, meaning it is curated and validated to the same standard but deliberately held out of the published patchset. A staged bundle records why in its manifest, and scripts/manifest.py validate refuses to let one appear in a patchset.

The tables below summarize the bundles. “GCC releases” describes the pinned releases covered by the bundle, not every possible upstream revision.

Ada expansion and runtime semantics

These bundles fix GNAT expansion paths outside the C++ binding generator.

C++ to Ada mapper

GCC's C++ to Ada mapper must translate more than C++ spelling. A usable binding has to preserve namespace and overload identity, emit legal Ada declarations, match the C++ object and call ABI, and retain virtual dispatch relationships. Several C++ constructs have no direct Ada equivalent, so the mapper sometimes needs an explicit storage view or a documented interoperability boundary.

The comprehensive feature panel and its remaining limits are documented in the C++ to Ada mapper panel.

Names, namespaces, and profiles

Templates and declarations

Types and non-inheritance layout

Staged: unproven vector method ABI

This bundle is not part of patchset 1.2.0. Its patch is standalone — it applies to pristine upstream source — and the free-function half of it is proven: fixed-size vectors become exact Ada machine-vector arrays that round-trip by value at -O0 and -O2. But the same VECTOR_TYPE printer fix also makes a vector-bearing C++ method print as a callable Convention => CPP binding, and no tested GNAT release classifies that method ABI consistently. Where the unpatched mapper rejected the spec at compile time, that binding compiles and can return a wrong value; direct dispatch needs an extern "C" C++ wrapper.

The same patch already fails closed for scalable SVE/RVV vectors, which have no compile-time lane count, by emitting an explicit <scalable_vector> marker. The bundle ships once the method binding it cannot prove fails closed the same way. Removing the declaration outright is not that fix: primitive declaration order assigns the dispatch slot, so dropping a virtual would displace every virtual declared after it.

It applies before the layout series: cxx-ada-generated-name-identity rewrites the declaration terminator immediately above the alignment emission this patch adds, so that bundle does not apply without this one.

Staged: C++ object layout and vtable identity

These bundles are not part of patchset 1.2.0 either. They are coupled to Itanium C++ ABI facts—as-base versus complete-object sizes, secondary base offsets, virtual-base sharing, and vtable slot identity—and cannot be expressed as native Ada inheritance, so they need separate upstream review before they ship in a toolchain. The patches use fixed nested storage views where the ABI position is static; dynamic virtual-base conversion remains a wrapper or thunk boundary.

They form one ordered series and apply, in the order below, after the vector bundle above, on top of a tree that already carries the complete patchset. Two are here by dependency rather than by ABI judgement: cxx-ada-inherited-tail-padding selects a nested primary-base component that the virtual-base layout path emits, and cxx-ada-generated-name-identity renames entities the layout bundles introduce and rewrites the declaration terminator the vector bundle's alignment emission sits under.