Skip to content

test: lock in the QT-cache alias-collision contract.#224

Open
vgvassilev wants to merge 1 commit into
compiler-research:masterfrom
vgvassilev:qt-alias-collision-test
Open

test: lock in the QT-cache alias-collision contract.#224
vgvassilev wants to merge 1 commit into
compiler-research:masterfrom
vgvassilev:qt-alias-collision-test

Conversation

@vgvassilev

Copy link
Copy Markdown

cppyy's spelling-keyed converter registry deliberately routes alias- equivalent spellings to different converters -- unsigned char to UCharConverter (1-char str semantics) vs uint8_t to UInt8Converter (integer semantics), both canonical to the same TCppType_t. The canonical-QT converter cache in CPyCppyy/src/Converters.cxx skips these alias pairs and falls back to spelling-keyed dispatch; without the skip, sort order picks one and silently swaps str-vs-int for the other.

Add test55_qt_cache_alias_collision asserting both semantics survive for the two pairs that exist today (unsigned char / uint8_t and signed char / int8_t). If a future cleanup drops the collision guard in the populator, this test fails fast with a clear TypeError on take_uchar(101) or take_uint8('e') instead of through one of the existing broad-coverage tests where the failure path is harder to read.

@vgvassilev vgvassilev requested a review from Vipul-Cariappa June 5, 2026 18:32
cppyy's spelling-keyed converter registry deliberately routes alias-
equivalent spellings to different converters -- `unsigned char` to
UCharConverter (1-char str semantics) vs `uint8_t` to UInt8Converter
(integer semantics), both canonical to the same TCppType_t. The
canonical-QT converter cache in CPyCppyy/src/Converters.cxx skips
these alias pairs and falls back to spelling-keyed dispatch; without
the skip, sort order picks one and silently swaps str-vs-int for the
other.

Add test55_qt_cache_alias_collision asserting both semantics survive
for the two pairs that exist today (unsigned char / uint8_t and
signed char / int8_t). If a future cleanup drops the collision guard
in the populator, this test fails fast with a clear TypeError on
take_uchar(101) or take_uint8('e') instead of through one of the
existing broad-coverage tests where the failure path is harder to
read.
@vgvassilev vgvassilev force-pushed the qt-alias-collision-test branch from 6a4e98d to 33eafec Compare June 5, 2026 18:45
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.

1 participant