On Wed, 10 Nov 2021, Alejandro Colomar (man-pages) via Gcc wrote: > I'm proposing an attribute that would apply a new set of rules, specifically > designed for fixed width operations, but which also try to be sane defaults > for any other scenario. Let's call it [[gnu::no_int_promotion]]).
C23 _BitInt types have this non-promoting property. Given _BitInt, I don't see adding an extension to do something very similar in a different way as of much value. My comments in bug 102989 still apply - we need people to work on getting the ABI specified for as many architectures as possible, as well as implementing the feature in GCC (with some default for the ABI for architectures that haven't made a different choice, but all architecture maintainers should be asked to explicitly consider the ABI issue and to try to get a cross-implementation ABI specified for their architecture). -- Joseph S. Myers jos...@codesourcery.com
