Verify that at least one entry in the location list overlaps with the parent’s address range.
Diff Detail
Diff Detail
Event Timeline
Comment Actions
This would be very useful to find bugs in LLVM. That said, this looks like it is more a quality-of-implementation issue, and not a DWARF correctness issue. Should we separate the two? Or does DWARF mandate this?
Comment Actions
We require that the child's (instruction) address range is contained within the parent's address range; I think it's equally sensible to verify that the location-list ranges are contained within the address range.
I don't know that DWARF explicitly requires this contained-ness, but it's clearly implicit in some of the sections I looked at while trying to answer that question.