[PATCH] D32821: Add DWARF verifiers to verify address ranges are correct and scoped correctly.

[Greg Clayton via Phabricator via llvm-commits]

clayborg updated this revision to Diff 98305.
clayborg added a comment.

Fixed the core issues David was asking for. Main differences are:

- Now have SortedRanges class that guarantees ranges are sorted instead of relying on DWARFAddressRangesVector being sorted
- SortedRanges can report if there are invalid ranges in a DWARFAddressRangesVector and if there are overlaps during insert
- DieRangeInfo now uses SortedRanges instead of DWARFAddressRangesVector
- DieRangeInfo now reports errors which really cleans up the DWARFVerifier::verifyDie() function
- NonOverlappingRanges now can report errors when DIEs have overlapping address ranges which really cleans up the DWARFVerifier::verifyDie() function


https://reviews.llvm.org/D32821

Files:
  include/llvm/DebugInfo/DWARF/DWARFDebugRangeList.h
  include/llvm/DebugInfo/DWARF/DWARFVerifier.h
  lib/DebugInfo/DWARF/DWARFVerifier.cpp
  unittests/DebugInfo/DWARF/DWARFDebugInfoTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32821.98305.patch
Type: text/x-patch
Size: 31179 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170509/9e02f371/attachment.bin>