> -----Original Message-----
> From: Tom Tromey [mailto:tromey@redhat.com]
> Sent: Thursday, July 05, 2012 8:01 PM
> To: Metzger, Markus T

[...]

> >> +  sym = lookup_symbol ("__aeabi_vec_ctor_cookie_nodtor",
> >> +		       NULL, VAR_DOMAIN, NULL);
> >> +  if (sym != NULL)
> >> +    {
> >> +      /* ARM EABI has an extra slot.  */
> >> +      *include_size = 1;
> >> +      multiplier = 2;
> >> +    }
> >> +  else
> >> +    *include_size = 0;
> 
> Markus> Shouldn't we be able to query the ABI from the ELF?
> 
> I don't know how.

Searching for "arm elf", I found this document: http://infocenter.arm.com/help/topic/com.arm.doc.ihi0044d/IHI0044D_aaelf.pdf.
Not sure if it's the latest version. Page 16 describes the ELF header for EABI compliant files.

Regards,
Markus.