The R_<CLS>_ABS32 and R_<CLS>_ABS16 relocations are defined with an overflow that spans both signed and unsigned use cases such as
-2^32 <= X < 2^32 for R_<CLS>_ABS32. The vast majority of use cases are unsigned.
The R_<CLS>_PREL32 and R_<CLS>_PREL16 relocations have recently been defined as signed for overflow purposes (#401).
Given that AAELF64 is not short of relocation codes it could be possible to define additional signed/unsigned codes so that the object producer can be precise about the overflow intentions.
The
R_<CLS>_ABS32andR_<CLS>_ABS16relocations are defined with an overflow that spans both signed and unsigned use cases such as-2^32 <= X < 2^32forR_<CLS>_ABS32. The vast majority of use cases are unsigned.The
R_<CLS>_PREL32andR_<CLS>_PREL16relocations have recently been defined as signed for overflow purposes (#401).Given that AAELF64 is not short of relocation codes it could be possible to define additional signed/unsigned codes so that the object producer can be precise about the overflow intentions.