[llvm] [DWARFVerifier] Allow overlapping ranges for ICF-merged functions (PR #117952)

via llvm-commits llvm-commits at lists.llvm.org
Wed Dec 4 12:53:45 PST 2024


alx32 wrote:

> I remember looking at the DWARF spec and noticing that there's no exception for function merging.

In the current [DWARF 5 spec](https://dwarfstd.org/doc/DWARF5.pdf) I can't find anything saying that overlapping address ranges are not allowed between `DW_TAG_subprogram`'s.

The only thing I can find is on page 53, line 15 where it says: 
> Bounded range entries in a range list may not overlap.

I read this as saying that if a `DW_TAG_subprogram` has `DW_AT_ranges` then the ranges of the single `DW_TAG_subprogram` cannot overlap between them. 

Am I missing something - or should the proposal be a request to clarify that overlapping address ranges are allowed between `DW_TAG_subprogram`'s ? 

https://github.com/llvm/llvm-project/pull/117952


More information about the llvm-commits mailing list