Verify that at least one entry in the location list overlaps with the parent’s address range.
Diff Detail
Diff Detail
- Repository
- rL LLVM
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.