[cfarm-announces] New Arm Morello SoC machine: cfarm240

Torbjörn Granlund tg at gmplib.org
Thu Aug 24 11:31:16 CEST 2023


Marc Glisse <marc.glisse at inria.fr> writes:

  There is, it is called (u)intptr_t, the standard name for an integer
  type that can hold a pointer.

Right!

I only naively checked intmax_t, assuming max would mean max. :-)


There seem to be a problem with arithmetic on uintptr_t, though.  The
compiler generates a plain "mul" instruction for multiplying two of
these fat integers, which is not quite right.  Admittedly, the compiler
outputs an arm (no pun intended) long warning message:

foo.c:7:12: warning: binary expression on capability types 'uintptr_t' (aka 'unsigned __intcap') and 'uintptr_t'; it is not clear which should be used as the source of provenance; currently provenance is inherited from the left-hand side [-Wcheri-provenance]

Not sure what that means, though.  But it probably means "I generate
garbage code from your sources, sorry about that".


-- 
Torbjörn
Please encrypt, key id 0xC8601622


More information about the gmp-bugs mailing list