On 08/20/2015 08:32 AM, Mark Wielaard wrote: > See Dwarf 4 2.17 Code Addresses and Ranges. In particular elfutils takes > advantage of: > "If an entity has no associated machine code, none of these attributes > are specified."
(A -> B) does not give you (B -> A)! That is, the spec does *not* say "If none of these attributes are specified, the entity has no associated machine code."