Hi, On 2023-06-15 11:21, Guillem Jover wrote: > AFAIR there was also the case of objects being annotated with > Tag_ABI_VFP_args but not with either of the ABI hard or soft float > flags.
Indeed, there are 1 armel and 91 armhf binary packages shipping ELF files without float flags (hard or soft) but with TAG_ABI_VFP_ARGS. Examples: gcc-arm-none-eabi_12.2.rel1-1_armel.deb ./usr/lib/gcc/arm-none-eabi/12.2.1/arm/v5te/hard/crtbegin.o 0x5000000: Version5 EABI TAG_ABI_VFP_ARGS clisp-module-fastcgi_2.49.20210628.gitde01f0f-3_armhf.deb ./usr/lib/clisp-2.49.93+/fastcgi/fastcgi.o 0x5000000: Version5 EABI TAG_ABI_VFP_ARGS What do we want to do about those? I can take care of filing bug reports asking to add the missing flags if we agree it's a good idea. > And rechecking the commit message, it seems there were also > objects with both ABI float flags set at the same time. I couldn't find any such case in my analysis, do you perhaps remember which objects were affected? Thanks, Emanuele